0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278489-1169288428/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.088 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.40
0.40 constraints being loaded...
0.54 nbConstraints=700 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=686
0.54 nbConflictsStructures=14 nbSharedConflictsStructures=686 nbSharedBinaryRepresentations=52 maxDegree=38
0.54 maxArity=2
0.54 => wckTime=0.245 cpuTime=0.18 mem=8M860
0.59
0.59 solver LocalSearchSolver being built...
0.62 => wckTime=0.323 cpuTime=0.22 mem=5M712
0.63
0.63 s SATISFIABLE
0.63 o 338
0.63 c 362
0.63 o 347
0.63 c 353
0.63 o 353
0.63 c 347
0.63 o 361
0.63 c 339
0.63 o 367
0.63 c 333
0.63 o 372
0.63 c 328
0.63 o 381
0.63 c 319
0.63 o 383
0.63 c 317
0.63 o 392
0.64 c 308
0.64 o 394
0.64 c 306
0.64 o 396
0.64 c 304
0.64 o 400
0.64 c 300
0.64 o 401
0.64 c 299
0.64 o 402
0.64 c 298
0.64 o 406
0.64 c 294
0.64 o 407
0.64 c 293
0.64 o 411
0.64 c 289
0.64 o 413
0.64 c 287
0.68 o 414
0.68 c 286
0.68 o 420
0.68 c 280
0.79 o 422
0.79 c 278
1.02 o 424
1.02 c 276
1.03 o 425
1.03 c 275
1.94 o 426
1.94 c 274
3.02
3.02 search
3.02 run=0 nbConstraintChecks=11627106 nbAssignments=10000
3.02 => wckTime=2.4 cpuTime=2.38 mem=5M712
5.36
5.36 search
5.36 run=1 nbConstraintChecks=23343559 nbAssignments=20000
5.36 => wckTime=4.743 cpuTime=4.71 mem=5M712
7.67
7.67 search
7.67 run=2 nbConstraintChecks=34962441 nbAssignments=30000
7.67 => wckTime=7.046 cpuTime=7.01 mem=5M712
9.98
9.98 search
9.98 run=3 nbConstraintChecks=46684543 nbAssignments=40000
9.98 => wckTime=9.363 cpuTime=9.32 mem=5M712
12.27
12.27 search
12.27 run=4 nbConstraintChecks=58307963 nbAssignments=50000
12.27 => wckTime=11.646 cpuTime=11.61 mem=5M712
14.57
14.57 search
14.57 run=5 nbConstraintChecks=70023172 nbAssignments=60000
14.57 => wckTime=13.944 cpuTime=13.91 mem=5M712
16.85
16.85 search
16.85 run=6 nbConstraintChecks=81644688 nbAssignments=70000
16.85 => wckTime=16.226 cpuTime=16.19 mem=5M712
19.22
19.22 search
19.22 run=7 nbConstraintChecks=93364617 nbAssignments=80000
19.22 => wckTime=18.597 cpuTime=18.55 mem=5M712
21.52
21.52 search
21.52 run=8 nbConstraintChecks=104991156 nbAssignments=90000
21.52 => wckTime=20.9 cpuTime=20.86 mem=5M712
23.84
23.84 search
23.84 run=9 nbConstraintChecks=116722637 nbAssignments=100000
23.84 => wckTime=23.218 cpuTime=23.18 mem=5M712
26.14
26.14 search
26.14 run=10 nbConstraintChecks=128349515 nbAssignments=110000
26.14 => wckTime=25.522 cpuTime=25.47 mem=5M712
28.46
28.46 search
28.46 run=11 nbConstraintChecks=140069329 nbAssignments=120000
28.46 => wckTime=27.839 cpuTime=27.79 mem=5M712
30.75
30.75 search
30.75 run=12 nbConstraintChecks=151697022 nbAssignments=130000
30.75 => wckTime=30.133 cpuTime=30.09 mem=5M712
31.98
31.98 search
31.98 run=13 nbConstraintChecks=157928016 nbAssignments=135321
31.98 => wckTime=31.355 cpuTime=31.31 mem=5M712
31.98
31.98 global
31.98 nbConstraintChecks=157928016 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.98 solvingWckTime=31.354 solvingCpuTime=31.31 expiredTime=no totalExploration=no nbFoundSolutions=0
31.98 globalCpuTime=31.57
31.98 => wckTime=31.679 cpuTime=31.53 mem=5M712
31.98
31.98 solver IterativeSystematicSolver being built...
32.12 => wckTime=31.816 cpuTime=31.64 mem=16M831
32.13
32.13 preprocessing
32.13 nbConstraintChecks=1194 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.13 detectedInconsistency=no
32.13 => wckTime=0.01 cpuTime=0.01 mem=16M831
32.18
32.18 search
32.18 run=0 nbConstraintChecks=61202 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34
32.19 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0
32.19 => wckTime=0.066 cpuTime=0.04 mem=16M831
32.21 o 428
32.21 c 272
32.23
32.23 search
32.23 run=1 nbConstraintChecks=121269 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77
32.23 nbFailedAssignments=7 nbBacktracks=28 nbVisitedNodes=105 nbRestartNogoods=1
32.23 => wckTime=0.109 cpuTime=0.07 mem=16M831
32.27
32.27 search
32.27 run=2 nbConstraintChecks=226529 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=127
32.27 nbFailedAssignments=17 nbBacktracks=52 nbVisitedNodes=189 nbRestartNogoods=2
32.27 => wckTime=0.152 cpuTime=0.11 mem=16M831
32.33
32.33 search
32.33 run=3 nbConstraintChecks=374537 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=194
32.33 nbFailedAssignments=31 nbBacktracks=87 nbVisitedNodes=305 nbRestartNogoods=3
32.33 => wckTime=0.213 cpuTime=0.17 mem=16M831
32.41
32.41 search
32.41 run=4 nbConstraintChecks=582444 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=290
32.41 nbFailedAssignments=59 nbBacktracks=138 nbVisitedNodes=480 nbRestartNogoods=5
32.41 => wckTime=0.297 cpuTime=0.26 mem=16M831
32.53
32.53 search
32.53 run=5 nbConstraintChecks=886207 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=420
32.53 nbFailedAssignments=99 nbBacktracks=214 nbVisitedNodes=726 nbRestartNogoods=7
32.53 => wckTime=0.415 cpuTime=0.37 mem=16M831
32.71
32.71 search
32.71 run=6 nbConstraintChecks=1352242 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=612
32.71 nbFailedAssignments=161 nbBacktracks=329 nbVisitedNodes=1095 nbRestartNogoods=10
32.71 => wckTime=0.597 cpuTime=0.56 mem=16M831
32.96
32.96 search
32.96 run=7 nbConstraintChecks=2014853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=881
32.96 nbFailedAssignments=246 nbBacktracks=499 nbVisitedNodes=1619 nbRestartNogoods=13
32.97 => wckTime=0.847 cpuTime=0.8 mem=16M831
33.35
33.35 search
33.35 run=8 nbConstraintChecks=3062195 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1294
33.35 nbFailedAssignments=388 nbBacktracks=755 nbVisitedNodes=2430 nbRestartNogoods=17
33.35 => wckTime=1.231 cpuTime=1.18 mem=16M831
33.94
33.94 search
33.94 run=9 nbConstraintChecks=4534554 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1883
33.95 nbFailedAssignments=579 nbBacktracks=1139 nbVisitedNodes=3594 nbRestartNogoods=21
33.95 => wckTime=1.828 cpuTime=1.75 mem=16M831
34.91
34.91 search
34.91 run=10 nbConstraintChecks=6954477 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2823
34.91 nbFailedAssignments=927 nbBacktracks=1715 nbVisitedNodes=5458 nbRestartNogoods=25
34.91 => wckTime=2.791 cpuTime=2.71 mem=16M831
36.33
36.33 search
36.33 run=11 nbConstraintChecks=10618695 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4237
36.33 nbFailedAssignments=1461 nbBacktracks=2579 nbVisitedNodes=8270 nbRestartNogoods=27
36.33 => wckTime=4.215 cpuTime=4.13 mem=16M831
38.37
38.37 search
38.37 run=12 nbConstraintChecks=15999826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6328
38.37 nbFailedAssignments=2238 nbBacktracks=3876 nbVisitedNodes=12435 nbRestartNogoods=31
38.37 => wckTime=6.256 cpuTime=6.17 mem=16M831
41.35
41.35 search
41.35 run=13 nbConstraintChecks=24073302 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9449
41.35 nbFailedAssignments=3400 nbBacktracks=5824 nbVisitedNodes=18666 nbRestartNogoods=35
41.35 => wckTime=9.236 cpuTime=9.15 mem=16M831
46.15
46.15 search
46.16 run=14 nbConstraintChecks=36521535 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14287
46.16 nbFailedAssignments=5303 nbBacktracks=8745 nbVisitedNodes=28328 nbRestartNogoods=40
46.16 => wckTime=14.038 cpuTime=13.94 mem=16M831
52.57
52.57 search
52.57 run=15 nbConstraintChecks=53761440 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21045
52.57 nbFailedAssignments=7669 nbBacktracks=13123 nbVisitedNodes=41830 nbRestartNogoods=44
52.57 => wckTime=20.457 cpuTime=20.36 mem=16M831
63.40
63.40 search
63.40 run=16 nbConstraintChecks=81872805 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31832
63.40 nbFailedAssignments=11876 nbBacktracks=19693 nbVisitedNodes=63393 nbRestartNogoods=49
63.40 => wckTime=31.286 cpuTime=31.18 mem=16M831
78.99
78.99 search
78.99 run=17 nbConstraintChecks=123591302 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48011
78.99 nbFailedAssignments=18193 nbBacktracks=29545 nbVisitedNodes=95740 nbRestartNogoods=56
78.99 => wckTime=46.87 cpuTime=46.76 mem=16M831
102.48
102.48 search
102.48 run=18 nbConstraintChecks=183972401 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71304
102.48 nbFailedAssignments=26693 nbBacktracks=44323 nbVisitedNodes=142308 nbRestartNogoods=62
102.48 => wckTime=70.359 cpuTime=70.23 mem=16M831
138.67
138.67 search
138.67 run=19 nbConstraintChecks=278226793 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=108300
138.67 nbFailedAssignments=41504 nbBacktracks=66491 nbVisitedNodes=216283 nbRestartNogoods=68
138.67 => wckTime=106.555 cpuTime=106.4 mem=16M831
194.75
194.75 search
194.75 run=20 nbConstraintChecks=422093932 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=162872
194.75 nbFailedAssignments=62818 nbBacktracks=99743 nbVisitedNodes=325346 nbRestartNogoods=72
194.75 => wckTime=162.632 cpuTime=162.45 mem=16M831
280.55
280.55 search
280.55 run=21 nbConstraintChecks=641074984 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=246613
280.55 nbFailedAssignments=96672 nbBacktracks=149622 nbVisitedNodes=492724 nbRestartNogoods=80
280.55 => wckTime=248.43 cpuTime=248.2 mem=16M831
401.11
401.11 search
401.11 run=22 nbConstraintChecks=952165856 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=365468
401.11 nbFailedAssignments=144219 nbBacktracks=220931 nbVisitedNodes=730229 nbRestartNogoods=87
401.11 => wckTime=368.997 cpuTime=368.68 mem=16M831
401.11
401.11 global
401.11 nbConstraintChecks=952167050 nbRestartNogoods=87 solvingWckTime=368.997 solvingCpuTime=368.68 expiredTime=no
401.11 totalExploration=yes nbFoundSolutions=1 globalCpuTime=400.36
401.11 => wckTime=400.815 cpuTime=400.32 mem=16M831
401.12
401.12 s OPTIMUM FOUND
401.12 v 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0
401.12
401.12 totalWckTime=400.89 totalCpuTime=400.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-278489-1169288428 -o ROOT/results/node18/solver-278489-1169288428 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278489-1169288428/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: 0.92 1.06 1.37 3/78 14387
/proc/meminfo: memFree=1301088/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=1784 CPUtime=0
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 152 0 0 0 0 0 0 0 19 0 1 0 277237516 1826816 124 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134533553 0 0 4096 0 0 0 0 17 1 0 0
/proc/14386/statm: 446 133 99 14 0 91 0
[startup+0.105051 s]
/proc/loadavg: 0.92 1.06 1.37 3/78 14387
/proc/meminfo: memFree=1301088/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=914988 CPUtime=0.08
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 3019 0 1 0 7 1 0 0 17 0 8 0 277237516 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153801667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14386/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513091 s]
/proc/loadavg: 0.92 1.06 1.37 3/78 14387
/proc/meminfo: memFree=1301088/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915332 CPUtime=0.49
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 6542 0 1 0 46 3 0 0 16 0 8 0 277237516 937299968 6281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14386/statm: 228833 6281 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33616 s]
/proc/loadavg: 0.92 1.06 1.37 2/85 14394
/proc/meminfo: memFree=1282600/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=1.31
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 7292 0 1 0 116 15 0 0 17 0 8 0 277237516 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 7030 2476 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.13
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98132 s]
/proc/loadavg: 0.92 1.06 1.37 2/85 14394
/proc/meminfo: memFree=1282536/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=2.96
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 7293 0 1 0 253 43 0 0 18 0 8 0 277237516 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8323449 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 7030 2476 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915464 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937435136 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.13
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.25964 s]
/proc/loadavg: 0.93 1.06 1.37 2/85 14394
/proc/meminfo: memFree=1282472/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=6.23
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 7295 0 1 0 524 99 0 0 22 0 8 0 277237516 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 7032 2476 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915464 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937435136 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.13
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 343 0 0 0 13 0 0 0 17 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7423 s]
/proc/loadavg: 0.93 1.06 1.37 2/85 14394
/proc/meminfo: memFree=1282488/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=12.71
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 7295 0 1 0 1070 201 0 0 25 0 8 0 277237516 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 7032 2476 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.13
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460
[startup+25.5855 s]
/proc/loadavg: 0.95 1.05 1.36 2/85 14394
/proc/meminfo: memFree=1282488/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=25.55
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 7295 0 1 0 2144 411 0 0 25 0 8 0 277237516 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 7032 2476 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.13
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915460
[startup+51.283 s]
/proc/loadavg: 0.96 1.05 1.35 2/85 14396
/proc/meminfo: memFree=1275128/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=51.21
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9188 0 1 0 4605 516 0 0 25 0 8 0 277237516 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073719738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8921 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 402 0 0 0 23 0 0 0 16 0 8 0 277237524 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915460
[startup+102.567 s]
/proc/loadavg: 0.98 1.04 1.33 2/85 14396
/proc/meminfo: memFree=1275192/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=102.48
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9199 0 1 0 9731 517 0 0 25 0 8 0 277237516 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828685 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8931 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 403 0 0 0 23 0 0 0 16 0 8 0 277237524 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 915460
[startup+162.59 s]
/proc/loadavg: 0.99 1.03 1.31 2/85 14396
/proc/meminfo: memFree=1275128/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=162.46
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9201 0 1 0 15729 517 0 0 25 0 8 0 277237516 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8933 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 403 0 0 0 23 0 0 0 15 0 8 0 277237524 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.46
Current children cumulated vsize (KiB) 915460
[startup+222.613 s]
/proc/loadavg: 0.99 1.02 1.29 2/85 14396
/proc/meminfo: memFree=1275192/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=222.45
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9205 0 1 0 21728 517 0 0 25 0 8 0 277237516 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8936 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 403 0 0 0 23 0 0 0 15 0 8 0 277237524 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.45
Current children cumulated vsize (KiB) 915460
[startup+282.634 s]
/proc/loadavg: 1.07 1.03 1.27 2/85 14396
/proc/meminfo: memFree=1275128/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=282.44
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9207 0 1 0 27727 517 0 0 25 0 8 0 277237516 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700006 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8938 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 403 0 0 0 23 0 0 0 15 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.44
Current children cumulated vsize (KiB) 915460
[startup+342.661 s]
/proc/loadavg: 1.03 1.03 1.25 2/85 14396
/proc/meminfo: memFree=1275128/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=342.41
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9207 0 1 0 33724 517 0 0 25 0 8 0 277237516 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8938 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 403 0 0 0 23 0 0 0 15 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.41
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 401.161
CPU time (s): 400.857
CPU user time (s): 395.677
CPU system time (s): 5.18021
CPU usage (%): 99.9242
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 395.677
system time used= 5.18021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9304
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= 9044
involuntary context switches= 17296
runsolver used 0.437933 s user time and 0.997848 s system time
The end
Begin job on node18 on Sat Jan 20 10:20:28 UTC 2007
IDJOB= 278489
IDBENCH= 8449
IDSOLVER= 69
FILE ID= node18/278489-1169288428
PBS_JOBID= 3609540
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-2200-970321_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278489-1169288428/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-278489-1169288428 -o ROOT/results/node18/solver-278489-1169288428 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278489-1169288428/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3b936b9423c4c588895e36b33a8088ef
RANDOM SEED= 36213269
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: 1301504 kB
Buffers: 53412 kB
Cached: 566340 kB
SwapCached: 0 kB
Active: 246684 kB
Inactive: 428516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1301504 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1700 kB
Writeback: 0 kB
Mapped: 74444 kB
Slab: 64800 kB
Committed_AS: 8688464 kB
PageTables: 1720 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= 66563 MiB
End job on node18 on Sat Jan 20 10:27:09 UTC 2007