0.04 rm: No match.
0.04 c --- Preproc Stats ---
0.04 c benchs : unknown.xml
863.50 c start processing
863.50 c start relation processing
873.76 c start cnf exporting
877.00 c parsing time : 863.331
877.00 c preprocessing time : 876.832
877.00
877.00 c Nary constraints - conflicts : 0 supports : 20
877.00 c Binary constraints - conflicts : 0 supports :0
877.00 c max arity constraint : 4
877.00 c Max Tuples generated 157351936
877.00 c relations : 20
877.00 c relations BDD: 20
877.00 c vars : 210060 - clauses : 1352632
877.00
877.73 c Start Sat4J solver
877.73
884.38 s SATISFIABLE
886.22 c {propagations=4894976, learnedliterals=7, changedreason=0, reduceddb=0, starts=4, learnedbinaryclauses=21, learnedclauses=768, reducedliterals=11628, learnedternaryclauses=12, conflicts=775, serialVersionUID=1, inspects=11791226, rootSimplifications=0, decisions=85381}
888.13 v 83 14 108 94 39 93 109 113 69 55 8 2 52 110 51 65 111 95 104 102 3 72 4 15 90 80 51 2 72 78 40 42 28 85 15 4 73 41 28 15 2 26 61 91 12 18 40 18 92 22 2 45 10 45 24 2 9 34 10 2 2 32 2 2 78 33 16 2 68 86 2 63 31 2 18 2 108 80 95 95 21 2 33 32 109 14 9 105 93 31 92 83 46 97 56 20 65 19 55 74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-248257-1168398581 -o ROOT/results/node41/solver-248257-1168398581 -C 1800 -M 900 /tmp/evaluation/248257-1168398581/galacJ.sh /tmp/evaluation/248257-1168398581/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.06 1.62 1.85 5/69 21822
/proc/meminfo: memFree=1637336/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=8564 CPUtime=0
/proc/21820/stat : 21820 (galacJ.sh) R 21818 21820 21404 0 -1 4194304 317 0 0 0 0 0 0 0 19 0 1 0 188257450 8769536 261 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238390312914 0 2 4096 8192 0 0 0 17 1 0 0
/proc/21820/statm: 2141 261 201 79 0 134 0
[startup+0.10663 s]
/proc/loadavg: 1.06 1.62 1.85 5/69 21822
/proc/meminfo: memFree=1637336/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+0.514671 s]
/proc/loadavg: 1.06 1.62 1.85 5/69 21822
/proc/meminfo: memFree=1637336/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+1.33574 s]
/proc/loadavg: 1.06 1.62 1.85 2/76 21850
/proc/meminfo: memFree=1594904/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=1.28
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 12979 0 1 0 122 6 0 0 22 0 8 0 188257454 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073691623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 12733 2035 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.04
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 3354 0 0 0 3 1 0 0 16 0 8 0 188257457 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.08
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 865 0 0 0 8 0 0 0 16 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 909768
[startup+2.98389 s]
/proc/loadavg: 1.06 1.62 1.85 3/89 21909
/proc/meminfo: memFree=1588208/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=2.93
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 12979 0 1 0 287 6 0 0 25 0 8 0 188257454 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073518104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 12733 2035 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.04
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 3354 0 0 0 3 1 0 0 16 0 8 0 188257457 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.08
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 865 0 0 0 8 0 0 0 16 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 909768
[startup+6.19017 s]
/proc/loadavg: 1.13 1.63 1.85 3/89 21909
/proc/meminfo: memFree=1098992/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=6.13
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 12979 0 1 0 607 6 0 0 25 0 8 0 188257454 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073689920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 12733 2035 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.04
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 3354 0 0 0 3 1 0 0 16 0 8 0 188257457 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.08
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 865 0 0 0 8 0 0 0 16 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 909768
[startup+12.6647 s]
/proc/loadavg: 1.20 1.63 1.85 3/89 21909
/proc/meminfo: memFree=1098992/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=12.6
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 12979 0 1 0 1254 6 0 0 25 0 8 0 188257454 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073692542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 12733 2035 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.04
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 3354 0 0 0 3 1 0 0 16 0 8 0 188257457 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.08
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 865 0 0 0 8 0 0 0 16 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 909768
[startup+25.5239 s]
/proc/loadavg: 1.38 1.65 1.85 3/89 21909
/proc/meminfo: memFree=1099184/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=25.43
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 12979 0 1 0 2537 6 0 0 25 0 8 0 188257454 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073689524 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 12733 2035 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.04
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 3354 0 0 0 3 1 0 0 16 0 8 0 188257457 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.08
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 865 0 0 0 8 0 0 0 16 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 909768
[startup+51.1411 s]
/proc/loadavg: 1.59 1.68 1.85 3/89 21909
/proc/meminfo: memFree=1099184/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=51.03
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 12979 0 1 0 5097 6 0 0 25 0 8 0 188257454 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073688642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 12733 2035 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.04
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 3354 0 0 0 3 1 0 0 16 0 8 0 188257457 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.08
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 865 0 0 0 8 0 0 0 16 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 12733 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 909768
[startup+102.374 s]
/proc/loadavg: 1.82 1.72 1.86 3/89 21909
/proc/meminfo: memFree=1098736/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=102.23
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 13132 0 1 0 10216 7 0 0 25 0 8 0 188257454 882900992 12885 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073688534 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 12885 2037 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.06
################
# More data... #
################
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 15249 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 15249 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.09
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 873 0 0 0 9 0 0 0 17 0 8 0 188257461 882900992 15249 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 15249 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 15249 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 909768
[startup+582.836 s]
/proc/loadavg: 2.00 1.94 1.91 3/89 21911
/proc/meminfo: memFree=1088560/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=582.23
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 15630 0 1 0 58215 8 0 0 25 0 8 0 188257454 882900992 15370 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073689440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 15370 2037 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.56
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 5979 0 0 0 54 2 0 0 16 0 8 0 188257457 882900992 15370 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 15370 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 15370 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 15370 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.09
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 873 0 0 0 9 0 0 0 17 0 8 0 188257461 882900992 15370 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 15370 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 15370 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 909768
[startup+642.913 s]
/proc/loadavg: 2.00 1.95 1.91 3/89 21911
/proc/meminfo: memFree=1087856/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=642.26
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 15831 0 1 0 64218 8 0 0 25 0 8 0 188257454 882900992 15569 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073688566 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 15569 2037 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.66
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 6178 0 0 0 64 2 0 0 16 0 8 0 188257457 882900992 15569 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 15569 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 15569 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 15569 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.09
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 873 0 0 0 9 0 0 0 16 0 8 0 188257461 882900992 15569 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 15569 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 15569 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 909768
[startup+702.999 s]
/proc/loadavg: 2.00 1.95 1.91 3/89 21911
/proc/meminfo: memFree=1086704/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=702.27
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 16130 0 1 0 70219 8 0 0 25 0 8 0 188257454 882900992 15867 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073688629 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 15867 2037 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.71
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 6476 0 0 0 69 2 0 0 16 0 8 0 188257457 882900992 15867 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 15867 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 15867 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 15867 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.09
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 873 0 0 0 9 0 0 0 16 0 8 0 188257461 882900992 15867 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 15867 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 15867 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 909768
[startup+763.077 s]
/proc/loadavg: 2.00 1.96 1.91 3/89 21911
/proc/meminfo: memFree=1086384/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=762.31
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 16224 0 1 0 76223 8 0 0 25 0 8 0 188257454 882900992 15960 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073690699 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 15960 2037 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.76
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 6569 0 0 0 74 2 0 0 16 0 8 0 188257457 882900992 15960 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 15960 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 15960 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 15960 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.09
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 873 0 0 0 9 0 0 0 16 0 8 0 188257461 882900992 15960 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 15960 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 15960 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 909768
[startup+823.082 s]
/proc/loadavg: 2.00 1.96 1.91 3/89 21911
/proc/meminfo: memFree=1085680/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862208 CPUtime=822.26
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 16399 0 1 0 82218 8 0 0 25 0 8 0 188257454 882900992 16134 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073688623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215552 16134 2037 14 0 201457 0
[pid=21839/tid=21840] ppid=21820 vsize=862208 CPUtime=0.83
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 6743 0 0 0 81 2 0 0 16 0 8 0 188257457 882900992 16134 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 188257458 882900992 16134 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188257458 882900992 16134 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188257461 882900992 16134 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862208 CPUtime=0.09
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 873 0 0 0 9 0 0 0 17 0 8 0 188257461 882900992 16134 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188257461 882900992 16134 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862208 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188257461 882900992 16134 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 909768
[startup+883.106 s]
/proc/loadavg: 2.07 1.98 1.91 3/90 21912
/proc/meminfo: memFree=841512/2055920 swapFree=4191892/4192956
[pid=21820] ppid=21818 vsize=47560 CPUtime=0.01
/proc/21820/stat : 21820 (galacJ.sh) S 21818 21820 21404 0 -1 4194304 797 1728 0 0 0 0 0 1 17 0 1 0 188257450 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 238389750618 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21820/statm: 11890 363 246 79 0 217 0
[pid=21839] ppid=21820 vsize=862724 CPUtime=882.21
/proc/21839/stat : 21839 (java) R 21820 21820 21404 0 -1 0 77980 0 1 0 88187 34 0 0 25 0 9 0 188257454 883429376 77040 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073869784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21839/statm: 215681 77040 2049 14 0 201586 0
[pid=21839/tid=21840] ppid=21820 vsize=862724 CPUtime=3.6
/proc/21839/task/21840/stat : 21840 (java) S 21820 21820 21404 0 -1 64 61970 0 0 0 336 24 0 0 16 0 9 0 188257457 883429376 77040 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21841] ppid=21820 vsize=862724 CPUtime=0
/proc/21839/task/21841/stat : 21841 (java) S 21820 21820 21404 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 188257458 883429376 77040 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21842] ppid=21820 vsize=862724 CPUtime=0
/proc/21839/task/21842/stat : 21842 (java) S 21820 21820 21404 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 188257458 883429376 77040 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21843] ppid=21820 vsize=862724 CPUtime=0
/proc/21839/task/21843/stat : 21843 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 188257461 883429376 77040 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21844] ppid=21820 vsize=862724 CPUtime=0.18
/proc/21839/task/21844/stat : 21844 (java) S 21820 21820 21404 0 -1 64 920 0 0 0 17 1 0 0 15 0 9 0 188257461 883429376 77040 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21845] ppid=21820 vsize=862724 CPUtime=0
/proc/21839/task/21845/stat : 21845 (java) S 21820 21820 21404 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 188257461 883429376 77040 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21839/tid=21846] ppid=21820 vsize=862724 CPUtime=0
/proc/21839/task/21846/stat : 21846 (java) S 21820 21820 21404 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 188257461 883429376 77040 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21839/tid=21912] ppid=21820 vsize=862724 CPUtime=0
/proc/21839/task/21912/stat : 21912 (java) S 21820 21820 21404 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 188345228 883429376 77040 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (KiB) 910284
Child status: 0
Real time (s): 888.131
CPU time (s): 887.199
CPU user time (s): 885.675
CPU system time (s): 1.52377
CPU usage (%): 99.895
Max. virtual memory (cumulated for all children) (KiB): 911772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 885.675
system time used= 1.52377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96745
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19727
involuntary context switches= 5312
runsolver used 1.35179 s user time and 2.58061 s system time
The end
Begin job on node41 on Wed Jan 10 03:09:42 UTC 2007
IDJOB= 248257
IDBENCH= 11693
FILE ID= node41/248257-1168398581
PBS_JOBID= 3522974
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-30/primes-30-20-3-1.xml
COMMAND LINE= /tmp/evaluation/248257-1168398581/galacJ.sh /tmp/evaluation/248257-1168398581/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-248257-1168398581 -o ROOT/results/node41/solver-248257-1168398581 -C 1800 -M 900 /tmp/evaluation/248257-1168398581/galacJ.sh /tmp/evaluation/248257-1168398581/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 6c4fc417989e032fc5770c5a06335250
RANDOM SEED= 123510397
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1637944 kB
Buffers: 37052 kB
Cached: 309284 kB
SwapCached: 396 kB
Active: 147480 kB
Inactive: 218532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1637944 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4800 kB
Writeback: 0 kB
Mapped: 28512 kB
Slab: 37612 kB
Committed_AS: 3995428 kB
PageTables: 1744 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node41 on Wed Jan 10 03:24:30 UTC 2007