0.03 rm: No match.
0.03 c --- Preproc Stats ---
0.03 c benchs : unknown.xml
1.00 c start processing
1.01 c start relation processing
1.06 c start cnf exporting
1.18 c parsing time : 0.85
1.18 c preprocessing time : 1.025
1.18
1.18 c Nary constraints - conflicts : 0 supports : 0
1.18 c Binary constraints - conflicts : 93 supports :87
1.18 c max arity constraint : 2
1.18 c Max Tuples generated 0
1.18 c relations : 180
1.18 c relations BDD: 0
1.18 c vars : 1001 - clauses : 44616
1.18
1.24 c Start Sat4J solver
1.24
437.66 s SATISFIABLE
437.69 c {propagations=16846247, learnedliterals=5, changedreason=0, reduceddb=0, starts=16, learnedbinaryclauses=50, learnedclauses=89166, reducedliterals=6902579, learnedternaryclauses=178, conflicts=127732, serialVersionUID=1, inspects=1004171361, rootSimplifications=0, decisions=158630}
438.82 v 24 19 17 6 18 0 11 15 12 5 6 5 22 18 14 4 18 21 9 13 2 23 4 1 16 13 2 3 19 1 18 1 8 19 5 19 8 13 9 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-223460-1168265722 -o ROOT/results/node50/solver-223460-1168265722 -C 1800 -M 900 /tmp/evaluation/223460-1168265722/galacJ.sh /tmp/evaluation/223460-1168265722/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: 0.02 0.16 0.63 4/68 31782
/proc/meminfo: memFree=1828736/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=8652 CPUtime=0
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 347 0 0 0 0 0 0 0 17 0 1 0 174971872 8859648 280 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 2163 280 208 79 0 156 0
[pid=31783] ppid=31781 vsize=8688 CPUtime=0
/proc/31783/stat : 31783 (galacJ.sh) R 31781 31781 31567 0 -1 4194368 27 0 0 0 0 0 0 0 18 0 1 0 174971872 8896512 286 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577473183 0 65536 4096 73728 0 0 0 17 1 0 0
/proc/31783/statm: 2172 286 209 79 0 165 0
[pid=31784] ppid=31783 vsize=8688 CPUtime=0
/proc/31784/stat : 31784 (galacJ.sh) R 31783 31781 31567 0 -1 4194368 10 0 0 0 0 0 0 0 18 0 1 0 174971872 8896512 286 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577641138 0 0 4096 73728 0 0 0 17 1 0 0
/proc/31784/statm: 2172 286 210 79 0 165 0
[startup+0.103834 s]
/proc/loadavg: 0.02 0.16 0.63 4/68 31782
/proc/meminfo: memFree=1828736/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572
[startup+0.515904 s]
/proc/loadavg: 0.02 0.16 0.63 4/68 31782
/proc/meminfo: memFree=1828736/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572
[startup+1.33804 s]
/proc/loadavg: 0.10 0.17 0.63 2/76 31803
/proc/meminfo: memFree=1757936/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=1.28
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 20631 0 1 0 117 11 0 0 16 0 9 0 174971875 883568640 20384 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074086092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31796/statm: 215715 20384 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.09
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 4634 0 0 0 8 1 0 0 16 0 9 0 174971879 883568640 20384 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 20384 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 20384 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 20384 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.23
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 968 0 0 0 22 1 0 0 16 0 9 0 174971882 883568640 20384 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 20384 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 20384 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) 910432
[startup+2.97531 s]
/proc/loadavg: 0.10 0.17 0.63 2/77 31804
/proc/meminfo: memFree=1754408/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=2.91
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 20636 0 1 0 280 11 0 0 17 0 9 0 174971875 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074065518 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31796/statm: 215715 20388 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.09
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 4634 0 0 0 8 1 0 0 17 0 9 0 174971879 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 972 0 0 0 23 1 0 0 15 0 9 0 174971882 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31804] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31804/stat : 31804 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 174971997 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 910432
[startup+6.27586 s]
/proc/loadavg: 0.17 0.18 0.63 2/77 31804
/proc/meminfo: memFree=1754408/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=6.21
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 20637 0 1 0 610 11 0 0 24 0 9 0 174971875 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074087439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31796/statm: 215715 20388 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.09
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 4634 0 0 0 8 1 0 0 16 0 9 0 174971879 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 972 0 0 0 23 1 0 0 15 0 9 0 174971882 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31804] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31804/stat : 31804 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 174971997 883568640 20388 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 910432
[startup+12.7489 s]
/proc/loadavg: 0.23 0.20 0.63 2/77 31804
/proc/meminfo: memFree=1754408/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=12.69
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 20638 0 1 0 1257 12 0 0 22 0 9 0 174971875 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074003808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31796/statm: 215715 20389 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.09
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 4634 0 0 0 8 1 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 973 0 0 0 23 1 0 0 16 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31804] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31804/stat : 31804 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 174971997 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 910432
[startup+25.6081 s]
/proc/loadavg: 0.35 0.22 0.64 2/77 31805
/proc/meminfo: memFree=1754664/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=25.54
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 20638 0 1 0 2542 12 0 0 25 0 9 0 174971875 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074085259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31796/statm: 215715 20389 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.09
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 4634 0 0 0 8 1 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 973 0 0 0 23 1 0 0 16 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31804] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31804/stat : 31804 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 174971997 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 910432
[startup+51.2244 s]
/proc/loadavg: 0.61 0.30 0.64 3/77 31837
/proc/meminfo: memFree=1753056/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=51.12
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 20638 0 1 0 5100 12 0 0 25 0 9 0 174971875 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074065232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31796/statm: 215715 20389 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.09
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 4634 0 0 0 8 1 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 973 0 0 0 23 1 0 0 16 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
################
# More data... #
################
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 910432
[startup+102.448 s]
/proc/loadavg: 1.56 0.60 0.73 3/91 31858
/proc/meminfo: memFree=1537776/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=101.81
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 20638 0 1 0 10168 13 0 0 25 0 9 0 174971875 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074080853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31796/statm: 215715 20389 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.09
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 4634 0 0 0 8 1 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 973 0 0 0 23 1 0 0 16 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31804] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31804/stat : 31804 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 174971997 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 910432
[startup+162.54 s]
/proc/loadavg: 2.14 0.94 0.84 3/91 31860
/proc/meminfo: memFree=1416944/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=161.27
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 20638 0 1 0 16114 13 0 0 25 0 9 0 174971875 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074065295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31796/statm: 215715 20389 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.09
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 4634 0 0 0 8 1 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 973 0 0 0 23 1 0 0 16 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31804] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31804/stat : 31804 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 174971997 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.28
Current children cumulated vsize (KiB) 910432
[startup+222.624 s]
/proc/loadavg: 2.50 1.26 0.95 3/91 31860
/proc/meminfo: memFree=1265008/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=220.74
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 20638 0 1 0 22061 13 0 0 25 0 9 0 174971875 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074069027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31796/statm: 215715 20389 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.09
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 4634 0 0 0 8 1 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 973 0 0 0 23 1 0 0 16 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31804] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31804/stat : 31804 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 174971997 883568640 20389 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.75
Current children cumulated vsize (KiB) 910432
[startup+282.712 s]
/proc/loadavg: 2.54 1.49 1.05 3/91 31860
/proc/meminfo: memFree=1143728/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=280.24
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 26044 0 1 0 28007 17 0 0 25 0 9 0 174971875 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074070501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31796/statm: 215715 25794 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.21
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 10039 0 0 0 17 4 0 0 16 0 9 0 174971879 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 973 0 0 0 23 1 0 0 16 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31804] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31804/stat : 31804 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 174971997 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.25
Current children cumulated vsize (KiB) 910432
[startup+342.799 s]
/proc/loadavg: 2.55 1.69 1.14 3/91 31860
/proc/meminfo: memFree=1142448/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=339.74
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 26044 0 1 0 33957 17 0 0 25 0 9 0 174971875 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074065248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31796/statm: 215715 25794 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.21
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 10039 0 0 0 17 4 0 0 16 0 9 0 174971879 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 973 0 0 0 23 1 0 0 16 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31804] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31804/stat : 31804 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 174971997 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.75
Current children cumulated vsize (KiB) 910432
[startup+402.892 s]
/proc/loadavg: 2.68 1.88 1.24 3/91 31860
/proc/meminfo: memFree=1142448/2055920 swapFree=4191892/4192956
[pid=31781] ppid=31779 vsize=47572 CPUtime=0.01
/proc/31781/stat : 31781 (galacJ.sh) S 31779 31781 31567 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 174971872 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31781/statm: 11893 363 246 79 0 217 0
[pid=31796] ppid=31781 vsize=862860 CPUtime=399.22
/proc/31796/stat : 31796 (java) R 31781 31781 31567 0 -1 0 26044 0 1 0 39905 17 0 0 25 0 9 0 174971875 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074070270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31796/statm: 215715 25794 2032 14 0 201620 0
[pid=31796/tid=31797] ppid=31781 vsize=862860 CPUtime=0.21
/proc/31796/task/31797/stat : 31797 (java) S 31781 31781 31567 0 -1 64 10039 0 0 0 17 4 0 0 16 0 9 0 174971879 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31798] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31798/stat : 31798 (java) S 31781 31781 31567 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 174971879 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31799] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31799/stat : 31799 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 174971879 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31796/tid=31800] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31800/stat : 31800 (java) S 31781 31781 31567 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31801] ppid=31781 vsize=862860 CPUtime=0.24
/proc/31796/task/31801/stat : 31801 (java) S 31781 31781 31567 0 -1 64 973 0 0 0 23 1 0 0 16 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31802] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31802/stat : 31802 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31803] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31803/stat : 31803 (java) S 31781 31781 31567 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 174971882 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31796/tid=31804] ppid=31781 vsize=862860 CPUtime=0
/proc/31796/task/31804/stat : 31804 (java) S 31781 31781 31567 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 174971997 883568640 25794 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.23
Current children cumulated vsize (KiB) 910432
Child status: 0
Real time (s): 438.827
CPU time (s): 434.722
CPU user time (s): 434.375
CPU system time (s): 0.346947
CPU usage (%): 99.0646
Max. virtual memory (cumulated for all children) (KiB): 910432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 434.375
system time used= 0.346947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44808
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= 10608
involuntary context switches= 22775
runsolver used 0.517921 s user time and 1.42078 s system time
The end
Begin job on node50 on Mon Jan 8 14:15:26 UTC 2007
IDJOB= 223460
IDBENCH= 5637
FILE ID= node50/223460-1168265722
PBS_JOBID= 3482795
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-71_ext.xml
COMMAND LINE= /tmp/evaluation/223460-1168265722/galacJ.sh /tmp/evaluation/223460-1168265722/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-223460-1168265722 -o ROOT/results/node50/solver-223460-1168265722 -C 1800 -M 900 /tmp/evaluation/223460-1168265722/galacJ.sh /tmp/evaluation/223460-1168265722/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= f2da38f2b0eee6526ffd29a925965623
RANDOM SEED= 108108150
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.263
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 : 5931.00
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.263
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: 1829344 kB
Buffers: 45576 kB
Cached: 109748 kB
SwapCached: 396 kB
Active: 98164 kB
Inactive: 76796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1829344 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4092 kB
Writeback: 0 kB
Mapped: 28424 kB
Slab: 37316 kB
Committed_AS: 4297596 kB
PageTables: 1676 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= 66519 MiB
End job on node50 on Mon Jan 8 14:22:52 UTC 2007