0.06 c # Sugar v0-40 (/tmp/evaluation/218267-1170102011/sugar-v0-40.jar)
0.06
0.07 c # MAIN BEGIN : /tmp/evaluation/218267-1170102011/unknown.xml [Mon Jan 29 21:20:12 2007]
0.07 c # CONVERT_XML BEGIN : /tmp/evaluation/218267-1170102011/unknown.xml /tmp/evaluation/218267-1170102011/sugar28761.csp [Mon Jan 29 21:20:12 2007]
0.07 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/218267-1170102011/sugar-v0-40.jar -convert /tmp/evaluation/218267-1170102011/unknown.xml /tmp/evaluation/218267-1170102011/sugar28761.csp
0.27 c BEGIN convert /tmp/evaluation/218267-1170102011/unknown.xml
1.78 c END convert (1.502524 seconds)
1.82 c # CONVERT_XML END : /tmp/evaluation/218267-1170102011/sugar28761.csp 7559610 bytes (2 seconds) [Mon Jan 29 21:20:14 2007]
1.82 c # CONVERT_XML CPU : 1.56 = 0 + 0 + 1.45 + 0.11
1.82
1.82 c # GENERATE_SAT BEGIN : /tmp/evaluation/218267-1170102011/sugar28761.bcnf [Mon Jan 29 21:20:14 2007]
1.82 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/218267-1170102011/sugar-v0-40.jar -bcnf -map /tmp/evaluation/218267-1170102011/sugar28761.map /tmp/evaluation/218267-1170102011/sugar28761.csp /tmp/evaluation/218267-1170102011/sugar28761.bcnf
1.97 c BEGIN parse /tmp/evaluation/218267-1170102011/sugar28761.csp
1810.58
1810.58 s UNKNOWN
1810.58 c # INTERRUPTED
1810.58 c # MAIN END : (1810 seconds) [Mon Jan 29 21:50:22 2007]
1810.58 c # MAIN CPU : 1.56 = 0 + 0 + 1.45 + 0.11
1810.58
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-218267-1170102011 -o ROOT/results/node17/solver-218267-1170102011 -C 1800 -M 900 /tmp/evaluation/218267-1170102011/solver /tmp/evaluation/218267-1170102011 /tmp/evaluation/218267-1170102011/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.61 3.12 2.99 5/94 28762
/proc/meminfo: memFree=1469336/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=18540 CPUtime=0
/proc/28761/stat : 28761 (runsolver) R 28759 28761 28696 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30155400 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28761/statm: 4635 279 244 17 0 2626 0
[startup+0.110798 s]
/proc/loadavg: 2.61 3.12 2.99 5/94 28762
/proc/meminfo: memFree=1469336/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=0.04
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1112 0 0 0 3 1 0 0 19 0 1 0 30155400 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28761/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.518846 s]
/proc/loadavg: 2.61 3.12 2.99 5/94 28762
/proc/meminfo: memFree=1469336/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=0.04
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30155400 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28761/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34294 s]
/proc/loadavg: 2.61 3.12 2.99 3/102 28770
/proc/meminfo: memFree=1425496/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=0.04
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30155400 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28761/statm: 3431 805 368 3 0 531 0
[pid=28763] ppid=28761 vsize=807132 CPUtime=1.13
/proc/28763/stat : 28763 (java) R 28761 28761 28696 0 -1 0 9776 0 34 0 104 9 0 0 25 0 8 0 30155408 826503168 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28763/statm: 201783 9542 1693 14 0 189061 0
[pid=28763/tid=28764] ppid=28761 vsize=807132 CPUtime=0.07
/proc/28763/task/28764/stat : 28764 (java) S 28761 28761 28696 0 -1 64 3327 0 0 0 5 2 0 0 16 0 8 0 30155419 826503168 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28765] ppid=28761 vsize=807132 CPUtime=0
/proc/28763/task/28765/stat : 28765 (java) S 28761 28761 28696 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30155419 826503168 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28766] ppid=28761 vsize=807132 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28761 28696 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30155419 826503168 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=807132 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30155423 826503168 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=807132 CPUtime=0.06
/proc/28763/task/28768/stat : 28768 (java) S 28761 28761 28696 0 -1 64 296 0 0 0 6 0 0 0 16 0 8 0 30155423 826503168 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28769] ppid=28761 vsize=807132 CPUtime=0
/proc/28763/task/28769/stat : 28769 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30155423 826503168 9542 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28770] ppid=28761 vsize=807132 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30155423 826503168 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.17
Current children cumulated vsize (KiB) 820856
[startup+2.99511 s]
/proc/loadavg: 2.56 3.10 2.99 5/102 28778
/proc/meminfo: memFree=1422168/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807064 CPUtime=1.12
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 10804 0 1 0 106 6 0 0 25 0 8 0 30155582 826433536 10546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073455759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201766 10546 1494 14 0 189044 0
[pid=28771/tid=28772] ppid=28761 vsize=807064 CPUtime=0.26
/proc/28771/task/28772/stat : 28772 (java) S 28761 28761 28696 0 -1 64 4746 0 0 0 24 2 0 0 16 0 8 0 30155585 826433536 10546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807064 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826433536 10546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807064 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826433536 10546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807064 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826433536 10546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807064 CPUtime=0.04
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 291 0 0 0 4 0 0 0 18 0 8 0 30155594 826433536 10546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807064 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826433536 10546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807064 CPUtime=0
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30155594 826433536 10546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 820788
[startup+6.29145 s]
/proc/loadavg: 2.56 3.10 2.99 5/102 28778
/proc/meminfo: memFree=1360344/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807064 CPUtime=4.41
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 26678 0 1 0 426 15 0 0 25 0 8 0 30155582 826433536 26387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201766 26387 1494 14 0 189044 0
[pid=28771/tid=28772] ppid=28761 vsize=807064 CPUtime=1.3
/proc/28771/task/28772/stat : 28772 (java) S 28761 28761 28696 0 -1 64 20587 0 0 0 120 10 0 0 16 0 8 0 30155585 826433536 26387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807064 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826433536 26387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807064 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826433536 26387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807064 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826433536 26387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807064 CPUtime=0.04
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 30155594 826433536 26387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807064 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826433536 26387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807064 CPUtime=0
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30155594 826433536 26387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 820788
[startup+12.7241 s]
/proc/loadavg: 2.55 3.08 2.98 4/102 28778
/proc/meminfo: memFree=1221528/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807356 CPUtime=10.85
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 56022 0 1 0 1052 33 0 0 25 0 8 0 30155582 826732544 55644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201839 55644 1507 14 0 189117 0
[pid=28771/tid=28772] ppid=28761 vsize=807356 CPUtime=4.07
/proc/28771/task/28772/stat : 28772 (java) S 28761 28761 28696 0 -1 64 49053 0 0 0 382 25 0 0 16 0 8 0 30155585 826732544 55644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826732544 55644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826732544 55644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826732544 55644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807356 CPUtime=0.1
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 376 0 0 0 10 0 0 0 16 0 8 0 30155594 826732544 55644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826732544 55644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30155594 826732544 55644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 821080
[startup+25.5735 s]
/proc/loadavg: 2.85 3.12 3.00 3/102 28778
/proc/meminfo: memFree=1124504/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807356 CPUtime=23.69
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 80537 0 1 0 2321 48 0 0 25 0 8 0 30155582 826732544 79440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201839 79440 1507 14 0 189117 0
[pid=28771/tid=28772] ppid=28761 vsize=807356 CPUtime=10.77
/proc/28771/task/28772/stat : 28772 (java) S 28761 28761 28696 0 -1 64 73330 0 0 0 1038 39 0 0 16 0 8 0 30155585 826732544 79440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826732544 79440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826732544 79440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826732544 79440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807356 CPUtime=0.11
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 383 0 0 0 11 0 0 0 17 0 8 0 30155594 826732544 79440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826732544 79440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30155594 826732544 79440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 821080
[startup+51.1861 s]
/proc/loadavg: 2.98 3.13 3.00 5/102 28778
/proc/meminfo: memFree=1107608/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807356 CPUtime=49.25
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 91717 0 1 0 4865 60 0 0 25 0 8 0 30155582 826732544 86590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201839 86590 1507 14 0 189117 0
[pid=28771/tid=28772] ppid=28761 vsize=807356 CPUtime=26.69
/proc/28771/task/28772/stat : 28772 (java) R 28761 28761 28696 0 -1 64 84164 0 0 0 2620 49 0 0 16 0 8 0 30155585 826732544 86590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525861 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826732544 86590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826732544 86590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826732544 86590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807356 CPUtime=0.11
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 383 0 0 0 11 0 0 0 17 0 8 0 30155594 826732544 86590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826732544 86590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30155594 826732544 86590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 821080
[startup+102.43 s]
/proc/loadavg: 2.85 3.07 2.99 4/102 28778
/proc/meminfo: memFree=1050648/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807356 CPUtime=100.45
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 121346 0 1 0 9959 86 0 0 25 0 8 0 30155582 826732544 90949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201839 90949 1507 14 0 189117 0
[pid=28771/tid=28772] ppid=28761 vsize=807356 CPUtime=61.74
################
# More data... #
################
/proc/loadavg: 3.76 3.20 3.06 3/102 28846
/proc/meminfo: memFree=1041368/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807356 CPUtime=1534.58
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 774098 0 1 0 152830 628 0 0 25 0 8 0 30155582 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201839 151107 1507 14 0 189117 0
[pid=28771/tid=28772] ppid=28761 vsize=807356 CPUtime=1061.09
/proc/28771/task/28772/stat : 28772 (java) R 28761 28761 28696 0 -1 64 756198 0 0 0 105547 562 0 0 15 0 8 0 30155585 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807356 CPUtime=0.12
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.18
Current children cumulated vsize (KiB) 821080
[startup+1604.24 s]
/proc/loadavg: 3.63 3.27 3.10 4/102 28846
/proc/meminfo: memFree=1039000/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807356 CPUtime=1594.34
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 774424 0 1 0 158801 633 0 0 25 0 8 0 30155582 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201839 151107 1507 14 0 189117 0
[pid=28771/tid=28772] ppid=28761 vsize=807356 CPUtime=1103.82
/proc/28771/task/28772/stat : 28772 (java) R 28761 28761 28696 0 -1 64 756198 0 0 0 109817 565 0 0 15 0 8 0 30155585 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807356 CPUtime=0.12
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.94
Current children cumulated vsize (KiB) 821080
[startup+1664.29 s]
/proc/loadavg: 3.48 3.29 3.11 4/102 28846
/proc/meminfo: memFree=1030104/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807356 CPUtime=1653.75
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 774748 0 1 0 164736 639 0 0 25 0 8 0 30155582 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201839 151107 1507 14 0 189117 0
[pid=28771/tid=28772] ppid=28761 vsize=807356 CPUtime=1146.21
/proc/28771/task/28772/stat : 28772 (java) R 28761 28761 28696 0 -1 64 756198 0 0 0 114053 568 0 0 17 0 8 0 30155585 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154035704 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807356 CPUtime=0.12
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807356 CPUtime=0.01
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.35
Current children cumulated vsize (KiB) 821080
[startup+1724.32 s]
/proc/loadavg: 3.41 3.30 3.12 5/102 28846
/proc/meminfo: memFree=1006040/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807356 CPUtime=1713.1
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 775082 0 1 0 170666 644 0 0 25 0 8 0 30155582 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201839 151107 1507 14 0 189117 0
[pid=28771/tid=28772] ppid=28761 vsize=807356 CPUtime=1187.99
/proc/28771/task/28772/stat : 28772 (java) R 28761 28761 28696 0 -1 64 756198 0 0 0 118228 571 0 0 16 0 8 0 30155585 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153444373 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807356 CPUtime=0.12
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807356 CPUtime=0.02
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.7
Current children cumulated vsize (KiB) 821080
[startup+1784.41 s]
/proc/loadavg: 3.47 3.33 3.14 5/102 28846
/proc/meminfo: memFree=985048/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807356 CPUtime=1772.54
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 775425 0 1 0 176605 649 0 0 25 0 8 0 30155582 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201839 151107 1507 14 0 189117 0
[pid=28771/tid=28772] ppid=28761 vsize=807356 CPUtime=1229.23
/proc/28771/task/28772/stat : 28772 (java) R 28761 28761 28696 0 -1 64 756198 0 0 0 122348 575 0 0 16 0 8 0 30155585 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807356 CPUtime=0.12
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807356 CPUtime=0.02
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.14
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.57 s]
/proc/loadavg: 3.11 3.26 3.12 4/102 28846
/proc/meminfo: memFree=980312/2055920 swapFree=4192812/4192956
[pid=28761] ppid=28759 vsize=13724 CPUtime=1.6
/proc/28761/stat : 28761 (sugar) S 28759 28761 28696 0 -1 4194304 1190 9798 0 34 3 1 145 11 15 0 1 0 30155400 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28761/statm: 3431 809 371 3 0 531 0
[pid=28771] ppid=28761 vsize=807356 CPUtime=1798.41
/proc/28771/stat : 28771 (java) R 28761 28761 28696 0 -1 0 775581 0 1 0 179190 651 0 0 25 0 8 0 30155582 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28771/statm: 201839 151107 1507 14 0 189117 0
[pid=28771/tid=28772] ppid=28761 vsize=807356 CPUtime=1246.84
/proc/28771/task/28772/stat : 28772 (java) S 28761 28761 28696 0 -1 64 756198 0 0 0 124107 577 0 0 17 0 8 0 30155585 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28773] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28773/stat : 28773 (java) S 28761 28761 28696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28771/tid=28774] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28774/stat : 28774 (java) S 28761 28761 28696 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30155586 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28775] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28775/stat : 28775 (java) S 28761 28761 28696 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28776] ppid=28761 vsize=807356 CPUtime=0.12
/proc/28771/task/28776/stat : 28776 (java) S 28761 28761 28696 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28777] ppid=28761 vsize=807356 CPUtime=0
/proc/28771/task/28777/stat : 28777 (java) S 28761 28761 28696 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28771/tid=28778] ppid=28761 vsize=807356 CPUtime=0.02
/proc/28771/task/28778/stat : 28778 (java) S 28761 28761 28696 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30155594 826732544 151107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
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 28761 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=493772 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=132979
CPU time returned by wait4() is 1.62675
while last known CPU time is 1800.2
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1811.59
CPU time (s): 1800.2
CPU user time (s): 1793.46
CPU system time (s): 6.74
CPU usage (%): 99.371
Max. virtual memory (cumulated for all children) (KiB): 821080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49377
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11069
page faults= 34
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= 532
runsolver used 2.36664 s user time and 6.74198 s system time
The end
Begin job on node17 on Mon Jan 29 20:20:12 UTC 2007
IDJOB= 218267
IDBENCH= 5218
IDSOLVER= 86
FILE ID= node17/218267-1170102011
PBS_JOBID= 3689535
Free space on /tmp= 66552 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-3_ext.xml
COMMAND LINE= /tmp/evaluation/218267-1170102011/solver /tmp/evaluation/218267-1170102011 /tmp/evaluation/218267-1170102011/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-218267-1170102011 -o ROOT/results/node17/solver-218267-1170102011 -C 1800 -M 900 /tmp/evaluation/218267-1170102011/solver /tmp/evaluation/218267-1170102011 /tmp/evaluation/218267-1170102011/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 250a171edffa100667b673ab21ba4e93
RANDOM SEED= 186387741
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.229
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.229
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: 1469944 kB
Buffers: 30872 kB
Cached: 40732 kB
SwapCached: 0 kB
Active: 496612 kB
Inactive: 34616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1469944 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2536 kB
Writeback: 0 kB
Mapped: 485112 kB
Slab: 38716 kB
Committed_AS: 885064 kB
PageTables: 3032 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= 66555 MiB
End job on node17 on Mon Jan 29 20:50:23 UTC 2007