0.05 c # Sugar v0-40 (/tmp/evaluation/236405-1170108096/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/236405-1170108096/unknown.xml [Mon Jan 29 23:01:38 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/236405-1170108096/unknown.xml /tmp/evaluation/236405-1170108096/sugar29408.csp [Mon Jan 29 23:01:38 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236405-1170108096/sugar-v0-40.jar -convert /tmp/evaluation/236405-1170108096/unknown.xml /tmp/evaluation/236405-1170108096/sugar29408.csp
0.18 c BEGIN convert /tmp/evaluation/236405-1170108096/unknown.xml
5.57 c END convert (5.393033 seconds)
5.62 c # CONVERT_XML END : /tmp/evaluation/236405-1170108096/sugar29408.csp 1847476 bytes (5 seconds) [Mon Jan 29 23:01:43 2007]
5.62 c # CONVERT_XML CPU : 5.46 = 0 + 0 + 5.26 + 0.2
5.62
5.62 c # GENERATE_SAT BEGIN : /tmp/evaluation/236405-1170108096/sugar29408.bcnf [Mon Jan 29 23:01:43 2007]
5.62 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236405-1170108096/sugar-v0-40.jar -bcnf -map /tmp/evaluation/236405-1170108096/sugar29408.map /tmp/evaluation/236405-1170108096/sugar29408.csp /tmp/evaluation/236405-1170108096/sugar29408.bcnf
5.75 c BEGIN parse /tmp/evaluation/236405-1170108096/sugar29408.csp
11.99 c END parse (6.248003 seconds)
11.99 c BEGIN simplify
12.38 c END simplify (0.386641 seconds)
12.38 c BEGIN encode /tmp/evaluation/236405-1170108096/sugar29408.bcnf
1596.98 c END encode (1584.603496 seconds)
1598.33 c # GENERATE_SAT END : variables clauses 29117165924 bytes (1593 seconds) [Mon Jan 29 23:28:16 2007]
1598.33 c # GENERATE_SAT CPU : 1532.09 = 1.1 + 0.12 + 1410.17 + 120.7
1598.33
1598.33 c # SOLVE_SAT BEGIN : /tmp/evaluation/236405-1170108096/sugar29408.bcnf [Mon Jan 29 23:28:16 2007]
1598.33 c # CMD : /tmp/evaluation/236405-1170108096/minisat /tmp/evaluation/236405-1170108096/sugar29408.bcnf /tmp/evaluation/236405-1170108096/sugar29408.out
1598.60 c ERROR! Could not open file: /tmp/evaluation/236405-1170108096/sugar29408.bcnf
1598.60 s UNKNOWN
1598.60 c # ERROR No such file or directory /tmp/evaluation/236405-1170108096/sugar29408.out, at /tmp/evaluation/236405-1170108096/sugar line 393.
1598.60
1598.60 c # MAIN END : (1598 seconds) [Mon Jan 29 23:28:16 2007]
1598.60 c # MAIN CPU : 1537.56 = 1.1 + 0.12 + 1415.43 + 120.91
1598.60
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-236405-1170108096 -o ROOT/results/node3/solver-236405-1170108096 -C 1800 -M 900 /tmp/evaluation/236405-1170108096/solver /tmp/evaluation/236405-1170108096 /tmp/evaluation/236405-1170108096/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
/proc/loadavg: 1.98 2.02 2.25 4/93 29409
/proc/meminfo: memFree=1457160/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=18540 CPUtime=0
/proc/29408/stat : 29408 (runsolver) R 29406 27586 27586 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 1 0 30764616 18984960 277 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 233641629836 0 0 4096 24578 0 0 0 17 1 0 0
/proc/29408/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.10827 s]
/proc/loadavg: 1.98 2.02 2.25 4/93 29409
/proc/meminfo: memFree=1457160/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=0.04
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1112 0 0 0 3 1 0 0 19 0 1 0 30764616 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.516306 s]
/proc/loadavg: 1.98 2.02 2.25 4/93 29409
/proc/meminfo: memFree=1457160/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=0.04
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30764616 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33837 s]
/proc/loadavg: 1.98 2.02 2.25 4/101 29419
/proc/meminfo: memFree=1404296/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=0.04
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30764616 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 805 368 3 0 531 0
[pid=29410] ppid=29408 vsize=807280 CPUtime=1.25
/proc/29410/stat : 29410 (java) R 29408 29408 27586 0 -1 0 17297 0 1 0 112 13 0 0 16 0 8 0 30764621 826654720 17042 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4073691723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29410/statm: 201820 17042 1690 14 0 189098 0
[pid=29410/tid=29413] ppid=29408 vsize=807280 CPUtime=0.24
/proc/29410/task/29413/stat : 29413 (java) S 29408 29408 27586 0 -1 64 10745 0 0 0 19 5 0 0 16 0 8 0 30764625 826654720 17042 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29414] ppid=29408 vsize=807280 CPUtime=0
/proc/29410/task/29414/stat : 29414 (java) S 29408 29408 27586 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 30764626 826654720 17042 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29415] ppid=29408 vsize=807280 CPUtime=0
/proc/29410/task/29415/stat : 29415 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30764626 826654720 17042 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29416] ppid=29408 vsize=807280 CPUtime=0
/proc/29410/task/29416/stat : 29416 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30764629 826654720 17042 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29417] ppid=29408 vsize=807280 CPUtime=0.12
/proc/29410/task/29417/stat : 29417 (java) R 29408 29408 27586 0 -1 64 390 0 0 0 12 0 0 0 20 0 8 0 30764629 826654720 17042 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29418] ppid=29408 vsize=807280 CPUtime=0
/proc/29410/task/29418/stat : 29418 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30764629 826654720 17042 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29419] ppid=29408 vsize=807280 CPUtime=0
/proc/29410/task/29419/stat : 29419 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30764630 826654720 17042 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 821004
[startup+2.9915 s]
/proc/loadavg: 1.98 2.02 2.25 4/101 29419
/proc/meminfo: memFree=1368520/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=0.04
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30764616 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 805 368 3 0 531 0
[pid=29410] ppid=29408 vsize=807408 CPUtime=2.89
/proc/29410/stat : 29410 (java) R 29408 29408 27586 0 -1 0 25156 0 1 0 272 17 0 0 19 0 8 0 30764621 826785792 24898 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4073825094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29410/statm: 201852 24898 1690 14 0 189130 0
[pid=29410/tid=29413] ppid=29408 vsize=807408 CPUtime=0.57
/proc/29410/task/29413/stat : 29413 (java) S 29408 29408 27586 0 -1 64 18560 0 0 0 48 9 0 0 17 0 8 0 30764625 826785792 24898 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29414] ppid=29408 vsize=807408 CPUtime=0
/proc/29410/task/29414/stat : 29414 (java) S 29408 29408 27586 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 30764626 826785792 24898 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29415] ppid=29408 vsize=807408 CPUtime=0
/proc/29410/task/29415/stat : 29415 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30764626 826785792 24898 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29416] ppid=29408 vsize=807408 CPUtime=0
/proc/29410/task/29416/stat : 29416 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30764629 826785792 24898 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29417] ppid=29408 vsize=807408 CPUtime=0.17
/proc/29410/task/29417/stat : 29417 (java) S 29408 29408 27586 0 -1 64 420 0 0 0 17 0 0 0 20 0 8 0 30764629 826785792 24898 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29418] ppid=29408 vsize=807408 CPUtime=0
/proc/29410/task/29418/stat : 29418 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30764629 826785792 24898 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29410/tid=29419] ppid=29408 vsize=807408 CPUtime=0
/proc/29410/task/29419/stat : 29419 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30764630 826785792 24898 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 821132
[startup+6.19977 s]
/proc/loadavg: 1.98 2.02 2.25 3/97 29425
/proc/meminfo: memFree=1450472/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 15 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807064 CPUtime=0.56
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 7545 0 1 0 51 5 0 0 22 0 8 0 30765178 826433536 7294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073492350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29422/statm: 201766 7294 1494 14 0 189044 0
[pid=29422/tid=29423] ppid=29408 vsize=807064 CPUtime=0.07
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 1491 0 0 0 7 0 0 0 16 0 8 0 30765182 826433536 7294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807064 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826433536 7294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807064 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826433536 7294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 820788
[startup+12.6903 s]
/proc/loadavg: 2.06 2.04 2.25 3/101 29435
/proc/meminfo: memFree=1315272/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 16 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807376 CPUtime=6.98
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 36090 0 1 0 673 25 0 0 25 0 8 0 30765178 826753024 35796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851934 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29422/statm: 201844 35796 1508 14 0 189122 0
[pid=29422/tid=29423] ppid=29408 vsize=807376 CPUtime=1.87
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 29819 0 0 0 172 15 0 0 17 0 8 0 30765182 826753024 35796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826753024 35796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826753024 35796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29426] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29426/stat : 29426 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30765186 826753024 35796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29427] ppid=29408 vsize=807376 CPUtime=0.17
/proc/29422/task/29427/stat : 29427 (java) S 29408 29408 27586 0 -1 64 431 0 0 0 17 0 0 0 16 0 8 0 30765186 826753024 35796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29428] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29428/stat : 29428 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30765186 826753024 35796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29429] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29429/stat : 29429 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30765186 826753024 35796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 821100
[startup+25.5834 s]
/proc/loadavg: 2.28 2.09 2.26 3/102 29470
/proc/meminfo: memFree=989248/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 16 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807376 CPUtime=19.51
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 36092 0 1 0 1783 168 0 0 25 0 8 0 30765178 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851854 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29422/statm: 201844 35797 1508 14 0 189122 0
[pid=29422/tid=29423] ppid=29408 vsize=807376 CPUtime=1.87
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 29819 0 0 0 172 15 0 0 16 0 8 0 30765182 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29426] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29426/stat : 29426 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30765186 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29427] ppid=29408 vsize=807376 CPUtime=0.17
/proc/29422/task/29427/stat : 29427 (java) S 29408 29408 27586 0 -1 64 432 0 0 0 17 0 0 0 16 0 8 0 30765186 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29428] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29428/stat : 29428 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30765186 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29429] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29429/stat : 29429 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30765186 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 821100
[startup+51.2685 s]
/proc/loadavg: 2.58 2.17 2.29 3/103 29502
/proc/meminfo: memFree=327096/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 16 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807376 CPUtime=44.28
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 36092 0 1 0 3969 459 0 0 25 0 8 0 30765178 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851486 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29422/statm: 201844 35797 1508 14 0 189122 0
[pid=29422/tid=29423] ppid=29408 vsize=807376 CPUtime=1.87
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 29819 0 0 0 172 15 0 0 16 0 8 0 30765182 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29426] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29426/stat : 29426 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30765186 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29427] ppid=29408 vsize=807376 CPUtime=0.17
/proc/29422/task/29427/stat : 29427 (java) S 29408 29408 27586 0 -1 64 432 0 0 0 17 0 0 0 16 0 8 0 30765186 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29428] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29428/stat : 29428 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30765186 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29429] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29429/stat : 29429 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30765186 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (KiB) 821100
[startup+102.51 s]
/proc/loadavg: 2.58 2.23 2.29 3/96 29541
/proc/meminfo: memFree=15856/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 16 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807376 CPUtime=93.29
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 36092 0 1 0 8305 1024 0 0 25 0 8 0 30765178 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29422/statm: 201844 35797 1508 14 0 189122 0
[pid=29422/tid=29423] ppid=29408 vsize=807376 CPUtime=1.87
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 29819 0 0 0 172 15 0 0 16 0 8 0 30765182 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29426] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29426/stat : 29426 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30765186 826753024 35797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29427] ppid=29408 vsize=807376 CPUtime=0.17
################
# More data... #
################
/proc/29422/task/29428/stat : 29428 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29429] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29429/stat : 29429 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1136.98
Current children cumulated vsize (KiB) 821100
[startup+1243.22 s]
/proc/loadavg: 3.70 3.00 2.72 2/89 30806
/proc/meminfo: memFree=15016/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 16 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807376 CPUtime=1190.29
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 38154 0 3 0 109260 9769 0 0 25 0 8 0 30765178 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29422/statm: 201844 37855 1510 14 0 189122 0
[pid=29422/tid=29423] ppid=29408 vsize=807376 CPUtime=1.97
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 31865 0 0 0 181 16 0 0 16 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29426] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29426/stat : 29426 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29427] ppid=29408 vsize=807376 CPUtime=0.19
/proc/29422/task/29427/stat : 29427 (java) S 29408 29408 27586 0 -1 64 442 0 1 0 19 0 0 0 16 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29428] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29428/stat : 29428 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29429] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29429/stat : 29429 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1195.79
Current children cumulated vsize (KiB) 821100
[startup+1303.25 s]
/proc/loadavg: 3.30 3.00 2.73 3/96 30958
/proc/meminfo: memFree=15280/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 16 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807376 CPUtime=1249.16
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 38154 0 3 0 114733 10183 0 0 25 0 8 0 30765178 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29422/statm: 201844 37855 1510 14 0 189122 0
[pid=29422/tid=29423] ppid=29408 vsize=807376 CPUtime=1.97
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 31865 0 0 0 181 16 0 0 16 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29426] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29426/stat : 29426 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29427] ppid=29408 vsize=807376 CPUtime=0.19
/proc/29422/task/29427/stat : 29427 (java) S 29408 29408 27586 0 -1 64 442 0 1 0 19 0 0 0 16 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29428] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29428/stat : 29428 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29429] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29429/stat : 29429 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1254.66
Current children cumulated vsize (KiB) 821100
[startup+1363.29 s]
/proc/loadavg: 2.79 2.91 2.72 3/96 30958
/proc/meminfo: memFree=16240/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 16 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807376 CPUtime=1306.7
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 38155 0 3 0 120099 10571 0 0 25 0 8 0 30765178 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094421 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29422/statm: 201844 37855 1510 14 0 189122 0
[pid=29422/tid=29423] ppid=29408 vsize=807376 CPUtime=1.99
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 31865 0 0 0 183 16 0 0 16 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29426] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29426/stat : 29426 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29427] ppid=29408 vsize=807376 CPUtime=0.19
/proc/29422/task/29427/stat : 29427 (java) S 29408 29408 27586 0 -1 64 442 0 1 0 19 0 0 0 16 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29428] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29428/stat : 29428 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29429] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29429/stat : 29429 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1312.2
Current children cumulated vsize (KiB) 821100
[startup+1423.35 s]
/proc/loadavg: 2.59 2.83 2.71 4/96 30958
/proc/meminfo: memFree=16176/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 16 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807376 CPUtime=1364.16
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 38155 0 3 0 125464 10952 0 0 25 0 8 0 30765178 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152049391 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29422/statm: 201844 37855 1510 14 0 189122 0
[pid=29422/tid=29423] ppid=29408 vsize=807376 CPUtime=1.99
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 31865 0 0 0 183 16 0 0 16 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29426] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29426/stat : 29426 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29427] ppid=29408 vsize=807376 CPUtime=0.19
/proc/29422/task/29427/stat : 29427 (java) S 29408 29408 27586 0 -1 64 442 0 1 0 19 0 0 0 16 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29428] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29428/stat : 29428 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29429] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29429/stat : 29429 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1369.66
Current children cumulated vsize (KiB) 821100
[startup+1483.41 s]
/proc/loadavg: 2.62 2.79 2.70 3/96 30958
/proc/meminfo: memFree=15280/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 16 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807376 CPUtime=1421.86
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 38155 0 3 0 130849 11337 0 0 25 0 8 0 30765178 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29422/statm: 201844 37855 1510 14 0 189122 0
[pid=29422/tid=29423] ppid=29408 vsize=807376 CPUtime=1.99
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 31865 0 0 0 183 16 0 0 16 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29426] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29426/stat : 29426 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29427] ppid=29408 vsize=807376 CPUtime=0.19
/proc/29422/task/29427/stat : 29427 (java) S 29408 29408 27586 0 -1 64 442 0 1 0 19 0 0 0 16 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29428] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29428/stat : 29428 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29429] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29429/stat : 29429 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30765186 826753024 37855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1427.36
Current children cumulated vsize (KiB) 821100
[startup+1543.47 s]
/proc/loadavg: 3.04 2.86 2.72 3/96 30958
/proc/meminfo: memFree=15344/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=13724 CPUtime=5.5
/proc/29408/stat : 29408 (sugar) S 29406 29408 27586 0 -1 4194304 1190 25969 0 1 3 1 526 20 16 0 1 0 30764616 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29408/statm: 3431 809 371 3 0 531 0
[pid=29422] ppid=29408 vsize=807376 CPUtime=1479.51
/proc/29422/stat : 29422 (java) R 29408 29408 27586 0 -1 0 38247 0 3 0 136230 11721 0 0 25 0 8 0 30765178 826753024 37946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29422/statm: 201844 37946 1510 14 0 189122 0
[pid=29422/tid=29423] ppid=29408 vsize=807376 CPUtime=2.01
/proc/29422/task/29423/stat : 29423 (java) S 29408 29408 27586 0 -1 64 31956 0 0 0 184 17 0 0 16 0 8 0 30765182 826753024 37946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29422/tid=29424] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29424/stat : 29424 (java) S 29408 29408 27586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30765182 826753024 37946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29425] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29425/stat : 29425 (java) S 29408 29408 27586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30765182 826753024 37946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29426] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29426/stat : 29426 (java) S 29408 29408 27586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30765186 826753024 37946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29427] ppid=29408 vsize=807376 CPUtime=0.19
/proc/29422/task/29427/stat : 29427 (java) S 29408 29408 27586 0 -1 64 442 0 1 0 19 0 0 0 16 0 8 0 30765186 826753024 37946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29428] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29428/stat : 29428 (java) S 29408 29408 27586 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30765186 826753024 37946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29422/tid=29429] ppid=29408 vsize=807376 CPUtime=0
/proc/29422/task/29429/stat : 29429 (java) S 29408 29408 27586 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30765186 826753024 37946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1485.01
Current children cumulated vsize (KiB) 821100
[startup+1603.52 s]
/proc/loadavg: 3.20 2.93 2.75 2/88 30959
/proc/meminfo: memFree=1834032/2055920 swapFree=4192812/4192956
[pid=29408] ppid=29406 vsize=87848 CPUtime=1538.61
/proc/29408/stat : 29408 (sugar) D 29406 29408 27586 0 -1 4194304 19526 64467 0 13 113 114 141543 12091 18 0 1 0 30764616 89956352 18836 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 233632928809 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/29408/statm: 21962 18836 377 3 0 19062 0
Current children cumulated CPU time (s) 1538.61
Current children cumulated vsize (KiB) 87848
Child status: 1
Real time (s): 1641.94
CPU time (s): 1540.67
CPU user time (s): 1416.57
CPU system time (s): 124.097
CPU usage (%): 93.8325
Max. virtual memory (cumulated for all children) (KiB): 821132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1416.57
system time used= 124.097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84046
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40884
involuntary context switches= 90715
runsolver used 1.90671 s user time and 5.58215 s system time
The end
Begin job on node3 on Mon Jan 29 22:01:38 UTC 2007
IDJOB= 236405
IDBENCH= 6844
IDSOLVER= 86
FILE ID= node3/236405-1170108096
PBS_JOBID= 3689783
Free space on /tmp= 66441 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER9-14-fair.xml
COMMAND LINE= /tmp/evaluation/236405-1170108096/solver /tmp/evaluation/236405-1170108096 /tmp/evaluation/236405-1170108096/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-236405-1170108096 -o ROOT/results/node3/solver-236405-1170108096 -C 1800 -M 900 /tmp/evaluation/236405-1170108096/solver /tmp/evaluation/236405-1170108096 /tmp/evaluation/236405-1170108096/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 4b94da21f22c3414f847174bb406b76e
RANDOM SEED= 669441130
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.241
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.241
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: 1457640 kB
Buffers: 9192 kB
Cached: 169988 kB
SwapCached: 0 kB
Active: 539540 kB
Inactive: 19572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1457640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6256 kB
Writeback: 0 kB
Mapped: 400028 kB
Slab: 23080 kB
Committed_AS: 916720 kB
PageTables: 2924 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 node3 on Mon Jan 29 22:29:00 UTC 2007