0.05 c # Sugar v0-40 (/tmp/evaluation/224330-1170103419/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/224330-1170103419/unknown.xml [Mon Jan 29 21:43:39 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/224330-1170103419/unknown.xml /tmp/evaluation/224330-1170103419/sugar27265.csp [Mon Jan 29 21:43:39 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224330-1170103419/sugar-v0-40.jar -convert /tmp/evaluation/224330-1170103419/unknown.xml /tmp/evaluation/224330-1170103419/sugar27265.csp
0.18 c BEGIN convert /tmp/evaluation/224330-1170103419/unknown.xml
1.17 c END convert (0.985505 seconds)
1.19 c # CONVERT_XML END : /tmp/evaluation/224330-1170103419/sugar27265.csp 4106203 bytes (2 seconds) [Mon Jan 29 21:43:41 2007]
1.19 c # CONVERT_XML CPU : 1.09 = 0 + 0 + 1 + 0.09
1.19
1.19 c # GENERATE_SAT BEGIN : /tmp/evaluation/224330-1170103419/sugar27265.bcnf [Mon Jan 29 21:43:41 2007]
1.19 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224330-1170103419/sugar-v0-40.jar -bcnf -map /tmp/evaluation/224330-1170103419/sugar27265.map /tmp/evaluation/224330-1170103419/sugar27265.csp /tmp/evaluation/224330-1170103419/sugar27265.bcnf
1.31 c BEGIN parse /tmp/evaluation/224330-1170103419/sugar27265.csp
1807.48
1807.48 s UNKNOWN
1807.48 c # INTERRUPTED
1807.48 c # MAIN END : (1808 seconds) [Mon Jan 29 22:13:47 2007]
1807.48 c # MAIN CPU : 1.09 = 0 + 0 + 1 + 0.09
1807.48
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-224330-1170103419 -o ROOT/results/node15/solver-224330-1170103419 -C 1800 -M 900 /tmp/evaluation/224330-1170103419/solver /tmp/evaluation/224330-1170103419 /tmp/evaluation/224330-1170103419/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.28 2.16 2.40 5/95 27266
/proc/meminfo: memFree=1317368/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=12404 CPUtime=0
/proc/27265/stat : 27265 (sugar) R 27263 27265 27200 0 -1 4194304 672 0 0 0 0 0 0 0 20 0 1 0 30296311 12701696 391 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481516542 0 0 4224 0 0 0 0 17 1 0 0
/proc/27265/statm: 3101 391 275 3 0 201 0
[startup+0.109378 s]
/proc/loadavg: 2.28 2.16 2.40 5/95 27266
/proc/meminfo: memFree=1317368/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=0.03
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 30296311 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27265/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.517453 s]
/proc/loadavg: 2.28 2.16 2.40 5/95 27266
/proc/meminfo: memFree=1317368/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=0.03
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30296311 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27265/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34459 s]
/proc/loadavg: 2.28 2.16 2.40 4/103 27274
/proc/meminfo: memFree=1284088/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 13724
[startup+3.00988 s]
/proc/loadavg: 2.28 2.16 2.40 3/103 27282
/proc/meminfo: memFree=1276792/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807064 CPUtime=1.8
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 13474 0 1 0 172 8 0 0 25 0 8 0 30296431 826433536 13210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073541341 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27275/statm: 201766 13210 1494 14 0 189044 0
[pid=27275/tid=27276] ppid=27265 vsize=807064 CPUtime=0.47
/proc/27275/task/27276/stat : 27276 (java) S 27265 27265 27200 0 -1 64 7410 0 0 0 44 3 0 0 16 0 8 0 30296434 826433536 13210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807064 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30296434 826433536 13210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807064 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826433536 13210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807064 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826433536 13210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807064 CPUtime=0.05
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 30296437 826433536 13210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807064 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826433536 13210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807064 CPUtime=0
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30296437 826433536 13210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 820788
[startup+6.22515 s]
/proc/loadavg: 2.42 2.19 2.41 4/103 27282
/proc/meminfo: memFree=1200056/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=5.02
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 29515 0 1 0 483 19 0 0 25 0 8 0 30296431 826724352 29210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27275/statm: 201837 29210 1506 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=1.5
/proc/27275/task/27276/stat : 27276 (java) S 27265 27265 27200 0 -1 64 23245 0 0 0 137 13 0 0 16 0 8 0 30296434 826724352 29210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 29210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 29210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 29210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.1
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 376 0 0 0 10 0 0 0 16 0 8 0 30296437 826724352 29210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 29210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30296437 826724352 29210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 821072
[startup+12.7134 s]
/proc/loadavg: 2.38 2.19 2.41 5/103 27282
/proc/meminfo: memFree=1081608/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=11.46
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 54721 0 1 0 1112 34 0 0 25 0 8 0 30296431 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27275/statm: 201837 54135 1507 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=4.21
/proc/27275/task/27276/stat : 27276 (java) R 27265 27265 27200 0 -1 64 48246 0 0 0 394 27 0 0 16 0 8 0 30296434 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134186 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.12
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 30296437 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30296437 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 821072
[startup+25.5956 s]
/proc/loadavg: 2.67 2.26 2.43 5/103 27282
/proc/meminfo: memFree=1047688/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=24.27
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 57299 0 1 0 2388 39 0 0 25 0 8 0 30296431 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073617102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27275/statm: 201837 54136 1507 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=11.52
/proc/27275/task/27276/stat : 27276 (java) S 27265 27265 27200 0 -1 64 50518 0 0 0 1122 30 0 0 16 0 8 0 30296434 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.12
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 389 0 0 0 12 0 0 0 17 0 8 0 30296437 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30296437 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 821072
[startup+51.231 s]
/proc/loadavg: 2.98 2.36 2.46 4/103 27282
/proc/meminfo: memFree=1014344/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=49.75
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 69432 0 1 0 4922 53 0 0 25 0 8 0 30296431 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27275/statm: 201837 54138 1507 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=27.57
/proc/27275/task/27276/stat : 27276 (java) R 27265 27265 27200 0 -1 64 62124 0 0 0 2715 42 0 0 15 0 8 0 30296434 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.13
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 391 0 0 0 13 0 0 0 17 0 8 0 30296437 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27282/stat : 27282 (java) R 27265 27265 27200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30296437 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 821072
[startup+102.489 s]
/proc/loadavg: 3.32 2.54 2.51 4/103 27282
/proc/meminfo: memFree=1015240/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=100.7
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 102469 0 1 0 9985 85 0 0 25 0 8 0 30296431 826724352 54651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27275/statm: 201837 54651 1507 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=62.62
/proc/27275/task/27276/stat : 27276 (java) R 27265 27265 27200 0 -1 64 94268 0 0 0 6193 69 0 0 16 0 8 0 30296434 826724352 54651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134383 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30296434 826724352 54651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 54651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 54651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.13
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 391 0 0 0 13 0 0 0 17 0 8 0 30296437 826724352 54651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 54651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30296437 826724352 54651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 821072
[startup+162.53 s]
################
# More data... #
################
/proc/loadavg: 2.82 2.75 2.67 4/96 27481
/proc/meminfo: memFree=888904/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=1537.11
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 954813 0 1 0 152968 743 0 0 25 0 8 0 30296431 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27275/statm: 201837 150798 1507 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=1007.74
/proc/27275/task/27276/stat : 27276 (java) R 27265 27265 27200 0 -1 64 930058 0 0 0 100133 641 0 0 16 0 8 0 30296434 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30296434 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.13
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 393 0 0 0 13 0 0 0 16 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1538.23
Current children cumulated vsize (KiB) 821072
[startup+1604.11 s]
/proc/loadavg: 2.79 2.75 2.67 4/96 27481
/proc/meminfo: memFree=888776/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=1596.65
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 955212 0 1 0 158917 748 0 0 25 0 8 0 30296431 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27275/statm: 201837 150798 1507 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=1048.81
/proc/27275/task/27276/stat : 27276 (java) R 27265 27265 27200 0 -1 64 930058 0 0 0 104237 644 0 0 17 0 8 0 30296434 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155526115 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30296434 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.13
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 393 0 0 0 13 0 0 0 16 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.77
Current children cumulated vsize (KiB) 821072
[startup+1664.17 s]
/proc/loadavg: 3.08 2.81 2.69 4/102 27545
/proc/meminfo: memFree=1000408/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=1656.4
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 955736 0 1 0 164884 756 0 0 25 0 8 0 30296431 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27275/statm: 201837 150798 1507 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=1082.09
/proc/27275/task/27276/stat : 27276 (java) R 27265 27265 27200 0 -1 64 930058 0 0 0 107560 649 0 0 16 0 8 0 30296434 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525079 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30296434 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.13
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 393 0 0 0 13 0 0 0 16 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30296437 826724352 150798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.52
Current children cumulated vsize (KiB) 821072
[startup+1724.23 s]
/proc/loadavg: 3.17 2.90 2.73 5/102 27545
/proc/meminfo: memFree=999896/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=1716.14
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 956261 0 1 0 170852 762 0 0 25 0 8 0 30296431 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27275/statm: 201837 150968 1507 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=1122.4
/proc/27275/task/27276/stat : 27276 (java) R 27265 27265 27200 0 -1 64 930228 0 0 0 111587 653 0 0 17 0 8 0 30296434 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30296434 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.13
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 393 0 0 0 13 0 0 0 16 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.26
Current children cumulated vsize (KiB) 821072
[startup+1784.32 s]
/proc/loadavg: 3.18 2.96 2.76 4/102 27545
/proc/meminfo: memFree=961560/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=1775.9
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 956582 0 1 0 176823 767 0 0 25 0 8 0 30296431 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27275/statm: 201837 150968 1507 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=1165.07
/proc/27275/task/27276/stat : 27276 (java) R 27265 27265 27200 0 -1 64 930228 0 0 0 115851 656 0 0 16 0 8 0 30296434 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134194 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30296434 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.13
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 393 0 0 0 13 0 0 0 16 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0.01
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.02
Current children cumulated vsize (KiB) 821072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.47 s]
/proc/loadavg: 3.12 2.96 2.76 4/102 27545
/proc/meminfo: memFree=921560/2055920 swapFree=4192812/4192956
[pid=27265] ppid=27263 vsize=13724 CPUtime=1.12
/proc/27265/stat : 27265 (sugar) S 27263 27265 27200 0 -1 4194304 1189 8710 0 1 3 0 100 9 16 0 1 0 30296311 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27265/statm: 3431 809 371 3 0 531 0
[pid=27275] ppid=27265 vsize=807348 CPUtime=1798.9
/proc/27275/stat : 27275 (java) R 27265 27265 27200 0 -1 0 956688 0 1 0 179122 768 0 0 25 0 8 0 30296431 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27275/statm: 201837 150968 1507 14 0 189115 0
[pid=27275/tid=27276] ppid=27265 vsize=807348 CPUtime=1182.21
/proc/27275/task/27276/stat : 27276 (java) S 27265 27265 27200 0 -1 64 930228 0 0 0 117564 657 0 0 16 0 8 0 30296434 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27277] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27277/stat : 27277 (java) S 27265 27265 27200 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30296434 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27278] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27278/stat : 27278 (java) S 27265 27265 27200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30296434 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27279] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27279/stat : 27279 (java) S 27265 27265 27200 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27280] ppid=27265 vsize=807348 CPUtime=0.13
/proc/27275/task/27280/stat : 27280 (java) S 27265 27265 27200 0 -1 64 393 0 0 0 13 0 0 0 16 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27281] ppid=27265 vsize=807348 CPUtime=0
/proc/27275/task/27281/stat : 27281 (java) S 27265 27265 27200 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27275/tid=27282] ppid=27265 vsize=807348 CPUtime=0.01
/proc/27275/task/27282/stat : 27282 (java) S 27265 27265 27200 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 30296437 826724352 150968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 821072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 27265 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=49840 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=106983
CPU time returned by wait4() is 1.15682
while last known CPU time is 1800.14
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1808.5
CPU time (s): 1800.14
CPU user time (s): 1792.28
CPU system time (s): 7.86
CPU usage (%): 99.538
Max. virtual memory (cumulated for all children) (KiB): 821072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.04984
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= 9980
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= 451
involuntary context switches= 423
runsolver used 2.24466 s user time and 6.23305 s system time
The end
Begin job on node15 on Mon Jan 29 20:43:39 UTC 2007
IDJOB= 224330
IDBENCH= 5734
IDSOLVER= 86
FILE ID= node15/224330-1170103419
PBS_JOBID= 3689779
Free space on /tmp= 66558 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-27_ext.xml
COMMAND LINE= /tmp/evaluation/224330-1170103419/solver /tmp/evaluation/224330-1170103419 /tmp/evaluation/224330-1170103419/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-224330-1170103419 -o ROOT/results/node15/solver-224330-1170103419 -C 1800 -M 900 /tmp/evaluation/224330-1170103419/solver /tmp/evaluation/224330-1170103419 /tmp/evaluation/224330-1170103419/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= ac3756fdfa2d3a5a8c0eda2b6730c3b7
RANDOM SEED= 840936047
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.276
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.276
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: 1317848 kB
Buffers: 61504 kB
Cached: 52192 kB
SwapCached: 0 kB
Active: 616740 kB
Inactive: 66664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1317848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1676 kB
Writeback: 0 kB
Mapped: 595200 kB
Slab: 38468 kB
Committed_AS: 974112 kB
PageTables: 3204 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 node15 on Mon Jan 29 21:13:48 UTC 2007