0.05 c # Sugar v0-40 (/tmp/evaluation/226318-1170104879/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/226318-1170104879/unknown.xml [Mon Jan 29 22:07:59 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/226318-1170104879/unknown.xml /tmp/evaluation/226318-1170104879/sugar24666.csp [Mon Jan 29 22:07:59 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226318-1170104879/sugar-v0-40.jar -convert /tmp/evaluation/226318-1170104879/unknown.xml /tmp/evaluation/226318-1170104879/sugar24666.csp
0.19 c BEGIN convert /tmp/evaluation/226318-1170104879/unknown.xml
0.84 c END convert (0.649288 seconds)
0.88 c # CONVERT_XML END : /tmp/evaluation/226318-1170104879/sugar24666.csp 2353591 bytes (1 seconds) [Mon Jan 29 22:08:00 2007]
0.88 c # CONVERT_XML CPU : 0.76 = 0 + 0 + 0.7 + 0.06
0.88
0.88 c # GENERATE_SAT BEGIN : /tmp/evaluation/226318-1170104879/sugar24666.bcnf [Mon Jan 29 22:08:00 2007]
0.88 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226318-1170104879/sugar-v0-40.jar -bcnf -map /tmp/evaluation/226318-1170104879/sugar24666.map /tmp/evaluation/226318-1170104879/sugar24666.csp /tmp/evaluation/226318-1170104879/sugar24666.bcnf
1.00 c BEGIN parse /tmp/evaluation/226318-1170104879/sugar24666.csp
1814.41
1814.41 s UNKNOWN
1814.41 c # INTERRUPTED
1814.41 c # MAIN END : (1814 seconds) [Mon Jan 29 22:38:13 2007]
1814.41 c # MAIN CPU : 0.76 = 0 + 0 + 0.7 + 0.06
1814.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-226318-1170104879 -o ROOT/results/node71/solver-226318-1170104879 -C 1800 -M 900 /tmp/evaluation/226318-1170104879/solver /tmp/evaluation/226318-1170104879 /tmp/evaluation/226318-1170104879/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.34 2.13 2.31 3/81 24667
/proc/meminfo: memFree=1673464/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=18540 CPUtime=0
/proc/24666/stat : 24666 (runsolver) R 24664 24666 23664 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30445706 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24666/statm: 4635 279 244 17 0 2626 0
[startup+0.102439 s]
/proc/loadavg: 2.34 2.13 2.31 3/81 24667
/proc/meminfo: memFree=1673464/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.04
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30445706 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24666/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.514526 s]
/proc/loadavg: 2.34 2.13 2.31 3/81 24667
/proc/meminfo: memFree=1673464/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.04
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 30445706 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24666/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34671 s]
/proc/loadavg: 2.34 2.13 2.31 4/89 24683
/proc/meminfo: memFree=1658232/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=807064 CPUtime=0.45
/proc/24676/stat : 24676 (java) R 24666 24666 23664 0 -1 0 7403 0 1 0 40 5 0 0 24 0 8 0 30445795 826433536 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073499392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 201766 7152 1494 14 0 189044 0
[pid=24676/tid=24677] ppid=24666 vsize=807064 CPUtime=0.05
/proc/24676/task/24677/stat : 24677 (java) S 24666 24666 23664 0 -1 64 1353 0 0 0 5 0 0 0 16 0 8 0 30445798 826433536 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24678] ppid=24666 vsize=807064 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 826433536 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=807064 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 826433536 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=807064 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 826433536 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=807064 CPUtime=0.05
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 290 0 0 0 5 0 0 0 19 0 8 0 30445802 826433536 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24682] ppid=24666 vsize=807064 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 826433536 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=807064 CPUtime=0
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30445802 826433536 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.99706 s]
/proc/loadavg: 2.34 2.13 2.31 3/89 24683
/proc/meminfo: memFree=1629368/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=807064 CPUtime=2.1
/proc/24676/stat : 24676 (java) R 24666 24666 23664 0 -1 0 14890 0 1 0 201 9 0 0 25 0 8 0 30445795 826433536 14623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073484805 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 201766 14623 1494 14 0 189044 0
[pid=24676/tid=24677] ppid=24666 vsize=807064 CPUtime=0.56
/proc/24676/task/24677/stat : 24677 (java) S 24666 24666 23664 0 -1 64 8824 0 0 0 53 3 0 0 16 0 8 0 30445798 826433536 14623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24678] ppid=24666 vsize=807064 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 826433536 14623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=807064 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 826433536 14623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=807064 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 826433536 14623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=807064 CPUtime=0.05
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 290 0 0 0 5 0 0 0 19 0 8 0 30445802 826433536 14623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24682] ppid=24666 vsize=807064 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 826433536 14623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=807064 CPUtime=0
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30445802 826433536 14623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 820788
[startup+6.23979 s]
/proc/loadavg: 2.40 2.14 2.32 6/89 24683
/proc/meminfo: memFree=1540344/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=807340 CPUtime=5.34
/proc/24676/stat : 24676 (java) R 24666 24666 23664 0 -1 0 37879 0 1 0 512 22 0 0 25 0 8 0 30445795 826716160 37522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942745 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 201835 37522 1506 14 0 189113 0
[pid=24676/tid=24677] ppid=24666 vsize=807340 CPUtime=1.68
/proc/24676/task/24677/stat : 24677 (java) S 24666 24666 23664 0 -1 64 31584 0 0 0 152 16 0 0 16 0 8 0 30445798 826716160 37522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24678] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 826716160 37522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 826716160 37522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 826716160 37522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=807340 CPUtime=0.11
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 383 0 0 0 11 0 0 0 16 0 8 0 30445802 826716160 37522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24682] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 826716160 37522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30445802 826716160 37522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 821064
[startup+12.6992 s]
/proc/loadavg: 2.36 2.14 2.31 3/89 24683
/proc/meminfo: memFree=1458048/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=807340 CPUtime=11.8
/proc/24676/stat : 24676 (java) R 24666 24666 23664 0 -1 0 54861 0 1 0 1148 32 0 0 25 0 8 0 30445795 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073590802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 201835 54099 1507 14 0 189113 0
[pid=24676/tid=24677] ppid=24666 vsize=807340 CPUtime=4.31
/proc/24676/task/24677/stat : 24677 (java) S 24666 24666 23664 0 -1 64 48350 0 0 0 407 24 0 0 16 0 8 0 30445798 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24678] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=807340 CPUtime=0.12
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 387 0 0 0 12 0 0 0 16 0 8 0 30445802 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24682] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30445802 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 821064
[startup+25.5228 s]
/proc/loadavg: 2.42 2.16 2.32 5/89 24683
/proc/meminfo: memFree=1448640/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=807340 CPUtime=24.56
/proc/24676/stat : 24676 (java) R 24666 24666 23664 0 -1 0 58437 0 1 0 2417 39 0 0 25 0 8 0 30445795 826716160 54762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 201835 54762 1507 14 0 189113 0
[pid=24676/tid=24677] ppid=24666 vsize=807340 CPUtime=10.45
/proc/24676/task/24677/stat : 24677 (java) R 24666 24666 23664 0 -1 64 51552 0 0 0 1016 29 0 0 16 0 8 0 30445798 826716160 54762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134165 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24678] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 826716160 54762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 826716160 54762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 826716160 54762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=807340 CPUtime=0.12
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 30445802 826716160 54762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24682] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 826716160 54762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30445802 826716160 54762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 821064
[startup+51.2234 s]
/proc/loadavg: 2.72 2.25 2.34 4/89 24683
/proc/meminfo: memFree=1430720/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=807340 CPUtime=50.08
/proc/24676/stat : 24676 (java) R 24666 24666 23664 0 -1 0 63549 0 1 0 4957 51 0 0 25 0 8 0 30445795 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 201835 54127 1507 14 0 189113 0
[pid=24676/tid=24677] ppid=24666 vsize=807340 CPUtime=22.78
/proc/24676/task/24677/stat : 24677 (java) R 24666 24666 23664 0 -1 64 55907 0 0 0 2240 38 0 0 16 0 8 0 30445798 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24678] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=807340 CPUtime=0.13
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 397 0 0 0 13 0 0 0 16 0 8 0 30445802 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24682] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=807340 CPUtime=0
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30445802 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 821064
[startup+102.486 s]
/proc/loadavg: 2.86 2.36 2.37 4/89 24683
/proc/meminfo: memFree=1379520/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=807340 CPUtime=100.97
/proc/24676/stat : 24676 (java) R 24666 24666 23664 0 -1 0 77983 0 1 0 10018 79 0 0 25 0 8 0 30445795 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 201835 54127 1507 14 0 189113 0
[pid=24676/tid=24677] ppid=24666 vsize=807340 CPUtime=48.58
################
# More data... #
################
/proc/loadavg: 2.06 2.20 2.43 4/89 24683
/proc/meminfo: memFree=659776/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=808868 CPUtime=1530.66
/proc/24676/stat : 24676 (java) S 24666 24666 23664 0 -1 0 307944 0 1 0 152724 342 0 0 17 0 8 0 30445795 828280832 153669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 202217 153669 1507 14 0 189495 0
[pid=24676/tid=24677] ppid=24666 vsize=808868 CPUtime=1061.38
/proc/24676/task/24677/stat : 24677 (java) R 24666 24666 23664 0 -1 64 288590 0 0 0 105876 262 0 0 25 0 8 0 30445798 828280832 153669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134174 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24678] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 828280832 153669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 828280832 153669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 828280832 153669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=808868 CPUtime=0.14
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30445802 828280832 153669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24676/tid=24682] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 828280832 153669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=808868 CPUtime=0.02
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30445802 828280832 153669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.46
Current children cumulated vsize (KiB) 822592
[startup+1603.59 s]
/proc/loadavg: 2.09 2.17 2.41 3/89 24683
/proc/meminfo: memFree=657024/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=808868 CPUtime=1590.08
/proc/24676/stat : 24676 (java) S 24666 24666 23664 0 -1 0 315808 0 1 0 158661 347 0 0 17 0 8 0 30445795 828280832 154107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 202217 154107 1507 14 0 189495 0
[pid=24676/tid=24677] ppid=24666 vsize=808868 CPUtime=1118.67
/proc/24676/task/24677/stat : 24677 (java) R 24666 24666 23664 0 -1 64 296407 0 0 0 111600 267 0 0 25 0 8 0 30445798 828280832 154107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215825 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24678] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 828280832 154107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 828280832 154107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 828280832 154107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=808868 CPUtime=0.14
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30445802 828280832 154107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24676/tid=24682] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 828280832 154107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=808868 CPUtime=0.02
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30445802 828280832 154107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.88
Current children cumulated vsize (KiB) 822592
[startup+1663.64 s]
/proc/loadavg: 2.07 2.15 2.39 3/89 24685
/proc/meminfo: memFree=651136/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=808868 CPUtime=1649.47
/proc/24676/stat : 24676 (java) S 24666 24666 23664 0 -1 0 323832 0 1 0 164595 352 0 0 17 0 8 0 30445795 828280832 154630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 202217 154630 1507 14 0 189495 0
[pid=24676/tid=24677] ppid=24666 vsize=808868 CPUtime=1175.81
/proc/24676/task/24677/stat : 24677 (java) R 24666 24666 23664 0 -1 64 304384 0 0 0 117309 272 0 0 25 0 8 0 30445798 828280832 154630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022750 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24678] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 828280832 154630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 828280832 154630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 828280832 154630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=808868 CPUtime=0.14
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30445802 828280832 154630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24676/tid=24682] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 828280832 154630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=808868 CPUtime=0.02
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30445802 828280832 154630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.27
Current children cumulated vsize (KiB) 822592
[startup+1723.68 s]
/proc/loadavg: 2.10 2.14 2.36 2/76 24700
/proc/meminfo: memFree=1271920/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=808868 CPUtime=1708.85
/proc/24676/stat : 24676 (java) S 24666 24666 23664 0 -1 0 331264 0 1 0 170527 358 0 0 17 0 8 0 30445795 828280832 154656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24676/statm: 202217 154656 1507 14 0 189495 0
[pid=24676/tid=24677] ppid=24666 vsize=808868 CPUtime=1233.03
/proc/24676/task/24677/stat : 24677 (java) R 24666 24666 23664 0 -1 64 311770 0 0 0 123026 277 0 0 18 0 8 0 30445798 828280832 154656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24676/tid=24678] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 828280832 154656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 828280832 154656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 828280832 154656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=808868 CPUtime=0.14
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30445802 828280832 154656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24676/tid=24682] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 828280832 154656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=808868 CPUtime=0.02
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30445802 828280832 154656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.65
Current children cumulated vsize (KiB) 822592
[startup+1783.7 s]
/proc/loadavg: 2.11 2.12 2.34 3/78 24866
/proc/meminfo: memFree=1236320/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=808868 CPUtime=1768.58
/proc/24676/stat : 24676 (java) S 24666 24666 23664 0 -1 0 340054 0 1 0 176489 369 0 0 17 0 8 0 30445795 828280832 156040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24676/statm: 202217 156040 1507 14 0 189495 0
[pid=24676/tid=24677] ppid=24666 vsize=808868 CPUtime=1290.69
/proc/24676/task/24677/stat : 24677 (java) R 24666 24666 23664 0 -1 64 320514 0 0 0 128780 289 0 0 17 0 8 0 30445798 828280832 156040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134165 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24678] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 828280832 156040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 828280832 156040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 828280832 156040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=808868 CPUtime=0.14
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30445802 828280832 156040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24676/tid=24682] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 828280832 156040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=808868 CPUtime=0.02
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30445802 828280832 156040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.38
Current children cumulated vsize (KiB) 822592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.39 s]
/proc/loadavg: 2.08 2.10 2.33 4/82 24922
/proc/meminfo: memFree=270840/2055920 swapFree=4192812/4192956
[pid=24666] ppid=24664 vsize=13724 CPUtime=0.8
/proc/24666/stat : 24666 (sugar) S 24664 24666 23664 0 -1 4194304 1190 7929 0 1 3 1 70 6 15 0 1 0 30445706 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24666/statm: 3431 809 371 3 0 531 0
[pid=24676] ppid=24666 vsize=808868 CPUtime=1799.24
/proc/24676/stat : 24676 (java) S 24666 24666 23664 0 -1 0 344182 0 1 0 179544 380 0 0 17 0 8 0 30445795 828280832 156465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24676/statm: 202217 156465 1507 14 0 189495 0
[pid=24676/tid=24677] ppid=24666 vsize=808868 CPUtime=1320.3
/proc/24676/task/24677/stat : 24677 (java) R 24666 24666 23664 0 -1 64 324619 0 0 0 131731 299 0 0 25 0 8 0 30445798 828280832 156465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24676/tid=24678] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24678/stat : 24678 (java) S 24666 24666 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30445799 828280832 156465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24679] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24679/stat : 24679 (java) S 24666 24666 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30445799 828280832 156465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24680] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24680/stat : 24680 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30445802 828280832 156465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24681] ppid=24666 vsize=808868 CPUtime=0.14
/proc/24676/task/24681/stat : 24681 (java) S 24666 24666 23664 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30445802 828280832 156465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24676/tid=24682] ppid=24666 vsize=808868 CPUtime=0
/proc/24676/task/24682/stat : 24682 (java) S 24666 24666 23664 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30445802 828280832 156465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24676/tid=24683] ppid=24666 vsize=808868 CPUtime=0.02
/proc/24676/task/24683/stat : 24683 (java) S 24666 24666 23664 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30445802 828280832 156465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 822592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24666 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=737887 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=80987
CPU time returned by wait4() is 0.818874
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): 1815.42
CPU time (s): 1800.97
CPU user time (s): 1797.1
CPU system time (s): 3.87
CPU usage (%): 99.2042
Max. virtual memory (cumulated for all children) (KiB): 822844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.737887
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9199
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= 419
involuntary context switches= 345
runsolver used 2.70259 s user time and 6.47802 s system time
The end
Begin job on node71 on Mon Jan 29 21:07:59 UTC 2007
IDJOB= 226318
IDBENCH= 5955
IDSOLVER= 86
FILE ID= node71/226318-1170104879
PBS_JOBID= 3689749
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-15_ext.xml
COMMAND LINE= /tmp/evaluation/226318-1170104879/solver /tmp/evaluation/226318-1170104879 /tmp/evaluation/226318-1170104879/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-226318-1170104879 -o ROOT/results/node71/solver-226318-1170104879 -C 1800 -M 900 /tmp/evaluation/226318-1170104879/solver /tmp/evaluation/226318-1170104879 /tmp/evaluation/226318-1170104879/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 894a922de2e82381bcde1a85406b08e1
RANDOM SEED= 177579427
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: 1673944 kB
Buffers: 50856 kB
Cached: 42644 kB
SwapCached: 0 kB
Active: 272120 kB
Inactive: 55608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1673944 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1184 kB
Writeback: 0 kB
Mapped: 250996 kB
Slab: 39076 kB
Committed_AS: 580268 kB
PageTables: 2332 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= 66266 MiB
End job on node71 on Mon Jan 29 21:38:14 UTC 2007