runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-252221-1168406271 -o ROOT/results/node25/solver-252221-1168406271 -C 1800 -M 900 /tmp/evaluation/252221-1168406271/galac.sh /tmp/evaluation/252221-1168406271/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.97 1.01 1.09 4/78 11528
/proc/meminfo: memFree=1574760/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=8652 CPUtime=0
/proc/11527/stat : 11527 (galac.sh) R 11525 11527 10441 0 -1 4194304 335 0 0 0 0 0 0 0 17 0 1 0 189019610 8859648 279 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781796511 0 65538 4096 73728 0 0 0 17 1 0 0
/proc/11527/statm: 2163 279 207 79 0 156 0
[pid=11529] ppid=11527 vsize=8688 CPUtime=0
/proc/11529/stat : 11529 (galac.sh) R 11527 11527 10441 0 -1 4194368 27 0 0 0 0 0 0 0 17 0 1 0 189019610 8896512 286 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781796511 0 65536 4096 73728 0 0 0 17 1 0 0
/proc/11529/statm: 2172 286 209 79 0 165 0
[pid=11530] ppid=11529 vsize=8688 CPUtime=0
/proc/11530/stat : 11530 (galac.sh) R 11529 11527 10441 0 -1 4194368 10 0 0 0 0 0 0 0 17 0 1 0 189019610 8896512 286 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781964466 0 0 4096 73728 0 0 0 17 1 0 0
/proc/11530/statm: 2172 286 209 79 0 165 0
[startup+0.105156 s]
/proc/loadavg: 0.97 1.01 1.09 4/78 11528
/proc/meminfo: memFree=1574760/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+0.517227 s]
/proc/loadavg: 0.97 1.01 1.09 4/78 11528
/proc/meminfo: memFree=1574760/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+1.33837 s]
/proc/loadavg: 0.97 1.01 1.09 2/86 11548
/proc/meminfo: memFree=1527512/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=1.29
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14499 0 1 0 121 8 0 0 16 0 8 0 189019613 882913280 14251 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11541/statm: 215555 14251 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.08
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3757 0 0 0 7 1 0 0 17 0 8 0 189019616 882913280 14251 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14251 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14251 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14251 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.24
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1005 0 0 0 23 1 0 0 15 0 8 0 189019620 882913280 14251 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14251 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14251 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 909772
[startup+2.97564 s]
/proc/loadavg: 1.05 1.02 1.10 2/86 11548
/proc/meminfo: memFree=1524504/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=2.93
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 284 9 0 0 18 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073515060 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 909772
[startup+6.2742 s]
/proc/loadavg: 1.05 1.02 1.10 2/86 11548
/proc/meminfo: memFree=1524504/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=6.22
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 613 9 0 0 25 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074205837 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 909772
[startup+12.7513 s]
/proc/loadavg: 1.04 1.02 1.10 2/86 11548
/proc/meminfo: memFree=1524776/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=12.69
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 1260 9 0 0 25 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074203189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 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) 909772
[startup+25.6145 s]
/proc/loadavg: 1.04 1.02 1.09 2/86 11548
/proc/meminfo: memFree=1524912/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=25.55
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 2546 9 0 0 25 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074203070 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 909772
[startup+51.2288 s]
/proc/loadavg: 1.02 1.02 1.09 2/86 11548
/proc/meminfo: memFree=1524976/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=51.12
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 5103 9 0 0 25 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074203104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 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) 909772
[startup+102.445 s]
/proc/loadavg: 1.01 1.01 1.09 2/86 11548
/proc/meminfo: memFree=1525040/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
################
# More data... #
################
/proc/loadavg: 1.00 1.00 1.00 2/86 11550
/proc/meminfo: memFree=1524784/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=1542.76
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 154265 11 0 0 25 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074203116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.77
Current children cumulated vsize (KiB) 909772
[startup+1603.96 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 11550
/proc/meminfo: memFree=1524784/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=1602.79
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 160268 11 0 0 25 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074203073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.8
Current children cumulated vsize (KiB) 909772
[startup+1664.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 11550
/proc/meminfo: memFree=1524848/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=1662.81
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 166270 11 0 0 25 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073515057 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.82
Current children cumulated vsize (KiB) 909772
[startup+1724.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 11550
/proc/meminfo: memFree=1524784/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=1722.84
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 172273 11 0 0 25 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074204704 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.85
Current children cumulated vsize (KiB) 909772
[startup+1784.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 11550
/proc/meminfo: memFree=1524784/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=1782.86
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 178275 11 0 0 25 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074209719 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.87
Current children cumulated vsize (KiB) 909772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 11550
/proc/meminfo: memFree=1524784/2055920 swapFree=4170236/4192956
[pid=11527] ppid=11525 vsize=47552 CPUtime=0.01
/proc/11527/stat : 11527 (galac.sh) S 11525 11527 10441 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 189019610 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11527/statm: 11888 362 244 79 0 218 0
[pid=11541] ppid=11527 vsize=862220 CPUtime=1800.03
/proc/11541/stat : 11541 (java) R 11527 11527 10441 0 -1 0 14543 0 1 0 179992 11 0 0 25 0 8 0 189019613 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074204098 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11541/statm: 215555 14293 1988 14 0 201760 0
[pid=11541/tid=11542] ppid=11527 vsize=862220 CPUtime=0.15
/proc/11541/task/11542/stat : 11542 (java) S 11527 11527 10441 0 -1 64 3777 0 0 0 14 1 0 0 16 0 8 0 189019616 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11541/tid=11543] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11543/stat : 11543 (java) S 11527 11527 10441 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11544] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11544/stat : 11544 (java) S 11527 11527 10441 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 189019617 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11545] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11545/stat : 11545 (java) S 11527 11527 10441 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11546] ppid=11527 vsize=862220 CPUtime=0.27
/proc/11541/task/11546/stat : 11546 (java) S 11527 11527 10441 0 -1 64 1027 0 0 0 26 1 0 0 16 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11547] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11547/stat : 11547 (java) S 11527 11527 10441 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11541/tid=11548] ppid=11527 vsize=862220 CPUtime=0
/proc/11541/task/11548/stat : 11548 (java) S 11527 11527 10441 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189019620 882913280 14293 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 909772
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 11527 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=7998 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=20996
CPU time returned by wait4() is 0.028994
while last known CPU time is 1800.04
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1801.35
CPU time (s): 1800.04
CPU user time (s): 1799.92
CPU system time (s): 0.12
CPU usage (%): 99.9273
Max. virtual memory (cumulated for all children) (KiB): 909772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.007998
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2464
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= 53
involuntary context switches= 17
runsolver used 1.9697 s user time and 4.41833 s system time
The end
Begin job on node25 on Wed Jan 10 05:17:52 UTC 2007
IDJOB= 252221
IDBENCH= 12912
FILE ID= node25/252221-1168406271
PBS_JOBID= 3523346
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bmc/bmc-ibm-01-02.xml
COMMAND LINE= /tmp/evaluation/252221-1168406271/galac.sh /tmp/evaluation/252221-1168406271/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-252221-1168406271 -o ROOT/results/node25/solver-252221-1168406271 -C 1800 -M 900 /tmp/evaluation/252221-1168406271/galac.sh /tmp/evaluation/252221-1168406271/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= 50913f975fa8ecb516a44e4612411e26
RANDOM SEED= 920940859
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.279
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.279
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: 1575112 kB
Buffers: 45884 kB
Cached: 356988 kB
SwapCached: 2816 kB
Active: 162104 kB
Inactive: 265060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1575112 kB
SwapTotal: 4192956 kB
SwapFree: 4170236 kB
Dirty: 11796 kB
Writeback: 0 kB
Mapped: 33028 kB
Slab: 38904 kB
Committed_AS: 3964120 kB
PageTables: 1936 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= 66553 MiB
End job on node25 on Wed Jan 10 05:47:54 UTC 2007