0.05 c # Sugar v0-40 (/tmp/evaluation/198749-1170093905/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/198749-1170093905/unknown.xml [Mon Jan 29 19:05:06 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/198749-1170093905/unknown.xml /tmp/evaluation/198749-1170093905/sugar24334.csp [Mon Jan 29 19:05:06 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/198749-1170093905/sugar-v0-40.jar -convert /tmp/evaluation/198749-1170093905/unknown.xml /tmp/evaluation/198749-1170093905/sugar24334.csp
0.17 c BEGIN convert /tmp/evaluation/198749-1170093905/unknown.xml
0.88 c END convert (0.713389 seconds)
0.91 c # CONVERT_XML END : /tmp/evaluation/198749-1170093905/sugar24334.csp 917702 bytes (1 seconds) [Mon Jan 29 19:05:07 2007]
0.91 c # CONVERT_XML CPU : 0.82 = 0 + 0 + 0.76 + 0.06
0.91
0.91 c # GENERATE_SAT BEGIN : /tmp/evaluation/198749-1170093905/sugar24334.bcnf [Mon Jan 29 19:05:07 2007]
0.91 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/198749-1170093905/sugar-v0-40.jar -bcnf -map /tmp/evaluation/198749-1170093905/sugar24334.map /tmp/evaluation/198749-1170093905/sugar24334.csp /tmp/evaluation/198749-1170093905/sugar24334.bcnf
1.03 c BEGIN parse /tmp/evaluation/198749-1170093905/sugar24334.csp
4.03 c END parse (2.992956 seconds)
4.03 c BEGIN simplify
4.06 c END simplify (0.037668 seconds)
4.06 c BEGIN encode /tmp/evaluation/198749-1170093905/sugar24334.bcnf
1983.32
1983.32 s UNKNOWN
1983.32 c # INTERRUPTED
1983.32 c # MAIN END : (1983 seconds) [Mon Jan 29 19:38:09 2007]
1983.32 c # MAIN CPU : 0.83 = 0 + 0.01 + 0.76 + 0.06
1983.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-198749-1170093905 -o ROOT/results/node14/solver-198749-1170093905 -C 1800 -M 900 /tmp/evaluation/198749-1170093905/solver /tmp/evaluation/198749-1170093905 /tmp/evaluation/198749-1170093905/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
/proc/loadavg: 1.78 2.09 2.58 5/87 24335
/proc/meminfo: memFree=1824960/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=18540 CPUtime=0
/proc/24334/stat : 24334 (runsolver) R 24332 23602 23602 0 -1 4194368 3 0 0 0 0 0 0 0 19 0 1 0 29345002 18984960 277 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 212234463988 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24334/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108182 s]
/proc/loadavg: 1.78 2.09 2.58 5/87 24335
/proc/meminfo: memFree=1824960/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.03
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 29345002 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51622 s]
/proc/loadavg: 1.78 2.09 2.58 5/87 24335
/proc/meminfo: memFree=1824960/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.03
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29345002 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.3393 s]
/proc/loadavg: 1.78 2.09 2.58 4/95 24351
/proc/meminfo: memFree=1815744/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 15 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807064 CPUtime=0.4
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 6548 0 1 0 37 3 0 0 17 0 8 0 29345094 826433536 6298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073481904 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24344/statm: 201766 6298 1494 14 0 189044 0
[pid=24344/tid=24345] ppid=24334 vsize=807064 CPUtime=0.02
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 495 0 0 0 2 0 0 0 16 0 8 0 29345097 826433536 6298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807064 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826433536 6298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807064 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826433536 6298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807064 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826433536 6298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807064 CPUtime=0.05
/proc/24344/task/24349/stat : 24349 (java) R 24334 24334 23602 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 29345101 826433536 6298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807064 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826433536 6298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807064 CPUtime=0
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29345101 826433536 6298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 820788
[startup+2.99246 s]
/proc/loadavg: 1.78 2.09 2.58 4/95 24351
/proc/meminfo: memFree=1787712/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 15 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=2.05
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 12503 0 1 0 199 6 0 0 25 0 8 0 29345094 826716160 12241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24344/statm: 201835 12241 1506 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.4
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 6306 0 0 0 38 2 0 0 16 0 8 0 29345097 826716160 12241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 12241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 12241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 12241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.13
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 399 0 0 0 13 0 0 0 16 0 8 0 29345101 826716160 12241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 12241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29345101 826716160 12241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 821064
[startup+6.27976 s]
/proc/loadavg: 1.88 2.10 2.58 3/95 24351
/proc/meminfo: memFree=1720384/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=5.32
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 17016 0 1 0 504 28 0 0 25 0 8 0 29345094 826716160 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24344/statm: 201835 16744 1508 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.64
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 10762 0 0 0 59 5 0 0 16 0 8 0 29345097 826716160 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.17
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 424 0 0 0 16 1 0 0 16 0 8 0 29345101 826716160 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29345101 826716160 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 821064
[startup+12.6824 s]
/proc/loadavg: 1.97 2.12 2.58 3/95 24351
/proc/meminfo: memFree=1583872/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=11.62
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 18436 0 1 0 1083 79 0 0 25 0 8 0 29345094 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826809 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24344/statm: 201835 18162 1510 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.67
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 12171 0 0 0 61 6 0 0 16 0 8 0 29345097 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.18
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 432 0 0 0 17 1 0 0 16 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 821064
[startup+25.5486 s]
/proc/loadavg: 2.50 2.23 2.61 3/95 24353
/proc/meminfo: memFree=1364352/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=24.37
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 18436 0 1 0 2260 177 0 0 25 0 8 0 29345094 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24344/statm: 201835 18162 1510 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.67
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 12171 0 0 0 61 6 0 0 16 0 8 0 29345097 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.18
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 432 0 0 0 17 1 0 0 16 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 821064
[startup+51.218 s]
/proc/loadavg: 3.09 2.39 2.65 3/95 24358
/proc/meminfo: memFree=909376/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=49.63
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 18436 0 1 0 4591 372 0 0 25 0 8 0 29345094 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24344/statm: 201835 18162 1510 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.67
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 12171 0 0 0 61 6 0 0 16 0 8 0 29345097 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.18
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 432 0 0 0 17 1 0 0 16 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29345101 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 821064
[startup+102.427 s]
/proc/loadavg: 3.91 2.71 2.75 3/95 24364
/proc/meminfo: memFree=15808/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=100.11
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 18436 0 1 0 9288 723 0 0 25 0 8 0 29345094 826716160 18162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24344/statm: 201835 18162 1510 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.67
################
# More data... #
################
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=1558.12
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 18438 0 1 0 82117 73695 0 0 25 0 8 0 29345094 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24344/statm: 201835 18164 1510 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.67
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 12171 0 0 0 61 6 0 0 16 0 8 0 29345097 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.18
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0.01
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 1 0 0 0 15 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1558.98
Current children cumulated vsize (KiB) 821064
[startup+1784.09 s]
/proc/loadavg: 4.06 3.38 3.35 3/103 24665
/proc/meminfo: memFree=15296/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=1611.72
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 18438 0 1 0 83227 77945 0 0 25 0 8 0 29345094 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24344/statm: 201835 18164 1510 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.67
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 12171 0 0 0 61 6 0 0 16 0 8 0 29345097 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.18
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0.01
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 1 0 0 0 15 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1612.58
Current children cumulated vsize (KiB) 821064
[startup+1844.1 s]
/proc/loadavg: 4.05 3.50 3.39 2/103 24673
/proc/meminfo: memFree=15488/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=1669.96
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 18438 0 1 0 84413 82583 0 0 25 0 8 0 29345094 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24344/statm: 201835 18164 1510 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.67
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 12171 0 0 0 61 6 0 0 16 0 8 0 29345097 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.18
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0.01
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 1 0 0 0 15 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1670.82
Current children cumulated vsize (KiB) 821064
[startup+1904.12 s]
/proc/loadavg: 4.29 3.65 3.45 3/103 24683
/proc/meminfo: memFree=15552/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=1725.78
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 18438 0 1 0 85567 87011 0 0 25 0 8 0 29345094 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24344/statm: 201835 18164 1510 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.67
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 12171 0 0 0 61 6 0 0 16 0 8 0 29345097 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.18
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0.01
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 1 0 0 0 15 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1726.64
Current children cumulated vsize (KiB) 821064
[startup+1964.12 s]
/proc/loadavg: 4.32 3.77 3.50 3/103 24694
/proc/meminfo: memFree=15104/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=1783.88
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 18438 0 1 0 86765 91623 0 0 25 0 8 0 29345094 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24344/statm: 201835 18164 1510 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.67
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 12171 0 0 0 61 6 0 0 16 0 8 0 29345097 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.18
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0.01
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 1 0 0 0 15 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.74
Current children cumulated vsize (KiB) 821064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1983.3 s]
/proc/loadavg: 4.45 3.84 3.52 3/103 24697
/proc/meminfo: memFree=16320/2055920 swapFree=4192812/4192956
[pid=24334] ppid=24332 vsize=13724 CPUtime=0.86
/proc/24334/stat : 24334 (sugar) S 24332 24334 23602 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345002 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24334/statm: 3431 809 371 3 0 531 0
[pid=24344] ppid=24334 vsize=807340 CPUtime=1799.23
/proc/24344/stat : 24344 (java) R 24334 24334 23602 0 -1 0 18438 0 1 0 87084 92839 0 0 25 0 8 0 29345094 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24344/statm: 201835 18164 1510 14 0 189113 0
[pid=24344/tid=24345] ppid=24334 vsize=807340 CPUtime=0.67
/proc/24344/task/24345/stat : 24345 (java) S 24334 24334 23602 0 -1 64 12171 0 0 0 61 6 0 0 16 0 8 0 29345097 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24344/tid=24346] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24346/stat : 24346 (java) S 24334 24334 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24347] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24347/stat : 24347 (java) S 24334 24334 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345098 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24348] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24348/stat : 24348 (java) S 24334 24334 23602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24349] ppid=24334 vsize=807340 CPUtime=0.18
/proc/24344/task/24349/stat : 24349 (java) S 24334 24334 23602 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24344/tid=24350] ppid=24334 vsize=807340 CPUtime=0
/proc/24344/task/24350/stat : 24350 (java) S 24334 24334 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24344/tid=24351] ppid=24334 vsize=807340 CPUtime=0.01
/proc/24344/task/24351/stat : 24351 (java) S 24334 24334 23602 0 -1 64 2 0 0 0 1 0 0 0 15 0 8 0 29345101 826716160 18164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 821064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24334 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=804877 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=76988
CPU time returned by wait4() is 0.881865
while last known CPU time is 1800.24
The end
r used 2.93555 s user time and 7.64284 s system time
SIGKILL to process tree (bottom up)
ime (s): 1984.84
CPU time (s): 0
CPU user time (s): 0
CPU system time (s): 0
CPU usage (%): 0
Max. virtual memory (cumulated for all children) (KiB): 821580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.804877
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10005
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 766
involuntary context switches= 718
runsolver used 2.93555 s user time and 7.64284 s system time
The end
Begin job on node14 on Mon Jan 29 18:05:06 UTC 2007
IDJOB= 198749
IDBENCH= 3573
IDSOLVER= 86
FILE ID= node14/198749-1170093905
PBS_JOBID= 3689405
Free space on /tmp= 66546 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f4.xml
COMMAND LINE= /tmp/evaluation/198749-1170093905/solver /tmp/evaluation/198749-1170093905 /tmp/evaluation/198749-1170093905/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-198749-1170093905 -o ROOT/results/node14/solver-198749-1170093905 -C 1800 -M 900 /tmp/evaluation/198749-1170093905/solver /tmp/evaluation/198749-1170093905 /tmp/evaluation/198749-1170093905/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 5dcfba2c920df87fed4f833be49fd112
RANDOM SEED= 600400835
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.216
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.216
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: 1825376 kB
Buffers: 17588 kB
Cached: 60408 kB
SwapCached: 0 kB
Active: 157804 kB
Inactive: 25528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1825376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1496 kB
Writeback: 0 kB
Mapped: 125016 kB
Slab: 32176 kB
Committed_AS: 308636 kB
PageTables: 2212 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= 39243 MiB
End job on node14 on Mon Jan 29 18:38:13 UTC 2007