0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=pfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/276779-1169246420/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.46 => wckTime=0.105 cpuTime=0.1 mem=6M910
0.46
0.46 relations being loaded...
0.58
0.58 constraints being loaded...
0.66 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.67 => wckTime=0.312 cpuTime=0.26 mem=15M703
0.71
0.71 solver LocalSearchSolver being built...
0.75 => wckTime=0.402 cpuTime=0.3 mem=5M927
0.76
0.76 s SATISFIABLE
0.76 o 60
0.76 c 75
0.76 o 64
0.76 c 71
0.77 o 67
0.77 c 68
0.77 o 71
0.77 c 64
0.77 o 74
0.77 c 61
0.77 o 77
0.77 c 58
0.77 o 80
0.77 c 55
0.77 o 84
0.77 c 51
0.77 o 88
0.77 c 47
0.77 o 89
0.77 c 46
0.77 o 90
0.77 c 45
0.77 o 93
0.77 c 42
0.78 o 96
0.78 c 39
0.78 o 99
0.78 c 36
0.78 o 100
0.78 c 35
0.78 o 101
0.78 c 34
0.78 o 102
0.78 c 33
0.78 o 105
0.78 c 30
0.78 o 106
0.78 c 29
0.78 o 107
0.78 c 28
0.78 o 109
0.78 c 26
0.78 o 110
0.78 c 25
0.79 o 111
0.79 c 24
0.79 o 113
0.79 c 22
0.79 o 114
0.79 c 21
0.79 o 115
0.79 c 20
0.80 o 116
0.80 c 19
0.80 o 117
0.80 c 18
0.80 o 119
0.80 c 16
0.81 o 120
0.81 c 15
0.81 o 121
0.81 c 14
0.81 o 122
0.81 c 13
0.81 o 123
0.81 c 12
0.81 o 124
0.81 c 11
0.81 o 125
0.81 c 10
0.81 o 126
0.81 c 9
0.81 o 127
0.81 c 8
0.81 o 128
0.81 c 7
0.97 o 129
0.97 c 6
0.97 o 130
0.97 c 5
0.98 o 131
0.98 c 4
4.45
4.45 search
4.45 run=0 nbConstraintChecks=26243750 nbAssignments=10000
4.45 => wckTime=3.702 cpuTime=3.65 mem=5M927
8.20
8.20 search
8.20 run=1 nbConstraintChecks=52288596 nbAssignments=20000
8.20 => wckTime=7.447 cpuTime=7.35 mem=5M927
10.32 o 132
10.32 c 3
11.83
11.83 search
11.83 run=2 nbConstraintChecks=77502928 nbAssignments=30000
11.83 => wckTime=11.077 cpuTime=10.94 mem=5M927
15.65
15.65 search
15.65 run=3 nbConstraintChecks=104147784 nbAssignments=40000
15.65 => wckTime=14.896 cpuTime=14.73 mem=5M927
19.59
19.59 search
19.59 run=4 nbConstraintChecks=132299126 nbAssignments=50000
19.59 => wckTime=18.834 cpuTime=18.63 mem=5M927
23.34
23.34 search
23.34 run=5 nbConstraintChecks=158714283 nbAssignments=60000
23.34 => wckTime=22.588 cpuTime=22.36 mem=5M927
26.73 o 133
26.73 c 2
27.00
27.00 search
27.00 run=6 nbConstraintChecks=184237004 nbAssignments=70000
27.00 => wckTime=26.247 cpuTime=25.98 mem=5M927
30.73
30.73 search
30.73 run=7 nbConstraintChecks=209919633 nbAssignments=80000
30.73 => wckTime=29.974 cpuTime=29.66 mem=5M927
34.45
34.45 search
34.45 run=8 nbConstraintChecks=235932748 nbAssignments=90000
34.45 => wckTime=33.702 cpuTime=33.36 mem=5M927
38.53
38.53 search
38.53 run=9 nbConstraintChecks=264934233 nbAssignments=100000
38.53 => wckTime=37.774 cpuTime=37.39 mem=5M927
42.11
42.11 search
42.11 run=10 nbConstraintChecks=289998544 nbAssignments=110000
42.11 => wckTime=41.361 cpuTime=40.95 mem=5M927
46.04
46.04 search
46.04 run=11 nbConstraintChecks=317788724 nbAssignments=120000
46.04 => wckTime=45.289 cpuTime=44.84 mem=5M927
49.78
49.78 search
49.78 run=12 nbConstraintChecks=343783959 nbAssignments=130000
49.78 => wckTime=49.026 cpuTime=48.54 mem=5M927
53.91
53.91 search
53.91 run=13 nbConstraintChecks=373166879 nbAssignments=140000
53.91 => wckTime=53.154 cpuTime=52.63 mem=5M927
57.02
57.02 search
57.02 run=14 nbConstraintChecks=395273701 nbAssignments=147993
57.02 => wckTime=56.268 cpuTime=55.73 mem=5M927
57.02
57.02 global
57.02 nbConstraintChecks=395273701 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
57.02 solvingWckTime=56.263 solvingCpuTime=55.73 expiredTime=no totalExploration=no nbFoundSolutions=0
57.02 globalCpuTime=56.08
57.02 => wckTime=56.67 cpuTime=56.03 mem=5M927
57.02
57.02 solver IterativeSystematicSolver being built...
57.15 => wckTime=56.797 cpuTime=56.12 mem=16M899
57.16
57.16 preprocessing
57.16 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
57.16 detectedInconsistency=no
57.16 => wckTime=0.0070 cpuTime=0.0 mem=16M899
57.31
57.31 search
57.31 run=0 nbConstraintChecks=429376 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=88
57.31 nbFailedAssignments=65 nbBacktracks=10 nbVisitedNodes=164 nbRestartNogoods=0
57.31 => wckTime=0.163 cpuTime=0.13 mem=16M899
57.50
57.50 search
57.50 run=1 nbConstraintChecks=1074131 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=206
57.50 nbFailedAssignments=154 nbBacktracks=25 nbVisitedNodes=386 nbRestartNogoods=34
57.50 => wckTime=0.348 cpuTime=0.3 mem=16M899
57.59
57.59 search
57.59 run=2 nbConstraintChecks=1384966 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=263
57.59 nbFailedAssignments=185 nbBacktracks=47 nbVisitedNodes=494 nbRestartNogoods=105
57.59 => wckTime=0.441 cpuTime=0.39 mem=16M899
58.14
58.14 search
58.15 run=3 nbConstraintChecks=3834054 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=770
58.15 nbFailedAssignments=646 nbBacktracks=80 nbVisitedNodes=1495 nbRestartNogoods=129
58.15 => wckTime=0.995 cpuTime=0.94 mem=16M899
58.53
58.53 search
58.53 run=4 nbConstraintChecks=5783149 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1219
58.53 nbFailedAssignments=1031 nbBacktracks=130 nbVisitedNodes=2379 nbRestartNogoods=160
58.53 => wckTime=1.383 cpuTime=1.32 mem=16M899
61.06
61.06 search
61.06 run=5 nbConstraintChecks=18515647 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3229
61.06 nbFailedAssignments=2951 nbBacktracks=205 nbVisitedNodes=6384 nbRestartNogoods=235
61.06 => wckTime=3.907 cpuTime=3.8 mem=16M899
62.66
62.66 search
62.66 run=6 nbConstraintChecks=26311232 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4700
62.66 nbFailedAssignments=4298 nbBacktracks=319 nbVisitedNodes=9315 nbRestartNogoods=295
62.66 => wckTime=5.509 cpuTime=5.38 mem=16M899
63.97
63.97 search
63.97 run=7 nbConstraintChecks=32305800 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6116
63.97 nbFailedAssignments=5530 nbBacktracks=490 nbVisitedNodes=12134 nbRestartNogoods=330
63.97 => wckTime=6.819 cpuTime=6.68 mem=16M899
65.89
65.89 search
65.89 run=8 nbConstraintChecks=41036423 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7955
65.89 nbFailedAssignments=7097 nbBacktracks=747 nbVisitedNodes=15797 nbRestartNogoods=350
65.89 => wckTime=8.738 cpuTime=8.58 mem=16M899
69.49
69.49 search
69.49 run=9 nbConstraintChecks=55819031 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11175
69.49 nbFailedAssignments=9919 nbBacktracks=1131 nbVisitedNodes=22223 nbRestartNogoods=401
69.49 => wckTime=12.343 cpuTime=12.15 mem=16M899
73.31
73.31 search
73.31 run=10 nbConstraintChecks=74813595 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14213
73.31 nbFailedAssignments=12372 nbBacktracks=1707 nbVisitedNodes=28290 nbRestartNogoods=488
73.31 => wckTime=16.157 cpuTime=15.92 mem=16M899
77.91
77.91 search
77.91 run=11 nbConstraintChecks=95021399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18730
77.91 nbFailedAssignments=16014 nbBacktracks=2571 nbVisitedNodes=37312 nbRestartNogoods=511
77.91 => wckTime=20.764 cpuTime=20.49 mem=16M899
88.50
88.50 search
88.50 run=12 nbConstraintChecks=142031366 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27356
88.50 nbFailedAssignments=23333 nbBacktracks=3868 nbVisitedNodes=54541 nbRestartNogoods=567
88.50 => wckTime=31.355 cpuTime=30.98 mem=16M899
102.87
102.87 search
102.87 run=13 nbConstraintChecks=195486722 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34745
102.87 nbFailedAssignments=28766 nbBacktracks=5814 nbVisitedNodes=69141 nbRestartNogoods=579
102.87 => wckTime=45.721 cpuTime=45.22 mem=16M899
124.86
124.86 search
124.86 run=14 nbConstraintChecks=271521227 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46575
124.86 nbFailedAssignments=37671 nbBacktracks=8733 nbVisitedNodes=92286 nbRestartNogoods=607
124.86 => wckTime=67.706 cpuTime=67.01 mem=16M899
152.22
152.22 search
152.22 run=15 nbConstraintChecks=364971531 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62112
152.22 nbFailedAssignments=48818 nbBacktracks=13111 nbVisitedNodes=122738 nbRestartNogoods=646
152.22 => wckTime=95.068 cpuTime=94.12 mem=16M899
184.42
184.42 search
184.42 run=16 nbConstraintChecks=463817136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79031
184.42 nbFailedAssignments=59163 nbBacktracks=19680 nbVisitedNodes=154773 nbRestartNogoods=677
184.42 => wckTime=127.271 cpuTime=126.02 mem=16M899
230.80
230.80 search
230.80 run=17 nbConstraintChecks=613399261 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103843
230.80 nbFailedAssignments=74118 nbBacktracks=29532 nbVisitedNodes=201459 nbRestartNogoods=704
230.80 => wckTime=173.65 cpuTime=171.97 mem=16M899
291.12
291.12 search
291.12 run=18 nbConstraintChecks=804637353 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=134863
291.12 nbFailedAssignments=90351 nbBacktracks=44310 nbVisitedNodes=258341 nbRestartNogoods=716
291.12 => wckTime=233.972 cpuTime=231.75 mem=16M899
363.11 o 134
363.12 c 1
376.48
376.48 search
376.48 run=19 nbConstraintChecks=1069209503 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=181512
376.48 nbFailedAssignments=114826 nbBacktracks=66478 nbVisitedNodes=342189 nbRestartNogoods=763
376.48 => wckTime=319.331 cpuTime=316.34 mem=16M899
440.81
440.81 search
440.81 run=20 nbConstraintChecks=1265441560 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=223865
440.81 nbFailedAssignments=132554 nbBacktracks=91104 nbVisitedNodes=407856 nbRestartNogoods=782
440.81 => wckTime=383.66 cpuTime=380.07 mem=16M899
440.81
440.81 global
440.81 nbConstraintChecks=1265441560 nbRestartNogoods=782 solvingWckTime=383.661 solvingCpuTime=380.07 expiredTime=no
440.81 totalExploration=yes nbFoundSolutions=1 globalCpuTime=436.25
440.81 => wckTime=440.458 cpuTime=436.2 mem=16M899
440.81
440.81 s OPTIMUM FOUND
440.81 v 12 9 0 16 19 1 22 3 27 37 3 28 6 37 0 11 24 4 38 8 9 15 34 0 15 38 27 38 13 12 6 31 1 19 18 20 23 15 25 27
440.81
440.81 totalWckTime=440.537 totalCpuTime=436.25
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-276779-1169246420 -o ROOT/results/node9/solver-276779-1169246420 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276779-1169246420/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 1.92 1.97 1.99 4/94 29001
/proc/meminfo: memFree=1271192/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=9748 CPUtime=0
/proc/29000/stat : 29000 (java) D 28998 29000 28932 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 273037118 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663844 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/29000/statm: 2437 412 333 14 0 1140 0
[startup+0.103356 s]
/proc/loadavg: 1.92 1.97 1.99 4/94 29001
/proc/meminfo: memFree=1271192/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=907808 CPUtime=0.05
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 2426 0 1 0 4 1 0 0 16 0 4 0 273037118 929595392 2173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072936456 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 226952 2173 1200 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.511397 s]
/proc/loadavg: 1.92 1.97 1.99 4/94 29001
/proc/meminfo: memFree=1271192/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915332 CPUtime=0.45
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 6514 0 1 0 41 4 0 0 18 0 8 0 273037118 937299968 6253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228833 6253 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.33249 s]
/proc/loadavg: 1.92 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245856/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=1.26
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8982 0 1 0 114 12 0 0 25 0 8 0 273037118 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8720 2476 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 335 0 0 0 11 0 0 0 16 0 8 0 273037130 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915444
[startup+2.96968 s]
/proc/loadavg: 1.92 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245856/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915448 CPUtime=2.89
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8983 0 1 0 258 31 0 0 25 0 8 0 273037118 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228862 8720 2476 14 0 215332 0
[pid=29000/tid=29002] ppid=28998 vsize=915448 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915448 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915448 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915448 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915448 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 335 0 0 0 11 0 0 0 16 0 8 0 273037130 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915448 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915448 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915448
[startup+6.17003 s]
/proc/loadavg: 1.93 1.97 1.99 4/101 29008
/proc/meminfo: memFree=1245856/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=6.05
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8985 0 1 0 541 64 0 0 25 0 8 0 273037118 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8722 2476 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915444
[startup+12.6378 s]
/proc/loadavg: 1.93 1.97 1.99 4/101 29008
/proc/meminfo: memFree=1245856/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=12.46
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8985 0 1 0 1113 133 0 0 25 0 8 0 273037118 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8722 2476 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 915444
[startup+25.5042 s]
/proc/loadavg: 1.95 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245920/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=25.21
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8985 0 1 0 2251 270 0 0 25 0 8 0 273037118 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073685604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8722 2476 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 915444
[startup+51.1111 s]
/proc/loadavg: 1.96 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245856/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=50.58
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8986 0 1 0 4523 535 0 0 25 0 8 0 273037118 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073684328 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8723 2476 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 338 0 0 0 11 0 0 0 16 0 8 0 273037130 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915444
[startup+102.328 s]
/proc/loadavg: 1.98 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245472/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=101.33
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9161 0 1 0 9540 593 0 0 25 0 8 0 273037118 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8892 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 915444
[startup+162.404 s]
/proc/loadavg: 1.99 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245472/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=160.86
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9169 0 1 0 15492 594 0 0 25 0 8 0 273037118 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8900 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 915444
[startup+222.462 s]
/proc/loadavg: 2.05 1.99 1.99 3/101 29008
/proc/meminfo: memFree=1245408/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=220.37
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9173 0 1 0 21443 594 0 0 25 0 8 0 273037118 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8903 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 915444
[startup+282.516 s]
/proc/loadavg: 2.02 1.99 1.99 3/101 29008
/proc/meminfo: memFree=1245472/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=279.87
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9177 0 1 0 27393 594 0 0 25 0 8 0 273037118 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8906 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 915444
[startup+342.577 s]
/proc/loadavg: 2.00 1.99 1.99 3/101 29008
/proc/meminfo: memFree=1245408/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=339.39
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9180 0 1 0 33344 595 0 0 25 0 8 0 273037118 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8908 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (KiB) 915444
[startup+402.632 s]
/proc/loadavg: 2.00 1.99 1.99 3/101 29008
/proc/meminfo: memFree=1245408/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=398.89
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9183 0 1 0 39294 595 0 0 25 0 8 0 273037118 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8911 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 440.834
CPU time (s): 436.743
CPU user time (s): 430.777
CPU system time (s): 5.96509
CPU usage (%): 99.072
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 430.778
system time used= 5.96509
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9279
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= 10065
involuntary context switches= 24505
runsolver used 0.527919 s user time and 1.43378 s system time
The end
Begin job on node9 on Fri Jan 19 22:40:20 UTC 2007
IDJOB= 276779
IDBENCH= 6025
IDSOLVER= 69
FILE ID= node9/276779-1169246420
PBS_JOBID= 3589058
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276779-1169246420/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-276779-1169246420 -o ROOT/results/node9/solver-276779-1169246420 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276779-1169246420/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3c571811344329da499115137c65f8ae
RANDOM SEED= 652914902
TIME LIMIT= 2400 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.231
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.231
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: 1271608 kB
Buffers: 58448 kB
Cached: 582796 kB
SwapCached: 268 kB
Active: 292108 kB
Inactive: 407856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1271608 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2268 kB
Writeback: 0 kB
Mapped: 77984 kB
Slab: 68960 kB
Committed_AS: 8016956 kB
PageTables: 2396 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= 66562 MiB
End job on node9 on Fri Jan 19 22:47:41 UTC 2007