0.05 c # Sugar v0-40 (/tmp/evaluation/224876-1170103870/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/224876-1170103870/unknown.xml [Mon Jan 29 21:51:10 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/224876-1170103870/unknown.xml /tmp/evaluation/224876-1170103870/sugar22153.csp [Mon Jan 29 21:51:10 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224876-1170103870/sugar-v0-40.jar -convert /tmp/evaluation/224876-1170103870/unknown.xml /tmp/evaluation/224876-1170103870/sugar22153.csp
0.18 c BEGIN convert /tmp/evaluation/224876-1170103870/unknown.xml
1.12 c END convert (0.939849 seconds)
1.18 c # CONVERT_XML END : /tmp/evaluation/224876-1170103870/sugar22153.csp 4123467 bytes (1 seconds) [Mon Jan 29 21:51:11 2007]
1.18 c # CONVERT_XML CPU : 1.06 = 0 + 0 + 0.97 + 0.09
1.18
1.18 c # GENERATE_SAT BEGIN : /tmp/evaluation/224876-1170103870/sugar22153.bcnf [Mon Jan 29 21:51:11 2007]
1.18 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224876-1170103870/sugar-v0-40.jar -bcnf -map /tmp/evaluation/224876-1170103870/sugar22153.map /tmp/evaluation/224876-1170103870/sugar22153.csp /tmp/evaluation/224876-1170103870/sugar22153.bcnf
1.30 c BEGIN parse /tmp/evaluation/224876-1170103870/sugar22153.csp
1809.61
1809.61 s UNKNOWN
1809.61 c # INTERRUPTED
1809.61 c # MAIN END : (1810 seconds) [Mon Jan 29 22:21:20 2007]
1809.61 c # MAIN CPU : 1.06 = 0 + 0 + 0.97 + 0.09
1809.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-224876-1170103870 -o ROOT/results/node21/solver-224876-1170103870 -C 1800 -M 900 /tmp/evaluation/224876-1170103870/solver /tmp/evaluation/224876-1170103870 /tmp/evaluation/224876-1170103870/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: 3.47 3.45 3.09 5/94 22154
/proc/meminfo: memFree=1245296/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=12268 CPUtime=0
/proc/22153/stat : 22153 (sugar) R 22151 22153 21938 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 30340917 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221236656741 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/22153/statm: 3067 316 241 3 0 167 0
[startup+0.121333 s]
/proc/loadavg: 3.47 3.45 3.09 5/94 22154
/proc/meminfo: memFree=1245296/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=0.04
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1112 0 0 0 3 1 0 0 19 0 1 0 30340917 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.529387 s]
/proc/loadavg: 3.47 3.45 3.09 5/94 22154
/proc/meminfo: memFree=1245296/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=0.04
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 30340917 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.35047 s]
/proc/loadavg: 3.47 3.45 3.09 2/102 22162
/proc/meminfo: memFree=1212080/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 13724
[startup+2.98865 s]
/proc/loadavg: 3.47 3.45 3.09 6/104 22172
/proc/meminfo: memFree=1205408/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807064 CPUtime=1.78
/proc/22163/stat : 22163 (java) S 22153 22153 21938 0 -1 0 13384 0 1 0 171 7 0 0 17 0 8 0 30341035 826433536 13121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201766 13121 1494 14 0 189044 0
[pid=22163/tid=22164] ppid=22153 vsize=807064 CPUtime=0.46
/proc/22163/task/22164/stat : 22164 (java) R 22153 22153 21938 0 -1 64 7320 0 0 0 43 3 0 0 16 0 8 0 30341038 826433536 13121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154023977 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807064 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826433536 13121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807064 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826433536 13121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807064 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826433536 13121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807064 CPUtime=0.04
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 30341042 826433536 13121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807064 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826433536 13121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807064 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30341042 826433536 13121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 820788
[startup+6.19201 s]
/proc/loadavg: 3.35 3.43 3.09 2/91 22217
/proc/meminfo: memFree=1753416/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=4.98
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 29555 0 1 0 482 16 0 0 16 0 8 0 30341035 826724352 29250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073489623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 29250 1506 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=1.4
/proc/22163/task/22164/stat : 22164 (java) S 22153 22153 21938 0 -1 64 23287 0 0 0 130 10 0 0 16 0 8 0 30341038 826724352 29250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 29250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 29250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 29250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.1
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 377 0 0 0 10 0 0 0 16 0 8 0 30341042 826724352 29250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 29250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30341042 826724352 29250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821072
[startup+12.5947 s]
/proc/loadavg: 3.24 3.41 3.08 4/102 22236
/proc/meminfo: memFree=1513776/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=11.38
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 54867 0 1 0 1110 28 0 0 25 0 8 0 30341035 826724352 54129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 54129 1507 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=4.43
/proc/22163/task/22164/stat : 22164 (java) S 22153 22153 21938 0 -1 64 48371 0 0 0 423 20 0 0 16 0 8 0 30341038 826724352 54129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 54129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 54129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 54129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.11
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 386 0 0 0 11 0 0 0 16 0 8 0 30341042 826724352 54129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 54129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30341042 826724352 54129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 821072
[startup+25.4009 s]
/proc/loadavg: 3.35 3.42 3.09 3/102 22236
/proc/meminfo: memFree=1419184/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=24.11
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 58471 0 1 0 2377 34 0 0 25 0 8 0 30341035 826724352 55076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 55076 1507 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=11.48
/proc/22163/task/22164/stat : 22164 (java) R 22153 22153 21938 0 -1 64 51658 0 0 0 1123 25 0 0 16 0 8 0 30341038 826724352 55076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134314 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 55076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 55076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 55076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.12
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 390 0 0 0 12 0 0 0 17 0 8 0 30341042 826724352 55076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 55076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30341042 826724352 55076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 821072
[startup+51.0447 s]
/proc/loadavg: 3.44 3.43 3.10 4/102 22236
/proc/meminfo: memFree=1419248/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=49.6
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 73471 0 1 0 4910 50 0 0 25 0 8 0 30341035 826724352 54606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 54606 1507 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=28.02
/proc/22163/task/22164/stat : 22164 (java) R 22153 22153 21938 0 -1 64 66158 0 0 0 2765 37 0 0 16 0 8 0 30341038 826724352 54606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035733 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 54606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 54606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 54606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.12
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 392 0 0 0 12 0 0 0 17 0 8 0 30341042 826724352 54606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 54606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30341042 826724352 54606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 821072
[startup+102.282 s]
/proc/loadavg: 3.30 3.39 3.10 5/102 22236
/proc/meminfo: memFree=1419248/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=100.54
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 105823 0 1 0 9973 81 0 0 25 0 8 0 30341035 826724352 55426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 55426 1507 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=63.14
/proc/22163/task/22164/stat : 22164 (java) R 22153 22153 21938 0 -1 64 97616 0 0 0 6251 63 0 0 16 0 8 0 30341038 826724352 55426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134566 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 55426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 55426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 55426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.12
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 392 0 0 0 12 0 0 0 17 0 8 0 30341042 826724352 55426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 55426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30341042 826724352 55426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 821072
[startup+162.344 s]
################
# More data... #
################
/proc/loadavg: 2.93 3.17 3.19 3/102 22434
/proc/meminfo: memFree=641328/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=1535.68
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 945198 0 1 0 152809 759 0 0 25 0 8 0 30341035 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 150979 1507 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=972.81
/proc/22163/task/22164/stat : 22164 (java) R 22153 22153 21938 0 -1 64 921768 0 0 0 96616 665 0 0 16 0 8 0 30341038 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.13
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 395 0 0 0 13 0 0 0 16 0 8 0 30341042 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0.01
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 30341042 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.78
Current children cumulated vsize (KiB) 821072
[startup+1603.58 s]
/proc/loadavg: 3.07 3.17 3.19 5/102 22434
/proc/meminfo: memFree=641200/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=1595.36
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 945566 0 1 0 158772 764 0 0 25 0 8 0 30341035 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 150979 1507 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=1013.22
/proc/22163/task/22164/stat : 22164 (java) R 22153 22153 21938 0 -1 64 921768 0 0 0 100655 667 0 0 16 0 8 0 30341038 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.13
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 395 0 0 0 13 0 0 0 16 0 8 0 30341042 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0.01
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 30341042 826724352 150979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.46
Current children cumulated vsize (KiB) 821072
[startup+1663.59 s]
/proc/loadavg: 3.48 3.27 3.22 5/102 22434
/proc/meminfo: memFree=641200/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=1654.75
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 945937 0 1 0 164706 769 0 0 25 0 8 0 30341035 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 150991 1507 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=1053.74
/proc/22163/task/22164/stat : 22164 (java) R 22153 22153 21938 0 -1 64 921780 0 0 0 104703 671 0 0 17 0 8 0 30341038 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.13
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 395 0 0 0 13 0 0 0 16 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0.01
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.85
Current children cumulated vsize (KiB) 821072
[startup+1723.65 s]
/proc/loadavg: 3.37 3.27 3.22 3/102 22434
/proc/meminfo: memFree=641072/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=1714.04
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 946284 0 1 0 170631 773 0 0 25 0 8 0 30341035 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073583358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 150991 1507 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=1095.09
/proc/22163/task/22164/stat : 22164 (java) S 22153 22153 21938 0 -1 64 921780 0 0 0 108836 673 0 0 16 0 8 0 30341038 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.13
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 395 0 0 0 13 0 0 0 16 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0.01
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.14
Current children cumulated vsize (KiB) 821072
[startup+1783.67 s]
/proc/loadavg: 3.18 3.23 3.20 5/102 22434
/proc/meminfo: memFree=641072/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=1773.36
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 946805 0 1 0 176556 780 0 0 25 0 8 0 30341035 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 150991 1507 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=1126.65
/proc/22163/task/22164/stat : 22164 (java) R 22153 22153 21938 0 -1 64 921780 0 0 0 111988 677 0 0 16 0 8 0 30341038 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827301 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.13
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 395 0 0 0 13 0 0 0 16 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0.01
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.46
Current children cumulated vsize (KiB) 821072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.57 s]
/proc/loadavg: 3.19 3.22 3.20 4/102 22434
/proc/meminfo: memFree=640944/2055920 swapFree=4192812/4192956
[pid=22153] ppid=22151 vsize=13724 CPUtime=1.1
/proc/22153/stat : 22153 (sugar) S 22151 22153 21938 0 -1 4194304 1190 8714 0 1 3 1 97 9 15 0 1 0 30340917 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22153/statm: 3431 809 371 3 0 531 0
[pid=22163] ppid=22153 vsize=807348 CPUtime=1798.98
/proc/22163/stat : 22163 (java) R 22153 22153 21938 0 -1 0 946995 0 1 0 179115 783 0 0 25 0 8 0 30341035 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073584101 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 201837 150991 1507 14 0 189115 0
[pid=22163/tid=22164] ppid=22153 vsize=807348 CPUtime=1142.75
/proc/22163/task/22164/stat : 22164 (java) S 22153 22153 21938 0 -1 64 921780 0 0 0 113596 679 0 0 16 0 8 0 30341038 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22165] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22165/stat : 22165 (java) S 22153 22153 21938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22166] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22153 22153 21938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30341039 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22167] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22153 22153 21938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22168] ppid=22153 vsize=807348 CPUtime=0.13
/proc/22163/task/22168/stat : 22168 (java) S 22153 22153 21938 0 -1 64 395 0 0 0 13 0 0 0 16 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22169] ppid=22153 vsize=807348 CPUtime=0
/proc/22163/task/22169/stat : 22169 (java) S 22153 22153 21938 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22153 vsize=807348 CPUtime=0.01
/proc/22163/task/22170/stat : 22170 (java) S 22153 22153 21938 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 30341042 826724352 150991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
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 22153 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=7846 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=106983
CPU time returned by wait4() is 1.11483
while last known CPU time is 1800.22
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.62
CPU time (s): 1800.22
CPU user time (s): 1792.2
CPU system time (s): 8.02
CPU usage (%): 99.4259
Max. virtual memory (cumulated for all children) (KiB): 821072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.00785
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= 9984
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= 463
involuntary context switches= 386
runsolver used 2.37064 s user time and 6.66599 s system time
The end
Begin job on node21 on Mon Jan 29 20:51:10 UTC 2007
IDJOB= 224876
IDBENCH= 5798
IDSOLVER= 86
FILE ID= node21/224876-1170103870
PBS_JOBID= 3689756
Free space on /tmp= 66554 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-3_ext.xml
COMMAND LINE= /tmp/evaluation/224876-1170103870/solver /tmp/evaluation/224876-1170103870 /tmp/evaluation/224876-1170103870/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-224876-1170103870 -o ROOT/results/node21/solver-224876-1170103870 -C 1800 -M 900 /tmp/evaluation/224876-1170103870/solver /tmp/evaluation/224876-1170103870 /tmp/evaluation/224876-1170103870/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 2655fa3a8729f18aaa03c51fe9718813
RANDOM SEED= 722469449
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.245
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.245
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: 1245776 kB
Buffers: 32636 kB
Cached: 67868 kB
SwapCached: 0 kB
Active: 709820 kB
Inactive: 51016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1245776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1532 kB
Writeback: 0 kB
Mapped: 685788 kB
Slab: 33056 kB
Committed_AS: 924676 kB
PageTables: 3252 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= 66558 MiB
End job on node21 on Mon Jan 29 21:21:21 UTC 2007