0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=pfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/281270-1169310880/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.44 => wckTime=0.107 cpuTime=0.08 mem=6M910
0.44
0.44 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5573 maxDegree=24
0.62 maxArity=2
0.62 => wckTime=0.283 cpuTime=0.19 mem=9M835
0.66
0.66 solver LocalSearchSolver being built...
0.70 => wckTime=0.368 cpuTime=0.23 mem=5M671
0.71
0.71 s SATISFIABLE
0.71 o 258
0.71 c 42
0.71 o 264
0.71 c 36
0.71 o 267
0.71 c 33
0.71 o 271
0.71 c 29
0.71 o 275
0.71 c 25
0.71 o 277
0.71 c 23
0.71 o 280
0.71 c 20
0.72 o 281
0.72 c 19
0.72 o 282
0.72 c 18
0.72 o 283
0.72 c 17
0.72 o 284
0.72 c 16
0.72 o 285
0.72 c 15
0.72 o 286
0.72 c 14
0.72 o 288
0.72 c 12
0.73 o 289
0.73 c 11
0.74 o 291
0.74 c 9
0.74 o 292
0.74 c 8
0.74 o 293
0.74 c 7
0.74 o 294
0.74 c 6
0.74 o 295
0.74 c 5
0.74 o 296
0.74 c 4
0.78 o 297
0.78 c 3
0.88 o 298
0.88 c 2
2.71
2.71 search
2.71 run=0 nbConstraintChecks=11898112 nbAssignments=10000
2.71 => wckTime=2.008 cpuTime=1.97 mem=5M671
4.63
4.63 search
4.63 run=1 nbConstraintChecks=23807581 nbAssignments=20000
4.63 => wckTime=3.928 cpuTime=3.87 mem=5M671
6.52
6.52 search
6.52 run=2 nbConstraintChecks=35500268 nbAssignments=30000
6.52 => wckTime=5.82 cpuTime=5.75 mem=5M671
8.45
8.45 search
8.45 run=3 nbConstraintChecks=47607575 nbAssignments=40000
8.45 => wckTime=7.748 cpuTime=7.66 mem=5M671
10.32
10.32 search
10.32 run=4 nbConstraintChecks=59225527 nbAssignments=50000
10.32 => wckTime=9.621 cpuTime=9.52 mem=5M671
12.24
12.24 search
12.24 run=5 nbConstraintChecks=71309229 nbAssignments=60000
12.24 => wckTime=11.54 cpuTime=11.42 mem=5M671
14.11
14.11 search
14.11 run=6 nbConstraintChecks=82799021 nbAssignments=70000
14.11 => wckTime=13.403 cpuTime=13.27 mem=5M671
16.02
16.02 search
16.02 run=7 nbConstraintChecks=94859159 nbAssignments=80000
16.02 => wckTime=15.322 cpuTime=15.17 mem=5M671
17.91
17.91 search
17.91 run=8 nbConstraintChecks=106472177 nbAssignments=90000
17.91 => wckTime=17.209 cpuTime=17.05 mem=5M671
19.84
19.84 search
19.84 run=9 nbConstraintChecks=118454951 nbAssignments=100000
19.84 => wckTime=19.139 cpuTime=18.96 mem=5M671
21.74
21.74 search
21.74 run=10 nbConstraintChecks=130154469 nbAssignments=110000
21.74 => wckTime=21.038 cpuTime=20.84 mem=5M671
23.70
23.70 search
23.70 run=11 nbConstraintChecks=142379604 nbAssignments=120000
23.70 => wckTime=22.994 cpuTime=22.78 mem=5M671
25.60
25.60 search
25.60 run=12 nbConstraintChecks=154094932 nbAssignments=130000
25.60 => wckTime=24.897 cpuTime=24.66 mem=5M671
27.54
27.54 search
27.54 run=13 nbConstraintChecks=166242046 nbAssignments=140000
27.54 => wckTime=26.836 cpuTime=26.59 mem=5M671
29.41
29.41 search
29.41 run=14 nbConstraintChecks=177824276 nbAssignments=150000
29.41 => wckTime=28.703 cpuTime=28.43 mem=5M671
31.16
31.16 search
31.16 run=15 nbConstraintChecks=188921368 nbAssignments=158964
31.16 => wckTime=30.456 cpuTime=30.18 mem=5M671
31.16
31.16 global
31.16 nbConstraintChecks=188921368 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.16 solvingWckTime=30.454 solvingCpuTime=30.18 expiredTime=no totalExploration=no nbFoundSolutions=0
31.16 globalCpuTime=30.48
31.16 => wckTime=30.824 cpuTime=30.42 mem=5M671
31.16
31.16 solver IterativeSystematicSolver being built...
31.29 => wckTime=30.955 cpuTime=30.51 mem=16M644
31.30
31.30 preprocessing
31.30 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.30 detectedInconsistency=no
31.30 => wckTime=0.0060 cpuTime=0.0 mem=16M644
31.36
31.36 search
31.36 run=0 nbConstraintChecks=71527 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
31.36 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=65 nbRestartNogoods=0
31.36 => wckTime=0.069 cpuTime=0.04 mem=16M644
31.46
31.46 search
31.46 run=1 nbConstraintChecks=262135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=130
31.46 nbFailedAssignments=94 nbBacktracks=25 nbVisitedNodes=250 nbRestartNogoods=4
31.46 => wckTime=0.163 cpuTime=0.12 mem=16M644
31.50
31.50 search
31.50 run=2 nbConstraintChecks=382406 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=188
31.50 nbFailedAssignments=121 nbBacktracks=47 nbVisitedNodes=357 nbRestartNogoods=19
31.50 => wckTime=0.203 cpuTime=0.16 mem=16M644
31.60
31.60 search
31.60 run=3 nbConstraintChecks=712351 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=342
31.60 nbFailedAssignments=236 nbBacktracks=80 nbVisitedNodes=659 nbRestartNogoods=25
31.60 => wckTime=0.303 cpuTime=0.26 mem=16M644
31.69
31.69 search
31.69 run=4 nbConstraintChecks=1020147 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=484
31.69 nbFailedAssignments=321 nbBacktracks=130 nbVisitedNodes=936 nbRestartNogoods=28
31.69 => wckTime=0.401 cpuTime=0.35 mem=16M644
31.86
31.86 search
31.86 run=5 nbConstraintChecks=1591895 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=727
31.86 nbFailedAssignments=482 nbBacktracks=205 nbVisitedNodes=1415 nbRestartNogoods=33
31.86 => wckTime=0.563 cpuTime=0.51 mem=16M644
32.15
32.15 search
32.15 run=6 nbConstraintChecks=2561765 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1157
32.15 nbFailedAssignments=792 nbBacktracks=318 nbVisitedNodes=2268 nbRestartNogoods=40
32.15 => wckTime=0.852 cpuTime=0.79 mem=16M644
32.58
32.58 search
32.58 run=7 nbConstraintChecks=4025187 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1790
32.58 nbFailedAssignments=1248 nbBacktracks=488 nbVisitedNodes=3527 nbRestartNogoods=50
32.58 => wckTime=1.29 cpuTime=1.21 mem=16M644
33.21
33.21 search
33.21 run=8 nbConstraintChecks=6164049 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2723
33.21 nbFailedAssignments=1918 nbBacktracks=744 nbVisitedNodes=5386 nbRestartNogoods=65
33.22 => wckTime=1.921 cpuTime=1.83 mem=16M644
34.02
34.02 search
34.02 run=9 nbConstraintChecks=8819550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3912
34.02 nbFailedAssignments=2716 nbBacktracks=1130 nbVisitedNodes=7759 nbRestartNogoods=75
34.02 => wckTime=2.731 cpuTime=2.63 mem=16M644
35.65
35.65 search
35.65 run=10 nbConstraintChecks=14136296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6258
35.65 nbFailedAssignments=4480 nbBacktracks=1706 nbVisitedNodes=12445 nbRestartNogoods=88
35.65 => wckTime=4.361 cpuTime=4.25 mem=16M644
37.78
37.78 search
37.78 run=11 nbConstraintChecks=21153680 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9402
37.78 nbFailedAssignments=6752 nbBacktracks=2571 nbVisitedNodes=18726 nbRestartNogoods=112
37.78 => wckTime=6.49 cpuTime=6.36 mem=16M644
40.95
40.95 search
40.95 run=12 nbConstraintChecks=32041893 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14051
40.95 nbFailedAssignments=10099 nbBacktracks=3868 nbVisitedNodes=28019 nbRestartNogoods=126
40.95 => wckTime=9.661 cpuTime=9.5 mem=16M644
45.21
45.21 search
45.21 run=13 nbConstraintChecks=46687517 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20188
45.21 nbFailedAssignments=14283 nbBacktracks=5814 nbVisitedNodes=40271 nbRestartNogoods=138
45.21 => wckTime=13.915 cpuTime=13.72 mem=16M644
51.13
51.13 search
51.13 run=14 nbConstraintChecks=66744988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28608
51.13 nbFailedAssignments=19778 nbBacktracks=8733 nbVisitedNodes=57031 nbRestartNogoods=149
51.14 => wckTime=19.842 cpuTime=19.59 mem=16M644
59.33
59.33 search
59.33 run=15 nbConstraintChecks=94237680 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40146
59.33 nbFailedAssignments=26932 nbBacktracks=13111 nbVisitedNodes=79681 nbRestartNogoods=160
59.33 => wckTime=28.033 cpuTime=27.71 mem=16M644
71.42
71.42 search
71.42 run=16 nbConstraintChecks=133034089 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56435
71.42 nbFailedAssignments=36646 nbBacktracks=19679 nbVisitedNodes=111245 nbRestartNogoods=170
71.43 => wckTime=40.131 cpuTime=39.71 mem=16M644
87.70
87.70 search
87.70 run=17 nbConstraintChecks=184654033 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78229
87.70 nbFailedAssignments=48581 nbBacktracks=29531 nbVisitedNodes=153124 nbRestartNogoods=189
87.70 => wckTime=56.411 cpuTime=55.85 mem=16M644
111.23
111.23 search
111.23 run=18 nbConstraintChecks=260972443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110555
111.23 nbFailedAssignments=66124 nbBacktracks=44309 nbVisitedNodes=215370 nbRestartNogoods=204
111.23 => wckTime=79.94 cpuTime=79.19 mem=16M644
147.49
147.49 search
147.49 run=19 nbConstraintChecks=375639819 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=159144
147.49 nbFailedAssignments=92539 nbBacktracks=66477 nbVisitedNodes=309048 nbRestartNogoods=214
147.49 => wckTime=116.194 cpuTime=115.14 mem=16M644
200.91
200.91 search
200.91 run=20 nbConstraintChecks=544627190 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=231373
200.91 nbFailedAssignments=131513 nbBacktracks=99729 nbVisitedNodes=448111 nbRestartNogoods=238
200.91 => wckTime=169.619 cpuTime=168.12 mem=16M644
280.07
280.07 search
280.07 run=21 nbConstraintChecks=796599542 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=338923
280.07 nbFailedAssignments=189179 nbBacktracks=149607 nbVisitedNodes=654994 nbRestartNogoods=247
280.07 => wckTime=248.778 cpuTime=246.58 mem=16M644
327.77
327.77 search
327.77 run=22 nbConstraintChecks=950386898 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=403885
327.77 nbFailedAssignments=224399 nbBacktracks=179350 nbVisitedNodes=780009 nbRestartNogoods=256
327.77 => wckTime=296.48 cpuTime=293.88 mem=16M644
327.77
327.77 global
327.77 nbConstraintChecks=950386898 nbRestartNogoods=256 solvingWckTime=296.481 solvingCpuTime=293.89 expiredTime=no
327.77 totalExploration=yes nbFoundSolutions=0 globalCpuTime=324.46
327.77 => wckTime=327.437 cpuTime=324.4 mem=16M644
327.78
327.78 s OPTIMUM FOUND
327.78 v 4 9 6 4 4 0 6 2 7 1 6 7 1 8 0 2 6 4 4 5 5 9 4 7 0
327.78
327.78 totalWckTime=327.516 totalCpuTime=324.46
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-281270-1169310880 -o ROOT/results/node7/solver-281270-1169310880 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281270-1169310880/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.98 1.99 4/87 30468
/proc/meminfo: memFree=1232976/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=18540 CPUtime=0
/proc/30467/stat : 30467 (runsolver) R 30465 30467 30251 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279483550 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30467/statm: 4635 279 244 17 0 2626 0
[startup+0.108123 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 30468
/proc/meminfo: memFree=1232976/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=911488 CPUtime=0.06
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 2609 0 1 0 5 1 0 0 20 0 8 0 279483550 933363712 2356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153930864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 227872 2356 1277 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.516164 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 30468
/proc/meminfo: memFree=1232976/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915332 CPUtime=0.47
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 6284 0 1 0 43 4 0 0 18 0 8 0 279483550 937299968 6023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228833 6023 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33725 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 30475
/proc/meminfo: memFree=1213912/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915464 CPUtime=1.28
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 7426 0 1 0 109 19 0 0 25 0 8 0 279483550 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735810 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228866 7164 2476 14 0 215336 0
[pid=30467/tid=30469] ppid=30465 vsize=915464 CPUtime=0.02
/proc/30467/task/30469/stat : 30469 (java) S 30465 30467 30251 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279483554 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 30251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279483554 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 30251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279483554 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 30251 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279483560 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=915464 CPUtime=0.14
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 30251 0 -1 64 346 0 0 0 14 0 0 0 16 0 8 0 279483560 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279483560 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279483560 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915464
[startup+2.97442 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 30475
/proc/meminfo: memFree=1213912/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915464 CPUtime=2.91
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 7430 0 1 0 238 53 0 0 25 0 8 0 279483550 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228866 7167 2476 14 0 215336 0
[pid=30467/tid=30469] ppid=30465 vsize=915464 CPUtime=0.02
/proc/30467/task/30469/stat : 30469 (java) S 30465 30467 30251 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 30251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 30251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 30251 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=915464 CPUtime=0.15
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 30251 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915464
[startup+6.27576 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 30475
/proc/meminfo: memFree=1213848/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915464 CPUtime=6.17
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 7430 0 1 0 498 119 0 0 25 0 8 0 279483550 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10837635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228866 7167 2476 14 0 215336 0
[pid=30467/tid=30469] ppid=30465 vsize=915464 CPUtime=0.02
/proc/30467/task/30469/stat : 30469 (java) S 30465 30467 30251 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 30251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 30251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 30251 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=915464 CPUtime=0.15
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 30251 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915464
[startup+12.7434 s]
/proc/loadavg: 1.94 1.98 1.99 3/94 30475
/proc/meminfo: memFree=1213848/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915464 CPUtime=12.6
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 7430 0 1 0 1011 249 0 0 25 0 8 0 279483550 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228866 7167 2476 14 0 215336 0
[pid=30467/tid=30469] ppid=30465 vsize=915464 CPUtime=0.02
/proc/30467/task/30469/stat : 30469 (java) S 30465 30467 30251 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 30251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 30251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 30251 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=915464 CPUtime=0.15
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 30251 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464
[startup+25.6088 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 30475
/proc/meminfo: memFree=1213848/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915464 CPUtime=25.35
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 7430 0 1 0 2021 514 0 0 25 0 8 0 279483550 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228866 7167 2476 14 0 215336 0
[pid=30467/tid=30469] ppid=30465 vsize=915464 CPUtime=0.02
/proc/30467/task/30469/stat : 30469 (java) S 30465 30467 30251 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 30251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 30251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279483554 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 30251 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=915464 CPUtime=0.15
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 30251 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279483560 937435136 7167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464
[startup+51.2165 s]
/proc/loadavg: 1.97 1.98 1.99 3/94 30475
/proc/meminfo: memFree=1207512/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915464 CPUtime=50.73
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 9082 0 1 0 4445 628 0 0 25 0 8 0 279483550 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839790 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228866 8812 2527 14 0 215336 0
[pid=30467/tid=30469] ppid=30465 vsize=915464 CPUtime=0.02
/proc/30467/task/30469/stat : 30469 (java) S 30465 30467 30251 0 -1 64 199 0 0 0 2 0 0 0 17 0 8 0 279483554 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 30251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279483554 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 30251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279483554 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 30251 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279483560 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=915464 CPUtime=0.25
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 30251 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 279483560 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279483560 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279483560 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915464
[startup+102.428 s]
/proc/loadavg: 2.02 2.00 2.00 3/94 30475
/proc/meminfo: memFree=1207448/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915464 CPUtime=101.52
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 9091 0 1 0 9524 628 0 0 25 0 8 0 279483550 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228866 8820 2527 14 0 215336 0
[pid=30467/tid=30469] ppid=30465 vsize=915464 CPUtime=0.02
/proc/30467/task/30469/stat : 30469 (java) S 30465 30467 30251 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279483554 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 30251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279483554 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 30251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279483554 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 30251 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279483560 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=915464 CPUtime=0.25
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 30251 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 279483560 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279483560 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279483560 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915464
[startup+162.483 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 30475
/proc/meminfo: memFree=1207448/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915464 CPUtime=161.08
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 9095 0 1 0 15479 629 0 0 25 0 8 0 279483550 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073901750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228866 8824 2527 14 0 215336 0
[pid=30467/tid=30469] ppid=30465 vsize=915464 CPUtime=0.02
/proc/30467/task/30469/stat : 30469 (java) S 30465 30467 30251 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279483554 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 30251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279483554 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 30251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279483554 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 30251 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279483560 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=915464 CPUtime=0.25
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 30251 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 279483560 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279483560 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279483560 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.08
Current children cumulated vsize (KiB) 915464
[startup+222.556 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 30475
/proc/meminfo: memFree=1207448/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915464 CPUtime=220.65
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 9098 0 1 0 21435 630 0 0 25 0 8 0 279483550 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228866 8827 2527 14 0 215336 0
[pid=30467/tid=30469] ppid=30465 vsize=915464 CPUtime=0.02
/proc/30467/task/30469/stat : 30469 (java) S 30465 30467 30251 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279483554 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 30251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279483554 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 30251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279483554 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 30251 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279483560 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=915464 CPUtime=0.25
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 30251 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 279483560 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279483560 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279483560 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.65
Current children cumulated vsize (KiB) 915464
[startup+282.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 30475
/proc/meminfo: memFree=1207448/2055920 swapFree=4192812/4192956
[pid=30467] ppid=30465 vsize=915464 CPUtime=280.16
/proc/30467/stat : 30467 (java) R 30465 30467 30251 0 -1 0 9100 0 1 0 27386 630 0 0 25 0 8 0 279483550 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857210 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 228866 8829 2527 14 0 215336 0
[pid=30467/tid=30469] ppid=30465 vsize=915464 CPUtime=0.02
/proc/30467/task/30469/stat : 30469 (java) S 30465 30467 30251 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279483554 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 30251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279483554 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 30251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279483554 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 30251 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279483560 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=915464 CPUtime=0.25
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 30251 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 279483560 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279483560 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=915464 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 30251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279483560 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.16
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 327.796
CPU time (s): 324.976
CPU user time (s): 318.662
CPU system time (s): 6.31404
CPU usage (%): 99.1395
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 318.662
system time used= 6.31404
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9196
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= 7824
involuntary context switches= 14186
runsolver used 0.460929 s user time and 1.01085 s system time
The end
Begin job on node7 on Sat Jan 20 16:34:41 UTC 2007
IDJOB= 281270
IDBENCH= 12131
IDSOLVER= 69
FILE ID= node7/281270-1169310880
PBS_JOBID= 3609974
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeLoose/vcsp-25-10-100-18-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281270-1169310880/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-281270-1169310880 -o ROOT/results/node7/solver-281270-1169310880 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281270-1169310880/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2d8a774f89b314159d70f35bdfdf6a49
RANDOM SEED= 585101314
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.220
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.220
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: 1233456 kB
Buffers: 56296 kB
Cached: 535372 kB
SwapCached: 0 kB
Active: 309440 kB
Inactive: 430300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1233456 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1848 kB
Writeback: 0 kB
Mapped: 168256 kB
Slab: 67308 kB
Committed_AS: 9167640 kB
PageTables: 2536 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= 66561 MiB
End job on node7 on Sat Jan 20 16:40:09 UTC 2007