0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/278480-1169288246/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.38 => wckTime=0.086 cpuTime=0.09 mem=6M910
0.38
0.38 relations being loaded...
0.39
0.39 constraints being loaded...
0.54 nbConstraints=661 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=647
0.54 nbConflictsStructures=14 nbSharedConflictsStructures=647 nbSharedBinaryRepresentations=52 maxDegree=37
0.54 maxArity=2
0.54 => wckTime=0.247 cpuTime=0.17 mem=8M860
0.58
0.58 solver LocalSearchSolver being built...
0.62 => wckTime=0.324 cpuTime=0.21 mem=5M692
0.62
0.62 s SATISFIABLE
0.62 o 323
0.62 c 338
0.62 o 331
0.62 c 330
0.63 o 337
0.63 c 324
0.63 o 344
0.63 c 317
0.63 o 346
0.63 c 315
0.63 o 347
0.63 c 314
0.63 o 351
0.63 c 310
0.63 o 354
0.63 c 307
0.63 o 357
0.63 c 304
0.63 o 358
0.63 c 303
0.63 o 360
0.63 c 301
0.63 o 364
0.63 c 297
0.66 o 365
0.66 c 296
0.67 o 368
0.67 c 293
0.67 o 369
0.67 c 292
0.67 o 374
0.67 c 287
0.67 o 375
0.67 c 286
0.71 o 376
0.71 c 285
0.76 o 377
0.76 c 284
0.76 o 379
0.76 c 282
0.92 o 381
0.92 c 280
2.93
2.93 search
2.93 run=0 nbConstraintChecks=11198034 nbAssignments=10000
2.93 => wckTime=2.319 cpuTime=2.29 mem=5M692
5.18
5.18 search
5.18 run=1 nbConstraintChecks=22463096 nbAssignments=20000
5.18 => wckTime=4.567 cpuTime=4.51 mem=5M692
7.44
7.44 search
7.44 run=2 nbConstraintChecks=33654897 nbAssignments=30000
7.44 => wckTime=6.826 cpuTime=6.74 mem=5M692
9.69
9.69 search
9.69 run=3 nbConstraintChecks=44937754 nbAssignments=40000
9.69 => wckTime=9.079 cpuTime=8.97 mem=5M692
11.93
11.93 search
11.93 run=4 nbConstraintChecks=56132548 nbAssignments=50000
11.93 => wckTime=11.317 cpuTime=11.19 mem=5M692
14.20
14.20 search
14.20 run=5 nbConstraintChecks=67403426 nbAssignments=60000
14.20 => wckTime=13.585 cpuTime=13.45 mem=5M692
16.46
16.46 search
16.46 run=6 nbConstraintChecks=78604334 nbAssignments=70000
16.46 => wckTime=15.843 cpuTime=15.68 mem=5M692
18.73
18.73 search
18.73 run=7 nbConstraintChecks=89881912 nbAssignments=80000
18.73 => wckTime=18.112 cpuTime=17.94 mem=5M692
21.00
21.00 search
21.00 run=8 nbConstraintChecks=101075553 nbAssignments=90000
21.00 => wckTime=20.381 cpuTime=20.18 mem=5M692
23.25
23.25 search
23.25 run=9 nbConstraintChecks=112341302 nbAssignments=100000
23.25 => wckTime=22.639 cpuTime=22.42 mem=5M692
25.50
25.50 search
25.50 run=10 nbConstraintChecks=123540986 nbAssignments=110000
25.50 => wckTime=24.884 cpuTime=24.65 mem=5M692
27.75
27.75 search
27.75 run=11 nbConstraintChecks=134807856 nbAssignments=120000
27.75 => wckTime=27.135 cpuTime=26.88 mem=5M692
29.99
29.99 search
29.99 run=12 nbConstraintChecks=145999488 nbAssignments=130000
29.99 => wckTime=29.371 cpuTime=29.1 mem=5M692
31.20
31.20 search
31.20 run=13 nbConstraintChecks=152094156 nbAssignments=135415
31.20 => wckTime=30.584 cpuTime=30.31 mem=5M692
31.20
31.20 global
31.20 nbConstraintChecks=152094156 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.20 solvingWckTime=30.583 solvingCpuTime=30.31 expiredTime=no totalExploration=no nbFoundSolutions=0
31.20 globalCpuTime=30.56
31.20 => wckTime=30.909 cpuTime=30.52 mem=5M692
31.20
31.20 solver IterativeSystematicSolver being built...
31.33 => wckTime=31.042 cpuTime=30.62 mem=16M811
31.35
31.35 preprocessing
31.35 nbConstraintChecks=1338 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.35 detectedInconsistency=no
31.35 => wckTime=0.011 cpuTime=0.01 mem=16M811
31.40
31.40 search
31.40 run=0 nbConstraintChecks=59008 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33
31.40 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=49 nbRestartNogoods=0
31.40 => wckTime=0.066 cpuTime=0.04 mem=16M811
31.45
31.45 search
31.45 run=1 nbConstraintChecks=142679 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76
31.45 nbFailedAssignments=13 nbBacktracks=27 nbVisitedNodes=117 nbRestartNogoods=1
31.45 => wckTime=0.119 cpuTime=0.08 mem=16M811
31.50
31.50 search
31.50 run=2 nbConstraintChecks=255163 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131
31.50 nbFailedAssignments=27 nbBacktracks=49 nbVisitedNodes=208 nbRestartNogoods=3
31.50 => wckTime=0.162 cpuTime=0.12 mem=16M811
31.55
31.55 search
31.55 run=3 nbConstraintChecks=405604 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=201
31.55 nbFailedAssignments=44 nbBacktracks=84 nbVisitedNodes=330 nbRestartNogoods=5
31.55 => wckTime=0.219 cpuTime=0.18 mem=16M811
31.64
31.64 search
31.64 run=4 nbConstraintChecks=627550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=298
31.64 nbFailedAssignments=71 nbBacktracks=138 nbVisitedNodes=508 nbRestartNogoods=7
31.64 => wckTime=0.301 cpuTime=0.26 mem=16M811
31.75
31.75 search
31.75 run=5 nbConstraintChecks=946426 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=445
31.75 nbFailedAssignments=124 nbBacktracks=213 nbVisitedNodes=783 nbRestartNogoods=10
31.75 => wckTime=0.42 cpuTime=0.37 mem=16M811
31.93
31.93 search
31.93 run=6 nbConstraintChecks=1405372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=638
31.93 nbFailedAssignments=189 nbBacktracks=326 nbVisitedNodes=1154 nbRestartNogoods=15
31.93 => wckTime=0.591 cpuTime=0.54 mem=16M811
32.20
32.20 search
32.20 run=7 nbConstraintChecks=2129508 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=939
32.20 nbFailedAssignments=300 nbBacktracks=497 nbVisitedNodes=1737 nbRestartNogoods=18
32.20 => wckTime=0.862 cpuTime=0.8 mem=16M811
32.59
32.59 search
32.59 run=8 nbConstraintChecks=3190874 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1373
32.59 nbFailedAssignments=461 nbBacktracks=753 nbVisitedNodes=2588 nbRestartNogoods=21
32.59 => wckTime=1.259 cpuTime=1.2 mem=16M811
33.19
33.19 search
33.19 run=9 nbConstraintChecks=4709833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1990
33.19 nbFailedAssignments=679 nbBacktracks=1137 nbVisitedNodes=3807 nbRestartNogoods=23
33.19 => wckTime=1.854 cpuTime=1.76 mem=16M811
34.09
34.09 search
34.09 run=10 nbConstraintChecks=7065652 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2937
34.09 nbFailedAssignments=1037 nbBacktracks=1713 nbVisitedNodes=5688 nbRestartNogoods=27
34.09 => wckTime=2.752 cpuTime=2.66 mem=16M811
35.47
35.47 search
35.47 run=11 nbConstraintChecks=10676201 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4362
35.47 nbFailedAssignments=1583 nbBacktracks=2577 nbVisitedNodes=8523 nbRestartNogoods=31
35.47 => wckTime=4.133 cpuTime=4.02 mem=16M811
37.41
37.41 search
37.41 run=12 nbConstraintChecks=15871208 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6419
37.41 nbFailedAssignments=2330 nbBacktracks=3875 nbVisitedNodes=12625 nbRestartNogoods=34
37.41 => wckTime=6.079 cpuTime=5.96 mem=16M811
40.41
40.41 search
40.41 run=13 nbConstraintChecks=23679938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9501
40.41 nbFailedAssignments=3447 nbBacktracks=5821 nbVisitedNodes=18770 nbRestartNogoods=38
40.41 => wckTime=9.08 cpuTime=8.93 mem=16M811
44.65
44.65 search
44.65 run=14 nbConstraintChecks=35147534 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14275
44.65 nbFailedAssignments=5288 nbBacktracks=8740 nbVisitedNodes=28304 nbRestartNogoods=41
44.65 => wckTime=13.32 cpuTime=13.14 mem=16M811
51.68
51.68 search
51.68 run=15 nbConstraintChecks=53402716 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21429
51.68 nbFailedAssignments=8050 nbBacktracks=13120 nbVisitedNodes=42600 nbRestartNogoods=47
51.68 => wckTime=20.344 cpuTime=20.11 mem=16M811
62.21
62.21 search
62.21 run=16 nbConstraintChecks=80519333 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32140
62.21 nbFailedAssignments=12179 nbBacktracks=19688 nbVisitedNodes=64008 nbRestartNogoods=54
62.21 => wckTime=30.874 cpuTime=30.55 mem=16M811
77.84
77.84 search
77.84 run=17 nbConstraintChecks=121480507 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48334
77.84 nbFailedAssignments=18510 nbBacktracks=29540 nbVisitedNodes=96381 nbRestartNogoods=59
77.84 => wckTime=46.504 cpuTime=46.05 mem=16M811
102.20
102.20 search
102.20 run=18 nbConstraintChecks=183873452 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72357
102.20 nbFailedAssignments=27746 nbBacktracks=44318 nbVisitedNodes=144412 nbRestartNogoods=66
102.20 => wckTime=70.866 cpuTime=70.2 mem=16M811
139.42
139.42 search
139.42 run=19 nbConstraintChecks=279578742 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109359
139.42 nbFailedAssignments=42565 nbBacktracks=66487 nbVisitedNodes=218336 nbRestartNogoods=76
139.42 => wckTime=108.083 cpuTime=107.13 mem=16M811
196.14
196.14 search
196.14 run=20 nbConstraintChecks=423672694 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=164257
196.14 nbFailedAssignments=64201 nbBacktracks=99739 nbVisitedNodes=327960 nbRestartNogoods=80
196.14 => wckTime=164.806 cpuTime=163.36 mem=16M811
277.33
277.33 search
277.33 run=21 nbConstraintChecks=634220728 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=246622
277.33 nbFailedAssignments=96679 nbBacktracks=149617 nbVisitedNodes=492560 nbRestartNogoods=89
277.33 => wckTime=245.994 cpuTime=243.88 mem=16M811
401.94
401.94 search
401.94 run=22 nbConstraintChecks=958479600 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=372261
401.94 nbFailedAssignments=147920 nbBacktracks=224016 nbVisitedNodes=743245 nbRestartNogoods=98
401.94 => wckTime=370.608 cpuTime=367.48 mem=16M811
401.94
401.94 global
401.94 nbConstraintChecks=958480938 nbRestartNogoods=98 solvingWckTime=370.609 solvingCpuTime=367.48 expiredTime=no
401.94 totalExploration=yes nbFoundSolutions=0 globalCpuTime=398.14
401.94 => wckTime=401.652 cpuTime=398.1 mem=16M811
401.95
401.95 s OPTIMUM FOUND
401.95 v 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1
401.95
401.95 totalWckTime=401.726 totalCpuTime=398.14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-278480-1169288246 -o ROOT/results/node19/solver-278480-1169288246 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278480-1169288246/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.17 1.66 1.87 3/93 21834
/proc/meminfo: memFree=1152008/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=18540 CPUtime=0
/proc/21833/stat : 21833 (runsolver) R 21831 21833 21457 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 277219219 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/21833/statm: 4635 279 244 17 0 2626 0
[startup+0.107461 s]
/proc/loadavg: 1.17 1.66 1.87 3/93 21834
/proc/meminfo: memFree=1152008/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=914988 CPUtime=0.09
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 3067 0 1 0 8 1 0 0 22 0 8 0 277219219 936947712 2813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155171042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228747 2813 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515536 s]
/proc/loadavg: 1.17 1.66 1.87 3/93 21834
/proc/meminfo: memFree=1152008/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915332 CPUtime=0.49
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 6593 0 1 0 46 3 0 0 25 0 8 0 277219219 937299968 6332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073654444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228833 6332 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33669 s]
/proc/loadavg: 1.17 1.66 1.87 3/100 21841
/proc/meminfo: memFree=1133520/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915460 CPUtime=1.31
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 7262 0 1 0 115 16 0 0 25 0 8 0 277219219 937431040 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073716906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228865 7000 2476 14 0 215335 0
[pid=21833/tid=21835] ppid=21831 vsize=915460 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277219222 937431040 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937431040 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937431040 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937431040 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915460 CPUtime=0.12
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 341 0 0 0 12 0 0 0 16 0 8 0 277219226 937431040 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937431040 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937431040 7000 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.974 s]
/proc/loadavg: 1.17 1.66 1.87 3/100 21841
/proc/meminfo: memFree=1133456/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915460 CPUtime=2.93
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 7265 0 1 0 248 45 0 0 25 0 8 0 277219219 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073703022 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228865 7002 2476 14 0 215335 0
[pid=21833/tid=21835] ppid=21831 vsize=915460 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277219222 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915460 CPUtime=0.13
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26961 s]
/proc/loadavg: 1.23 1.66 1.87 3/100 21841
/proc/meminfo: memFree=1133456/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915460 CPUtime=6.2
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 7265 0 1 0 516 104 0 0 25 0 8 0 277219219 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073706333 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228865 7002 2476 14 0 215335 0
[pid=21833/tid=21835] ppid=21831 vsize=915460 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277219222 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915460 CPUtime=0.13
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460
[startup+12.7418 s]
/proc/loadavg: 1.29 1.67 1.87 3/100 21841
/proc/meminfo: memFree=1133480/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915460 CPUtime=12.6
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 7265 0 1 0 1045 215 0 0 25 0 8 0 277219219 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228865 7002 2476 14 0 215335 0
[pid=21833/tid=21835] ppid=21831 vsize=915460 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277219222 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915460 CPUtime=0.13
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937431040 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915460
[startup+25.5963 s]
/proc/loadavg: 1.45 1.68 1.87 3/100 21841
/proc/meminfo: memFree=1133544/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915464 CPUtime=25.35
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 7265 0 1 0 2103 432 0 0 25 0 8 0 277219219 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228866 7002 2476 14 0 215336 0
[pid=21833/tid=21835] ppid=21831 vsize=915464 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277219222 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915464 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915464 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915464 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915464 CPUtime=0.13
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277219226 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915464 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915464 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464
[startup+51.2911 s]
/proc/loadavg: 1.64 1.71 1.87 3/100 21841
/proc/meminfo: memFree=1118824/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915460 CPUtime=50.85
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 9179 0 1 0 4565 520 0 0 25 0 8 0 277219219 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824074 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228865 8913 2527 14 0 215335 0
[pid=21833/tid=21835] ppid=21831 vsize=915460 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219222 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915460 CPUtime=0.23
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277219226 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915460
[startup+102.575 s]
/proc/loadavg: 1.84 1.75 1.88 3/100 21841
/proc/meminfo: memFree=1118760/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915460 CPUtime=101.69
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 9190 0 1 0 9649 520 0 0 25 0 8 0 277219219 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228865 8923 2527 14 0 215335 0
[pid=21833/tid=21835] ppid=21831 vsize=915460 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219222 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915460 CPUtime=0.24
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 277219226 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 915460
[startup+162.598 s]
/proc/loadavg: 1.94 1.79 1.89 3/100 21841
/proc/meminfo: memFree=1118760/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915460 CPUtime=161.21
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 9192 0 1 0 15601 520 0 0 25 0 8 0 277219219 937431040 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228865 8925 2527 14 0 215335 0
[pid=21833/tid=21835] ppid=21831 vsize=915460 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219222 937431040 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937431040 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937431040 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937431040 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915460 CPUtime=0.24
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 277219226 937431040 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937431040 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937431040 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.21
Current children cumulated vsize (KiB) 915460
[startup+222.614 s]
/proc/loadavg: 1.98 1.83 1.89 3/100 21841
/proc/meminfo: memFree=1118696/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915460 CPUtime=220.75
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 9196 0 1 0 21555 520 0 0 25 0 8 0 277219219 937431040 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853539 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228865 8928 2527 14 0 215335 0
[pid=21833/tid=21835] ppid=21831 vsize=915460 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219222 937431040 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937431040 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937431040 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937431040 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915460 CPUtime=0.24
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 277219226 937431040 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937431040 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937431040 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.75
Current children cumulated vsize (KiB) 915460
[startup+282.628 s]
/proc/loadavg: 1.99 1.86 1.90 3/100 21843
/proc/meminfo: memFree=1118568/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915460 CPUtime=280.26
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 9198 0 1 0 27506 520 0 0 25 0 8 0 277219219 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228865 8930 2527 14 0 215335 0
[pid=21833/tid=21835] ppid=21831 vsize=915460 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219222 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915460 CPUtime=0.24
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 277219226 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.26
Current children cumulated vsize (KiB) 915460
[startup+342.657 s]
/proc/loadavg: 1.99 1.88 1.90 3/100 21843
/proc/meminfo: memFree=1118632/2055920 swapFree=4171264/4192956
[pid=21833] ppid=21831 vsize=915460 CPUtime=339.8
/proc/21833/stat : 21833 (java) R 21831 21833 21457 0 -1 0 9198 0 1 0 33459 521 0 0 25 0 8 0 277219219 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21833/statm: 228865 8930 2527 14 0 215335 0
[pid=21833/tid=21835] ppid=21831 vsize=915460 CPUtime=0.02
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21457 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219222 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21457 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277219223 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277219223 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21457 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219226 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=915460 CPUtime=0.24
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21457 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 277219226 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277219226 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=915460 CPUtime=0
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277219226 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.8
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 402.003
CPU time (s): 398.623
CPU user time (s): 393.4
CPU system time (s): 5.22321
CPU usage (%): 99.1594
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.4
system time used= 5.22321
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9296
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= 9296
involuntary context switches= 19986
runsolver used 0.410937 s user time and 1.03384 s system time
The end
Begin job on node19 on Sat Jan 20 10:17:26 UTC 2007
IDJOB= 278480
IDBENCH= 8436
IDSOLVER= 69
FILE ID= node19/278480-1169288246
PBS_JOBID= 3609544
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-2700-598821_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278480-1169288246/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-278480-1169288246 -o ROOT/results/node19/solver-278480-1169288246 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278480-1169288246/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 828d138cfd86692f55053069afa8f92c
RANDOM SEED= 862781768
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.260
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.260
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: 1152488 kB
Buffers: 63296 kB
Cached: 704896 kB
SwapCached: 11088 kB
Active: 363652 kB
Inactive: 459672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1152488 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 3828 kB
Writeback: 0 kB
Mapped: 73980 kB
Slab: 64760 kB
Committed_AS: 8622280 kB
PageTables: 2464 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 node19 on Sat Jan 20 10:24:08 UTC 2007