0.13 c # Sugar v0-40 (/tmp/evaluation/208739-1170097340/sugar-v0-40.jar)
0.13
0.14 c # MAIN BEGIN : /tmp/evaluation/208739-1170097340/unknown.xml [Mon Jan 29 20:02:21 2007]
0.14 c # CONVERT_XML BEGIN : /tmp/evaluation/208739-1170097340/unknown.xml /tmp/evaluation/208739-1170097340/sugar23690.csp [Mon Jan 29 20:02:21 2007]
0.14 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208739-1170097340/sugar-v0-40.jar -convert /tmp/evaluation/208739-1170097340/unknown.xml /tmp/evaluation/208739-1170097340/sugar23690.csp
0.32 c BEGIN convert /tmp/evaluation/208739-1170097340/unknown.xml
1.82 c END convert (1.491133 seconds)
1.85 c # CONVERT_XML END : /tmp/evaluation/208739-1170097340/sugar23690.csp 7536472 bytes (2 seconds) [Mon Jan 29 20:02:23 2007]
1.85 c # CONVERT_XML CPU : 1.54 = 0 + 0 + 1.45 + 0.09
1.85
1.85 c # GENERATE_SAT BEGIN : /tmp/evaluation/208739-1170097340/sugar23690.bcnf [Mon Jan 29 20:02:23 2007]
1.85 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208739-1170097340/sugar-v0-40.jar -bcnf -map /tmp/evaluation/208739-1170097340/sugar23690.map /tmp/evaluation/208739-1170097340/sugar23690.csp /tmp/evaluation/208739-1170097340/sugar23690.bcnf
1.96 c BEGIN parse /tmp/evaluation/208739-1170097340/sugar23690.csp
1809.09
1809.09 s UNKNOWN
1809.09 c # INTERRUPTED
1809.09 c # MAIN END : (1809 seconds) [Mon Jan 29 20:32:30 2007]
1809.09 c # MAIN CPU : 1.54 = 0 + 0 + 1.45 + 0.09
1809.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-208739-1170097340 -o ROOT/results/node26/solver-208739-1170097340 -C 1800 -M 900 /tmp/evaluation/208739-1170097340/solver /tmp/evaluation/208739-1170097340 /tmp/evaluation/208739-1170097340/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.15 2.41 3.55 3/87 23691
/proc/meminfo: memFree=1870016/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=5352 CPUtime=0
/proc/23690/stat : 23690 (solver) D 23688 23690 23066 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 29687772 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 269028486439 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/23690/statm: 1338 231 193 169 0 49 0
[startup+0.105896 s]
/proc/loadavg: 2.15 2.41 3.55 3/87 23691
/proc/meminfo: memFree=1870016/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=12668 CPUtime=0.01
/proc/23690/stat : 23690 (sugar) D 23688 23690 23066 0 -1 4194304 777 0 3 0 1 0 0 0 18 0 1 0 29687772 12972032 499 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/23690/statm: 3167 499 315 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668
[startup+0.513972 s]
/proc/loadavg: 2.15 2.41 3.55 3/87 23691
/proc/meminfo: memFree=1870016/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=0.04
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1118 0 3 0 3 1 0 0 16 0 1 0 29687772 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23690/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33712 s]
/proc/loadavg: 2.14 2.40 3.54 3/108 23744
/proc/meminfo: memFree=1795856/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=0.04
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1118 0 3 0 3 1 0 0 16 0 1 0 29687772 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23690/statm: 3431 805 368 3 0 531 0
[pid=23692] ppid=23690 vsize=807128 CPUtime=1.06
/proc/23692/stat : 23692 (java) R 23690 23690 23066 0 -1 0 9773 0 35 0 99 7 0 0 21 0 8 0 29687787 826499072 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23692/statm: 201782 9542 1695 14 0 189060 0
[pid=23692/tid=23693] ppid=23690 vsize=807128 CPUtime=0.06
/proc/23692/task/23693/stat : 23693 (java) S 23690 23690 23066 0 -1 64 3328 0 0 0 5 1 0 0 16 0 8 0 29687796 826499072 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23692/tid=23694] ppid=23690 vsize=807128 CPUtime=0
/proc/23692/task/23694/stat : 23694 (java) S 23690 23690 23066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29687796 826499072 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23692/tid=23695] ppid=23690 vsize=807128 CPUtime=0
/proc/23692/task/23695/stat : 23695 (java) S 23690 23690 23066 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 29687796 826499072 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23692/tid=23699] ppid=23690 vsize=807128 CPUtime=0
/proc/23692/task/23699/stat : 23699 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29687800 826499072 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23692/tid=23700] ppid=23690 vsize=807128 CPUtime=0.06
/proc/23692/task/23700/stat : 23700 (java) S 23690 23690 23066 0 -1 64 296 0 0 0 6 0 0 0 16 0 8 0 29687800 826499072 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23692/tid=23701] ppid=23690 vsize=807128 CPUtime=0
/proc/23692/task/23701/stat : 23701 (java) S 23690 23690 23066 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29687800 826499072 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23692/tid=23702] ppid=23690 vsize=807128 CPUtime=0
/proc/23692/task/23702/stat : 23702 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29687800 826499072 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 820852
[startup+2.98641 s]
/proc/loadavg: 2.14 2.40 3.54 4/108 23760
/proc/meminfo: memFree=1814800/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807064 CPUtime=1.11
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 10319 0 1 0 107 4 0 0 21 0 8 0 29687957 826433536 10062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201766 10062 1494 14 0 189044 0
[pid=23745/tid=23746] ppid=23690 vsize=807064 CPUtime=0.23
/proc/23745/task/23746/stat : 23746 (java) S 23690 23690 23066 0 -1 64 4262 0 0 0 22 1 0 0 16 0 8 0 29687960 826433536 10062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807064 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 29687961 826433536 10062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807064 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826433536 10062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807064 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826433536 10062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807064 CPUtime=0.05
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 29687964 826433536 10062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807064 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826433536 10062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807064 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826433536 10062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 820788
[startup+6.27998 s]
/proc/loadavg: 2.21 2.41 3.54 3/108 23762
/proc/meminfo: memFree=1672528/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807064 CPUtime=4.38
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 25647 0 1 0 426 12 0 0 25 0 8 0 29687957 826433536 25358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201766 25358 1494 14 0 189044 0
[pid=23745/tid=23746] ppid=23690 vsize=807064 CPUtime=1.22
/proc/23745/task/23746/stat : 23746 (java) R 23690 23690 23066 0 -1 64 19558 0 0 0 114 8 0 0 16 0 8 0 29687960 826433536 25358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153681242 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807064 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 29687961 826433536 25358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807064 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826433536 25358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807064 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826433536 25358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807064 CPUtime=0.05
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 29687964 826433536 25358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807064 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826433536 25358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807064 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826433536 25358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 820788
[startup+12.7049 s]
/proc/loadavg: 2.27 2.42 3.54 5/108 23766
/proc/meminfo: memFree=1415824/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807356 CPUtime=10.8
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 54629 0 1 0 1052 28 0 0 25 0 8 0 29687957 826732544 54258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201839 54258 1507 14 0 189117 0
[pid=23745/tid=23746] ppid=23690 vsize=807356 CPUtime=3.89
/proc/23745/task/23746/stat : 23746 (java) R 23690 23690 23066 0 -1 64 48195 0 0 0 368 21 0 0 16 0 8 0 29687960 826732544 54258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 54258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 54258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826732544 54258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807356 CPUtime=0.11
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 376 0 0 0 11 0 0 0 16 0 8 0 29687964 826732544 54258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826732544 54258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826732544 54258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 821080
[startup+25.5311 s]
/proc/loadavg: 2.46 2.45 3.54 4/102 23788
/proc/meminfo: memFree=1222864/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807356 CPUtime=23.59
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 79968 0 1 0 2319 40 0 0 25 0 8 0 29687957 826732544 79375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201839 79375 1507 14 0 189117 0
[pid=23745/tid=23746] ppid=23690 vsize=807356 CPUtime=10.7
/proc/23745/task/23746/stat : 23746 (java) R 23690 23690 23066 0 -1 64 72793 0 0 0 1038 32 0 0 16 0 8 0 29687960 826732544 79375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035615 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 79375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 79375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826732544 79375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807356 CPUtime=0.12
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 29687964 826732544 79375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826732544 79375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826732544 79375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 821080
[startup+51.2266 s]
/proc/loadavg: 2.84 2.54 3.54 4/102 23788
/proc/meminfo: memFree=1182480/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807356 CPUtime=49.29
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 92375 0 1 0 4876 53 0 0 25 0 8 0 29687957 826732544 85759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201839 85759 1507 14 0 189117 0
[pid=23745/tid=23746] ppid=23690 vsize=807356 CPUtime=27
/proc/23745/task/23746/stat : 23746 (java) R 23690 23690 23066 0 -1 64 84863 0 0 0 2657 43 0 0 16 0 8 0 29687960 826732544 85759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 85759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 85759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826732544 85759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807356 CPUtime=0.12
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 29687964 826732544 85759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826732544 85759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826732544 85759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 821080
[startup+102.492 s]
/proc/loadavg: 3.12 2.68 3.53 5/102 23788
/proc/meminfo: memFree=1129616/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807356 CPUtime=100.42
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 124147 0 1 0 9963 79 0 0 25 0 8 0 29687957 826732544 94642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 201839 94642 1507 14 0 189117 0
[pid=23745/tid=23746] ppid=23690 vsize=807356 CPUtime=61.78
################
# More data... #
################
/proc/loadavg: 3.20 3.39 3.43 5/102 23788
/proc/meminfo: memFree=640336/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807356 CPUtime=1534.5
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 781650 0 1 0 152857 593 0 0 25 0 8 0 29687957 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201839 151176 1507 14 0 189117 0
[pid=23745/tid=23746] ppid=23690 vsize=807356 CPUtime=1054.97
/proc/23745/task/23746/stat : 23746 (java) R 23690 23690 23066 0 -1 64 763674 0 0 0 104972 525 0 0 16 0 8 0 29687960 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807356 CPUtime=0.12
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.08
Current children cumulated vsize (KiB) 821080
[startup+1603.74 s]
/proc/loadavg: 3.34 3.39 3.43 5/102 23788
/proc/meminfo: memFree=640016/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807356 CPUtime=1594.23
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 781954 0 1 0 158826 597 0 0 25 0 8 0 29687957 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201839 151176 1507 14 0 189117 0
[pid=23745/tid=23746] ppid=23690 vsize=807356 CPUtime=1098.79
/proc/23745/task/23746/stat : 23746 (java) S 23690 23690 23066 0 -1 64 763674 0 0 0 109351 528 0 0 16 0 8 0 29687960 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807356 CPUtime=0.12
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.81
Current children cumulated vsize (KiB) 821080
[startup+1663.84 s]
/proc/loadavg: 3.15 3.33 3.40 5/102 23788
/proc/meminfo: memFree=640016/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807356 CPUtime=1654.02
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 782270 0 1 0 164801 601 0 0 25 0 8 0 29687957 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201839 151176 1507 14 0 189117 0
[pid=23745/tid=23746] ppid=23690 vsize=807356 CPUtime=1141.75
/proc/23745/task/23746/stat : 23746 (java) R 23690 23690 23066 0 -1 64 763674 0 0 0 113644 531 0 0 16 0 8 0 29687960 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022679 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807356 CPUtime=0.12
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.6
Current children cumulated vsize (KiB) 821080
[startup+1723.84 s]
/proc/loadavg: 3.52 3.41 3.42 4/102 23788
/proc/meminfo: memFree=639888/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807356 CPUtime=1713.72
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 782573 0 1 0 170767 605 0 0 25 0 8 0 29687957 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201839 151176 1507 14 0 189117 0
[pid=23745/tid=23746] ppid=23690 vsize=807356 CPUtime=1185.34
/proc/23745/task/23746/stat : 23746 (java) S 23690 23690 23066 0 -1 64 763674 0 0 0 118001 533 0 0 17 0 8 0 29687960 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807356 CPUtime=0.12
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.3
Current children cumulated vsize (KiB) 821080
[startup+1783.93 s]
/proc/loadavg: 4.10 3.56 3.47 5/102 23788
/proc/meminfo: memFree=639760/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807356 CPUtime=1773.51
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 782869 0 1 0 176742 609 0 0 25 0 8 0 29687957 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201839 151176 1507 14 0 189117 0
[pid=23745/tid=23746] ppid=23690 vsize=807356 CPUtime=1229.16
/proc/23745/task/23746/stat : 23746 (java) R 23690 23690 23066 0 -1 64 763674 0 0 0 122381 535 0 0 16 0 8 0 29687960 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222430 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807356 CPUtime=0.12
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.09
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.05 s]
/proc/loadavg: 3.91 3.56 3.47 5/102 23788
/proc/meminfo: memFree=639760/2055920 swapFree=4192812/4192956
[pid=23690] ppid=23688 vsize=13724 CPUtime=1.58
/proc/23690/stat : 23690 (sugar) S 23688 23690 23066 0 -1 4194304 1187 9796 3 35 3 1 145 9 15 0 1 0 29687772 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23690/statm: 3431 809 371 3 0 531 0
[pid=23745] ppid=23690 vsize=807356 CPUtime=1798.5
/proc/23745/stat : 23745 (java) R 23690 23690 23066 0 -1 0 782996 0 1 0 179240 610 0 0 25 0 8 0 29687957 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 201839 151176 1507 14 0 189117 0
[pid=23745/tid=23746] ppid=23690 vsize=807356 CPUtime=1247.35
/proc/23745/task/23746/stat : 23746 (java) R 23690 23690 23066 0 -1 64 763674 0 0 0 124199 536 0 0 16 0 8 0 29687960 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23747] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23747/stat : 23747 (java) S 23690 23690 23066 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23690 23690 23066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29687961 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23749] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23690 23690 23066 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23750] ppid=23690 vsize=807356 CPUtime=0.12
/proc/23745/task/23750/stat : 23750 (java) S 23690 23690 23066 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23751/stat : 23751 (java) S 23690 23690 23066 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29687964 826732544 151176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23752] ppid=23690 vsize=807356 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23690 23690 23066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29687964 826732544 151176 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) 821080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23690 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=492773 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=116982
CPU time returned by wait4() is 1.60976
while last known CPU time is 1800.83
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.09
CPU time (s): 1800.83
CPU user time (s): 1794.53
CPU system time (s): 6.3
CPU usage (%): 99.4885
Max. virtual memory (cumulated for all children) (KiB): 821596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49277
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11063
page faults= 38
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 644
involuntary context switches= 461
runsolver used 2.20666 s user time and 6.32504 s system time
The end
Begin job on node26 on Mon Jan 29 19:02:21 UTC 2007
IDJOB= 208739
IDBENCH= 4431
IDSOLVER= 86
FILE ID= node26/208739-1170097340
PBS_JOBID= 3689644
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext.xml
COMMAND LINE= /tmp/evaluation/208739-1170097340/solver /tmp/evaluation/208739-1170097340 /tmp/evaluation/208739-1170097340/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-208739-1170097340 -o ROOT/results/node26/solver-208739-1170097340 -C 1800 -M 900 /tmp/evaluation/208739-1170097340/solver /tmp/evaluation/208739-1170097340 /tmp/evaluation/208739-1170097340/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 797058f4a10aa6568e5c0d6665fa4ebe
RANDOM SEED= 765275773
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.279
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.279
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: 1870688 kB
Buffers: 45068 kB
Cached: 39728 kB
SwapCached: 0 kB
Active: 95744 kB
Inactive: 39876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1870688 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2460 kB
Writeback: 0 kB
Mapped: 70144 kB
Slab: 34608 kB
Committed_AS: 216760 kB
PageTables: 2104 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= 66554 MiB
End job on node26 on Mon Jan 29 19:32:31 UTC 2007