0.05 c # Sugar v0-40 (/tmp/evaluation/196087-1170092409/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/196087-1170092409/unknown.xml [Mon Jan 29 18:40:10 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/196087-1170092409/unknown.xml /tmp/evaluation/196087-1170092409/sugar20314.csp [Mon Jan 29 18:40:10 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/196087-1170092409/sugar-v0-40.jar -convert /tmp/evaluation/196087-1170092409/unknown.xml /tmp/evaluation/196087-1170092409/sugar20314.csp
0.33 c BEGIN convert /tmp/evaluation/196087-1170092409/unknown.xml
3.30 c END convert (2.967786 seconds)
3.35 c # CONVERT_XML END : /tmp/evaluation/196087-1170092409/sugar20314.csp 17161861 bytes (3 seconds) [Mon Jan 29 18:40:13 2007]
3.35 c # CONVERT_XML CPU : 3.05 = 0 + 0 + 2.83 + 0.22
3.35
3.35 c # GENERATE_SAT BEGIN : /tmp/evaluation/196087-1170092409/sugar20314.bcnf [Mon Jan 29 18:40:13 2007]
3.35 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/196087-1170092409/sugar-v0-40.jar -bcnf -map /tmp/evaluation/196087-1170092409/sugar20314.map /tmp/evaluation/196087-1170092409/sugar20314.csp /tmp/evaluation/196087-1170092409/sugar20314.bcnf
3.47 c BEGIN parse /tmp/evaluation/196087-1170092409/sugar20314.csp
1809.79
1809.79 s UNKNOWN
1809.79 c # INTERRUPTED
1809.79 c # MAIN END : (1809 seconds) [Mon Jan 29 19:10:19 2007]
1809.79 c # MAIN CPU : 3.05 = 0 + 0 + 2.83 + 0.22
1809.79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-196087-1170092409 -o ROOT/results/node71/solver-196087-1170092409 -C 1800 -M 900 /tmp/evaluation/196087-1170092409/solver /tmp/evaluation/196087-1170092409 /tmp/evaluation/196087-1170092409/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: 0.95 1.48 1.79 5/73 20315
/proc/meminfo: memFree=1542112/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=12268 CPUtime=0
/proc/20314/stat : 20314 (sugar) R 20309 20314 20180 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 29198752 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231962252736 0 0 4224 0 0 0 0 17 1 0 0
/proc/20314/statm: 3067 316 241 3 0 167 0
[startup+0.108693 s]
/proc/loadavg: 0.95 1.48 1.79 5/73 20315
/proc/meminfo: memFree=1542112/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=0.04
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1112 0 0 0 3 1 0 0 16 0 1 0 29198752 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20314/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.516782 s]
/proc/loadavg: 0.95 1.48 1.79 5/73 20315
/proc/meminfo: memFree=1542112/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=0.04
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29198752 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33797 s]
/proc/loadavg: 0.95 1.48 1.79 5/89 20331
/proc/meminfo: memFree=1446304/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=0.04
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29198752 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 805 368 3 0 531 0
[pid=20317] ppid=20314 vsize=807124 CPUtime=1.11
/proc/20317/stat : 20317 (java) R 20314 20314 20180 0 -1 0 12924 0 91 0 98 13 0 0 22 0 8 0 29198757 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20317/statm: 201781 12755 1696 14 0 189059 0
[pid=20317/tid=20319] ppid=20314 vsize=807124 CPUtime=0.1
/proc/20317/task/20319/stat : 20319 (java) R 20314 20314 20180 0 -1 64 6518 0 0 0 8 2 0 0 16 0 8 0 29198774 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20321] ppid=20314 vsize=807124 CPUtime=0
/proc/20317/task/20321/stat : 20321 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29198774 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20323] ppid=20314 vsize=807124 CPUtime=0
/proc/20317/task/20323/stat : 20323 (java) S 20314 20314 20180 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 29198774 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20324] ppid=20314 vsize=807124 CPUtime=0
/proc/20317/task/20324/stat : 20324 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29198779 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20325] ppid=20314 vsize=807124 CPUtime=0.09
/proc/20317/task/20325/stat : 20325 (java) S 20314 20314 20180 0 -1 64 313 0 0 0 8 1 0 0 16 0 8 0 29198779 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20326] ppid=20314 vsize=807124 CPUtime=0
/proc/20317/task/20326/stat : 20326 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29198779 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20327] ppid=20314 vsize=807124 CPUtime=0
/proc/20317/task/20327/stat : 20327 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29198779 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 820848
[startup+2.98832 s]
/proc/loadavg: 0.95 1.48 1.79 3/89 20331
/proc/meminfo: memFree=1417120/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=0.04
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29198752 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 805 368 3 0 531 0
[pid=20317] ppid=20314 vsize=807124 CPUtime=2.75
/proc/20317/stat : 20317 (java) R 20314 20314 20180 0 -1 0 12971 0 91 0 255 20 0 0 25 0 8 0 29198757 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073622204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20317/statm: 201781 12761 1696 14 0 189059 0
[pid=20317/tid=20319] ppid=20314 vsize=807124 CPUtime=0.21
/proc/20317/task/20319/stat : 20319 (java) S 20314 20314 20180 0 -1 64 6518 0 0 0 18 3 0 0 16 0 8 0 29198774 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20321] ppid=20314 vsize=807124 CPUtime=0
/proc/20317/task/20321/stat : 20321 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29198774 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20323] ppid=20314 vsize=807124 CPUtime=0
/proc/20317/task/20323/stat : 20323 (java) S 20314 20314 20180 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 29198774 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20324] ppid=20314 vsize=807124 CPUtime=0
/proc/20317/task/20324/stat : 20324 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29198779 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20325] ppid=20314 vsize=807124 CPUtime=0.1
/proc/20317/task/20325/stat : 20325 (java) S 20314 20314 20180 0 -1 64 319 0 0 0 9 1 0 0 16 0 8 0 29198779 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20326] ppid=20314 vsize=807124 CPUtime=0
/proc/20317/task/20326/stat : 20326 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29198779 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20317/tid=20327] ppid=20314 vsize=807124 CPUtime=0
/proc/20317/task/20327/stat : 20327 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29198779 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 820848
[startup+6.28885 s]
/proc/loadavg: 1.03 1.49 1.79 4/89 20347
/proc/meminfo: memFree=1370784/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807064 CPUtime=2.89
/proc/20333/stat : 20333 (java) R 20314 20314 20180 0 -1 0 19449 0 1 0 277 12 0 0 25 0 8 0 29199087 826433536 19173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073484410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201766 19173 1494 14 0 189044 0
[pid=20333/tid=20337] ppid=20314 vsize=807064 CPUtime=0.77
/proc/20333/task/20337/stat : 20337 (java) S 20314 20314 20180 0 -1 64 13372 0 0 0 70 7 0 0 16 0 8 0 29199091 826433536 19173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20338] ppid=20314 vsize=807064 CPUtime=0
/proc/20333/task/20338/stat : 20338 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29199091 826433536 19173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20339] ppid=20314 vsize=807064 CPUtime=0
/proc/20333/task/20339/stat : 20339 (java) S 20314 20314 20180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29199091 826433536 19173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20344] ppid=20314 vsize=807064 CPUtime=0
/proc/20333/task/20344/stat : 20344 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29199095 826433536 19173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20345] ppid=20314 vsize=807064 CPUtime=0.04
/proc/20333/task/20345/stat : 20345 (java) S 20314 20314 20180 0 -1 64 291 0 0 0 4 0 0 0 16 0 8 0 29199095 826433536 19173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20346] ppid=20314 vsize=807064 CPUtime=0
/proc/20333/task/20346/stat : 20346 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29199095 826433536 19173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20347] ppid=20314 vsize=807064 CPUtime=0
/proc/20333/task/20347/stat : 20347 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29199095 826433536 19173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 820788
[startup+12.7813 s]
/proc/loadavg: 1.11 1.50 1.79 4/89 20347
/proc/meminfo: memFree=1119096/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807064 CPUtime=9.31
/proc/20333/stat : 20333 (java) R 20314 20314 20180 0 -1 0 50210 0 1 0 905 26 0 0 25 0 8 0 29199087 826433536 49870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560889 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201766 49870 1494 14 0 189044 0
[pid=20333/tid=20337] ppid=20314 vsize=807064 CPUtime=2.69
/proc/20333/task/20337/stat : 20337 (java) S 20314 20314 20180 0 -1 64 44069 0 0 0 249 20 0 0 16 0 8 0 29199091 826433536 49870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20338] ppid=20314 vsize=807064 CPUtime=0
/proc/20333/task/20338/stat : 20338 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29199091 826433536 49870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20339] ppid=20314 vsize=807064 CPUtime=0
/proc/20333/task/20339/stat : 20339 (java) S 20314 20314 20180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29199091 826433536 49870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20344] ppid=20314 vsize=807064 CPUtime=0
/proc/20333/task/20344/stat : 20344 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29199095 826433536 49870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20345] ppid=20314 vsize=807064 CPUtime=0.04
/proc/20333/task/20345/stat : 20345 (java) S 20314 20314 20180 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 29199095 826433536 49870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20346] ppid=20314 vsize=807064 CPUtime=0
/proc/20333/task/20346/stat : 20346 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29199095 826433536 49870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20347] ppid=20314 vsize=807064 CPUtime=0
/proc/20333/task/20347/stat : 20347 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29199095 826433536 49870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 820788
[startup+25.6221 s]
/proc/loadavg: 1.45 1.56 1.80 4/89 20347
/proc/meminfo: memFree=724088/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807348 CPUtime=22.03
/proc/20333/stat : 20333 (java) R 20314 20314 20180 0 -1 0 105453 0 1 0 2150 53 0 0 25 0 8 0 29199087 826724352 105048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201837 105048 1507 14 0 189115 0
[pid=20333/tid=20337] ppid=20314 vsize=807348 CPUtime=8.87
/proc/20333/task/20337/stat : 20337 (java) S 20314 20314 20180 0 -1 64 95249 0 0 0 845 42 0 0 16 0 8 0 29199091 826724352 105048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20338] ppid=20314 vsize=807348 CPUtime=0
/proc/20333/task/20338/stat : 20338 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29199091 826724352 105048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20339] ppid=20314 vsize=807348 CPUtime=0
/proc/20333/task/20339/stat : 20339 (java) S 20314 20314 20180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29199091 826724352 105048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20344] ppid=20314 vsize=807348 CPUtime=0
/proc/20333/task/20344/stat : 20344 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29199095 826724352 105048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20345] ppid=20314 vsize=807348 CPUtime=0.11
/proc/20333/task/20345/stat : 20345 (java) S 20314 20314 20180 0 -1 64 394 0 0 0 11 0 0 0 16 0 8 0 29199095 826724352 105048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20346] ppid=20314 vsize=807348 CPUtime=0
/proc/20333/task/20346/stat : 20346 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29199095 826724352 105048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20347] ppid=20314 vsize=807348 CPUtime=0
/proc/20333/task/20347/stat : 20347 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29199095 826724352 105048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 821072
[startup+51.3287 s]
/proc/loadavg: 2.17 1.72 1.85 5/89 20347
/proc/meminfo: memFree=315000/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807092 CPUtime=47.46
/proc/20333/stat : 20333 (java) R 20314 20314 20180 0 -1 0 148874 0 1 0 4671 75 0 0 25 0 8 0 29199087 826462208 148204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201773 148204 1507 14 0 189051 0
[pid=20333/tid=20337] ppid=20314 vsize=807092 CPUtime=22.45
/proc/20333/task/20337/stat : 20337 (java) S 20314 20314 20180 0 -1 64 138448 0 0 0 2182 63 0 0 16 0 8 0 29199091 826462208 148204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20338] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20338/stat : 20338 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29199091 826462208 148204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20339] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20339/stat : 20339 (java) S 20314 20314 20180 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29199091 826462208 148204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20344] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20344/stat : 20344 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29199095 826462208 148204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20345] ppid=20314 vsize=807092 CPUtime=0.12
/proc/20333/task/20345/stat : 20345 (java) S 20314 20314 20180 0 -1 64 400 0 0 0 12 0 0 0 17 0 8 0 29199095 826462208 148204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20346] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20346/stat : 20346 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29199095 826462208 148204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20347] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20347/stat : 20347 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29199095 826462208 148204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 820816
[startup+102.615 s]
/proc/loadavg: 2.76 1.95 1.92 5/89 20347
/proc/meminfo: memFree=291320/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807092 CPUtime=98.14
/proc/20333/stat : 20333 (java) R 20314 20314 20180 0 -1 0 151458 0 1 0 9733 81 0 0 25 0 8 0 29199087 826462208 150441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201773 150441 1507 14 0 189051 0
[pid=20333/tid=20337] ppid=20314 vsize=807092 CPUtime=55.08
################
# More data... #
################
/proc/loadavg: 2.22 2.90 2.98 3/89 20545
/proc/meminfo: memFree=287480/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807092 CPUtime=1532.01
/proc/20333/stat : 20333 (java) S 20314 20314 20180 0 -1 0 156654 0 1 0 153033 168 0 0 16 0 8 0 29199087 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201773 151189 1507 14 0 189051 0
[pid=20333/tid=20337] ppid=20314 vsize=807092 CPUtime=1258.62
/proc/20333/task/20337/stat : 20337 (java) R 20314 20314 20180 0 -1 64 141432 0 0 0 125734 128 0 0 25 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525102 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20338] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20338/stat : 20338 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20339] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20339/stat : 20339 (java) S 20314 20314 20180 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20344] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20344/stat : 20344 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20345] ppid=20314 vsize=807092 CPUtime=0.12
/proc/20333/task/20345/stat : 20345 (java) S 20314 20314 20180 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20346] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20346/stat : 20346 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20347] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20347/stat : 20347 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.1
Current children cumulated vsize (KiB) 820816
[startup+1603.91 s]
/proc/loadavg: 2.23 2.76 2.93 3/89 20545
/proc/meminfo: memFree=287544/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807092 CPUtime=1591.98
/proc/20333/stat : 20333 (java) S 20314 20314 20180 0 -1 0 156793 0 1 0 159028 170 0 0 16 0 8 0 29199087 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201773 151189 1507 14 0 189051 0
[pid=20333/tid=20337] ppid=20314 vsize=807092 CPUtime=1311.67
/proc/20333/task/20337/stat : 20337 (java) R 20314 20314 20180 0 -1 64 141432 0 0 0 131038 129 0 0 25 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022734 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20338] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20338/stat : 20338 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20339] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20339/stat : 20339 (java) S 20314 20314 20180 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20344] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20344/stat : 20344 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20345] ppid=20314 vsize=807092 CPUtime=0.12
/proc/20333/task/20345/stat : 20345 (java) S 20314 20314 20180 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20346] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20346/stat : 20346 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20347] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20347/stat : 20347 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.07
Current children cumulated vsize (KiB) 820816
[startup+1663.98 s]
/proc/loadavg: 2.15 2.65 2.88 4/89 20545
/proc/meminfo: memFree=287544/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807092 CPUtime=1651.97
/proc/20333/stat : 20333 (java) S 20314 20314 20180 0 -1 0 156928 0 1 0 165025 172 0 0 16 0 8 0 29199087 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201773 151189 1507 14 0 189051 0
[pid=20333/tid=20337] ppid=20314 vsize=807092 CPUtime=1365.02
/proc/20333/task/20337/stat : 20337 (java) R 20314 20314 20180 0 -1 64 141432 0 0 0 136371 131 0 0 25 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20338] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20338/stat : 20338 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20339] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20339/stat : 20339 (java) S 20314 20314 20180 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20344] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20344/stat : 20344 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20345] ppid=20314 vsize=807092 CPUtime=0.12
/proc/20333/task/20345/stat : 20345 (java) S 20314 20314 20180 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20346] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20346/stat : 20346 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20347] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20347/stat : 20347 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.06
Current children cumulated vsize (KiB) 820816
[startup+1723.99 s]
/proc/loadavg: 2.10 2.54 2.82 4/89 20545
/proc/meminfo: memFree=287544/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807092 CPUtime=1711.65
/proc/20333/stat : 20333 (java) R 20314 20314 20180 0 -1 0 157049 0 1 0 170992 173 0 0 16 0 8 0 29199087 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073620780 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201773 151189 1507 14 0 189051 0
[pid=20333/tid=20337] ppid=20314 vsize=807092 CPUtime=1418.79
/proc/20333/task/20337/stat : 20337 (java) R 20314 20314 20180 0 -1 64 141432 0 0 0 141747 132 0 0 25 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20338] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20338/stat : 20338 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20339] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20339/stat : 20339 (java) S 20314 20314 20180 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20344] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20344/stat : 20344 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20345] ppid=20314 vsize=807092 CPUtime=0.12
/proc/20333/task/20345/stat : 20345 (java) S 20314 20314 20180 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20346] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20346/stat : 20346 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20347] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20347/stat : 20347 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.74
Current children cumulated vsize (KiB) 820816
[startup+1784.01 s]
/proc/loadavg: 2.18 2.49 2.79 4/89 20545
/proc/meminfo: memFree=287544/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807092 CPUtime=1771.38
/proc/20333/stat : 20333 (java) R 20314 20314 20180 0 -1 0 157166 0 1 0 176964 174 0 0 17 0 8 0 29199087 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073612069 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201773 151189 1507 14 0 189051 0
[pid=20333/tid=20337] ppid=20314 vsize=807092 CPUtime=1472.44
/proc/20333/task/20337/stat : 20337 (java) R 20314 20314 20180 0 -1 64 141432 0 0 0 147112 132 0 0 25 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20338] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20338/stat : 20338 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20339] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20339/stat : 20339 (java) S 20314 20314 20180 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20344] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20344/stat : 20344 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20345] ppid=20314 vsize=807092 CPUtime=0.12
/proc/20333/task/20345/stat : 20345 (java) S 20314 20314 20180 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20346] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20346/stat : 20346 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20347] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20347/stat : 20347 (java) R 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.47
Current children cumulated vsize (KiB) 820816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.78 s]
/proc/loadavg: 2.18 2.46 2.77 4/89 20545
/proc/meminfo: memFree=287480/2055920 swapFree=4192956/4192956
[pid=20314] ppid=20309 vsize=13724 CPUtime=3.09
/proc/20314/stat : 20314 (sugar) S 20309 20314 20180 0 -1 4194304 1190 12989 0 91 3 1 283 22 15 0 1 0 29198752 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20314/statm: 3431 809 371 3 0 531 0
[pid=20333] ppid=20314 vsize=807092 CPUtime=1797
/proc/20333/stat : 20333 (java) S 20314 20314 20180 0 -1 0 157219 0 1 0 179525 175 0 0 16 0 8 0 29199087 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20333/statm: 201773 151189 1507 14 0 189051 0
[pid=20333/tid=20337] ppid=20314 vsize=807092 CPUtime=1495.38
/proc/20333/task/20337/stat : 20337 (java) R 20314 20314 20180 0 -1 64 141432 0 0 0 149405 133 0 0 25 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155242074 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20338] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20338/stat : 20338 (java) S 20314 20314 20180 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20339] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20339/stat : 20339 (java) S 20314 20314 20180 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29199091 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20344] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20344/stat : 20344 (java) S 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20345] ppid=20314 vsize=807092 CPUtime=0.12
/proc/20333/task/20345/stat : 20345 (java) S 20314 20314 20180 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20346] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20346/stat : 20346 (java) S 20314 20314 20180 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20333/tid=20347] ppid=20314 vsize=807092 CPUtime=0
/proc/20333/task/20347/stat : 20347 (java) R 20314 20314 20180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29199095 826462208 151189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 820816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 20314 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=871563 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=237963
CPU time returned by wait4() is 3.10953
while last known CPU time is 1801.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.8
CPU time (s): 1801.02
CPU user time (s): 1799.04
CPU system time (s): 1.98
CPU usage (%): 99.46
Max. virtual memory (cumulated for all children) (KiB): 821104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.87156
system time used= 0.237963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14259
page faults= 91
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1063
involuntary context switches= 916
runsolver used 2.57061 s user time and 7.03093 s system time
The end
Begin job on node71 on Mon Jan 29 17:40:09 UTC 2007
IDJOB= 196087
IDBENCH= 3324
IDSOLVER= 86
FILE ID= node71/196087-1170092409
PBS_JOBID= 3689606
Free space on /tmp= 66558 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-20_ext.xml
COMMAND LINE= /tmp/evaluation/196087-1170092409/solver /tmp/evaluation/196087-1170092409 /tmp/evaluation/196087-1170092409/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-196087-1170092409 -o ROOT/results/node71/solver-196087-1170092409 -C 1800 -M 900 /tmp/evaluation/196087-1170092409/solver /tmp/evaluation/196087-1170092409 /tmp/evaluation/196087-1170092409/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 10e67cc455da19a1a190ecd6bc3f64d0
RANDOM SEED= 924421863
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.266
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.266
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: 1544408 kB
Buffers: 49936 kB
Cached: 369624 kB
SwapCached: 0 kB
Active: 170528 kB
Inactive: 269312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1544408 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 7460 kB
Writeback: 0 kB
Mapped: 30544 kB
Slab: 57208 kB
Committed_AS: 60608 kB
PageTables: 1740 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= 66525 MiB
End job on node71 on Mon Jan 29 18:10:20 UTC 2007