0.05 c # Sugar v0-40 (/tmp/evaluation/225357-1170104505/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/225357-1170104505/unknown.xml [Mon Jan 29 22:01:45 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/225357-1170104505/unknown.xml /tmp/evaluation/225357-1170104505/sugar23631.csp [Mon Jan 29 22:01:45 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225357-1170104505/sugar-v0-40.jar -convert /tmp/evaluation/225357-1170104505/unknown.xml /tmp/evaluation/225357-1170104505/sugar23631.csp
0.18 c BEGIN convert /tmp/evaluation/225357-1170104505/unknown.xml
1.96 c END convert (1.786501 seconds)
2.01 c # CONVERT_XML END : /tmp/evaluation/225357-1170104505/sugar23631.csp 8800802 bytes (2 seconds) [Mon Jan 29 22:01:47 2007]
2.01 c # CONVERT_XML CPU : 1.88 = 0 + 0 + 1.77 + 0.11
2.01
2.01 c # GENERATE_SAT BEGIN : /tmp/evaluation/225357-1170104505/sugar23631.bcnf [Mon Jan 29 22:01:47 2007]
2.01 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225357-1170104505/sugar-v0-40.jar -bcnf -map /tmp/evaluation/225357-1170104505/sugar23631.map /tmp/evaluation/225357-1170104505/sugar23631.csp /tmp/evaluation/225357-1170104505/sugar23631.bcnf
2.13 c BEGIN parse /tmp/evaluation/225357-1170104505/sugar23631.csp
1808.17
1808.17 s UNKNOWN
1808.17 c # INTERRUPTED
1808.17 c # MAIN END : (1808 seconds) [Mon Jan 29 22:31:53 2007]
1808.17 c # MAIN CPU : 1.88 = 0 + 0 + 1.77 + 0.11
1808.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-225357-1170104505 -o ROOT/results/node29/solver-225357-1170104505 -C 1800 -M 900 /tmp/evaluation/225357-1170104505/solver /tmp/evaluation/225357-1170104505 /tmp/evaluation/225357-1170104505/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.06 2.02 2.00 5/93 23632
/proc/meminfo: memFree=1767704/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=12128 CPUtime=0
/proc/23631/stat : 23631 (sugar) R 23629 23631 23564 0 -1 4194304 497 0 0 0 0 0 0 0 20 0 1 0 4214775 12419072 216 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221794413206 0 0 4224 0 0 0 0 17 1 0 0
/proc/23631/statm: 3032 216 163 3 0 132 0
[startup+0.106045 s]
/proc/loadavg: 2.06 2.02 2.00 5/93 23632
/proc/meminfo: memFree=1767704/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=0.03
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 4214775 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.514068 s]
/proc/loadavg: 2.06 2.02 2.00 5/93 23632
/proc/meminfo: memFree=1767704/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=0.03
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 4214775 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33613 s]
/proc/loadavg: 2.06 2.02 2.00 3/101 23640
/proc/meminfo: memFree=1726488/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=0.03
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 4214775 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 805 368 3 0 531 0
[pid=23633] ppid=23631 vsize=807128 CPUtime=1.25
/proc/23633/stat : 23633 (java) R 23631 23631 23564 0 -1 0 11083 0 1 0 118 7 0 0 22 0 8 0 4214780 826499072 10817 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4073604284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23633/statm: 201782 10817 1695 14 0 189060 0
[pid=23633/tid=23634] ppid=23631 vsize=807128 CPUtime=0.08
/proc/23633/task/23634/stat : 23634 (java) S 23631 23631 23564 0 -1 64 4587 0 0 0 7 1 0 0 16 0 8 0 4214784 826499072 10817 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23633/tid=23635] ppid=23631 vsize=807128 CPUtime=0
/proc/23633/task/23635/stat : 23635 (java) S 23631 23631 23564 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4214785 826499072 10817 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23633/tid=23636] ppid=23631 vsize=807128 CPUtime=0
/proc/23633/task/23636/stat : 23636 (java) S 23631 23631 23564 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 4214785 826499072 10817 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23633/tid=23637] ppid=23631 vsize=807128 CPUtime=0
/proc/23633/task/23637/stat : 23637 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214788 826499072 10817 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23633/tid=23638] ppid=23631 vsize=807128 CPUtime=0.08
/proc/23633/task/23638/stat : 23638 (java) S 23631 23631 23564 0 -1 64 307 0 0 0 8 0 0 0 15 0 8 0 4214788 826499072 10817 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23633/tid=23639] ppid=23631 vsize=807128 CPUtime=0
/proc/23633/task/23639/stat : 23639 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214788 826499072 10817 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23633/tid=23640] ppid=23631 vsize=807128 CPUtime=0
/proc/23633/task/23640/stat : 23640 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214788 826499072 10817 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 820852
[startup+2.98022 s]
/proc/loadavg: 2.06 2.02 2.00 4/101 23650
/proc/meminfo: memFree=1748568/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807064 CPUtime=0.95
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 9277 0 1 0 89 6 0 0 25 0 8 0 4214977 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073559733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23643/statm: 201766 9022 1494 14 0 189044 0
[pid=23643/tid=23644] ppid=23631 vsize=807064 CPUtime=0.17
/proc/23643/task/23644/stat : 23644 (java) S 23631 23631 23564 0 -1 64 3221 0 0 0 16 1 0 0 16 0 8 0 4214980 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807064 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807064 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807064 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807064 CPUtime=0.05
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 4214984 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807064 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807064 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 820788
[startup+6.18943 s]
/proc/loadavg: 2.06 2.02 2.00 4/101 23652
/proc/meminfo: memFree=1680792/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807064 CPUtime=4.11
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 22851 0 1 0 398 13 0 0 25 0 8 0 4214977 826433536 22567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23643/statm: 201766 22567 1494 14 0 189044 0
[pid=23643/tid=23644] ppid=23631 vsize=807064 CPUtime=1.1
/proc/23643/task/23644/stat : 23644 (java) S 23631 23631 23564 0 -1 64 16766 0 0 0 102 8 0 0 16 0 8 0 4214980 826433536 22567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807064 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826433536 22567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807064 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826433536 22567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807064 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826433536 22567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807064 CPUtime=0.05
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 4214984 826433536 22567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807064 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826433536 22567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807064 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826433536 22567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 820788
[startup+12.6796 s]
/proc/loadavg: 2.05 2.02 2.00 3/101 23660
/proc/meminfo: memFree=1557784/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807356 CPUtime=10.55
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 53050 0 1 0 1025 30 0 0 25 0 8 0 4214977 826732544 52691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073617224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23643/statm: 201839 52691 1506 14 0 189117 0
[pid=23643/tid=23644] ppid=23631 vsize=807356 CPUtime=3.14
/proc/23643/task/23644/stat : 23644 (java) S 23631 23631 23564 0 -1 64 46615 0 0 0 291 23 0 0 16 0 8 0 4214980 826732544 52691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826732544 52691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826732544 52691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826732544 52691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807356 CPUtime=0.1
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 366 0 0 0 10 0 0 0 16 0 8 0 4214984 826732544 52691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826732544 52691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826732544 52691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 821080
[startup+25.5445 s]
/proc/loadavg: 2.34 2.08 2.02 4/108 23792
/proc/meminfo: memFree=1378968/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807356 CPUtime=23.33
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 85380 0 1 0 2284 49 0 0 25 0 8 0 4214977 826732544 84778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23643/statm: 201839 84778 1507 14 0 189117 0
[pid=23643/tid=23644] ppid=23631 vsize=807356 CPUtime=10.34
/proc/23643/task/23644/stat : 23644 (java) R 23631 23631 23564 0 -1 64 77889 0 0 0 995 39 0 0 16 0 8 0 4214980 826732544 84778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134249 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826732544 84778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826732544 84778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826732544 84778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807356 CPUtime=0.13
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 379 0 0 0 12 1 0 0 17 0 8 0 4214984 826732544 84778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826732544 84778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826732544 84778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 821080
[startup+51.2041 s]
/proc/loadavg: 2.58 2.15 2.05 5/108 23812
/proc/meminfo: memFree=1093600/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807356 CPUtime=48.92
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 92572 0 1 0 4834 58 0 0 25 0 8 0 4214977 826732544 87687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23643/statm: 201839 87687 1507 14 0 189117 0
[pid=23643/tid=23644] ppid=23631 vsize=807356 CPUtime=26.57
/proc/23643/task/23644/stat : 23644 (java) R 23631 23631 23564 0 -1 64 84746 0 0 0 2611 46 0 0 16 0 8 0 4214980 826732544 87687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523673 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826732544 87687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826732544 87687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826732544 87687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807356 CPUtime=0.13
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 379 0 0 0 12 1 0 0 17 0 8 0 4214984 826732544 87687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826732544 87687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826732544 87687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 821080
[startup+102.422 s]
/proc/loadavg: 2.81 2.28 2.10 4/102 23832
/proc/meminfo: memFree=1035432/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807356 CPUtime=99.99
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 119150 0 1 0 9921 78 0 0 25 0 8 0 4214977 826732544 94907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23643/statm: 201839 94907 1507 14 0 189117 0
[pid=23643/tid=23644] ppid=23631 vsize=807356 CPUtime=61.11
################
# More data... #
################
/proc/loadavg: 3.05 3.20 3.02 3/102 23834
/proc/meminfo: memFree=573104/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807356 CPUtime=1535.65
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 898092 0 1 0 152887 678 0 0 25 0 8 0 4214977 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23643/statm: 201839 151087 1507 14 0 189117 0
[pid=23643/tid=23644] ppid=23631 vsize=807356 CPUtime=1063.32
/proc/23643/task/23644/stat : 23644 (java) R 23631 23631 23564 0 -1 64 880013 0 0 0 105721 611 0 0 16 0 8 0 4214980 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022755 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807356 CPUtime=0.13
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 379 0 0 0 12 1 0 0 17 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.56
Current children cumulated vsize (KiB) 821080
[startup+1603.61 s]
/proc/loadavg: 2.79 3.09 2.99 4/102 23834
/proc/meminfo: memFree=572976/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807356 CPUtime=1595.27
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 898419 0 1 0 158846 681 0 0 25 0 8 0 4214977 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23643/statm: 201839 151087 1507 14 0 189117 0
[pid=23643/tid=23644] ppid=23631 vsize=807356 CPUtime=1105.42
/proc/23643/task/23644/stat : 23644 (java) R 23631 23631 23564 0 -1 64 880013 0 0 0 109928 614 0 0 16 0 8 0 4214980 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827323 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807356 CPUtime=0.13
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 379 0 0 0 12 1 0 0 17 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.18
Current children cumulated vsize (KiB) 821080
[startup+1663.67 s]
/proc/loadavg: 3.04 3.09 2.99 4/102 23834
/proc/meminfo: memFree=572912/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807356 CPUtime=1654.53
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 898743 0 1 0 164768 685 0 0 25 0 8 0 4214977 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23643/statm: 201839 151087 1507 14 0 189117 0
[pid=23643/tid=23644] ppid=23631 vsize=807356 CPUtime=1147.56
/proc/23643/task/23644/stat : 23644 (java) R 23631 23631 23564 0 -1 64 880013 0 0 0 114140 616 0 0 17 0 8 0 4214980 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155526126 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807356 CPUtime=0.13
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 379 0 0 0 12 1 0 0 17 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.44
Current children cumulated vsize (KiB) 821080
[startup+1723.74 s]
/proc/loadavg: 2.78 3.01 2.97 3/102 23834
/proc/meminfo: memFree=572848/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807356 CPUtime=1714.08
/proc/23643/stat : 23643 (java) S 23631 23631 23564 0 -1 0 899065 0 1 0 170719 689 0 0 16 0 8 0 4214977 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23643/statm: 201839 151087 1507 14 0 189117 0
[pid=23643/tid=23644] ppid=23631 vsize=807356 CPUtime=1190.67
/proc/23643/task/23644/stat : 23644 (java) R 23631 23631 23564 0 -1 64 880013 0 0 0 118448 619 0 0 21 0 8 0 4214980 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807356 CPUtime=0.13
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 379 0 0 0 12 1 0 0 17 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.99
Current children cumulated vsize (KiB) 821080
[startup+1783.78 s]
/proc/loadavg: 2.76 2.96 2.96 3/102 23834
/proc/meminfo: memFree=572848/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807356 CPUtime=1773.84
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 899362 0 1 0 176692 692 0 0 16 0 8 0 4214977 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23643/statm: 201839 151087 1507 14 0 189117 0
[pid=23643/tid=23644] ppid=23631 vsize=807356 CPUtime=1234.69
/proc/23643/task/23644/stat : 23644 (java) R 23631 23631 23564 0 -1 64 880013 0 0 0 122848 621 0 0 25 0 8 0 4214980 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807356 CPUtime=0.13
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 379 0 0 0 12 1 0 0 17 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.75
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.15 s]
/proc/loadavg: 2.62 2.91 2.94 4/102 23834
/proc/meminfo: memFree=572784/2055920 swapFree=4192812/4192956
[pid=23631] ppid=23629 vsize=13724 CPUtime=1.91
/proc/23631/stat : 23631 (sugar) S 23629 23631 23564 0 -1 4194304 1190 11111 0 1 3 0 177 11 15 0 1 0 4214775 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23631/statm: 3431 809 371 3 0 531 0
[pid=23643] ppid=23631 vsize=807356 CPUtime=1798.09
/proc/23643/stat : 23643 (java) R 23631 23631 23564 0 -1 0 899491 0 1 0 179116 693 0 0 16 0 8 0 4214977 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23643/statm: 201839 151087 1507 14 0 189117 0
[pid=23643/tid=23644] ppid=23631 vsize=807356 CPUtime=1252.09
/proc/23643/task/23644/stat : 23644 (java) R 23631 23631 23564 0 -1 64 880013 0 0 0 124587 622 0 0 25 0 8 0 4214980 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23645] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23645/stat : 23645 (java) S 23631 23631 23564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23646] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23646/stat : 23646 (java) S 23631 23631 23564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4214981 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23647] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23647/stat : 23647 (java) S 23631 23631 23564 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23648] ppid=23631 vsize=807356 CPUtime=0.13
/proc/23643/task/23648/stat : 23648 (java) S 23631 23631 23564 0 -1 64 379 0 0 0 12 1 0 0 17 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23649] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23649/stat : 23649 (java) S 23631 23631 23564 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23643/tid=23650] ppid=23631 vsize=807356 CPUtime=0
/proc/23643/task/23650/stat : 23650 (java) S 23631 23631 23564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4214984 826732544 151087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
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 23631 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=818723 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=124981
CPU time returned by wait4() is 1.9437
while last known CPU time is 1800.15
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.18
CPU time (s): 1800.15
CPU user time (s): 1793.01
CPU system time (s): 7.14
CPU usage (%): 99.5009
Max. virtual memory (cumulated for all children) (KiB): 821080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.81872
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12381
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= 606
involuntary context switches= 590
runsolver used 2.14267 s user time and 6.01809 s system time
The end
Begin job on node29 on Mon Jan 29 21:01:45 UTC 2007
IDJOB= 225357
IDBENCH= 5847
IDSOLVER= 86
FILE ID= node29/225357-1170104505
PBS_JOBID= 3689784
Free space on /tmp= 66559 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-1_ext.xml
COMMAND LINE= /tmp/evaluation/225357-1170104505/solver /tmp/evaluation/225357-1170104505 /tmp/evaluation/225357-1170104505/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-225357-1170104505 -o ROOT/results/node29/solver-225357-1170104505 -C 1800 -M 900 /tmp/evaluation/225357-1170104505/solver /tmp/evaluation/225357-1170104505 /tmp/evaluation/225357-1170104505/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= fe57e07f2e5f374a3f36e0b1ff7ce6e5
RANDOM SEED= 160927477
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.209
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 : 5931.00
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.209
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: 1768128 kB
Buffers: 38392 kB
Cached: 59188 kB
SwapCached: 0 kB
Active: 179488 kB
Inactive: 53864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1768128 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2784 kB
Writeback: 0 kB
Mapped: 155972 kB
Slab: 38652 kB
Committed_AS: 411956 kB
PageTables: 2568 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= 66551 MiB
End job on node29 on Mon Jan 29 21:31:55 UTC 2007