1.27 c # Sugar v0-40 (/tmp/evaluation/238958-1170108852/sugar-v0-40.jar)
1.27
1.29 c # MAIN BEGIN : /tmp/evaluation/238958-1170108852/unknown.xml [Mon Jan 29 23:14:15 2007]
1.29 c # CONVERT_XML BEGIN : /tmp/evaluation/238958-1170108852/unknown.xml /tmp/evaluation/238958-1170108852/sugar25275.csp [Mon Jan 29 23:14:15 2007]
1.29 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238958-1170108852/sugar-v0-40.jar -convert /tmp/evaluation/238958-1170108852/unknown.xml /tmp/evaluation/238958-1170108852/sugar25275.csp
1.59 c BEGIN convert /tmp/evaluation/238958-1170108852/unknown.xml
3.65 c END convert (2.065642 seconds)
3.68 c # CONVERT_XML END : /tmp/evaluation/238958-1170108852/sugar25275.csp 12773324 bytes (2 seconds) [Mon Jan 29 23:14:17 2007]
3.68 c # CONVERT_XML CPU : 2.12 = 0 + 0 + 1.98 + 0.14
3.68
3.68 c # GENERATE_SAT BEGIN : /tmp/evaluation/238958-1170108852/sugar25275.bcnf [Mon Jan 29 23:14:17 2007]
3.68 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238958-1170108852/sugar-v0-40.jar -bcnf -map /tmp/evaluation/238958-1170108852/sugar25275.map /tmp/evaluation/238958-1170108852/sugar25275.csp /tmp/evaluation/238958-1170108852/sugar25275.bcnf
3.83 c BEGIN parse /tmp/evaluation/238958-1170108852/sugar25275.csp
1806.18
1806.18 s UNKNOWN
1806.18 c # INTERRUPTED
1806.18 c # MAIN END : (1805 seconds) [Mon Jan 29 23:44:20 2007]
1806.18 c # MAIN CPU : 2.12 = 0 + 0 + 1.98 + 0.14
1806.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node67/watcher-238958-1170108852 -o ROOT/results/node67/solver-238958-1170108852 -C 1800 -M 900 /tmp/evaluation/238958-1170108852/solver /tmp/evaluation/238958-1170108852 /tmp/evaluation/238958-1170108852/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: 4.99 5.53 4.64 2/81 25276
/proc/meminfo: memFree=585464/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=5352 CPUtime=0
/proc/25275/stat : 25275 (solver) D 25273 25275 25105 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 30842987 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 271638392103 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/25275/statm: 1338 231 193 169 0 49 0
[startup+0.104499 s]
/proc/loadavg: 4.99 5.53 4.64 2/81 25276
/proc/meminfo: memFree=585464/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=124 CPUtime=0
/proc/25275/stat : 25275 (sugar) D 25273 25275 25105 0 -1 4194304 286 0 1 0 0 0 0 0 18 0 1 0 30842987 126976 23 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271635772905 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/25275/statm: 31 23 17 3 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 124
[startup+0.51554 s]
/proc/loadavg: 4.99 5.53 4.64 2/81 25276
/proc/meminfo: memFree=585464/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=12268 CPUtime=0
/proc/25275/stat : 25275 (sugar) D 25273 25275 25105 0 -1 4194304 597 0 4 0 0 0 0 0 18 0 1 0 30842987 12562432 320 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 0 18446744071563608240 0 0 17 0 0 0
/proc/25275/statm: 3067 320 242 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+1.33662 s]
/proc/loadavg: 4.83 5.49 4.63 2/81 25276
/proc/meminfo: memFree=569016/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=0.03
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1108 0 4 0 3 0 0 0 18 0 1 0 30842987 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+2.9738 s]
/proc/loadavg: 4.83 5.49 4.63 3/89 25284
/proc/meminfo: memFree=516856/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=0.03
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1117 0 4 0 3 0 0 0 15 0 1 0 30842987 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 805 368 3 0 531 0
[pid=25277] ppid=25275 vsize=807136 CPUtime=1.44
/proc/25277/stat : 25277 (java) R 25275 25275 25105 0 -1 0 8078 0 34 0 134 10 0 0 25 0 8 0 30843117 826507264 7839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073417727 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25277/statm: 201784 7839 1694 14 0 189062 0
[pid=25277/tid=25278] ppid=25275 vsize=807136 CPUtime=0.05
/proc/25277/task/25278/stat : 25278 (java) S 25275 25275 25105 0 -1 64 1548 0 0 0 5 0 0 0 16 0 8 0 30843138 826507264 7839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25277/tid=25279] ppid=25275 vsize=807136 CPUtime=0
/proc/25277/task/25279/stat : 25279 (java) S 25275 25275 25105 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30843138 826507264 7839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25277/tid=25280] ppid=25275 vsize=807136 CPUtime=0
/proc/25277/task/25280/stat : 25280 (java) S 25275 25275 25105 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30843138 826507264 7839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25277/tid=25281] ppid=25275 vsize=807136 CPUtime=0
/proc/25277/task/25281/stat : 25281 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843141 826507264 7839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25277/tid=25282] ppid=25275 vsize=807136 CPUtime=0.14
/proc/25277/task/25282/stat : 25282 (java) S 25275 25275 25105 0 -1 64 364 0 0 0 14 0 0 0 16 0 8 0 30843141 826507264 7839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25277/tid=25283] ppid=25275 vsize=807136 CPUtime=0
/proc/25277/task/25283/stat : 25283 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843141 826507264 7839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25277/tid=25284] ppid=25275 vsize=807136 CPUtime=0
/proc/25277/task/25284/stat : 25284 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30843141 826507264 7839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 820860
[startup+6.27615 s]
/proc/loadavg: 4.83 5.49 4.63 3/89 25293
/proc/meminfo: memFree=433016/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=807064 CPUtime=2.53
/proc/25285/stat : 25285 (java) R 25275 25275 25105 0 -1 0 15229 0 1 0 245 8 0 0 25 0 8 0 30843356 826433536 14959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25285/statm: 201766 14959 1494 14 0 189044 0
[pid=25285/tid=25286] ppid=25275 vsize=807064 CPUtime=0.67
/proc/25285/task/25286/stat : 25286 (java) R 25275 25275 25105 0 -1 64 9157 0 0 0 64 3 0 0 16 0 8 0 30843359 826433536 14959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155216450 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25287] ppid=25275 vsize=807064 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 826433536 14959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25288] ppid=25275 vsize=807064 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 826433536 14959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=807064 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 826433536 14959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=807064 CPUtime=0.05
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30843363 826433536 14959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25291] ppid=25275 vsize=807064 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 826433536 14959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=807064 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30843363 826433536 14959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 820788
[startup+12.7028 s]
/proc/loadavg: 4.54 5.41 4.62 4/89 25293
/proc/meminfo: memFree=214008/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=807064 CPUtime=8.93
/proc/25285/stat : 25285 (java) R 25275 25275 25105 0 -1 0 40055 0 1 0 873 20 0 0 25 0 8 0 30843356 826433536 39728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073488255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25285/statm: 201766 39728 1494 14 0 189044 0
[pid=25285/tid=25286] ppid=25275 vsize=807064 CPUtime=2.55
/proc/25285/task/25286/stat : 25286 (java) S 25275 25275 25105 0 -1 64 33926 0 0 0 242 13 0 0 16 0 8 0 30843359 826433536 39728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25287] ppid=25275 vsize=807064 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 826433536 39728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25288] ppid=25275 vsize=807064 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 826433536 39728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=807064 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 826433536 39728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=807064 CPUtime=0.05
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 30843363 826433536 39728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25291] ppid=25275 vsize=807064 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 826433536 39728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=807064 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30843363 826433536 39728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.08
Current children cumulated vsize (KiB) 820788
[startup+25.5042 s]
/proc/loadavg: 4.54 5.38 4.61 5/89 25293
/proc/meminfo: memFree=15288/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=807352 CPUtime=21.53
/proc/25285/stat : 25285 (java) R 25275 25275 25105 0 -1 0 96651 0 2 0 2103 50 0 0 25 0 8 0 30843356 826728448 94688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25285/statm: 201838 94694 1507 14 0 189116 0
[pid=25285/tid=25286] ppid=25275 vsize=807352 CPUtime=8.3
/proc/25285/task/25286/stat : 25286 (java) R 25275 25275 25105 0 -1 64 88730 0 1 0 791 39 0 0 16 0 8 0 30843359 826728448 94699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25287] ppid=25275 vsize=807352 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 826728448 94706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25288] ppid=25275 vsize=807352 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 826728448 94713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=807352 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 826728448 94719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=807352 CPUtime=0.12
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 397 0 0 0 12 0 0 0 17 0 8 0 30843363 826728448 94726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25291] ppid=25275 vsize=807352 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 826728448 94732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=807352 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30843363 826728448 94739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.68
Current children cumulated vsize (KiB) 821076
[startup+51.1849 s]
/proc/loadavg: 3.87 5.13 4.56 4/89 25293
/proc/meminfo: memFree=17016/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=809356 CPUtime=46.85
/proc/25285/stat : 25285 (java) R 25275 25275 25105 0 -1 0 128585 0 2 0 4601 84 0 0 25 0 8 0 30843356 828780544 120855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25285/statm: 202339 120855 1507 14 0 189617 0
[pid=25285/tid=25286] ppid=25275 vsize=809356 CPUtime=22.21
/proc/25285/task/25286/stat : 25286 (java) R 25275 25275 25105 0 -1 64 120264 0 1 0 2159 62 0 0 16 0 8 0 30843359 828780544 120855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215792 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25287] ppid=25275 vsize=809356 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 828780544 120855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25288] ppid=25275 vsize=809356 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 828780544 120855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=809356 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 828780544 120855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=809356 CPUtime=0.12
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 397 0 0 0 12 0 0 0 17 0 8 0 30843363 828780544 120855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25291] ppid=25275 vsize=809356 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 828780544 120855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=809356 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30843363 828780544 120855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49
Current children cumulated vsize (KiB) 823080
[startup+102.43 s]
/proc/loadavg: 3.60 4.86 4.49 4/89 25293
/proc/meminfo: memFree=16120/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=807352 CPUtime=97.63
/proc/25285/stat : 25285 (java) R 25275 25275 25105 0 -1 0 164748 0 2 0 9644 119 0 0 16 0 8 0 30843356 826728448 125323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25285/statm: 201838 125323 1507 14 0 189116 0
[pid=25285/tid=25286] ppid=25275 vsize=807352 CPUtime=55.68
/proc/25285/task/25286/stat : 25286 (java) R 25275 25275 25105 0 -1 64 155856 0 1 0 5478 90 0 0 25 0 8 0 30843359 826728448 125323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25287] ppid=25275 vsize=807352 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 826728448 125323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25288] ppid=25275 vsize=807352 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 826728448 125323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=807352 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 826728448 125323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=807352 CPUtime=0.12
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 397 0 0 0 12 0 0 0 17 0 8 0 30843363 826728448 125323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25291] ppid=25275 vsize=807352 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 826728448 125323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=807352 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30843363 826728448 125323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 99.78
Current children cumulated vsize (KiB) 821076
[startup+162.499 s]
################
# More data... #
################
/proc/loadavg: 1.04 1.05 1.80 2/73 25598
/proc/meminfo: memFree=1339944/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=810380 CPUtime=1535.72
/proc/25285/stat : 25285 (java) S 25275 25275 25105 0 -1 0 861925 0 2 0 152979 593 0 0 16 0 8 0 30843356 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25285/statm: 202595 151412 1507 14 0 189873 0
[pid=25285/tid=25286] ppid=25275 vsize=810380 CPUtime=1187.89
/proc/25285/task/25286/stat : 25286 (java) R 25275 25275 25105 0 -1 64 844664 0 1 0 118267 522 0 0 18 0 8 0 30843359 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035740 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25287] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25288] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=810380 CPUtime=0.13
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 402 0 0 0 13 0 0 0 16 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25291] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.87
Current children cumulated vsize (KiB) 824104
[startup+1603.76 s]
/proc/loadavg: 1.01 1.04 1.74 2/73 25598
/proc/meminfo: memFree=1340072/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=808880 CPUtime=1595.75
/proc/25285/stat : 25285 (java) S 25275 25275 25105 0 -1 0 886057 0 2 0 158968 607 0 0 16 0 8 0 30843356 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25285/statm: 202220 151192 1507 14 0 189498 0
[pid=25285/tid=25286] ppid=25275 vsize=808880 CPUtime=1242.04
/proc/25285/task/25286/stat : 25286 (java) R 25275 25275 25105 0 -1 64 868637 0 1 0 123668 536 0 0 16 0 8 0 30843359 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134165 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25287] ppid=25275 vsize=808880 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25288] ppid=25275 vsize=808880 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=808880 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=808880 CPUtime=0.13
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 402 0 0 0 13 0 0 0 16 0 8 0 30843363 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25291] ppid=25275 vsize=808880 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=808880 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30843363 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.9
Current children cumulated vsize (KiB) 822604
[startup+1663.84 s]
/proc/loadavg: 1.04 1.04 1.70 2/73 25598
/proc/meminfo: memFree=1340072/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=810380 CPUtime=1655.8
/proc/25285/stat : 25285 (java) S 25275 25275 25105 0 -1 0 911359 0 2 0 164959 621 0 0 17 0 8 0 30843356 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25285/statm: 202595 151412 1507 14 0 189873 0
[pid=25285/tid=25286] ppid=25275 vsize=810380 CPUtime=1297.06
/proc/25285/task/25286/stat : 25286 (java) R 25275 25275 25105 0 -1 64 893804 0 1 0 129157 549 0 0 17 0 8 0 30843359 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215808 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25287] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25288] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=810380 CPUtime=0.13
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 402 0 0 0 13 0 0 0 16 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25291] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.95
Current children cumulated vsize (KiB) 824104
[startup+1723.93 s]
/proc/loadavg: 1.01 1.03 1.65 2/73 25598
/proc/meminfo: memFree=1339816/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=808880 CPUtime=1715.78
/proc/25285/stat : 25285 (java) S 25275 25275 25105 0 -1 0 935469 0 2 0 170943 635 0 0 16 0 8 0 30843356 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25285/statm: 202220 151192 1507 14 0 189498 0
[pid=25285/tid=25286] ppid=25275 vsize=808880 CPUtime=1352.02
/proc/25285/task/25286/stat : 25286 (java) R 25275 25275 25105 0 -1 64 917777 0 1 0 134639 563 0 0 17 0 8 0 30843359 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25287] ppid=25275 vsize=808880 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25288] ppid=25275 vsize=808880 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=808880 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=808880 CPUtime=0.13
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 402 0 0 0 13 0 0 0 16 0 8 0 30843363 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25291] ppid=25275 vsize=808880 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=808880 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30843363 828293120 151192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.93
Current children cumulated vsize (KiB) 822604
[startup+1784.03 s]
/proc/loadavg: 1.00 1.03 1.61 2/73 25598
/proc/meminfo: memFree=1339944/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=810380 CPUtime=1775.78
/proc/25285/stat : 25285 (java) S 25275 25275 25105 0 -1 0 960757 0 2 0 176930 648 0 0 16 0 8 0 30843356 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25285/statm: 202595 151412 1507 14 0 189873 0
[pid=25285/tid=25286] ppid=25275 vsize=810380 CPUtime=1407.57
/proc/25285/task/25286/stat : 25286 (java) R 25275 25275 25105 0 -1 64 942944 0 1 0 140181 576 0 0 16 0 8 0 30843359 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215767 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25287] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25288] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=810380 CPUtime=0.13
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 402 0 0 0 13 0 0 0 16 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25291] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.93
Current children cumulated vsize (KiB) 824104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.16 s]
/proc/loadavg: 1.00 1.02 1.59 2/73 25598
/proc/meminfo: memFree=1339880/2055920 swapFree=4192812/4192956
[pid=25275] ppid=25273 vsize=13724 CPUtime=2.15
/proc/25275/stat : 25275 (sugar) S 25273 25275 25105 0 -1 4194304 1186 8152 4 34 3 0 198 14 15 0 1 0 30842987 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25275/statm: 3431 809 371 3 0 531 0
[pid=25285] ppid=25275 vsize=810380 CPUtime=1797.9
/proc/25285/stat : 25285 (java) S 25275 25275 25105 0 -1 0 969928 0 2 0 179136 654 0 0 16 0 8 0 30843356 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25285/statm: 202595 151412 1507 14 0 189873 0
[pid=25285/tid=25286] ppid=25275 vsize=810380 CPUtime=1428.02
/proc/25285/task/25286/stat : 25286 (java) R 25275 25275 25105 0 -1 64 952070 0 1 0 142221 581 0 0 17 0 8 0 30843359 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25287] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25287/stat : 25287 (java) S 25275 25275 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30843360 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25285/tid=25288] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25288/stat : 25288 (java) S 25275 25275 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30843360 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25289] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25289/stat : 25289 (java) S 25275 25275 25105 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25290] ppid=25275 vsize=810380 CPUtime=0.13
/proc/25285/task/25290/stat : 25290 (java) S 25275 25275 25105 0 -1 64 402 0 0 0 13 0 0 0 16 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25291] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25291/stat : 25291 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25285/tid=25292] ppid=25275 vsize=810380 CPUtime=0
/proc/25285/task/25292/stat : 25292 (java) S 25275 25275 25105 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30843363 829829120 151412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 824104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25275 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=25692 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=156976
CPU time returned by wait4() is 2.18267
while last known CPU time is 1800.97
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1807.24
CPU time (s): 1800.97
CPU user time (s): 1794.18
CPU system time (s): 6.79
CPU usage (%): 99.6532
Max. virtual memory (cumulated for all children) (KiB): 825108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.02569
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9418
page faults= 38
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1139
involuntary context switches= 998
runsolver used 1.87271 s user time and 5.47817 s system time
The end
Begin job on node67 on Mon Jan 29 22:14:14 UTC 2007
IDJOB= 238958
IDBENCH= 7029
IDSOLVER= 86
FILE ID= node67/238958-1170108852
PBS_JOBID= 3689935
Free space on /tmp= 53192 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-e-0_ext.xml
COMMAND LINE= /tmp/evaluation/238958-1170108852/solver /tmp/evaluation/238958-1170108852 /tmp/evaluation/238958-1170108852/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-238958-1170108852 -o ROOT/results/node67/solver-238958-1170108852 -C 1800 -M 900 /tmp/evaluation/238958-1170108852/solver /tmp/evaluation/238958-1170108852 /tmp/evaluation/238958-1170108852/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= fc5ac11ed4f38c6eb545dd6a6fa0993f
RANDOM SEED= 217557147
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.236
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.236
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: 586200 kB
Buffers: 16368 kB
Cached: 1246800 kB
SwapCached: 0 kB
Active: 142464 kB
Inactive: 1236688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 586200 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 209268 kB
Writeback: 0 kB
Mapped: 132744 kB
Slab: 75604 kB
Committed_AS: 694868 kB
PageTables: 2080 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= 66564 MiB
End job on node67 on Mon Jan 29 22:44:21 UTC 2007