Trace number 207451\nsat4jCSP 1.7 RC BF3 ? (MO) 251.368 244.734\n0.21\tc solving /tmp/evaluation/207451-1168181786/unknown.xml\n1.72\tc reading predicates\n1.92\tc reading constraintsc starts\t\t: 0\n244.56\tc conflicts\t\t: 0\n244.56\tc decisions\t\t: 0\n244.56\tc propagations\t\t: 0\n244.56\tc inspects\t\t: 0\n244.56\tc learnt literals\t: 0\n244.56\tc learnt binary clauses\t: 0\n244.56\tc learnt ternary clauses\t: 0\n244.56\tc learnt clauses\t: 0\n244.56\tc root simplifications\t: 0\n244.56\tc removed literals (reason simplification)\t: 0\n244.56\tc reason swapping (by a shorter reason)\t: 0\n244.56\tc Calls to reduceDB\t: 0\n244.56\tc speed (decisions/second)\t: 0.0\n244.56\tc non guided choices\t0\n244.56\ts UNKNOWN\n244.56\tc Total wall clock time (in seconds) : 244.351\n244.56\tc Total CPU time (experimental, in seconds) : 0.0\ncommand line: runsolver --timestamp -w ROOT/results/node30/watcher-207451-1168181786 -o ROOT/results/node30/solver-207451-1168181786 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/207451-1168181786/sat4jCSP-bf3.jar /tmp/evaluation/207451-1168181786/unknown.xml\n/proc/loadavg: 1.49 1.88 1.95 3/78 1918\n/proc/meminfo: memFree=1703096/2055920 swapFree=4191880/4192956\n[pid=1917] ppid=1914 vsize=168 CPUtime=0\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 166572542 172032 23 18446744073709551615 134512640 134570532 4294956656 18446744073709551615 7017252 0 0 4096 0 0 0 0 17 1 0 0\n/proc/1917/statm: 42 23 18 14 0 2 0\n[pid=1917] ppid=1914 vsize=901540 CPUtime=0.08\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 3360 0 1 0 7 1 0 0 24 0 12 0 166572542 923176960 3120 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154293056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0\n/proc/1917/statm: 225385 3120 1569 14 0 212109 0\n[pid=1917] ppid=1914 vsize=908336 CPUtime=0.73\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 7066 0 1 0 70 3 0 0 18 0 12 0 166572542 930136064 6350 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053835115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0\n/proc/1917/statm: 227084 6350 2298 14 0 213521 0\nCurrent children cumulated vsize (KiB) 908336\n/proc/loadavg: 1.49 1.88 1.95 3/89 1929\n/proc/meminfo: memFree=1659296/2055920 swapFree=4191880/4192956\n[pid=1917] ppid=1914 vsize=910716 CPUtime=1.98\n/proc/1917/stat : 1917 (java) S 1914 1917 994 0 -1 0 26826 0 1 0 186 12 0 0 18 0 12 0 166572542 932573184 25248 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/1917/statm: 227679 25249 2338 14 0 214116 0\n[pid=1917/tid=1919] ppid=1914 vsize=910716 CPUtime=0.06\n/proc/1917/task/1919/stat : 1919 (java) R 1914 1917 994 0 -1 64 2902 0 0 0 6 0 0 0 17 0 12 0 166572545 932573184 25250 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958792 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1920] ppid=1914 vsize=910716 CPUtime=0.06\n/proc/1917/task/1920/stat : 1920 (java) R 1914 1917 994 0 -1 64 1991 0 0 0 6 0 0 0 17 0 12 0 166572545 932573184 25252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958954 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1921] ppid=1914 vsize=910716 CPUtime=0\n/proc/1917/task/1921/stat : 1921 (java) S 1914 1917 994 0 -1 64 6 0 0 0 0 0 0 0 15 0 12 0 166572547 932573184 25253 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1922] ppid=1914 vsize=910716 CPUtime=0\n/proc/1917/task/1922/stat : 1922 (java) S 1914 1917 994 0 -1 64 8 0 0 0 0 0 0 0 22 0 12 0 166572548 932573184 25255 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1923] ppid=1914 vsize=910716 CPUtime=0\n/proc/1917/task/1923/stat : 1923 (java) S 1914 1917 994 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 166572548 932573184 25256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1924] ppid=1914 vsize=910716 CPUtime=0\n/proc/1917/task/1924/stat : 1924 (java) S 1914 1917 994 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 166572551 932573184 25258 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1925] ppid=1914 vsize=910716 CPUtime=0\n/proc/1917/task/1925/stat : 1925 (java) S 1914 1917 994 0 -1 64 18 0 0 0 0 0 0 0 15 0 12 0 166572551 932573184 25259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1926] ppid=1914 vsize=910716 CPUtime=0.39\n/proc/1917/task/1926/stat : 1926 (java) S 1914 1917 994 0 -1 64 720 0 0 0 39 0 0 0 16 0 12 0 166572551 932573184 25260 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1927] ppid=1914 vsize=910716 CPUtime=0.43\n/proc/1917/task/1927/stat : 1927 (java) S 1914 1917 994 0 -1 64 1485 0 0 0 43 0 0 0 16 0 12 0 166572551 932573184 25262 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1928] ppid=1914 vsize=910716 CPUtime=0\n/proc/1917/task/1928/stat : 1928 (java) S 1914 1917 994 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166572551 932573184 25263 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1929] ppid=1914 vsize=910716 CPUtime=0\n/proc/1917/task/1929/stat : 1929 (java) S 1914 1917 994 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 166572551 932573184 25265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\nCurrent children cumulated vsize (KiB) 910716\n/proc/loadavg: 1.49 1.88 1.95 4/89 1929\n/proc/meminfo: memFree=1574112/2055920 swapFree=4191880/4192956\n[pid=1917] ppid=1914 vsize=918792 CPUtime=4.69\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 40240 0 1 0 451 18 0 0 22 0 12 0 166572542 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/1917/statm: 229698 34937 2480 14 0 216135 0\n[pid=1917/tid=1919] ppid=1914 vsize=918792 CPUtime=0.44\n/proc/1917/task/1919/stat : 1919 (java) S 1914 1917 994 0 -1 64 6856 0 0 0 42 2 0 0 16 0 12 0 166572545 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1920] ppid=1914 vsize=918792 CPUtime=0.45\n/proc/1917/task/1920/stat : 1920 (java) S 1914 1917 994 0 -1 64 7637 0 0 0 42 3 0 0 16 0 12 0 166572545 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1921] ppid=1914 vsize=918792 CPUtime=0\n/proc/1917/task/1921/stat : 1921 (java) S 1914 1917 994 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 166572547 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1922] ppid=1914 vsize=918792 CPUtime=0\n/proc/1917/task/1922/stat : 1922 (java) S 1914 1917 994 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166572548 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1923] ppid=1914 vsize=918792 CPUtime=0\n/proc/1917/task/1923/stat : 1923 (java) S 1914 1917 994 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166572548 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1924] ppid=1914 vsize=918792 CPUtime=0\n/proc/1917/task/1924/stat : 1924 (java) S 1914 1917 994 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 166572551 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1925] ppid=1914 vsize=918792 CPUtime=0\n/proc/1917/task/1925/stat : 1925 (java) S 1914 1917 994 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 166572551 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1926] ppid=1914 vsize=918792 CPUtime=0.76\n/proc/1917/task/1926/stat : 1926 (java) R 1914 1917 994 0 -1 64 1691 0 0 0 76 0 0 0 16 0 12 0 166572551 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151473863 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1927] ppid=1914 vsize=918792 CPUtime=1.03\n/proc/1917/task/1927/stat : 1927 (java) R 1914 1917 994 0 -1 64 3901 0 0 0 102 1 0 0 18 0 12 0 166572551 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152642389 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1928] ppid=1914 vsize=918792 CPUtime=0\n/proc/1917/task/1928/stat : 1928 (java) S 1914 1917 994 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166572551 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1929] ppid=1914 vsize=918792 CPUtime=0\n/proc/1917/task/1929/stat : 1929 (java) S 1914 1917 994 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166572551 940843008 34937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\nCurrent children cumulated vsize (KiB) 918792\n/proc/loadavg: 1.45 1.86 1.95 3/89 1929\n/proc/meminfo: memFree=1556768/2055920 swapFree=4191880/4192956\n[pid=1917] ppid=1914 vsize=917748 CPUtime=8.4\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 47666 0 1 0 818 22 0 0 17 0 12 0 166572542 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054425996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/1917/statm: 229437 41023 2480 14 0 215874 0\n[pid=1917/tid=1919] ppid=1914 vsize=917748 CPUtime=0.69\n/proc/1917/task/1919/stat : 1919 (java) S 1914 1917 994 0 -1 64 9955 0 0 0 65 4 0 0 16 0 12 0 166572545 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1920] ppid=1914 vsize=917748 CPUtime=0.69\n/proc/1917/task/1920/stat : 1920 (java) S 1914 1917 994 0 -1 64 10982 0 0 0 64 5 0 0 15 0 12 0 166572545 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1921] ppid=1914 vsize=917748 CPUtime=0\n/proc/1917/task/1921/stat : 1921 (java) S 1914 1917 994 0 -1 64 12 0 0 0 0 0 0 0 15 0 12 0 166572547 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1922] ppid=1914 vsize=917748 CPUtime=0\n/proc/1917/task/1922/stat : 1922 (java) S 1914 1917 994 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166572548 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1923] ppid=1914 vsize=917748 CPUtime=0\n/proc/1917/task/1923/stat : 1923 (java) S 1914 1917 994 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166572548 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1924] ppid=1914 vsize=917748 CPUtime=0\n/proc/1917/task/1924/stat : 1924 (java) S 1914 1917 994 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 166572551 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1925] ppid=1914 vsize=917748 CPUtime=0.01\n/proc/1917/task/1925/stat : 1925 (java) S 1914 1917 994 0 -1 64 18 0 0 0 1 0 0 0 15 0 12 0 166572551 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1926] ppid=1914 vsize=917748 CPUtime=0.93\n/proc/1917/task/1926/stat : 1926 (java) S 1914 1917 994 0 -1 64 2257 0 0 0 93 0 0 0 16 0 12 0 166572551 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1927] ppid=1914 vsize=917748 CPUtime=1.14\n/proc/1917/task/1927/stat : 1927 (java) S 1914 1917 994 0 -1 64 4308 0 0 0 113 1 0 0 17 0 12 0 166572551 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1928] ppid=1914 vsize=917748 CPUtime=0\n/proc/1917/task/1928/stat : 1928 (java) S 1914 1917 994 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166572551 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1929] ppid=1914 vsize=917748 CPUtime=0\n/proc/1917/task/1929/stat : 1929 (java) S 1914 1917 994 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166572551 939773952 41023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\nCurrent children cumulated vsize (KiB) 917748\n/proc/loadavg: 1.41 1.85 1.94 2/89 1929\n/proc/meminfo: memFree=1530784/2055920 swapFree=4191880/4192956\n[pid=1917] ppid=1914 vsize=917388 CPUtime=15.11\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 55195 0 1 0 1484 27 0 0 16 0 12 0 166572542 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054495123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/1917/statm: 229347 45613 2480 14 0 215784 0\n[pid=1917/tid=1919] ppid=1914 vsize=917388 CPUtime=0.79\n/proc/1917/task/1919/stat : 1919 (java) S 1914 1917 994 0 -1 64 13886 0 0 0 73 6 0 0 16 0 12 0 166572545 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1920] ppid=1914 vsize=917388 CPUtime=0.79\n/proc/1917/task/1920/stat : 1920 (java) S 1914 1917 994 0 -1 64 14549 0 0 0 73 6 0 0 16 0 12 0 166572545 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1921] ppid=1914 vsize=917388 CPUtime=0.01\n/proc/1917/task/1921/stat : 1921 (java) S 1914 1917 994 0 -1 64 19 0 0 0 1 0 0 0 15 0 12 0 166572547 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1922] ppid=1914 vsize=917388 CPUtime=0\n/proc/1917/task/1922/stat : 1922 (java) S 1914 1917 994 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1923] ppid=1914 vsize=917388 CPUtime=0\n/proc/1917/task/1923/stat : 1923 (java) S 1914 1917 994 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1924] ppid=1914 vsize=917388 CPUtime=0\n/proc/1917/task/1924/stat : 1924 (java) S 1914 1917 994 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 166572551 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1925] ppid=1914 vsize=917388 CPUtime=0.01\n/proc/1917/task/1925/stat : 1925 (java) S 1914 1917 994 0 -1 64 18 0 0 0 1 0 0 0 15 0 12 0 166572551 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1926] ppid=1914 vsize=917388 CPUtime=0.98\n/proc/1917/task/1926/stat : 1926 (java) S 1914 1917 994 0 -1 64 2257 0 0 0 98 0 0 0 16 0 12 0 166572551 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1927] ppid=1914 vsize=917388 CPUtime=1.2\n/proc/1917/task/1927/stat : 1927 (java) S 1914 1917 994 0 -1 64 4308 0 0 0 119 1 0 0 17 0 12 0 166572551 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1928] ppid=1914 vsize=917388 CPUtime=0\n/proc/1917/task/1928/stat : 1928 (java) S 1914 1917 994 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166572551 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1929] ppid=1914 vsize=917388 CPUtime=0\n/proc/1917/task/1929/stat : 1929 (java) S 1914 1917 994 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166572551 939405312 45613 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\nCurrent children cumulated vsize (KiB) 917388\n/proc/loadavg: 1.35 1.82 1.93 2/89 1929\n/proc/meminfo: memFree=1500704/2055920 swapFree=4191880/4192956\n[pid=1917] ppid=1914 vsize=917388 CPUtime=28.25\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 65920 0 1 0 2793 32 0 0 22 0 12 0 166572542 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053835934 0 4 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/1917/statm: 229347 54321 2481 14 0 215784 0\n[pid=1917/tid=1919] ppid=1914 vsize=917388 CPUtime=0.94\n/proc/1917/task/1919/stat : 1919 (java) S 1914 1917 994 0 -1 64 19020 0 0 0 85 9 0 0 16 0 12 0 166572545 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1920] ppid=1914 vsize=917388 CPUtime=0.94\n/proc/1917/task/1920/stat : 1920 (java) S 1914 1917 994 0 -1 64 20104 0 0 0 85 9 0 0 15 0 12 0 166572545 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1921/stat : 1921 (java) S 1914 1917 994 0 -1 64 23 0 0 0 1 0 0 0 16 0 12 0 166572547 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0\n/proc/1917/task/1922/stat : 1922 (java) S 1914 1917 994 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1923/stat : 1923 (java) S 1914 1917 994 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1924/stat : 1924 (java) S 1914 1917 994 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 166572551 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1925/stat : 1925 (java) S 1914 1917 994 0 -1 64 18 0 0 0 1 0 0 0 15 0 12 0 166572551 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1926] ppid=1914 vsize=917388 CPUtime=1.05\n/proc/1917/task/1926/stat : 1926 (java) S 1914 1917 994 0 -1 64 2257 0 0 0 105 0 0 0 16 0 12 0 166572551 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1927] ppid=1914 vsize=917388 CPUtime=1.3\n/proc/1917/task/1927/stat : 1927 (java) S 1914 1917 994 0 -1 64 4313 0 0 0 129 1 0 0 16 0 12 0 166572551 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/1917/task/1928/stat : 1928 (java) S 1914 1917 994 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166572551 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1929/stat : 1929 (java) S 1914 1917 994 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166572551 939405312 54321 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/loadavg: 1.21 1.74 1.90 2/89 1929\n/proc/meminfo: memFree=1432544/2055920 swapFree=4191880/4192956\n[pid=1917] ppid=1914 vsize=917388 CPUtime=54.18\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 86382 0 1 0 5377 41 0 0 19 0 12 0 166572542 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054283614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0\n/proc/1917/statm: 229347 69989 2481 14 0 215784 0\n[pid=1917/tid=1919] ppid=1914 vsize=917388 CPUtime=1.23\n/proc/1917/task/1919/stat : 1919 (java) S 1914 1917 994 0 -1 64 28381 0 0 0 110 13 0 0 16 0 12 0 166572545 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1920] ppid=1914 vsize=917388 CPUtime=1.25\n/proc/1917/task/1920/stat : 1920 (java) S 1914 1917 994 0 -1 64 31167 0 0 0 111 14 0 0 15 0 12 0 166572545 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1921] ppid=1914 vsize=917388 CPUtime=0.02\n/proc/1917/task/1921/stat : 1921 (java) S 1914 1917 994 0 -1 64 23 0 0 0 2 0 0 0 16 0 12 0 166572547 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0\n/proc/1917/task/1922/stat : 1922 (java) S 1914 1917 994 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1923/stat : 1923 (java) S 1914 1917 994 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1924/stat : 1924 (java) S 1914 1917 994 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 166572551 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1925/stat : 1925 (java) S 1914 1917 994 0 -1 64 18 0 0 0 1 0 0 0 15 0 12 0 166572551 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1926] ppid=1914 vsize=917388 CPUtime=1.06\n/proc/1917/task/1926/stat : 1926 (java) S 1914 1917 994 0 -1 64 2257 0 0 0 106 0 0 0 16 0 12 0 166572551 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1927] ppid=1914 vsize=917388 CPUtime=1.31\n/proc/1917/task/1927/stat : 1927 (java) S 1914 1917 994 0 -1 64 4313 0 0 0 130 1 0 0 17 0 12 0 166572551 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/1917/task/1928/stat : 1928 (java) S 1914 1917 994 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166572551 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1929/stat : 1929 (java) S 1914 1917 994 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166572551 939405312 69989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/loadavg: 1.09 1.63 1.85 2/89 1929\n/proc/meminfo: memFree=1307936/2055920 swapFree=4191880/4192956\n[pid=1917] ppid=1914 vsize=917388 CPUtime=106.34\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 126976 0 1 0 10571 63 0 0 25 0 12 0 166572542 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054512425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/1917/statm: 229347 101592 2481 14 0 215784 0\n[pid=1917/tid=1919] ppid=1914 vsize=917388 CPUtime=1.93\n/proc/1917/task/1919/stat : 1919 (java) S 1914 1917 994 0 -1 64 48403 0 0 0 170 23 0 0 16 0 12 0 166572545 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1920] ppid=1914 vsize=917388 CPUtime=1.95\n/proc/1917/task/1920/stat : 1920 (java) S 1914 1917 994 0 -1 64 51627 0 0 0 170 25 0 0 15 0 12 0 166572545 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1921] ppid=1914 vsize=917388 CPUtime=0.05\n/proc/1917/task/1921/stat : 1921 (java) S 1914 1917 994 0 -1 64 25 0 0 0 4 1 0 0 15 0 12 0 166572547 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1922/stat : 1922 (java) S 1914 1917 994 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1923/stat : 1923 (java) S 1914 1917 994 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1924/stat : 1924 (java) S 1914 1917 994 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 166572551 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1925/stat : 1925 (java) S 1914 1917 994 0 -1 64 18 0 0 0 1 0 0 0 16 0 12 0 166572551 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1926] ppid=1914 vsize=917388 CPUtime=1.23\n/proc/1917/task/1926/stat : 1926 (java) S 1914 1917 994 0 -1 64 2283 0 0 0 123 0 0 0 17 0 12 0 166572551 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1927] ppid=1914 vsize=917388 CPUtime=1.41\n/proc/1917/task/1927/stat : 1927 (java) S 1914 1917 994 0 -1 64 4317 0 0 0 140 1 0 0 16 0 12 0 166572551 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/1917/task/1928/stat : 1928 (java) S 1914 1917 994 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166572551 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1929/stat : 1929 (java) S 1914 1917 994 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166572551 939405312 101592 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\nCurrent children cumulated CPU time (s) 106.34\n/proc/loadavg: 1.10 1.53 1.80 2/89 1929\n[pid=1917] ppid=1914 vsize=917388 CPUtime=167.38\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 174252 0 1 0 16651 87 0 0 25 0 12 0 166572542 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054414876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0\n/proc/1917/statm: 229347 139409 2481 14 0 215784 0\n[pid=1917/tid=1919] ppid=1914 vsize=917388 CPUtime=2.93\n/proc/1917/task/1919/stat : 1919 (java) S 1914 1917 994 0 -1 64 70402 0 0 0 259 34 0 0 15 0 12 0 166572545 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1920] ppid=1914 vsize=917388 CPUtime=2.96\n/proc/1917/task/1920/stat : 1920 (java) S 1914 1917 994 0 -1 64 76812 0 0 0 260 36 0 0 16 0 12 0 166572545 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1921] ppid=1914 vsize=917388 CPUtime=0.08\n/proc/1917/task/1921/stat : 1921 (java) S 1914 1917 994 0 -1 64 25 0 0 0 6 2 0 0 16 0 12 0 166572547 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1922/stat : 1922 (java) S 1914 1917 994 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1923/stat : 1923 (java) S 1914 1917 994 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1924/stat : 1924 (java) S 1914 1917 994 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 166572551 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1925/stat : 1925 (java) S 1914 1917 994 0 -1 64 18 0 0 0 1 0 0 0 16 0 12 0 166572551 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1926] ppid=1914 vsize=917388 CPUtime=1.24\n/proc/1917/task/1926/stat : 1926 (java) S 1914 1917 994 0 -1 64 2283 0 0 0 124 0 0 0 17 0 12 0 166572551 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1927/stat : 1927 (java) S 1914 1917 994 0 -1 64 4317 0 0 0 140 1 0 0 16 0 12 0 166572551 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/1917/task/1928/stat : 1928 (java) S 1914 1917 994 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166572551 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1929/stat : 1929 (java) S 1914 1917 994 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166572551 939405312 139409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\nCurrent children cumulated CPU time (s) 167.38\n/proc/loadavg: 1.09 1.44 1.75 2/89 1929\n/proc/meminfo: memFree=1014624/2055920 swapFree=4191880/4192956\n[pid=1917] ppid=1914 vsize=917388 CPUtime=228.66\n/proc/1917/stat : 1917 (java) R 1914 1917 994 0 -1 0 216134 0 1 0 22759 107 0 0 17 0 12 0 166572542 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054438086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/1917/statm: 229347 174617 2481 14 0 215784 0\n[pid=1917/tid=1919] ppid=1914 vsize=917388 CPUtime=4.08\n/proc/1917/task/1919/stat : 1919 (java) S 1914 1917 994 0 -1 64 90269 0 0 0 366 42 0 0 16 0 12 0 166572545 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1920] ppid=1914 vsize=917388 CPUtime=4.12\n/proc/1917/task/1920/stat : 1920 (java) S 1914 1917 994 0 -1 64 98731 0 0 0 366 46 0 0 16 0 12 0 166572545 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1921] ppid=1914 vsize=917388 CPUtime=0.1\n/proc/1917/task/1921/stat : 1921 (java) S 1914 1917 994 0 -1 64 25 0 0 0 8 2 0 0 15 0 12 0 166572547 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1922/stat : 1922 (java) S 1914 1917 994 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1923/stat : 1923 (java) S 1914 1917 994 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166572548 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1924/stat : 1924 (java) S 1914 1917 994 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 166572551 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1925/stat : 1925 (java) S 1914 1917 994 0 -1 64 18 0 0 0 1 0 0 0 17 0 12 0 166572551 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1926] ppid=1914 vsize=917388 CPUtime=1.31\n/proc/1917/task/1926/stat : 1926 (java) S 1914 1917 994 0 -1 64 2285 0 0 0 131 0 0 0 17 0 12 0 166572551 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1927] ppid=1914 vsize=917388 CPUtime=1.5\n/proc/1917/task/1927/stat : 1927 (java) S 1914 1917 994 0 -1 64 4322 0 0 0 149 1 0 0 17 0 12 0 166572551 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/1917/task/1928/stat : 1928 (java) S 1914 1917 994 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166572551 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/1917/task/1929/stat : 1929 (java) S 1914 1917 994 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166572551 939405312 174617 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\nCurrent children cumulated CPU time (s) 228.66\n/proc/loadavg: 1.06 1.41 1.73 2/89 1929\n/proc/meminfo: memFree=960800/2055920 swapFree=4191880/4192956\n[pid=1917] ppid=1914 vsize=922064 CPUtime=250.31\n/proc/1917/stat : 1917 (java) S 1914 1917 994 0 -1 0 232810 0 1 0 24916 115 0 0 25 0 12 0 166572542 944193536 187674 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/1917/statm: 230516 187674 2481 14 0 216953 0\n[pid=1917/tid=1919] ppid=1914 vsize=922064 CPUtime=4.51\n/proc/1917/task/1919/stat : 1919 (java) S 1914 1917 994 0 -1 64 97445 0 0 0 405 46 0 0 17 0 12 0 166572545 944193536 187674 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1920] ppid=1914 vsize=922064 CPUtime=4.54\n/proc/1917/task/1920/stat : 1920 (java) S 1914 1917 994 0 -1 64 106179 0 0 0 405 49 0 0 15 0 12 0 166572545 944193536 187674 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1921] ppid=1914 vsize=922064 CPUtime=0.24\n/proc/1917/task/1921/stat : 1921 (java) R 1914 1917 994 0 -1 64 1349 0 0 0 21 3 0 0 16 0 12 0 166572547 944193536 187675 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454247 0 0 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1922] ppid=1914 vsize=922064 CPUtime=0\n/proc/1917/task/1922/stat : 1922 (java) S 1914 1917 994 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166572548 944193536 187675 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1923] ppid=1914 vsize=922064 CPUtime=0\n/proc/1917/task/1923/stat : 1923 (java) S 1914 1917 994 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166572548 944193536 187675 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1924] ppid=1914 vsize=922064 CPUtime=0\n/proc/1917/task/1924/stat : 1924 (java) S 1914 1917 994 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 166572551 944193536 187675 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1925] ppid=1914 vsize=922064 CPUtime=0.01\n/proc/1917/task/1925/stat : 1925 (java) S 1914 1917 994 0 -1 64 18 0 0 0 1 0 0 0 17 0 12 0 166572551 944193536 187675 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1926] ppid=1914 vsize=922064 CPUtime=1.53\n/proc/1917/task/1926/stat : 1926 (java) S 1914 1917 994 0 -1 64 2984 0 0 0 152 1 0 0 18 0 12 0 166572551 944193536 187675 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1927] ppid=1914 vsize=922064 CPUtime=1.5\n/proc/1917/task/1927/stat : 1927 (java) S 1914 1917 994 0 -1 64 4322 0 0 0 149 1 0 0 16 0 12 0 166572551 944193536 187676 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=1917/tid=1928] ppid=1914 vsize=922064 CPUtime=0\n/proc/1917/task/1928/stat : 1928 (java) S 1914 1917 994 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166572551 944193536 187676 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=1917/tid=1929] ppid=1914 vsize=922064 CPUtime=0\n/proc/1917/task/1929/stat : 1929 (java) S 1914 1917 994 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166572551 944193536 187676 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\nCurrent children cumulated CPU time (s) 250.31\nCurrent children cumulated vsize (KiB) 922064\nReal time (s): 244.734\nCPU time (s): 251.368\nCPU user time (s): 250.095\nCPU usage (%): 102.711\nMax. virtual memory (cumulated for all children) (KiB): 922064\nuser time used= 250.095\nvoluntary context switches= 8833\nrunsolver used 0.316951 s user time and 0.662899 s system time\nBegin job on node30 on Sun Jan  7 14:56:26 UTC 2007\nFILE ID= node30/207451-1168181786\nCOMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/207451-1168181786/sat4jCSP-bf3.jar /tmp/evaluation/207451-1168181786/unknown.xml\nRUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-207451-1168181786 -o ROOT/results/node30/solver-207451-1168181786 -C 1800 -M 900  java -server -Xmx700M -Xms700M -jar /tmp/evaluation/207451-1168181786/sat4jCSP-bf3.jar /tmp/evaluation/207451-1168181786/unknown.xml\nRANDOM SEED= 852085767\nCached:         194704 kB\nActive:         143788 kB\nInactive:       140180 kB\nMapped:          69788 kB\nCommitted_AS:  3524660 kB\nEnd job on node30 on Sun Jan  7 15:00:31 UTC 2007


$111.56 for 1\n11.0" - $111.56 ea. 12.0" - $124.62 ea. 24.0" - $216.42 ea. 36.0" - $278.32 ea. 48.0" - $346.82 ea. 60.0" - $413.12 ea. 72.0" - $480.44 ea. 84.0" - $546.23 ea. 96.0" - $607.95 ea. 144.0" - $911.93 ea.