0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=esac.xml
0.19/0.30
0.19/0.30 instance
0.19/0.30 name=HOME/instance-2095280-1247407145.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.88/0.94 nbVariables=23384 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=46768
0.88/0.94 => wckTime=0.678 cpuTime=0.48 mem=30M178
0.88/0.94
0.88/0.94 predicates being loaded...
46.74/47.26
46.74/47.27 constraints being loaded...
49.91/50.43
49.91/50.43 INFO : Stopping converting binary constraints (cpu=48.31, mem = 107M733)
110.62/111.71 nbConstraints=2806 nbMergedConstraints=78 nbUnbuiltConflictsStructures=228 nbSharedBinaryRepresentations=0
110.62/111.73 nbEvaluationManagers=228 nbSharedEvaluationManagers=2578 minDegree=2 maxDegree=4 minArity=14 avgArity=32.15
110.62/111.73 maxArity=1202 nbGenerators=0 nbFusions=0 symmetryWckTime=1.474 symmetryCpuTime=0.34
110.62/111.73 => wckTime=111.443 cpuTime=105.75 mem=417M884
111.42/112.56
111.42/112.56 solver IterativeSystematicSolver being built...
113.82/114.93
113.82/114.93 INFO : Forward propagation technique limited
117.02/118.10 => wckTime=117.842 cpuTime=107.2 mem=774M418
119.62/120.73
119.62/120.73 INFO : Tentative number 1
119.62/120.74
119.62/120.74 configuration
119.62/120.74 name=esac.xml
119.62/120.74
119.62/120.74 instance
119.62/120.74 name=HOME/instance-2095280-1247407145.xml
119.62/120.74
119.62/120.74 domains being loaded...
119.62/120.74
119.62/120.74 variables being loaded...
119.92/121.02 nbVariables=23384 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=46768
119.92/121.02 => wckTime=0.277 cpuTime=0.21 mem=90M682
119.92/121.02
119.92/121.02 predicates being loaded...
162.20/163.33
162.20/163.33 constraints being loaded...
209.39/210.56 nbConstraints=2806 nbMergedConstraints=78 nbUnbuiltConflictsStructures=228 nbSharedBinaryRepresentations=0
209.39/210.56 nbEvaluationManagers=228 nbSharedEvaluationManagers=2578 minDegree=2 maxDegree=4 minArity=14 avgArity=32.15
209.39/210.56 maxArity=1202
209.39/210.56 => wckTime=89.817 cpuTime=87.03 mem=401M167
209.78/210.90
209.78/210.90 solver IterativeSystematicSolver being built...
209.78/210.96
209.78/210.96 INFO : Forward propagation technique limited
210.38/211.55 => wckTime=90.812 cpuTime=87.61 mem=375M883
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095280-1247407145/watcher-2095280-1247407145 -o /tmp/evaluation-result-2095280-1247407145/solver-2095280-1247407145 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095280-1247407145.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 1.94 1.98 1.97 4/80 30508
/proc/meminfo: memFree=1661480/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=18576 CPUtime=0
/proc/30508/stat : 30508 (runsolver) R 30506 30508 29563 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 27780763 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30508/statm: 4644 284 249 26 0 2626 0
[startup+0.0442189 s]
/proc/loadavg: 1.94 1.98 1.97 4/80 30508
/proc/meminfo: memFree=1661480/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=861936 CPUtime=0.03
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 2280 0 1 0 2 1 0 0 18 0 5 0 27780763 882622464 1882 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 215484 1896 867 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.108887 s]
/proc/loadavg: 1.94 1.98 1.97 4/80 30508
/proc/meminfo: memFree=1661480/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=865984 CPUtime=0.09
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 3750 0 1 0 7 2 0 0 18 0 9 0 27780763 886767616 3216 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 216496 3216 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301897 s]
/proc/loadavg: 1.94 1.98 1.97 4/80 30508
/proc/meminfo: memFree=1661480/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=866380 CPUtime=0.28
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 5847 0 1 0 24 4 0 0 18 0 9 0 27780763 887173120 5213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 216595 5213 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.70193 s]
/proc/loadavg: 1.94 1.98 1.97 4/80 30508
/proc/meminfo: memFree=1661480/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=867524 CPUtime=0.67
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 13587 0 1 0 59 8 0 0 18 0 9 0 27780763 888344576 12949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 216881 12949 2000 9 0 211339 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867524
[startup+1.50297 s]
/proc/loadavg: 1.94 1.98 1.97 3/89 30517
/proc/meminfo: memFree=1596576/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=867612 CPUtime=1.46
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 18940 0 1 0 134 12 0 0 18 0 9 0 27780763 888434688 18291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 216903 18291 2048 9 0 211339 0
[pid=30508/tid=30510] ppid=30506 vsize=867612 CPUtime=1.2
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 15809 0 1 0 111 9 0 0 25 0 9 0 27780764 888434688 18291 996147200 134512640 134550932 4294955968 18446744073709551615 102724642 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30511] ppid=30506 vsize=867612 CPUtime=0.06
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 1797 0 0 0 6 0 0 0 16 0 9 0 27780766 888434688 18291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30512] ppid=30506 vsize=867612 CPUtime=0
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27780766 888434688 18291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30513] ppid=30506 vsize=867612 CPUtime=0
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 27780766 888434688 18291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30514] ppid=30506 vsize=867612 CPUtime=0
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27780768 888434688 18291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=867612 CPUtime=0.17
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 633 0 0 0 16 1 0 0 16 0 9 0 27780768 888434688 18291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30516] ppid=30506 vsize=867612 CPUtime=0
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27780768 888434688 18291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=867612 CPUtime=0
/proc/30508/task/30517/stat : 30517 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27780768 888434688 18291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867612
[startup+3.10208 s]
/proc/loadavg: 1.94 1.98 1.97 3/89 30517
/proc/meminfo: memFree=1567328/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=867524 CPUtime=3.05
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 33611 0 1 0 288 17 0 0 18 0 9 0 27780763 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 216881 32933 2026 9 0 211339 0
[pid=30508/tid=30510] ppid=30506 vsize=867524 CPUtime=2.6
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 15821 0 1 0 250 10 0 0 25 0 9 0 27780764 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 102640092 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30511] ppid=30506 vsize=867524 CPUtime=0.25
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 16455 0 0 0 20 5 0 0 16 0 9 0 27780766 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30512] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27780766 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30513] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27780766 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30514] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27780768 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=867524 CPUtime=0.17
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 634 0 0 0 16 1 0 0 16 0 9 0 27780768 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30516] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27780768 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30517/stat : 30517 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27780768 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867524
[startup+6.30127 s]
/proc/loadavg: 1.94 1.98 1.97 3/89 30517
/proc/meminfo: memFree=1537312/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=867524 CPUtime=6.22
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 33624 0 1 0 605 17 0 0 18 0 9 0 27780763 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 216881 32933 2026 9 0 211339 0
[pid=30508/tid=30510] ppid=30506 vsize=867524 CPUtime=5.71
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 15834 0 1 0 561 10 0 0 25 0 9 0 27780764 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4126410718 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30511] ppid=30506 vsize=867524 CPUtime=0.31
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 16455 0 0 0 26 5 0 0 16 0 9 0 27780766 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30512] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27780766 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30513] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27780766 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30514] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27780768 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=867524 CPUtime=0.17
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 634 0 0 0 16 1 0 0 16 0 9 0 27780768 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30516] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27780768 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30517/stat : 30517 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27780768 888344576 32933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867524
[startup+12.7027 s]
/proc/loadavg: 1.95 1.98 1.97 3/89 30517
/proc/meminfo: memFree=1534944/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=867524 CPUtime=12.57
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 34293 0 1 0 1239 18 0 0 18 0 9 0 27780763 888344576 33577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 216881 33577 2026 9 0 211339 0
[pid=30508/tid=30510] ppid=30506 vsize=867524 CPUtime=11.92
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 15860 0 1 0 1182 10 0 0 25 0 9 0 27780764 888344576 33577 996147200 134512640 134550932 4294955968 18446744073709551615 102640080 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30511] ppid=30506 vsize=867524 CPUtime=0.45
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 17098 0 0 0 39 6 0 0 16 0 9 0 27780766 888344576 33577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30512] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27780766 888344576 33577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30513] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27780766 888344576 33577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30514] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27780768 888344576 33577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=867524 CPUtime=0.18
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 634 0 0 0 17 1 0 0 17 0 9 0 27780768 888344576 33577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30516] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27780768 888344576 33577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30517/stat : 30517 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27780768 888344576 33577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867524
[startup+25.5015 s]
/proc/loadavg: 1.96 1.98 1.97 3/89 30517
/proc/meminfo: memFree=1531488/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=867524 CPUtime=25.25
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 35178 0 1 0 2505 20 0 0 18 0 9 0 27780763 888344576 34413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 216881 34413 2026 9 0 211339 0
[pid=30508/tid=30510] ppid=30506 vsize=867524 CPUtime=24.35
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 15909 0 1 0 2425 10 0 0 25 0 9 0 27780764 888344576 34413 996147200 134512640 134550932 4294955968 18446744073709551615 102897851 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30511] ppid=30506 vsize=867524 CPUtime=0.7
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 17934 0 0 0 63 7 0 0 15 0 9 0 27780766 888344576 34413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30512] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27780766 888344576 34413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30513] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27780766 888344576 34413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30514] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27780768 888344576 34413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=867524 CPUtime=0.18
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 634 0 0 0 17 1 0 0 17 0 9 0 27780768 888344576 34413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30516] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27780768 888344576 34413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30517/stat : 30517 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27780768 888344576 34413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867524
[startup+51.1011 s]
/proc/loadavg: 1.97 1.98 1.97 3/89 30517
/proc/meminfo: memFree=1516128/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=867524 CPUtime=50.6
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 41554 0 1 0 5036 24 0 0 18 0 9 0 27780763 888344576 40698 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 216881 40698 2028 9 0 211339 0
[pid=30508/tid=30510] ppid=30506 vsize=867524 CPUtime=49.04
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 16021 0 1 0 4892 12 0 0 25 0 9 0 27780764 888344576 40698 996147200 134512640 134550932 4294955968 18446744073709551615 103946352 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30511] ppid=30506 vsize=867524 CPUtime=1.32
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 24160 0 0 0 122 10 0 0 16 0 9 0 27780766 888344576 40698 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30512] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27780766 888344576 40698 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30513] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27780766 888344576 40698 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30514] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27780768 888344576 40698 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=867524 CPUtime=0.22
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 672 0 0 0 21 1 0 0 15 0 9 0 27780768 888344576 40698 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30516] ppid=30506 vsize=867524 CPUtime=0
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27780768 888344576 40698 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1480.75
Current children cumulated vsize (KiB) 868196
[startup+1542.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/89 30568
/proc/meminfo: memFree=1012632/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=868196 CPUtime=1540.73
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 312004 1797 1 0 153853 122 92 6 18 0 9 0 27780763 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 217049 199629 2639 9 0 211507 0
[pid=30508/tid=30510] ppid=30506 vsize=868196 CPUtime=1526.42
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 29688 1797 1 0 152522 22 92 6 25 0 9 0 27780764 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4127526028 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30511] ppid=30506 vsize=868196 CPUtime=14.79
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 280424 1797 0 0 1288 93 92 6 16 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30512] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 21 1797 0 0 0 0 92 6 16 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30513] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 32 1797 0 0 0 0 92 6 15 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30514] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 1797 0 0 0 0 92 6 18 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=868196 CPUtime=1.42
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 1008 1797 0 0 42 2 92 6 17 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30516] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 1797 0 0 0 0 92 6 19 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30517/stat : 30517 (java) S 30506 30508 29563 0 -1 64 13 1797 0 0 0 0 92 6 15 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.73
Current children cumulated vsize (KiB) 868196
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 30568
/proc/meminfo: memFree=1012632/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=868196 CPUtime=1600.71
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 312005 1797 1 0 159851 122 92 6 18 0 9 0 27780763 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 217049 199629 2639 9 0 211507 0
[pid=30508/tid=30510] ppid=30506 vsize=868196 CPUtime=1586.4
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 29689 1797 1 0 158520 22 92 6 25 0 9 0 27780764 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4127525946 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30511] ppid=30506 vsize=868196 CPUtime=14.79
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 280424 1797 0 0 1288 93 92 6 16 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30512] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 21 1797 0 0 0 0 92 6 16 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30513] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 32 1797 0 0 0 0 92 6 15 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30514] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 1797 0 0 0 0 92 6 18 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=868196 CPUtime=1.42
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 1008 1797 0 0 42 2 92 6 17 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30516] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 1797 0 0 0 0 92 6 19 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30517/stat : 30517 (java) S 30506 30508 29563 0 -1 64 13 1797 0 0 0 0 92 6 15 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.71
Current children cumulated vsize (KiB) 868196
[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 30568
/proc/meminfo: memFree=1012504/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=868196 CPUtime=1660.68
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 312006 1797 1 0 165848 122 92 6 18 0 9 0 27780763 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 217049 199629 2639 9 0 211507 0
[pid=30508/tid=30510] ppid=30506 vsize=868196 CPUtime=1646.38
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 29689 1797 1 0 164518 22 92 6 25 0 9 0 27780764 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4127526978 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30511] ppid=30506 vsize=868196 CPUtime=14.79
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 280424 1797 0 0 1288 93 92 6 16 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30512] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 21 1797 0 0 0 0 92 6 16 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30513] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 32 1797 0 0 0 0 92 6 15 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30514] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 1797 0 0 0 0 92 6 18 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=868196 CPUtime=1.42
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 1009 1797 0 0 42 2 92 6 16 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30516] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 1797 0 0 0 0 92 6 19 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30517/stat : 30517 (java) S 30506 30508 29563 0 -1 64 13 1797 0 0 0 0 92 6 15 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.68
Current children cumulated vsize (KiB) 868196
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 30568
/proc/meminfo: memFree=1012504/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=868196 CPUtime=1720.67
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 312006 1797 1 0 171847 122 92 6 18 0 9 0 27780763 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 217049 199629 2639 9 0 211507 0
[pid=30508/tid=30510] ppid=30506 vsize=868196 CPUtime=1706.36
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 29689 1797 1 0 170516 22 92 6 25 0 9 0 27780764 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4127523968 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30511] ppid=30506 vsize=868196 CPUtime=14.79
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 280424 1797 0 0 1288 93 92 6 16 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30512] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 21 1797 0 0 0 0 92 6 16 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30513] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 32 1797 0 0 0 0 92 6 15 0 9 0 27780766 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30514] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 1797 0 0 0 0 92 6 18 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=868196 CPUtime=1.42
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 1009 1797 0 0 42 2 92 6 16 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30516] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 1797 0 0 0 0 92 6 19 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30517/stat : 30517 (java) S 30506 30508 29563 0 -1 64 13 1797 0 0 0 0 92 6 15 0 9 0 27780768 889032704 199629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.67
Current children cumulated vsize (KiB) 868196
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 30568
/proc/meminfo: memFree=1012376/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=868196 CPUtime=1780.65
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 312012 1797 1 0 177845 122 92 6 18 0 9 0 27780763 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 217049 199635 2639 9 0 211507 0
[pid=30508/tid=30510] ppid=30506 vsize=868196 CPUtime=1766.33
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 29691 1797 1 0 176513 22 92 6 25 0 9 0 27780764 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4127561388 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30511] ppid=30506 vsize=868196 CPUtime=14.79
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 280424 1797 0 0 1288 93 92 6 16 0 9 0 27780766 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30512] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 21 1797 0 0 0 0 92 6 16 0 9 0 27780766 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30513] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 32 1797 0 0 0 0 92 6 15 0 9 0 27780766 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30514] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 1797 0 0 0 0 92 6 18 0 9 0 27780768 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=868196 CPUtime=1.43
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 1013 1797 0 0 43 2 92 6 16 0 9 0 27780768 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30516] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 1797 0 0 0 0 92 6 19 0 9 0 27780768 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30517/stat : 30517 (java) S 30506 30508 29563 0 -1 64 13 1797 0 0 0 0 92 6 15 0 9 0 27780768 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.65
Current children cumulated vsize (KiB) 868196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.7 s]
/proc/loadavg: 2.18 2.05 2.01 3/89 30568
/proc/meminfo: memFree=1012376/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=868196 CPUtime=1800.05
/proc/30508/stat : 30508 (java) S 30506 30508 29563 0 -1 0 312012 1797 1 0 179785 122 92 6 18 0 9 0 27780763 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 217049 199635 2639 9 0 211507 0
[pid=30508/tid=30510] ppid=30506 vsize=868196 CPUtime=1785.73
/proc/30508/task/30510/stat : 30510 (java) R 30506 30508 29563 0 -1 64 29691 1797 1 0 178453 22 92 6 25 0 9 0 27780764 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4127397840 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30511] ppid=30506 vsize=868196 CPUtime=14.79
/proc/30508/task/30511/stat : 30511 (java) S 30506 30508 29563 0 -1 64 280424 1797 0 0 1288 93 92 6 16 0 9 0 27780766 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30512] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30512/stat : 30512 (java) S 30506 30508 29563 0 -1 64 21 1797 0 0 0 0 92 6 16 0 9 0 27780766 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30513] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30513/stat : 30513 (java) S 30506 30508 29563 0 -1 64 32 1797 0 0 0 0 92 6 15 0 9 0 27780766 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30514] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30514/stat : 30514 (java) S 30506 30508 29563 0 -1 64 2 1797 0 0 0 0 92 6 18 0 9 0 27780768 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30515] ppid=30506 vsize=868196 CPUtime=1.43
/proc/30508/task/30515/stat : 30515 (java) S 30506 30508 29563 0 -1 64 1013 1797 0 0 43 2 92 6 16 0 9 0 27780768 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30508/tid=30516] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30516/stat : 30516 (java) S 30506 30508 29563 0 -1 64 0 1797 0 0 0 0 92 6 19 0 9 0 27780768 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30508/tid=30517] ppid=30506 vsize=868196 CPUtime=0.98
/proc/30508/task/30517/stat : 30517 (java) R 30506 30508 29563 0 -1 64 13 1797 0 0 0 0 92 6 15 0 9 0 27780768 889032704 199635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 868196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.82 s]
/proc/loadavg: 2.18 2.05 2.01 3/89 30568
/proc/meminfo: memFree=1012376/2055920 swapFree=4191900/4192956
[pid=30508] ppid=30506 vsize=0 CPUtime=1800.15
/proc/30508/stat : 30508 (java) Z 30506 30508 29563 0 -1 1036 312040 1797 1 0 179790 127 92 6 16 0 2 0 27780763 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30508/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1801.88
CPU time (s): 1800.24
CPU user time (s): 1798.84
CPU system time (s): 1.40279
CPU usage (%): 99.9086
Max. virtual memory (cumulated for all children) (KiB): 881004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.40279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313837
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43722
involuntary context switches= 20346
runsolver used 2.33264 second user time and 5.88511 second system time
The end
Begin job on node29 at 2009-07-12 15:59:06
IDJOB=2095280
IDBENCH=55062
IDSOLVER=774
FILE ID=node29/2095280-1247407145
PBS_JOBID= 9510586
Free space on /tmp= 66372 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudo/mps/normalized-mps-aflow40b.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095280-1247407145/watcher-2095280-1247407145 -o /tmp/evaluation-result-2095280-1247407145/solver-2095280-1247407145 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095280-1247407145.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 820a621712537d81d4b78638f0edfa97
RANDOM SEED=1522182882
node29.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.225
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.225
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: 1662280 kB
Buffers: 36668 kB
Cached: 112676 kB
SwapCached: 392 kB
Active: 283520 kB
Inactive: 55624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1662280 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 9068 kB
Writeback: 0 kB
Mapped: 209528 kB
Slab: 39288 kB
Committed_AS: 1013064 kB
PageTables: 2240 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= 66368 MiB
End job on node29 at 2009-07-12 16:29:10