0.04 c # Sugar v0-40 (/tmp/evaluation/208804-1170097491/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/208804-1170097491/unknown.xml [Mon Jan 29 20:04:51 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/208804-1170097491/unknown.xml /tmp/evaluation/208804-1170097491/sugar25348.csp [Mon Jan 29 20:04:51 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208804-1170097491/sugar-v0-40.jar -convert /tmp/evaluation/208804-1170097491/unknown.xml /tmp/evaluation/208804-1170097491/sugar25348.csp
0.16 c BEGIN convert /tmp/evaluation/208804-1170097491/unknown.xml
1.51 c END convert (1.356003 seconds)
1.53 c # CONVERT_XML END : /tmp/evaluation/208804-1170097491/sugar25348.csp 7357230 bytes (1 seconds) [Mon Jan 29 20:04:52 2007]
1.53 c # CONVERT_XML CPU : 1.45 = 0 + 0 + 1.38 + 0.07
1.53
1.53 c # GENERATE_SAT BEGIN : /tmp/evaluation/208804-1170097491/sugar25348.bcnf [Mon Jan 29 20:04:52 2007]
1.53 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208804-1170097491/sugar-v0-40.jar -bcnf -map /tmp/evaluation/208804-1170097491/sugar25348.map /tmp/evaluation/208804-1170097491/sugar25348.csp /tmp/evaluation/208804-1170097491/sugar25348.bcnf
1.64 c BEGIN parse /tmp/evaluation/208804-1170097491/sugar25348.csp
1809.78
1809.78 s UNKNOWN
1809.78 c # INTERRUPTED
1809.78 c # MAIN END : (1810 seconds) [Mon Jan 29 20:35:01 2007]
1809.78 c # MAIN CPU : 1.45 = 0 + 0 + 1.38 + 0.07
1809.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-208804-1170097491 -o ROOT/results/node76/solver-208804-1170097491 -C 1800 -M 900 /tmp/evaluation/208804-1170097491/solver /tmp/evaluation/208804-1170097491 /tmp/evaluation/208804-1170097491/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: 2.00 2.00 2.00 5/79 25349
/proc/meminfo: memFree=1876568/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=12272 CPUtime=0
/proc/25348/stat : 25348 (sugar) D 25346 25348 24676 0 -1 4194304 593 0 0 0 0 0 0 0 18 0 1 0 29707389 12566528 315 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206843904885 0 2147483391 4224 0 18446744072100015398 0 0 17 0 0 0
/proc/25348/statm: 3068 315 240 3 0 167 0
[startup+0.107382 s]
/proc/loadavg: 2.00 2.00 2.00 5/79 25349
/proc/meminfo: memFree=1876568/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=0.03
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1106 0 0 0 3 0 0 0 19 0 1 0 29707389 14057472 802 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 802 365 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13728
[startup+0.515428 s]
/proc/loadavg: 2.00 2.00 2.00 5/79 25349
/proc/meminfo: memFree=1876568/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=0.03
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1115 0 0 0 3 0 0 0 15 0 1 0 29707389 14057472 802 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 802 365 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13728
[startup+1.33753 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 25357
/proc/meminfo: memFree=1839192/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=0.03
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1115 0 0 0 3 0 0 0 15 0 1 0 29707389 14057472 802 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 802 365 3 0 531 0
[pid=25350] ppid=25348 vsize=807132 CPUtime=1.27
/proc/25350/stat : 25350 (java) R 25348 25348 24676 0 -1 0 9746 0 1 0 121 6 0 0 25 0 8 0 29707393 826503168 9476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153376033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25350/statm: 201783 9476 1696 14 0 189060 0
[pid=25350/tid=25351] ppid=25348 vsize=807132 CPUtime=0.07
/proc/25350/task/25351/stat : 25351 (java) S 25348 25348 24676 0 -1 64 3259 0 0 0 6 1 0 0 16 0 8 0 29707397 826503168 9476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25350/tid=25352] ppid=25348 vsize=807132 CPUtime=0
/proc/25350/task/25352/stat : 25352 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707397 826503168 9476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25350/tid=25353] ppid=25348 vsize=807132 CPUtime=0
/proc/25350/task/25353/stat : 25353 (java) S 25348 25348 24676 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 29707397 826503168 9476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25350/tid=25354] ppid=25348 vsize=807132 CPUtime=0
/proc/25350/task/25354/stat : 25354 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29707400 826503168 9476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25350/tid=25355] ppid=25348 vsize=807132 CPUtime=0.06
/proc/25350/task/25355/stat : 25355 (java) S 25348 25348 24676 0 -1 64 297 0 0 0 6 0 0 0 16 0 8 0 29707400 826503168 9476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25350/tid=25356] ppid=25348 vsize=807132 CPUtime=0
/proc/25350/task/25356/stat : 25356 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 29707400 826503168 9476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25350/tid=25357] ppid=25348 vsize=807132 CPUtime=0
/proc/25350/task/25357/stat : 25357 (java) S 25348 25348 24676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29707400 826503168 9476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 820860
[startup+2.98773 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 25365
/proc/meminfo: memFree=1838552/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=807068 CPUtime=1.43
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 12248 0 1 0 136 7 0 0 17 0 8 0 29707542 826437632 11988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073492511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25358/statm: 201767 11988 1495 14 0 189044 0
[pid=25358/tid=25359] ppid=25348 vsize=807068 CPUtime=0.34
/proc/25358/task/25359/stat : 25359 (java) S 25348 25348 24676 0 -1 64 6187 0 0 0 31 3 0 0 17 0 8 0 29707545 826437632 11988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25360] ppid=25348 vsize=807068 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 826437632 11988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=807068 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 826437632 11988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=807068 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 826437632 11988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=807068 CPUtime=0.05
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 29707549 826437632 11988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=807068 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 826437632 11988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=807068 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29707549 826437632 11988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 820796
[startup+6.26612 s]
/proc/loadavg: 2.08 2.02 2.01 2/87 25414
/proc/meminfo: memFree=1809944/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=807068 CPUtime=4.69
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 28287 0 1 0 454 15 0 0 19 0 8 0 29707542 826437632 27993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25358/statm: 201767 27993 1495 14 0 189044 0
[pid=25358/tid=25359] ppid=25348 vsize=807068 CPUtime=1.3
/proc/25358/task/25359/stat : 25359 (java) R 25348 25348 24676 0 -1 64 22192 0 0 0 120 10 0 0 16 0 8 0 29707545 826437632 27993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153823240 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25358/tid=25360] ppid=25348 vsize=807068 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 826437632 27993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=807068 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 826437632 27993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=807068 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 826437632 27993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=807068 CPUtime=0.05
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29707549 826437632 27993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=807068 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 826437632 27993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=807068 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29707549 826437632 27993 18446744073709551615 134512640 134570532 4294956480 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) 820796
[startup+12.7639 s]
/proc/loadavg: 2.23 2.05 2.02 3/94 25429
/proc/meminfo: memFree=1568224/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=807360 CPUtime=11.16
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 57004 0 1 0 1087 29 0 0 25 0 8 0 29707542 826736640 56600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25358/statm: 201840 56600 1508 14 0 189117 0
[pid=25358/tid=25359] ppid=25348 vsize=807360 CPUtime=4.17
/proc/25358/task/25359/stat : 25359 (java) R 25348 25348 24676 0 -1 64 50118 0 0 0 394 23 0 0 15 0 8 0 29707545 826736640 56600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155165815 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25360] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 826736640 56600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 826736640 56600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 826736640 56600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=807360 CPUtime=0.1
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 379 0 0 0 10 0 0 0 16 0 8 0 29707549 826736640 56600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 826736640 56600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29707549 826736640 56600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 821088
[startup+25.6604 s]
/proc/loadavg: 2.35 2.08 2.03 4/94 25429
/proc/meminfo: memFree=1294176/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=807360 CPUtime=24.06
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 79331 0 1 0 2365 41 0 0 25 0 8 0 29707542 826736640 77946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25358/statm: 201840 77946 1508 14 0 189117 0
[pid=25358/tid=25359] ppid=25348 vsize=807360 CPUtime=11.45
/proc/25358/task/25359/stat : 25359 (java) R 25348 25348 24676 0 -1 64 72210 0 0 0 1111 34 0 0 16 0 8 0 29707545 826736640 77946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154031600 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25360] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 826736640 77946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 826736640 77946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 826736640 77946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=807360 CPUtime=0.11
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 385 0 0 0 11 0 0 0 16 0 8 0 29707549 826736640 77946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 826736640 77946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29707549 826736640 77946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 821088
[startup+51.3575 s]
/proc/loadavg: 2.84 2.23 2.08 5/94 25429
/proc/meminfo: memFree=1238176/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=807360 CPUtime=49.72
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 90299 0 1 0 4919 53 0 0 25 0 8 0 29707542 826736640 82320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25358/statm: 201840 82320 1508 14 0 189117 0
[pid=25358/tid=25359] ppid=25348 vsize=807360 CPUtime=27.7
/proc/25358/task/25359/stat : 25359 (java) R 25348 25348 24676 0 -1 64 82827 0 0 0 2727 43 0 0 16 0 8 0 29707545 826736640 82320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155211702 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25360] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 826736640 82320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 826736640 82320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 826736640 82320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=807360 CPUtime=0.11
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 385 0 0 0 11 0 0 0 16 0 8 0 29707549 826736640 82320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 826736640 82320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=807360 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29707549 826736640 82320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 821088
[startup+102.587 s]
/proc/loadavg: 3.32 2.45 2.16 4/94 25429
/proc/meminfo: memFree=1209568/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=807360 CPUtime=100.75
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 114529 0 1 0 10002 73 0 0 25 0 8 0 29707542 826736640 86855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073320410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25358/statm: 201840 86855 1508 14 0 189117 0
[pid=25358/tid=25359] ppid=25348 vsize=807360 CPUtime=62.72
################
# More data... #
################
/proc/loadavg: 3.57 3.42 3.10 3/94 25429
/proc/meminfo: memFree=697568/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=808384 CPUtime=1534.16
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 791833 0 1 0 152813 603 0 0 25 0 8 0 29707542 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25358/statm: 202096 151104 1508 14 0 189373 0
[pid=25358/tid=25359] ppid=25348 vsize=808384 CPUtime=1051.24
/proc/25358/task/25359/stat : 25359 (java) R 25348 25348 24676 0 -1 64 773696 0 0 0 104591 533 0 0 16 0 8 0 29707545 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154018648 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25360] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=808384 CPUtime=0.11
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 385 0 0 0 11 0 0 0 17 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.64
Current children cumulated vsize (KiB) 822112
[startup+1604.15 s]
/proc/loadavg: 3.43 3.40 3.11 5/94 25429
/proc/meminfo: memFree=697504/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=808384 CPUtime=1594.13
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 792153 0 1 0 158806 607 0 0 25 0 8 0 29707542 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25358/statm: 202096 151104 1508 14 0 189373 0
[pid=25358/tid=25359] ppid=25348 vsize=808384 CPUtime=1094.08
/proc/25358/task/25359/stat : 25359 (java) R 25348 25348 24676 0 -1 64 773696 0 0 0 108872 536 0 0 17 0 8 0 29707545 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155218344 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25360] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=808384 CPUtime=0.11
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 385 0 0 0 11 0 0 0 17 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.61
Current children cumulated vsize (KiB) 822112
[startup+1664.17 s]
/proc/loadavg: 3.44 3.40 3.12 3/94 25429
/proc/meminfo: memFree=697440/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=808384 CPUtime=1653.8
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 792478 0 1 0 164769 611 0 0 25 0 8 0 29707542 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073591529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25358/statm: 202096 151104 1508 14 0 189373 0
[pid=25358/tid=25359] ppid=25348 vsize=808384 CPUtime=1136.32
/proc/25358/task/25359/stat : 25359 (java) S 25348 25348 24676 0 -1 64 773696 0 0 0 113093 539 0 0 16 0 8 0 29707545 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25360] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=808384 CPUtime=0.11
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 385 0 0 0 11 0 0 0 17 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.28
Current children cumulated vsize (KiB) 822112
[startup+1724.2 s]
/proc/loadavg: 3.72 3.49 3.17 3/94 25429
/proc/meminfo: memFree=697440/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=808384 CPUtime=1713.52
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 792795 0 1 0 170737 615 0 0 25 0 8 0 29707542 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073320410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25358/statm: 202096 151104 1508 14 0 189373 0
[pid=25358/tid=25359] ppid=25348 vsize=808384 CPUtime=1178.8
/proc/25358/task/25359/stat : 25359 (java) S 25348 25348 24676 0 -1 64 773696 0 0 0 117339 541 0 0 16 0 8 0 29707545 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25360] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=808384 CPUtime=0.11
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 385 0 0 0 11 0 0 0 17 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715
Current children cumulated vsize (KiB) 822112
[startup+1784.24 s]
/proc/loadavg: 3.84 3.57 3.21 5/94 25429
/proc/meminfo: memFree=697376/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=808384 CPUtime=1773.23
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 793111 0 1 0 176704 619 0 0 25 0 8 0 29707542 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25358/statm: 202096 151104 1508 14 0 189373 0
[pid=25358/tid=25359] ppid=25348 vsize=808384 CPUtime=1221.28
/proc/25358/task/25359/stat : 25359 (java) R 25348 25348 24676 0 -1 64 773696 0 0 0 121584 544 0 0 15 0 8 0 29707545 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153964348 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25360] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=808384 CPUtime=0.11
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 385 0 0 0 11 0 0 0 17 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.71
Current children cumulated vsize (KiB) 822112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.75 s]
/proc/loadavg: 3.89 3.60 3.23 5/94 25429
/proc/meminfo: memFree=697376/2055888 swapFree=4096564/4096564
[pid=25348] ppid=25346 vsize=13728 CPUtime=1.48
/proc/25348/stat : 25348 (sugar) S 25346 25348 24676 0 -1 4194304 1186 9762 0 1 3 0 138 7 15 0 1 0 29707389 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25348/statm: 3432 808 370 3 0 531 0
[pid=25358] ppid=25348 vsize=808384 CPUtime=1798.6
/proc/25358/stat : 25358 (java) R 25348 25348 24676 0 -1 0 793237 0 1 0 179238 622 0 0 25 0 8 0 29707542 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25358/statm: 202096 151104 1508 14 0 189373 0
[pid=25358/tid=25359] ppid=25348 vsize=808384 CPUtime=1239.35
/proc/25358/task/25359/stat : 25359 (java) R 25348 25348 24676 0 -1 64 773696 0 0 0 123390 545 0 0 15 0 8 0 29707545 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153964348 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25360] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25360/stat : 25360 (java) S 25348 25348 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25361] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25361/stat : 25361 (java) S 25348 25348 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29707546 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25362] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25362/stat : 25362 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25363] ppid=25348 vsize=808384 CPUtime=0.11
/proc/25358/task/25363/stat : 25363 (java) S 25348 25348 24676 0 -1 64 385 0 0 0 11 0 0 0 17 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25364] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25364/stat : 25364 (java) S 25348 25348 24676 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25358/tid=25365] ppid=25348 vsize=808384 CPUtime=0
/proc/25358/task/25365/stat : 25365 (java) S 25348 25348 24676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29707549 827785216 151104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 822112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25348 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=425783 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=89986
CPU time returned by wait4() is 1.51577
while last known CPU time is 1800.24
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.78
CPU time (s): 1800.24
CPU user time (s): 1793.86
CPU system time (s): 6.38
CPU usage (%): 99.4179
Max. virtual memory (cumulated for all children) (KiB): 822112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.42578
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11029
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= 592
involuntary context switches= 499
runsolver used 2.22766 s user time and 5.77012 s system time
The end
Begin job on node76 on Mon Jan 29 19:04:51 UTC 2007
IDJOB= 208804
IDBENCH= 4453
IDSOLVER= 86
FILE ID= node76/208804-1170097491
PBS_JOBID= 3689638
Free space on /tmp= 66644 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-47_ext.xml
COMMAND LINE= /tmp/evaluation/208804-1170097491/solver /tmp/evaluation/208804-1170097491 /tmp/evaluation/208804-1170097491/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-208804-1170097491 -o ROOT/results/node76/solver-208804-1170097491 -C 1800 -M 900 /tmp/evaluation/208804-1170097491/solver /tmp/evaluation/208804-1170097491 /tmp/evaluation/208804-1170097491/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 3731bb3f0f148ab8e8fe28516cd5eff6
RANDOM SEED= 723866870
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.219
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 : 6006.18
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.219
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 : 5999.41
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1877048 kB
Buffers: 13372 kB
Cached: 64012 kB
SwapCached: 0 kB
Active: 94272 kB
Inactive: 40568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1877048 kB
SwapTotal: 4096564 kB
SwapFree: 4096564 kB
Dirty: 1984 kB
Writeback: 0 kB
Mapped: 68748 kB
Slab: 29724 kB
Committed_AS: 466508 kB
PageTables: 1864 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66641 MiB
End job on node76 on Mon Jan 29 19:35:02 UTC 2007