0.04 rm: No match.
0.04 c --- Preproc Stats ---
0.04 c benchs : unknown.xml
1.75 c start processing
1.75 c start relation processing
4.80 c start cnf exporting
5.80 c parsing time : 1.568
5.80 c preprocessing time : 5.625
5.80
5.80 c Nary constraints - conflicts : 0 supports : 57
5.80 c Binary constraints - conflicts : 0 supports :0
5.80 c max arity constraint : 3
5.80 c Max Tuples generated 0
5.80 c relations : 57
5.80 c relations BDD: 57
5.80 c vars : 125051 - clauses : 399769
5.80
6.22 c Start Sat4J solver
6.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-208690-1168189390 -o ROOT/results/node45/solver-208690-1168189390 -C 1800 -M 900 /tmp/evaluation/208690-1168189390/galacJ.sh /tmp/evaluation/208690-1168189390/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.98 2.00 1.83 5/85 24457
/proc/meminfo: memFree=1095152/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=6348 CPUtime=0
/proc/24456/stat : 24456 (galacJ.sh) R 24454 24456 23881 0 -1 4194304 261 0 0 0 0 0 0 0 20 0 1 0 167337978 6500352 216 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258939256914 0 0 4096 8192 0 0 0 17 1 0 0
/proc/24456/statm: 1587 216 165 79 0 123 0
[startup+0.10492 s]
/proc/loadavg: 1.98 2.00 1.83 5/85 24457
/proc/meminfo: memFree=1095152/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+0.512992 s]
/proc/loadavg: 1.98 2.00 1.83 5/85 24457
/proc/meminfo: memFree=1095152/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+1.33414 s]
/proc/loadavg: 1.98 2.00 1.83 4/93 24478
/proc/meminfo: memFree=1016816/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=861996 CPUtime=1.26
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 21649 0 1 0 113 13 0 0 24 0 8 0 167337983 882683904 21402 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073661783 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24471/statm: 215499 21402 2010 14 0 201457 0
[pid=24471/tid=24472] ppid=24456 vsize=861996 CPUtime=0.06
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 5799 0 0 0 3 3 0 0 16 0 8 0 167337986 882683904 21402 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24473] ppid=24456 vsize=861996 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 167337987 882683904 21402 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=861996 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 167337987 882683904 21402 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=861996 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167337990 882683904 21402 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=861996 CPUtime=0.12
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 874 0 0 0 12 0 0 0 16 0 8 0 167337990 882683904 21402 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24477] ppid=24456 vsize=861996 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 167337991 882683904 21402 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=861996 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167337991 882683904 21402 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 909552
[startup+2.98244 s]
/proc/loadavg: 1.98 2.00 1.83 4/93 24478
/proc/meminfo: memFree=1011632/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=861996 CPUtime=2.9
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 22909 0 1 0 276 14 0 0 25 0 8 0 167337983 882683904 22659 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073826974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24471/statm: 215499 22659 2018 14 0 201457 0
[pid=24471/tid=24472] ppid=24456 vsize=861996 CPUtime=0.1
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 7015 0 0 0 7 3 0 0 17 0 8 0 167337986 882683904 22659 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24473] ppid=24456 vsize=861996 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 167337987 882683904 22659 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=861996 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 167337987 882683904 22659 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=861996 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167337990 882683904 22659 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=861996 CPUtime=0.18
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 897 0 0 0 17 1 0 0 16 0 8 0 167337990 882683904 22659 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24477] ppid=24456 vsize=861996 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 167337991 882683904 22659 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=861996 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167337991 882683904 22659 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 909552
[startup+6.28004 s]
/proc/loadavg: 1.98 2.00 1.83 3/93 24478
/proc/meminfo: memFree=943024/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=862512 CPUtime=6.16
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 40266 0 1 0 593 23 0 0 25 0 9 0 167337983 883212288 39768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24471/statm: 215628 39768 2027 14 0 201586 0
[pid=24471/tid=24472] ppid=24456 vsize=862512 CPUtime=1.35
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 24333 0 0 0 123 12 0 0 19 0 9 0 167337986 883212288 39768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24473] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 39768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 39768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 167337990 883212288 39768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=862512 CPUtime=0.2
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 913 0 0 0 19 1 0 0 16 0 9 0 167337990 883212288 39768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24477] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 167337991 883212288 39768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 167337991 883212288 39768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 910068
[startup+12.764 s]
/proc/loadavg: 1.98 2.00 1.83 3/94 24479
/proc/meminfo: memFree=942824/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=862512 CPUtime=12.61
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 40286 0 1 0 1238 23 0 0 25 0 9 0 167337983 883212288 39784 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073955969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24471/statm: 215628 39784 2027 14 0 201586 0
[pid=24471/tid=24472] ppid=24456 vsize=862512 CPUtime=1.35
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 24333 0 0 0 123 12 0 0 17 0 9 0 167337986 883212288 39784 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24473] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 39784 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 39784 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 167337990 883212288 39784 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=862512 CPUtime=0.23
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 925 0 0 0 22 1 0 0 15 0 9 0 167337990 883212288 39784 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24477] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 167337991 883212288 39784 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 167337991 883212288 39784 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24479] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24479/stat : 24479 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 167338605 883212288 39784 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 910068
[startup+25.6464 s]
/proc/loadavg: 1.99 2.00 1.84 3/94 24479
/proc/meminfo: memFree=942952/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=862512 CPUtime=25.44
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 40288 0 1 0 2521 23 0 0 25 0 9 0 167337983 883212288 39785 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073931390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24471/statm: 215628 39785 2027 14 0 201586 0
[pid=24471/tid=24472] ppid=24456 vsize=862512 CPUtime=1.35
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 24333 0 0 0 123 12 0 0 16 0 9 0 167337986 883212288 39785 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24473] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 39785 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 39785 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 167337990 883212288 39785 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=862512 CPUtime=0.23
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 926 0 0 0 22 1 0 0 15 0 9 0 167337990 883212288 39785 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24477] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 167337991 883212288 39785 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 167337991 883212288 39785 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24479] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24479/stat : 24479 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 167338605 883212288 39785 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 910068
[startup+51.298 s]
/proc/loadavg: 1.99 2.00 1.84 3/94 24479
/proc/meminfo: memFree=879336/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=862512 CPUtime=50.96
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 40289 0 1 0 5073 23 0 0 25 0 9 0 167337983 883212288 39786 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073931524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24471/statm: 215628 39786 2027 14 0 201586 0
[pid=24471/tid=24472] ppid=24456 vsize=862512 CPUtime=1.35
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 24333 0 0 0 123 12 0 0 16 0 9 0 167337986 883212288 39786 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24473] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 39786 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 39786 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 167337990 883212288 39786 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=862512 CPUtime=0.23
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 927 0 0 0 22 1 0 0 16 0 9 0 167337990 883212288 39786 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24477] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 167337991 883212288 39786 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 167337991 883212288 39786 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24479] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24479/stat : 24479 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 167338605 883212288 39786 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 910068
[startup+102.599 s]
/proc/loadavg: 1.99 2.00 1.84 3/90 24555
/proc/meminfo: memFree=1088632/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
################
# More data... #
################
[pid=24471/tid=24474] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=862512 CPUtime=0.23
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 927 0 0 0 22 1 0 0 16 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24477] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24479] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24479/stat : 24479 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 167338605 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.55
Current children cumulated vsize (KiB) 910068
[startup+1604.12 s]
/proc/loadavg: 2.00 2.01 1.94 3/91 24558
/proc/meminfo: memFree=1004344/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=862512 CPUtime=1595.28
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 42299 0 1 0 159498 30 0 0 25 0 9 0 167337983 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073931614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24471/statm: 215628 41795 2027 14 0 201586 0
[pid=24471/tid=24472] ppid=24456 vsize=862512 CPUtime=1.53
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 26342 0 0 0 140 13 0 0 16 0 9 0 167337986 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24473] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=862512 CPUtime=0.23
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 927 0 0 0 22 1 0 0 16 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24477] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24479] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24479/stat : 24479 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 167338605 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.29
Current children cumulated vsize (KiB) 910068
[startup+1664.18 s]
/proc/loadavg: 2.00 2.00 1.94 4/91 24558
/proc/meminfo: memFree=1004344/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=862512 CPUtime=1655.02
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 42299 0 1 0 165471 31 0 0 25 0 9 0 167337983 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073935454 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24471/statm: 215628 41795 2027 14 0 201586 0
[pid=24471/tid=24472] ppid=24456 vsize=862512 CPUtime=1.53
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 26342 0 0 0 140 13 0 0 16 0 9 0 167337986 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24473] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=862512 CPUtime=0.23
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 927 0 0 0 22 1 0 0 16 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24477] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24479] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24479/stat : 24479 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 167338605 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.03
Current children cumulated vsize (KiB) 910068
[startup+1724.24 s]
/proc/loadavg: 2.00 2.00 1.94 3/91 24558
/proc/meminfo: memFree=1004344/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=862512 CPUtime=1714.74
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 42299 0 1 0 171443 31 0 0 25 0 9 0 167337983 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073930178 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24471/statm: 215628 41795 2027 14 0 201586 0
[pid=24471/tid=24472] ppid=24456 vsize=862512 CPUtime=1.53
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 26342 0 0 0 140 13 0 0 16 0 9 0 167337986 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24473] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=862512 CPUtime=0.23
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 927 0 0 0 22 1 0 0 16 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24477] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24479] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24479/stat : 24479 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 167338605 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.75
Current children cumulated vsize (KiB) 910068
[startup+1784.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/91 24558
/proc/meminfo: memFree=1004344/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=862512 CPUtime=1774.48
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 42299 0 1 0 177417 31 0 0 25 0 9 0 167337983 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073939439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24471/statm: 215628 41795 2027 14 0 201586 0
[pid=24471/tid=24472] ppid=24456 vsize=862512 CPUtime=1.53
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 26342 0 0 0 140 13 0 0 16 0 9 0 167337986 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24473] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=862512 CPUtime=0.23
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 927 0 0 0 22 1 0 0 16 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24477] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24479] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24479/stat : 24479 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 167338605 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.49
Current children cumulated vsize (KiB) 910068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.06 s]
/proc/loadavg: 2.00 2.00 1.94 3/91 24558
/proc/meminfo: memFree=1004344/2055920 swapFree=4184048/4192956
[pid=24456] ppid=24454 vsize=47556 CPUtime=0.01
/proc/24456/stat : 24456 (galacJ.sh) S 24454 24456 23881 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 167337978 48697344 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24456/statm: 11889 361 244 79 0 217 0
[pid=24471] ppid=24456 vsize=862512 CPUtime=1800.08
/proc/24471/stat : 24471 (java) R 24456 24456 23881 0 -1 0 42299 0 1 0 179977 31 0 0 25 0 9 0 167337983 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073931621 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24471/statm: 215628 41795 2027 14 0 201586 0
[pid=24471/tid=24472] ppid=24456 vsize=862512 CPUtime=1.53
/proc/24471/task/24472/stat : 24472 (java) S 24456 24456 23881 0 -1 64 26342 0 0 0 140 13 0 0 16 0 9 0 167337986 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24473] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24473/stat : 24473 (java) S 24456 24456 23881 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24474] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24474/stat : 24474 (java) S 24456 24456 23881 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 167337987 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24475] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24475/stat : 24475 (java) S 24456 24456 23881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24476] ppid=24456 vsize=862512 CPUtime=0.23
/proc/24471/task/24476/stat : 24476 (java) S 24456 24456 23881 0 -1 64 927 0 0 0 22 1 0 0 16 0 9 0 167337990 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24471/tid=24477] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24477/stat : 24477 (java) S 24456 24456 23881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24478] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24478/stat : 24478 (java) S 24456 24456 23881 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 167337991 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24471/tid=24479] ppid=24456 vsize=862512 CPUtime=0
/proc/24471/task/24479/stat : 24479 (java) S 24456 24456 23881 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 167338605 883212288 41795 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 910068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24456 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=6998 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=22996
CPU time returned by wait4() is 0.029994
while last known CPU time is 1800.09
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.08
CPU time (s): 1800.09
CPU user time (s): 1799.77
CPU system time (s): 0.32
CPU usage (%): 99.4482
Max. virtual memory (cumulated for all children) (KiB): 910556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.006998
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2524
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= 52
involuntary context switches= 23
runsolver used 2.18367 s user time and 5.82511 s system time
The end
Begin job on node45 on Sun Jan 7 17:03:10 UTC 2007
IDJOB= 208690
IDBENCH= 4426
FILE ID= node45/208690-1168189390
PBS_JOBID= 3479288
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-49_ext.xml
COMMAND LINE= /tmp/evaluation/208690-1168189390/galacJ.sh /tmp/evaluation/208690-1168189390/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-208690-1168189390 -o ROOT/results/node45/solver-208690-1168189390 -C 1800 -M 900 /tmp/evaluation/208690-1168189390/galacJ.sh /tmp/evaluation/208690-1168189390/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 24e589469370019d7235c5b114f659ab
RANDOM SEED= 517925098
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.259
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.259
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: 1095632 kB
Buffers: 48664 kB
Cached: 602784 kB
SwapCached: 3188 kB
Active: 555184 kB
Inactive: 343984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1095632 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 4556 kB
Writeback: 0 kB
Mapped: 263240 kB
Slab: 46116 kB
Committed_AS: 3905108 kB
PageTables: 2248 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= 66539 MiB
End job on node45 on Sun Jan 7 17:33:20 UTC 2007