runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-210700-1168201605 -o ROOT/results/node48/solver-210700-1168201605 -C 1800 -M 900 /tmp/evaluation/210700-1168201605/cspfj.sh -competition /tmp/evaluation/210700-1168201605/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.86 0.97 0.99 6/71 12741
/proc/meminfo: memFree=1669272/2055920 swapFree=4192812/4192956
[startup+0.103025 s]
/proc/loadavg: 0.86 0.97 0.99 6/71 12741
/proc/meminfo: memFree=1669272/2055920 swapFree=4192812/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
[startup+0.51106 s]
/proc/loadavg: 0.86 0.97 0.99 6/71 12741
/proc/meminfo: memFree=1669272/2055920 swapFree=4192812/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
[startup+1.33214 s]
/proc/loadavg: 0.86 0.97 0.99 4/89 12782
/proc/meminfo: memFree=1615176/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=865604 CPUtime=1.29
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 5133 0 1 0 122 7 0 0 24 0 8 0 168559289 886378496 4822 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153381077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 216401 4822 1828 14 0 203663 0
[pid=12743/tid=12753] ppid=12740 vsize=865604 CPUtime=0.1
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 981 0 0 0 10 0 0 0 16 0 8 0 168559292 886378496 4822 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=865604 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 886378496 4822 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=865604 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 168559293 886378496 4822 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=865604 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 886378496 4822 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=865604 CPUtime=0.25
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 547 0 0 0 24 1 0 0 15 0 8 0 168559297 886378496 4822 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=865604 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 886378496 4822 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=865604 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 886378496 4822 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 870956
[startup+2.97829 s]
/proc/loadavg: 0.86 0.97 0.99 3/89 12782
/proc/meminfo: memFree=1610696/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=865848 CPUtime=2.93
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 6653 0 1 0 281 12 0 0 25 0 8 0 168559289 886628352 6261 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073660414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 216462 6261 1828 14 0 203724 0
[pid=12743/tid=12753] ppid=12740 vsize=865848 CPUtime=0.25
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 1872 0 0 0 24 1 0 0 16 0 8 0 168559292 886628352 6261 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=865848 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 886628352 6261 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=865848 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 168559293 886628352 6261 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=865848 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 886628352 6261 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=865848 CPUtime=0.33
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 585 0 0 0 32 1 0 0 15 0 8 0 168559297 886628352 6261 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=865848 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 886628352 6261 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=865848 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 886628352 6261 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 871200
[startup+6.18458 s]
/proc/loadavg: 0.95 0.99 0.99 3/89 12782
/proc/meminfo: memFree=1596184/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=866004 CPUtime=6.11
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 8778 0 1 0 591 20 0 0 25 0 8 0 168559289 886788096 8317 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 216501 8317 1828 14 0 203763 0
[pid=12743/tid=12753] ppid=12740 vsize=866004 CPUtime=0.47
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 3147 0 0 0 45 2 0 0 15 0 8 0 168559292 886788096 8317 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=866004 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168559293 886788096 8317 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=866004 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 168559293 886788096 8317 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=866004 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 886788096 8317 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=866004 CPUtime=0.33
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 585 0 0 0 32 1 0 0 16 0 8 0 168559297 886788096 8317 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=866004 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 886788096 8317 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=866004 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 886788096 8317 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 871356
[startup+12.6702 s]
/proc/loadavg: 1.03 1.01 1.00 3/89 12782
/proc/meminfo: memFree=1561816/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=866004 CPUtime=12.56
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 11384 0 1 0 1226 30 0 0 25 0 8 0 168559289 886788096 10873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153578928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 216501 10873 1828 14 0 203763 0
[pid=12743/tid=12753] ppid=12740 vsize=866004 CPUtime=0.78
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 4747 0 0 0 76 2 0 0 16 0 8 0 168559292 886788096 10873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=866004 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 886788096 10873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=866004 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 168559293 886788096 10873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=866004 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 886788096 10873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=866004 CPUtime=0.33
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 585 0 0 0 32 1 0 0 16 0 8 0 168559297 886788096 10873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=866004 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 886788096 10873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=866004 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 886788096 10873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 871356
[startup+25.5484 s]
/proc/loadavg: 1.25 1.05 1.02 3/89 12782
/proc/meminfo: memFree=1539352/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=866164 CPUtime=25.38
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 14802 0 1 0 2494 44 0 0 25 0 8 0 168559289 886951936 14244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073797136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 216541 14244 1828 14 0 203803 0
[pid=12743/tid=12753] ppid=12740 vsize=866164 CPUtime=1.18
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 6901 0 0 0 115 3 0 0 16 0 8 0 168559292 886951936 14244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=866164 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 886951936 14244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=866164 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 168559293 886951936 14244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=866164 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 886951936 14244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=866164 CPUtime=0.33
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 585 0 0 0 32 1 0 0 16 0 8 0 168559297 886951936 14244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=866164 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 886951936 14244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=866164 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 886951936 14244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 871516
[startup+51.2175 s]
/proc/loadavg: 1.64 1.16 1.05 3/89 12782
/proc/meminfo: memFree=1469912/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=867780 CPUtime=50.89
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 25226 0 1 0 5018 71 0 0 25 0 8 0 168559289 888606720 24194 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 216945 24194 1839 14 0 204207 0
[pid=12743/tid=12753] ppid=12740 vsize=867780 CPUtime=3.14
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 15550 0 0 0 307 7 0 0 15 0 8 0 168559292 888606720 24194 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=867780 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 888606720 24194 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=867780 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 168559293 888606720 24194 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=867780 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 888606720 24194 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=867780 CPUtime=0.39
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 612 0 0 0 38 1 0 0 15 0 8 0 168559297 888606720 24194 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=867780 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 888606720 24194 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=867780 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) R 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 888606720 24194 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 873132
[startup+102.489 s]
/proc/loadavg: 1.84 1.29 1.10 3/89 12782
/proc/meminfo: memFree=1432792/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=870672 CPUtime=101.89
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 28298 0 1 0 10113 76 0 0 25 0 8 0 168559289 891568128 27251 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074276981 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 217668 27251 1839 14 0 204930 0
[pid=12743/tid=12753] ppid=12740 vsize=870672 CPUtime=3.31
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 16115 0 0 0 323 8 0 0 16 0 8 0 168559292 891568128 27251 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=870672 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 891568128 27251 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=870672 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 168559293 891568128 27251 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=870672 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 891568128 27251 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=870672 CPUtime=2.29
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 3094 0 0 0 224 5 0 0 16 0 8 0 168559297 891568128 27251 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=12743/tid=12754] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 892030976 27817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=871124 CPUtime=3.33
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 3659 0 0 0 321 12 0 0 16 0 8 0 168559297 892030976 27817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 892030976 27817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 892030976 27817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1410.24
Current children cumulated vsize (KiB) 876476
[startup+1483.37 s]
/proc/loadavg: 2.00 1.99 1.77 4/88 12840
/proc/meminfo: memFree=1202272/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=871124 CPUtime=1469.68
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 29228 0 1 0 146863 105 0 0 25 0 8 0 168559289 892030976 27821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074213079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 217781 27821 1839 14 0 205043 0
[pid=12743/tid=12753] ppid=12740 vsize=871124 CPUtime=7.32
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 16115 0 0 0 721 11 0 0 16 0 8 0 168559292 892030976 27821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 892030976 27821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=871124 CPUtime=3.33
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 3663 0 0 0 321 12 0 0 16 0 8 0 168559297 892030976 27821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 892030976 27821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 892030976 27821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.68
Current children cumulated vsize (KiB) 876476
[startup+1543.41 s]
/proc/loadavg: 2.03 2.00 1.79 3/88 12840
/proc/meminfo: memFree=1202208/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=871124 CPUtime=1529.15
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 29243 0 1 0 152810 105 0 0 25 0 8 0 168559289 892030976 27824 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074266512 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 217781 27824 1839 14 0 205043 0
[pid=12743/tid=12753] ppid=12740 vsize=871124 CPUtime=7.47
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 16115 0 0 0 736 11 0 0 16 0 8 0 168559292 892030976 27824 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27824 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27824 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 892030976 27824 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=871124 CPUtime=3.34
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 3666 0 0 0 322 12 0 0 16 0 8 0 168559297 892030976 27824 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 892030976 27824 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 892030976 27824 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.15
Current children cumulated vsize (KiB) 876476
[startup+1603.44 s]
/proc/loadavg: 2.01 2.00 1.80 3/88 12840
/proc/meminfo: memFree=1202208/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=871124 CPUtime=1588.62
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 29261 0 1 0 158756 106 0 0 25 0 8 0 168559289 892030976 27830 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074213145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 217781 27830 1839 14 0 205043 0
[pid=12743/tid=12753] ppid=12740 vsize=871124 CPUtime=7.62
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 16115 0 0 0 751 11 0 0 16 0 8 0 168559292 892030976 27830 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27830 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27830 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 892030976 27830 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=871124 CPUtime=3.34
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 3672 0 0 0 322 12 0 0 16 0 8 0 168559297 892030976 27830 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 892030976 27830 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 892030976 27830 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.62
Current children cumulated vsize (KiB) 876476
[startup+1663.47 s]
/proc/loadavg: 2.00 2.00 1.81 3/88 12840
/proc/meminfo: memFree=1202080/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=871124 CPUtime=1648.05
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 29277 0 1 0 164698 107 0 0 25 0 8 0 168559289 892030976 27833 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 3722070 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 217781 27833 1839 14 0 205043 0
[pid=12743/tid=12753] ppid=12740 vsize=871124 CPUtime=7.77
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 16115 0 0 0 766 11 0 0 16 0 8 0 168559292 892030976 27833 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27833 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27833 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 892030976 27833 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=871124 CPUtime=3.35
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 3675 0 0 0 323 12 0 0 16 0 8 0 168559297 892030976 27833 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 892030976 27833 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 892030976 27833 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.05
Current children cumulated vsize (KiB) 876476
[startup+1723.49 s]
/proc/loadavg: 2.09 2.03 1.83 3/88 12840
/proc/meminfo: memFree=1165024/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=871124 CPUtime=1707.49
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 29291 0 1 0 170642 107 0 0 25 0 8 0 168559289 892030976 27836 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074277003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 217781 27836 1839 14 0 205043 0
[pid=12743/tid=12753] ppid=12740 vsize=871124 CPUtime=7.9
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 16115 0 0 0 779 11 0 0 16 0 8 0 168559292 892030976 27836 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27836 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27836 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 892030976 27836 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=871124 CPUtime=3.35
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 3678 0 0 0 323 12 0 0 16 0 8 0 168559297 892030976 27836 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 892030976 27836 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 892030976 27836 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.49
Current children cumulated vsize (KiB) 876476
[startup+1783.51 s]
/proc/loadavg: 2.03 2.02 1.83 3/88 12840
/proc/meminfo: memFree=1164960/2055920 swapFree=4192812/4192956
[pid=12740] ppid=12720 vsize=5352 CPUtime=0
/proc/12740/stat : 12740 (cspfj.sh) S 12720 12740 12601 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 168559288 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12740/statm: 1338 240 201 169 0 49 0
[pid=12743] ppid=12740 vsize=871124 CPUtime=1766.94
/proc/12743/stat : 12743 (java) R 12740 12740 12601 0 -1 0 29307 0 1 0 176586 108 0 0 25 0 8 0 168559289 892030976 27838 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074223806 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12743/statm: 217781 27838 1839 14 0 205043 0
[pid=12743/tid=12753] ppid=12740 vsize=871124 CPUtime=8.08
/proc/12743/task/12753/stat : 12753 (java) S 12740 12740 12601 0 -1 64 16115 0 0 0 796 12 0 0 17 0 8 0 168559292 892030976 27838 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12754] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12754/stat : 12754 (java) S 12740 12740 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27838 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12755] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12755/stat : 12755 (java) S 12740 12740 12601 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 168559293 892030976 27838 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12765] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12765/stat : 12765 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559297 892030976 27838 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12766] ppid=12740 vsize=871124 CPUtime=3.36
/proc/12743/task/12766/stat : 12766 (java) S 12740 12740 12601 0 -1 64 3680 0 0 0 324 12 0 0 16 0 8 0 168559297 892030976 27838 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12767] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12767/stat : 12767 (java) S 12740 12740 12601 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559297 892030976 27838 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12743/tid=12768] ppid=12740 vsize=871124 CPUtime=0
/proc/12743/task/12768/stat : 12768 (java) S 12740 12740 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168559297 892030976 27838 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.94
Current children cumulated vsize (KiB) 876476
Child status: 0
Real time (s): 1793.35
CPU time (s): 1776.66
CPU user time (s): 1775.56
CPU system time (s): 1.10183
CPU usage (%): 99.069
Max. virtual memory (cumulated for all children) (KiB): 876476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.56
system time used= 1.10183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29787
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50447
involuntary context switches= 84929
runsolver used 2.13667 s user time and 5.75712 s system time
The end
Begin job on node48 on Sun Jan 7 20:26:46 UTC 2007
IDJOB= 210700
IDBENCH= 4639
FILE ID= node48/210700-1168201605
PBS_JOBID= 3480742
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/25s-smv.xml
COMMAND LINE= /tmp/evaluation/210700-1168201605/cspfj.sh -competition /tmp/evaluation/210700-1168201605/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-210700-1168201605 -o ROOT/results/node48/solver-210700-1168201605 -C 1800 -M 900 /tmp/evaluation/210700-1168201605/cspfj.sh -competition /tmp/evaluation/210700-1168201605/unknown.xml
META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH= f7a273ee733be68f959a2f3726847276
RANDOM SEED= 350741031
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.218
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.218
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: 1670288 kB
Buffers: 60424 kB
Cached: 246664 kB
SwapCached: 0 kB
Active: 138612 kB
Inactive: 188528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1670288 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7372 kB
Writeback: 0 kB
Mapped: 30188 kB
Slab: 44276 kB
Committed_AS: 3720536 kB
PageTables: 1584 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= 66551 MiB
End job on node48 on Sun Jan 7 20:56:39 UTC 2007