0.41 c # Sugar v0-40 (/tmp/evaluation/246948-1170109408/sugar-v0-40.jar)
0.42
0.42 c # MAIN BEGIN : /tmp/evaluation/246948-1170109408/unknown.xml [Mon Jan 29 23:23:30 2007]
0.42 c # CONVERT_XML BEGIN : /tmp/evaluation/246948-1170109408/unknown.xml /tmp/evaluation/246948-1170109408/sugar30129.csp [Mon Jan 29 23:23:30 2007]
0.42 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/246948-1170109408/sugar-v0-40.jar -convert /tmp/evaluation/246948-1170109408/unknown.xml /tmp/evaluation/246948-1170109408/sugar30129.csp
0.64 c BEGIN convert /tmp/evaluation/246948-1170109408/unknown.xml
1.04 c END convert (0.390728 seconds)
1.27 c # CONVERT_XML END : /tmp/evaluation/246948-1170109408/sugar30129.csp 45743 bytes (0 seconds) [Mon Jan 29 23:23:30 2007]
1.27 c # CONVERT_XML CPU : 0.39 = 0 + 0 + 0.34 + 0.05
1.27
1.27 c # GENERATE_SAT BEGIN : /tmp/evaluation/246948-1170109408/sugar30129.bcnf [Mon Jan 29 23:23:30 2007]
1.27 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/246948-1170109408/sugar-v0-40.jar -bcnf -map /tmp/evaluation/246948-1170109408/sugar30129.map /tmp/evaluation/246948-1170109408/sugar30129.csp /tmp/evaluation/246948-1170109408/sugar30129.bcnf
1.39 c BEGIN parse /tmp/evaluation/246948-1170109408/sugar30129.csp
1.83 c END parse (0.440391 seconds)
1.83 c BEGIN simplify
1.84 c END simplify (0.011225 seconds)
1.84 c BEGIN encode /tmp/evaluation/246948-1170109408/sugar30129.bcnf
804.83 c END encode (802.991991 seconds)
804.86 c # GENERATE_SAT END : 509684 variables 758792928 clauses 13647436832 bytes (804 seconds) [Mon Jan 29 23:36:54 2007]
804.86 c # GENERATE_SAT CPU : 756.81 = 0.01 + 0.01 + 695.58 + 61.21
804.86
804.86 c # SOLVE_SAT BEGIN : /tmp/evaluation/246948-1170109408/sugar30129.bcnf [Mon Jan 29 23:36:54 2007]
804.86 c # CMD : /tmp/evaluation/246948-1170109408/minisat /tmp/evaluation/246948-1170109408/sugar30129.bcnf /tmp/evaluation/246948-1170109408/sugar30129.out
805.34 c ERROR! Could not open file: /tmp/evaluation/246948-1170109408/sugar30129.bcnf
805.34 s UNKNOWN
805.34 c # ERROR No such file or directory /tmp/evaluation/246948-1170109408/sugar30129.out, at /tmp/evaluation/246948-1170109408/sugar line 393.
805.34
805.34 c # MAIN END : (805 seconds) [Mon Jan 29 23:36:55 2007]
805.34 c # MAIN CPU : 757.2 = 0.01 + 0.01 + 695.92 + 61.26
805.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-246948-1170109408 -o ROOT/results/node17/solver-246948-1170109408 -C 1800 -M 900 /tmp/evaluation/246948-1170109408/solver /tmp/evaluation/246948-1170109408 /tmp/evaluation/246948-1170109408/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: 3.90 4.63 4.80 5/94 30130
/proc/meminfo: memFree=15904/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=18540 CPUtime=0
/proc/30129/stat : 30129 (runsolver) R 30127 30129 30064 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 30895148 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/30129/statm: 4635 279 244 17 0 2626 0
[startup+0.109602 s]
/proc/loadavg: 3.90 4.63 4.80 5/94 30130
/proc/meminfo: memFree=15904/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=12668 CPUtime=0.01
/proc/30129/stat : 30129 (sugar) D 30127 30129 30064 0 -1 4194304 780 0 0 0 1 0 0 0 18 0 1 0 30895148 12972032 499 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/30129/statm: 3167 499 315 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668
[startup+0.517643 s]
/proc/loadavg: 3.90 4.63 4.80 5/94 30130
/proc/meminfo: memFree=15904/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.03
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30895148 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33873 s]
/proc/loadavg: 3.90 4.63 4.80 2/102 30138
/proc/meminfo: memFree=14880/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1181 3979 0 33 3 0 34 5 17 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13724
[startup+2.9779 s]
/proc/loadavg: 3.90 4.63 4.80 3/102 30146
/proc/meminfo: memFree=16224/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=1.2
/proc/30139/stat : 30139 (java) D 30129 30129 30064 0 -1 0 6700 0 1 0 111 9 0 0 18 0 8 0 30895275 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201834 6449 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.15
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 821060
[startup+6.18423 s]
/proc/loadavg: 3.99 4.63 4.80 4/102 30146
/proc/meminfo: memFree=14880/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=3.91
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6702 0 1 0 360 31 0 0 25 0 8 0 30895275 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201834 6449 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.15
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 821060
[startup+12.6689 s]
/proc/loadavg: 4.07 4.64 4.80 3/103 30147
/proc/meminfo: memFree=15320/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=10.03
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6702 0 1 0 927 76 0 0 25 0 8 0 30895275 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201834 6449 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.15
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.45
Current children cumulated vsize (KiB) 821060
[startup+25.5703 s]
/proc/loadavg: 4.06 4.61 4.79 3/102 30148
/proc/meminfo: memFree=15264/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=22.33
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6702 0 1 0 2058 175 0 0 25 0 8 0 30895275 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30139/statm: 201834 6449 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.15
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.75
Current children cumulated vsize (KiB) 821060
[startup+51.2329 s]
/proc/loadavg: 4.10 4.57 4.77 3/102 30149
/proc/meminfo: memFree=15584/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=46.83
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6702 0 1 0 4325 358 0 0 25 0 8 0 30895275 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201834 6449 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.15
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.25
Current children cumulated vsize (KiB) 821060
[startup+102.459 s]
/proc/loadavg: 4.53 4.60 4.76 3/103 30151
/proc/meminfo: memFree=16088/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=95.41
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6702 0 1 0 8820 721 0 0 25 0 8 0 30895275 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30139/statm: 201834 6449 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.15
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.83
Current children cumulated vsize (KiB) 821060
[startup+162.54 s]
################
# More data... #
################
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 378.8
Current children cumulated vsize (KiB) 821060
[startup+462.998 s]
/proc/loadavg: 2.77 3.40 4.20 3/102 30172
/proc/meminfo: memFree=15264/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=435.42
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6703 0 1 0 40015 3527 0 0 25 0 8 0 30895275 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201834 6450 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.16
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 413 0 0 0 16 0 0 0 17 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 435.84
Current children cumulated vsize (KiB) 821060
[startup+523.014 s]
/proc/loadavg: 3.09 3.37 4.14 3/102 30181
/proc/meminfo: memFree=15200/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=493.22
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6703 0 1 0 45339 3983 0 0 25 0 8 0 30895275 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801991 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201834 6450 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.16
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 413 0 0 0 16 0 0 0 17 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 493.64
Current children cumulated vsize (KiB) 821060
[startup+583.078 s]
/proc/loadavg: 2.63 3.19 4.03 3/103 30197
/proc/meminfo: memFree=15256/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=546.96
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6703 0 1 0 50281 4415 0 0 25 0 8 0 30895275 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808028 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30139/statm: 201834 6450 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.16
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 413 0 0 0 16 0 0 0 17 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 547.38
Current children cumulated vsize (KiB) 821060
[startup+643.121 s]
/proc/loadavg: 2.48 3.05 3.92 2/97 30218
/proc/meminfo: memFree=398416/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=603.54
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6703 0 1 0 55491 4863 0 0 25 0 8 0 30895275 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806420 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201834 6450 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.16
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 413 0 0 0 16 0 0 0 17 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 603.96
Current children cumulated vsize (KiB) 821060
[startup+703.203 s]
/proc/loadavg: 3.35 3.17 3.91 1/95 30233
/proc/meminfo: memFree=15584/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=660.75
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6703 0 1 0 60733 5342 0 0 25 0 8 0 30895275 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30139/statm: 201834 6450 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.16
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 413 0 0 0 16 0 0 0 17 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 661.17
Current children cumulated vsize (KiB) 821060
[startup+763.244 s]
/proc/loadavg: 3.61 3.29 3.90 2/95 30250
/proc/meminfo: memFree=15072/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=13724 CPUtime=0.42
/proc/30129/stat : 30129 (sugar) S 30127 30129 30064 0 -1 4194304 1190 3979 0 33 3 0 34 5 16 0 1 0 30895148 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30129/statm: 3431 809 371 3 0 531 0
[pid=30139] ppid=30129 vsize=807336 CPUtime=717.1
/proc/30139/stat : 30139 (java) R 30129 30129 30064 0 -1 0 6703 0 1 0 65918 5792 0 0 25 0 8 0 30895275 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201834 6450 1510 14 0 189112 0
[pid=30139/tid=30140] ppid=30129 vsize=807336 CPUtime=0.02
/proc/30139/task/30140/stat : 30140 (java) S 30129 30129 30064 0 -1 64 479 0 0 0 2 0 0 0 16 0 8 0 30895278 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30141] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30141/stat : 30141 (java) S 30129 30129 30064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30142/stat : 30142 (java) S 30129 30129 30064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30895279 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30143] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30143/stat : 30143 (java) S 30129 30129 30064 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30144] ppid=30129 vsize=807336 CPUtime=0.16
/proc/30139/task/30144/stat : 30144 (java) S 30129 30129 30064 0 -1 64 413 0 0 0 16 0 0 0 17 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30145] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30145/stat : 30145 (java) S 30129 30129 30064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30139/tid=30146] ppid=30129 vsize=807336 CPUtime=0
/proc/30139/task/30146/stat : 30146 (java) S 30129 30129 30064 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30895282 826712064 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 717.52
Current children cumulated vsize (KiB) 821060
[startup+823.288 s]
/proc/loadavg: 3.65 3.37 3.89 2/94 30325
/proc/meminfo: memFree=1308376/2055920 swapFree=4192812/4192956
[pid=30129] ppid=30127 vsize=14252 CPUtime=758.47
/proc/30129/stat : 30129 (sugar) D 30127 30129 30064 0 -1 4194304 1488 10751 0 40 4 125 69592 6126 18 0 1 0 30895148 14594048 970 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245482886185 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/30129/statm: 3563 970 377 3 0 663 0
Current children cumulated CPU time (s) 758.47
Current children cumulated vsize (KiB) 14252
Child status: 1
Real time (s): 842.13
CPU time (s): 759.057
CPU user time (s): 695.976
CPU system time (s): 63.0804
CPU usage (%): 90.1354
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 695.976
system time used= 63.0804
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12292
page faults= 40
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20618
involuntary context switches= 46866
runsolver used 1.15382 s user time and 2.92355 s system time
The end
Begin job on node17 on Mon Jan 29 22:23:29 UTC 2007
IDJOB= 246948
IDBENCH= 11074
IDSOLVER= 86
FILE ID= node17/246948-1170109408
PBS_JOBID= 3690021
Free space on /tmp= 44076 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapSubs/scen07-sub1.xml
COMMAND LINE= /tmp/evaluation/246948-1170109408/solver /tmp/evaluation/246948-1170109408 /tmp/evaluation/246948-1170109408/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-246948-1170109408 -o ROOT/results/node17/solver-246948-1170109408 -C 1800 -M 900 /tmp/evaluation/246948-1170109408/solver /tmp/evaluation/246948-1170109408 /tmp/evaluation/246948-1170109408/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 12349a145480147bacd1429ce715e959
RANDOM SEED= 787945753
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: 15424 kB
Buffers: 7912 kB
Cached: 1750024 kB
SwapCached: 0 kB
Active: 223536 kB
Inactive: 1727512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 15424 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 817556 kB
Writeback: 68 kB
Mapped: 218620 kB
Slab: 73908 kB
Committed_AS: 739740 kB
PageTables: 2492 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= 65747 MiB
End job on node17 on Mon Jan 29 22:37:31 UTC 2007