0.03 rm: No match.
0.03 c --- Preproc Stats ---
0.03 c benchs : unknown.xml
12.10 c start processing
12.10 c start relation processing
12.10 c start cnf exporting
12.24 c parsing time : 11.946
12.24 c preprocessing time : 12.085
12.25
12.25 c Nary constraints - conflicts : 14190 supports : 0
12.25 c Binary constraints - conflicts : 0 supports :0
12.25 c max arity constraint : 3
12.25 c Max Tuples generated 64
12.25 c relations : 1
12.25 c relations BDD: 0
12.25 c vars : 3961 - clauses : 63690
12.25
12.33 c Start Sat4J solver
12.33
789.44 c cleaning 444864 clauses out of 890027 for limit 7.732701922066449E-7
1512.18 c cleaning 424786 clauses out of 849724 for limit 3.1075553414274994E-6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-217959-1168717283 -o ROOT/results/node72/solver-217959-1168717283 -C 1800 -M 900 /tmp/evaluation/217959-1168717283/galacJ.sh /tmp/evaluation/217959-1168717283/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.19 1.79 1.79 2/81 21820
/proc/meminfo: memFree=1780936/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=6392 CPUtime=0
/proc/21819/stat : 21819 (galacJ.sh) R 21816 21819 21300 0 -1 4194304 231 0 0 0 0 0 0 0 20 0 1 0 220137542 6545408 194 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234515134601 0 0 4096 8192 0 0 0 17 1 0 0
/proc/21819/statm: 1598 199 149 79 0 122 0
[startup+0.102275 s]
/proc/loadavg: 1.19 1.79 1.79 2/81 21820
/proc/meminfo: memFree=1780936/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+0.510312 s]
/proc/loadavg: 1.19 1.79 1.79 2/81 21820
/proc/meminfo: memFree=1780936/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+1.33238 s]
/proc/loadavg: 1.19 1.79 1.79 2/89 21842
/proc/meminfo: memFree=1740360/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862348 CPUtime=1.28
/proc/21835/stat : 21835 (java) S 21819 21819 21300 0 -1 0 12251 0 1 0 121 7 0 0 17 0 8 0 220137546 883044352 12005 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21835/statm: 215587 12005 2038 14 0 201492 0
[pid=21835/tid=21836] ppid=21819 vsize=862348 CPUtime=0.04
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 3392 0 0 0 3 1 0 0 16 0 8 0 220137549 883044352 12005 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220137549 883044352 12005 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220137549 883044352 12005 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 220137553 883044352 12005 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862348 CPUtime=0.25
/proc/21835/task/21840/stat : 21840 (java) R 21819 21819 21300 0 -1 64 1013 0 0 0 25 0 0 0 15 0 8 0 220137553 883044352 12005 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4153333216 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 220137553 883044352 12005 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220137553 883044352 12005 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 909904
[startup+2.97453 s]
/proc/loadavg: 1.18 1.78 1.78 2/89 21842
/proc/meminfo: memFree=1716040/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862348 CPUtime=2.92
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 19570 0 1 0 281 11 0 0 17 0 8 0 220137546 883044352 19322 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073854329 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21835/statm: 215587 19322 2042 14 0 201492 0
[pid=21835/tid=21836] ppid=21819 vsize=862348 CPUtime=0.04
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 3490 0 0 0 3 1 0 0 16 0 8 0 220137549 883044352 19322 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220137549 883044352 19322 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220137549 883044352 19322 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 220137553 883044352 19322 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862348 CPUtime=0.3
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1046 0 0 0 29 1 0 0 15 0 8 0 220137553 883044352 19322 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 220137553 883044352 19322 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220137553 883044352 19322 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 909904
[startup+6.17982 s]
/proc/loadavg: 1.18 1.78 1.78 2/89 21842
/proc/meminfo: memFree=1709704/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862348 CPUtime=6.13
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 19885 0 1 0 601 12 0 0 17 0 8 0 220137546 883044352 19635 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4154171090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21835/statm: 215587 19635 2042 14 0 201492 0
[pid=21835/tid=21836] ppid=21819 vsize=862348 CPUtime=0.05
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 3803 0 0 0 4 1 0 0 16 0 8 0 220137549 883044352 19635 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220137549 883044352 19635 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220137549 883044352 19635 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 220137553 883044352 19635 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862348 CPUtime=0.3
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1046 0 0 0 29 1 0 0 16 0 8 0 220137553 883044352 19635 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 220137553 883044352 19635 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862348 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220137553 883044352 19635 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 909904
[startup+12.6634 s]
/proc/loadavg: 1.31 1.79 1.78 3/103 21905
/proc/meminfo: memFree=1596888/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862864 CPUtime=12.6
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 21543 0 1 0 1247 13 0 0 25 0 9 0 220137546 883572736 21289 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074388862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21835/statm: 215716 21289 2047 14 0 201621 0
[pid=21835/tid=21836] ppid=21819 vsize=862864 CPUtime=0.17
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 5400 0 0 0 15 2 0 0 16 0 9 0 220137549 883572736 21289 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 21289 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 21289 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 220137553 883572736 21289 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862864 CPUtime=0.35
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1079 0 0 0 34 1 0 0 16 0 9 0 220137553 883572736 21289 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 220137553 883572736 21289 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220137553 883572736 21289 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21905] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21905/stat : 21905 (java) S 21819 21819 21300 0 -1 64 5 0 0 0 0 0 0 0 24 0 9 0 220138777 883572736 21289 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) 910420
[startup+25.5426 s]
/proc/loadavg: 1.42 1.79 1.79 3/103 21905
/proc/meminfo: memFree=1593304/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862864 CPUtime=25.47
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 21545 0 1 0 2534 13 0 0 25 0 9 0 220137546 883572736 21290 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074359251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21835/statm: 215716 21290 2047 14 0 201621 0
[pid=21835/tid=21836] ppid=21819 vsize=862864 CPUtime=0.17
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 5400 0 0 0 15 2 0 0 16 0 9 0 220137549 883572736 21290 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 21290 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 21290 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 220137553 883572736 21290 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862864 CPUtime=0.35
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1080 0 0 0 34 1 0 0 16 0 9 0 220137553 883572736 21290 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 220137553 883572736 21290 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220137553 883572736 21290 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21905] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21905/stat : 21905 (java) S 21819 21819 21300 0 -1 64 5 0 0 0 0 0 0 0 24 0 9 0 220138777 883572736 21290 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 910420
[startup+51.1969 s]
/proc/loadavg: 1.61 1.81 1.79 3/103 21905
/proc/meminfo: memFree=1549592/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862864 CPUtime=51.12
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 31391 0 1 0 5094 18 0 0 25 0 9 0 220137546 883572736 31135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074369261 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21835/statm: 215716 31135 2047 14 0 201621 0
[pid=21835/tid=21836] ppid=21819 vsize=862864 CPUtime=0.32
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 15245 0 0 0 26 6 0 0 16 0 9 0 220137549 883572736 31135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 31135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 31135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 220137553 883572736 31135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862864 CPUtime=0.35
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1080 0 0 0 34 1 0 0 16 0 9 0 220137553 883572736 31135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 220137553 883572736 31135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220137553 883572736 31135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21905] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21905/stat : 21905 (java) S 21819 21819 21300 0 -1 64 5 0 0 0 0 0 0 0 24 0 9 0 220138777 883572736 31135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 910420
[startup+102.406 s]
/proc/loadavg: 1.84 1.84 1.80 3/103 21905
/proc/meminfo: memFree=1461720/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
################
# More data... #
################
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862864 CPUtime=1531.17
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 172188 0 1 0 153014 103 0 0 25 0 9 0 220137546 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074305206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21835/statm: 215716 171909 2051 14 0 201621 0
[pid=21835/tid=21836] ppid=21819 vsize=862864 CPUtime=5.55
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 156008 0 0 0 494 61 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862864 CPUtime=0.36
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1088 0 0 0 35 1 0 0 16 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21905] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21905/stat : 21905 (java) S 21819 21819 21300 0 -1 64 5 0 0 0 0 0 0 0 24 0 9 0 220138777 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.18
Current children cumulated vsize (KiB) 910420
[startup+1604.24 s]
/proc/loadavg: 2.00 2.00 1.91 3/96 22410
/proc/meminfo: memFree=340432/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862864 CPUtime=1590.67
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 172189 0 1 0 158964 103 0 0 25 0 9 0 220137546 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074369386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21835/statm: 215716 171909 2051 14 0 201621 0
[pid=21835/tid=21836] ppid=21819 vsize=862864 CPUtime=5.67
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 156008 0 0 0 506 61 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862864 CPUtime=0.36
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1088 0 0 0 35 1 0 0 16 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21905] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21905/stat : 21905 (java) S 21819 21819 21300 0 -1 64 5 0 0 0 0 0 0 0 24 0 9 0 220138777 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.68
Current children cumulated vsize (KiB) 910420
[startup+1664.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/96 22410
/proc/meminfo: memFree=327312/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862864 CPUtime=1650.13
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 172190 0 1 0 164910 103 0 0 25 0 9 0 220137546 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074373854 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21835/statm: 215716 171909 2051 14 0 201621 0
[pid=21835/tid=21836] ppid=21819 vsize=862864 CPUtime=5.82
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 156008 0 0 0 521 61 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862864 CPUtime=0.36
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1088 0 0 0 35 1 0 0 16 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21905] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21905/stat : 21905 (java) S 21819 21819 21300 0 -1 64 5 0 0 0 0 0 0 0 24 0 9 0 220138777 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.14
Current children cumulated vsize (KiB) 910420
[startup+1724.39 s]
/proc/loadavg: 2.00 2.00 1.91 3/96 22410
/proc/meminfo: memFree=314256/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862864 CPUtime=1709.64
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 172192 0 1 0 170860 104 0 0 25 0 9 0 220137546 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074377546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21835/statm: 215716 171909 2051 14 0 201621 0
[pid=21835/tid=21836] ppid=21819 vsize=862864 CPUtime=6.15
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 156008 0 0 0 554 61 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862864 CPUtime=0.36
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1088 0 0 0 35 1 0 0 16 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21905] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21905/stat : 21905 (java) S 21819 21819 21300 0 -1 64 5 0 0 0 0 0 0 0 24 0 9 0 220138777 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.65
Current children cumulated vsize (KiB) 910420
[startup+1784.47 s]
/proc/loadavg: 2.00 2.00 1.91 3/96 22410
/proc/meminfo: memFree=299920/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862864 CPUtime=1769.14
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 172192 0 1 0 176810 104 0 0 25 0 9 0 220137546 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074373854 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21835/statm: 215716 171909 2051 14 0 201621 0
[pid=21835/tid=21836] ppid=21819 vsize=862864 CPUtime=6.15
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 156008 0 0 0 554 61 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862864 CPUtime=0.36
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1088 0 0 0 35 1 0 0 16 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21905] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21905/stat : 21905 (java) S 21819 21819 21300 0 -1 64 5 0 0 0 0 0 0 0 24 0 9 0 220138777 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.15
Current children cumulated vsize (KiB) 910420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.68 s]
/proc/loadavg: 2.05 2.01 1.91 3/96 22410
/proc/meminfo: memFree=291152/2055920 swapFree=4191880/4192956
[pid=21819] ppid=21816 vsize=47556 CPUtime=0.01
/proc/21819/stat : 21819 (galacJ.sh) S 21816 21819 21300 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220137542 48697344 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 234517359450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21819/statm: 11889 364 247 79 0 217 0
[pid=21835] ppid=21819 vsize=862864 CPUtime=1800.03
/proc/21835/stat : 21835 (java) R 21819 21819 21300 0 -1 0 172193 0 1 0 179899 104 0 0 25 0 9 0 220137546 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21835/statm: 215716 171909 2051 14 0 201621 0
[pid=21835/tid=21836] ppid=21819 vsize=862864 CPUtime=6.29
/proc/21835/task/21836/stat : 21836 (java) S 21819 21819 21300 0 -1 64 156008 0 0 0 568 61 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21837] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21837/stat : 21837 (java) S 21819 21819 21300 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21838] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21838/stat : 21838 (java) S 21819 21819 21300 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 220137549 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21835/tid=21839] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21839/stat : 21839 (java) S 21819 21819 21300 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21840] ppid=21819 vsize=862864 CPUtime=0.36
/proc/21835/task/21840/stat : 21840 (java) S 21819 21819 21300 0 -1 64 1088 0 0 0 35 1 0 0 16 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21841] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21841/stat : 21841 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21842] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21842/stat : 21842 (java) S 21819 21819 21300 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220137553 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21835/tid=21905] ppid=21819 vsize=862864 CPUtime=0
/proc/21835/task/21905/stat : 21905 (java) S 21819 21819 21300 0 -1 64 5 0 0 0 0 0 0 0 24 0 9 0 220138777 883572736 171909 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 910420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.7
CPU time (s): 0.025995
CPU user time (s): 0.006998
CPU system time (s): 0.018997
CPU usage (%): 0.00143168
Max. virtual memory (cumulated for all children) (KiB): 910420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.006998
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 15
runsolver used 2.43563 s user time and 5.61215 s system time
The end
Begin job on node72 on Sat Jan 13 19:41:24 UTC 2007
IDJOB= 217959
IDBENCH= 5184
IDSOLVER= 67
FILE ID= node72/217959-1168717283
PBS_JOBID= 3547580
Free space on /tmp= 66559 MiB
SOLVER NAME= galacJ beta 1
BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey4/ramsey-45-4.xml
COMMAND LINE= /tmp/evaluation/217959-1168717283/galacJ.sh /tmp/evaluation/217959-1168717283/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-217959-1168717283 -o ROOT/results/node72/solver-217959-1168717283 -C 1800 -M 900 /tmp/evaluation/217959-1168717283/galacJ.sh /tmp/evaluation/217959-1168717283/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 6951a7d2d3323bc93e7e3c6c379c36c0
RANDOM SEED= 856160176
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.223
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.223
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: 1781416 kB
Buffers: 38060 kB
Cached: 117256 kB
SwapCached: 268 kB
Active: 129572 kB
Inactive: 74356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1781416 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 5776 kB
Writeback: 0 kB
Mapped: 65948 kB
Slab: 55624 kB
Committed_AS: 4264932 kB
PageTables: 2112 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= 66518 MiB
End job on node72 on Sat Jan 13 20:11:43 UTC 2007