0.05 c # Sugar v0-40 (/tmp/evaluation/217995-1170101687/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/217995-1170101687/unknown.xml [Mon Jan 29 21:14:48 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/217995-1170101687/unknown.xml /tmp/evaluation/217995-1170101687/sugar30338.csp [Mon Jan 29 21:14:48 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217995-1170101687/sugar-v0-40.jar -convert /tmp/evaluation/217995-1170101687/unknown.xml /tmp/evaluation/217995-1170101687/sugar30338.csp
0.17 c BEGIN convert /tmp/evaluation/217995-1170101687/unknown.xml
1.59 c END convert (1.418627 seconds)
1.64 c # CONVERT_XML END : /tmp/evaluation/217995-1170101687/sugar30338.csp 7755214 bytes (2 seconds) [Mon Jan 29 21:14:50 2007]
1.64 c # CONVERT_XML CPU : 1.5 = 0 + 0 + 1.41 + 0.09
1.64
1.64 c # GENERATE_SAT BEGIN : /tmp/evaluation/217995-1170101687/sugar30338.bcnf [Mon Jan 29 21:14:50 2007]
1.64 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217995-1170101687/sugar-v0-40.jar -bcnf -map /tmp/evaluation/217995-1170101687/sugar30338.map /tmp/evaluation/217995-1170101687/sugar30338.csp /tmp/evaluation/217995-1170101687/sugar30338.bcnf
1.75 c BEGIN parse /tmp/evaluation/217995-1170101687/sugar30338.csp
1807.63
1807.63 s UNKNOWN
1807.63 c # INTERRUPTED
1807.63 c # MAIN END : (1808 seconds) [Mon Jan 29 21:44:56 2007]
1807.63 c # MAIN CPU : 1.5 = 0 + 0 + 1.41 + 0.09
1807.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-217995-1170101687 -o ROOT/results/node10/solver-217995-1170101687 -C 1800 -M 900 /tmp/evaluation/217995-1170101687/solver /tmp/evaluation/217995-1170101687 /tmp/evaluation/217995-1170101687/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.51 2.76 2.75 6/94 30339
/proc/meminfo: memFree=15896/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=5356 CPUtime=0
/proc/30338/stat : 30338 (solver) R 30336 30338 30273 0 -1 4194304 183 0 0 0 0 0 0 0 20 0 1 0 30123818 5484544 152 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 214920036434 0 0 4096 0 0 0 0 17 1 0 0
/proc/30338/statm: 1338 155 127 169 0 49 0
[startup+0.108889 s]
/proc/loadavg: 2.51 2.76 2.75 6/94 30339
/proc/meminfo: memFree=15896/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=0.03
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 30123818 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30338/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51794 s]
/proc/loadavg: 2.51 2.76 2.75 6/94 30339
/proc/meminfo: memFree=15896/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=0.03
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30123818 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30338/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34605 s]
/proc/loadavg: 2.51 2.76 2.75 3/102 30347
/proc/meminfo: memFree=15000/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=0.03
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30123818 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30338/statm: 3431 805 368 3 0 531 0
[pid=30340] ppid=30338 vsize=807128 CPUtime=1.25
/proc/30340/stat : 30340 (java) R 30338 30338 30273 0 -1 0 9896 0 1 0 118 7 0 0 25 0 8 0 30123823 826499072 9624 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380212 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30340/statm: 201782 9624 1695 14 0 189060 0
[pid=30340/tid=30341] ppid=30338 vsize=807128 CPUtime=0.07
/proc/30340/task/30341/stat : 30341 (java) S 30338 30338 30273 0 -1 64 3409 0 0 0 6 1 0 0 16 0 8 0 30123827 826499072 9624 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30340/tid=30342] ppid=30338 vsize=807128 CPUtime=0
/proc/30340/task/30342/stat : 30342 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123827 826499072 9624 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30340/tid=30343] ppid=30338 vsize=807128 CPUtime=0
/proc/30340/task/30343/stat : 30343 (java) S 30338 30338 30273 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 30123827 826499072 9624 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30340/tid=30344] ppid=30338 vsize=807128 CPUtime=0
/proc/30340/task/30344/stat : 30344 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30123830 826499072 9624 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30340/tid=30345] ppid=30338 vsize=807128 CPUtime=0.05
/proc/30340/task/30345/stat : 30345 (java) S 30338 30338 30273 0 -1 64 296 0 0 0 5 0 0 0 16 0 8 0 30123830 826499072 9624 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30340/tid=30346] ppid=30338 vsize=807128 CPUtime=0
/proc/30340/task/30346/stat : 30346 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30123830 826499072 9624 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30340/tid=30347] ppid=30338 vsize=807128 CPUtime=0
/proc/30340/task/30347/stat : 30347 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30123830 826499072 9624 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 820852
[startup+2.99128 s]
/proc/loadavg: 2.55 2.76 2.76 3/102 30355
/proc/meminfo: memFree=15576/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807064 CPUtime=1.32
/proc/30348/stat : 30348 (java) R 30338 30338 30273 0 -1 0 11763 0 1 0 128 4 0 0 25 0 8 0 30123983 826433536 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073507844 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201766 11503 1494 14 0 189044 0
[pid=30348/tid=30349] ppid=30338 vsize=807064 CPUtime=0.3
/proc/30348/task/30349/stat : 30349 (java) S 30338 30338 30273 0 -1 64 5704 0 0 0 29 1 0 0 16 0 8 0 30123986 826433536 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807064 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826433536 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807064 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826433536 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807064 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826433536 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807064 CPUtime=0.05
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 30123989 826433536 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807064 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826433536 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807064 CPUtime=0
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30123989 826433536 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 820788
[startup+6.27472 s]
/proc/loadavg: 2.55 2.76 2.76 3/102 30355
/proc/meminfo: memFree=14936/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807064 CPUtime=4.56
/proc/30348/stat : 30348 (java) R 30338 30338 30273 0 -1 0 27642 0 1 0 443 13 0 0 25 0 8 0 30123983 826433536 27348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201766 27348 1494 14 0 189044 0
[pid=30348/tid=30349] ppid=30338 vsize=807064 CPUtime=1.26
/proc/30348/task/30349/stat : 30349 (java) R 30338 30338 30273 0 -1 64 21549 0 0 0 118 8 0 0 16 0 8 0 30123986 826433536 27348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155528745 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807064 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826433536 27348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807064 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826433536 27348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807064 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826433536 27348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807064 CPUtime=0.05
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 291 0 0 0 5 0 0 0 16 0 8 0 30123989 826433536 27348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807064 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826433536 27348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807064 CPUtime=0
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30123989 826433536 27348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 820788
[startup+12.7416 s]
/proc/loadavg: 2.69 2.78 2.76 4/102 30355
/proc/meminfo: memFree=16024/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807356 CPUtime=10.9
/proc/30348/stat : 30348 (java) R 30338 30338 30273 0 -1 0 57394 0 2 0 1058 32 0 0 20 0 8 0 30123983 826732544 57005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616914 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201839 57005 1507 14 0 189117 0
[pid=30348/tid=30349] ppid=30338 vsize=807356 CPUtime=4.05
/proc/30348/task/30349/stat : 30349 (java) S 30338 30338 30273 0 -1 64 50317 0 1 0 381 24 0 0 16 0 8 0 30123986 826732544 57005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826732544 57005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826732544 57005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826732544 57005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807356 CPUtime=0.11
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 377 0 0 0 11 0 0 0 16 0 8 0 30123989 826732544 57005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826732544 57005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30123989 826732544 57005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 821080
[startup+25.5445 s]
/proc/loadavg: 2.89 2.82 2.78 4/102 30355
/proc/meminfo: memFree=16024/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807356 CPUtime=23.62
/proc/30348/stat : 30348 (java) R 30338 30338 30273 0 -1 0 82507 0 2 0 2316 46 0 0 25 0 8 0 30123983 826732544 81829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201839 81829 1507 14 0 189117 0
[pid=30348/tid=30349] ppid=30338 vsize=807356 CPUtime=11.45
/proc/30348/task/30349/stat : 30349 (java) R 30338 30338 30273 0 -1 64 75159 0 1 0 1108 37 0 0 16 0 8 0 30123986 826732544 81829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826732544 81829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826732544 81829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826732544 81829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807356 CPUtime=0.12
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 30123989 826732544 81829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826732544 81829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30123989 826732544 81829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 821080
[startup+51.2129 s]
/proc/loadavg: 3.12 2.88 2.80 4/102 30355
/proc/meminfo: memFree=16216/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807356 CPUtime=49.22
/proc/30348/stat : 30348 (java) R 30338 30338 30273 0 -1 0 95167 0 2 0 4854 68 0 0 25 0 8 0 30123983 826732544 87341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201839 87341 1507 14 0 189117 0
[pid=30348/tid=30349] ppid=30338 vsize=807356 CPUtime=28.92
/proc/30348/task/30349/stat : 30349 (java) R 30338 30338 30273 0 -1 64 87429 0 1 0 2840 52 0 0 16 0 8 0 30123986 826732544 87341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826732544 87341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826732544 87341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826732544 87341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807356 CPUtime=0.12
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30123989 826732544 87341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826732544 87341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30123989 826732544 87341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 821080
[startup+102.447 s]
/proc/loadavg: 4.21 3.22 2.92 4/102 30355
/proc/meminfo: memFree=15384/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807356 CPUtime=100.28
/proc/30348/stat : 30348 (java) R 30338 30338 30273 0 -1 0 140484 0 2 0 9913 115 0 0 25 0 8 0 30123983 826732544 98392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201839 98392 1507 14 0 189117 0
[pid=30348/tid=30349] ppid=30338 vsize=807356 CPUtime=65.66
################
# More data... #
################
/proc/loadavg: 2.32 2.31 2.54 3/96 31862
/proc/meminfo: memFree=1241272/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807356 CPUtime=1534.82
/proc/30348/stat : 30348 (java) S 30338 30338 30273 0 -1 0 792375 0 2 0 152733 749 0 0 16 0 8 0 30123983 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201839 151149 1507 14 0 189117 0
[pid=30348/tid=30349] ppid=30338 vsize=807356 CPUtime=1108.32
/proc/30348/task/30349/stat : 30349 (java) R 30338 30338 30273 0 -1 64 773015 0 1 0 110201 631 0 0 25 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807356 CPUtime=0.12
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.35
Current children cumulated vsize (KiB) 821080
[startup+1603.6 s]
/proc/loadavg: 2.39 2.33 2.53 3/96 31862
/proc/meminfo: memFree=1240760/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807356 CPUtime=1594.85
/proc/30348/stat : 30348 (java) S 30338 30338 30273 0 -1 0 792705 0 2 0 158733 752 0 0 16 0 8 0 30123983 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201839 151149 1507 14 0 189117 0
[pid=30348/tid=30349] ppid=30338 vsize=807356 CPUtime=1153.31
/proc/30348/task/30349/stat : 30349 (java) R 30338 30338 30273 0 -1 64 773015 0 1 0 114698 633 0 0 25 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155215794 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807356 CPUtime=0.12
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807356 CPUtime=0.01
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.38
Current children cumulated vsize (KiB) 821080
[startup+1663.7 s]
/proc/loadavg: 2.30 2.31 2.51 3/96 31862
/proc/meminfo: memFree=1239800/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807356 CPUtime=1654.9
/proc/30348/stat : 30348 (java) S 30338 30338 30273 0 -1 0 793039 0 2 0 164735 755 0 0 16 0 8 0 30123983 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201839 151149 1507 14 0 189117 0
[pid=30348/tid=30349] ppid=30338 vsize=807356 CPUtime=1198.1
/proc/30348/task/30349/stat : 30349 (java) R 30338 30338 30273 0 -1 64 773015 0 1 0 119175 635 0 0 25 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807356 CPUtime=0.12
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807356 CPUtime=0.01
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.43
Current children cumulated vsize (KiB) 821080
[startup+1723.8 s]
/proc/loadavg: 2.19 2.28 2.49 4/96 31862
/proc/meminfo: memFree=1239288/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807356 CPUtime=1714.91
/proc/30348/stat : 30348 (java) R 30338 30338 30273 0 -1 0 793349 0 2 0 170733 758 0 0 16 0 8 0 30123983 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201839 151149 1507 14 0 189117 0
[pid=30348/tid=30349] ppid=30338 vsize=807356 CPUtime=1243.91
/proc/30348/task/30349/stat : 30349 (java) R 30338 30338 30273 0 -1 64 773015 0 1 0 123754 637 0 0 25 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807356 CPUtime=0.12
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807356 CPUtime=0.01
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.44
Current children cumulated vsize (KiB) 821080
[startup+1783.8 s]
/proc/loadavg: 2.33 2.30 2.48 3/96 31862
/proc/meminfo: memFree=1238712/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807356 CPUtime=1774.81
/proc/30348/stat : 30348 (java) S 30338 30338 30273 0 -1 0 793670 0 2 0 176720 761 0 0 16 0 8 0 30123983 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201839 151149 1507 14 0 189117 0
[pid=30348/tid=30349] ppid=30338 vsize=807356 CPUtime=1289.41
/proc/30348/task/30349/stat : 30349 (java) R 30338 30338 30273 0 -1 64 773015 0 1 0 128302 639 0 0 25 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154035733 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807356 CPUtime=0.12
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807356 CPUtime=0.01
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.34
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.62 s]
/proc/loadavg: 2.36 2.31 2.48 3/96 31862
/proc/meminfo: memFree=1238520/2055920 swapFree=4192812/4192956
[pid=30338] ppid=30336 vsize=13724 CPUtime=1.53
/proc/30338/stat : 30338 (sugar) S 30336 30338 30273 0 -1 4194304 1190 9913 0 1 3 0 141 9 15 0 1 0 30123818 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30338/statm: 3431 809 371 3 0 531 0
[pid=30348] ppid=30338 vsize=807356 CPUtime=1798.53
/proc/30348/stat : 30348 (java) S 30338 30338 30273 0 -1 0 793792 0 2 0 179090 763 0 0 16 0 8 0 30123983 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30348/statm: 201839 151149 1507 14 0 189117 0
[pid=30348/tid=30349] ppid=30338 vsize=807356 CPUtime=1307.46
/proc/30348/task/30349/stat : 30349 (java) R 30338 30338 30273 0 -1 64 773015 0 1 0 130106 640 0 0 25 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30350] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30350/stat : 30350 (java) S 30338 30338 30273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30351] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30351/stat : 30351 (java) S 30338 30338 30273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30123986 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30352] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30352/stat : 30352 (java) S 30338 30338 30273 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30353] ppid=30338 vsize=807356 CPUtime=0.12
/proc/30348/task/30353/stat : 30353 (java) S 30338 30338 30273 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30348/tid=30354] ppid=30338 vsize=807356 CPUtime=0
/proc/30348/task/30354/stat : 30354 (java) S 30338 30338 30273 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30348/tid=30355] ppid=30338 vsize=807356 CPUtime=0.01
/proc/30348/task/30355/stat : 30355 (java) S 30338 30338 30273 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30123989 826732544 151149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 821080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 30338 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=453778 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=106983
CPU time returned by wait4() is 1.56076
while last known CPU time is 1800.91
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1808.67
CPU time (s): 1800.91
CPU user time (s): 1793.08
CPU system time (s): 7.83
CPU usage (%): 99.5709
Max. virtual memory (cumulated for all children) (KiB): 822112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.45378
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11184
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= 532
involuntary context switches= 493
runsolver used 2.23566 s user time and 6.19206 s system time
The end
Begin job on node10 on Mon Jan 29 20:14:48 UTC 2007
IDJOB= 217995
IDBENCH= 5187
IDSOLVER= 86
FILE ID= node10/217995-1170101687
PBS_JOBID= 3689533
Free space on /tmp= 46502 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-41_ext.xml
COMMAND LINE= /tmp/evaluation/217995-1170101687/solver /tmp/evaluation/217995-1170101687 /tmp/evaluation/217995-1170101687/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-217995-1170101687 -o ROOT/results/node10/solver-217995-1170101687 -C 1800 -M 900 /tmp/evaluation/217995-1170101687/solver /tmp/evaluation/217995-1170101687 /tmp/evaluation/217995-1170101687/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= e0a6f3e36211043edd09986ac6ef091f
RANDOM SEED= 685031471
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.232
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.232
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: 15160 kB
Buffers: 3500 kB
Cached: 1867656 kB
SwapCached: 0 kB
Active: 106460 kB
Inactive: 1838628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 15160 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 823712 kB
Writeback: 0 kB
Mapped: 99492 kB
Slab: 80352 kB
Committed_AS: 804068 kB
PageTables: 2260 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= 66557 MiB
End job on node10 on Mon Jan 29 20:44:57 UTC 2007