0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/195118-1168069684/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.107 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.58
0.58 constraints being loaded...
0.72 nbConstraints=477 nbRelationTypes=477 nbExtensionStructures=477 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=477 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2618 maxDegree=28
0.72 maxArity=2
0.72 => wckTime=0.404 cpuTime=0.31 mem=17M695
0.77
0.77 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.604 cpuTime=0.44 mem=15M385
0.93
0.93 preprocessing
0.93 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.93 detectedInconsistency=no
0.94 => wckTime=0.0090 cpuTime=0.01 mem=15M385
0.99
0.99 search
0.99 run=0 nbConstraintChecks=54440 nbPropagations=673 nbRevisions=8001 nbUselessRevisions=6417 nbAssignments=26
0.99 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.06 cpuTime=0.04 mem=15M385
1.01
1.01 search
1.01 run=1 nbConstraintChecks=109635 nbPropagations=1963 nbRevisions=23731 nbUselessRevisions=19029
1.01 nbAssignments=56 nbFailedAssignments=13 nbBacktracks=27 nbVisitedNodes=86 nbRestartNogoods=3 mapSize=19
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.085 cpuTime=0.06 mem=15M385
1.03
1.03 search
1.03 run=2 nbConstraintChecks=202695 nbPropagations=4252 nbRevisions=52984 nbUselessRevisions=42737
1.04 nbAssignments=107 nbFailedAssignments=30 nbBacktracks=50 nbVisitedNodes=166 nbRestartNogoods=4 mapSize=39
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.11 cpuTime=0.08 mem=15M385
1.05
1.05 search
1.05 run=3 nbConstraintChecks=302652 nbPropagations=7669 nbRevisions=97084 nbUselessRevisions=78655
1.05 nbAssignments=170 nbFailedAssignments=47 nbBacktracks=83 nbVisitedNodes=263 nbRestartNogoods=7 mapSize=64
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.129 cpuTime=0.1 mem=15M385
1.09
1.09 search
1.09 run=4 nbConstraintChecks=461625 nbPropagations=12885 nbRevisions=168604 nbUselessRevisions=137182
1.09 nbAssignments=266 nbFailedAssignments=79 nbBacktracks=135 nbVisitedNodes=426 nbRestartNogoods=12 mapSize=109
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.161 cpuTime=0.13 mem=15M385
1.14
1.14 search
1.14 run=5 nbConstraintChecks=714915 nbPropagations=20881 nbRevisions=279608 nbUselessRevisions=227556
1.14 nbAssignments=400 nbFailedAssignments=132 nbBacktracks=210 nbVisitedNodes=657 nbRestartNogoods=15 mapSize=174
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.217 cpuTime=0.17 mem=15M385
1.20
1.20 search
1.20 run=6 nbConstraintChecks=1035532 nbPropagations=32467 nbRevisions=444763 nbUselessRevisions=362070
1.20 nbAssignments=583 nbFailedAssignments=191 nbBacktracks=325 nbVisitedNodes=958 nbRestartNogoods=16 mapSize=265
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.276 cpuTime=0.23 mem=15M385
1.28
1.28 search
1.28 run=7 nbConstraintChecks=1467878 nbPropagations=49034 nbRevisions=687623 nbUselessRevisions=560579
1.28 nbAssignments=864 nbFailedAssignments=291 nbBacktracks=496 nbVisitedNodes=1427 nbRestartNogoods=21 mapSize=399
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.357 cpuTime=0.31 mem=15M385
1.41
1.41 search
1.41 run=8 nbConstraintChecks=2171488 nbPropagations=73617 nbRevisions=1050140 nbUselessRevisions=856799
1.41 nbAssignments=1285 nbFailedAssignments=443 nbBacktracks=754 nbVisitedNodes=2124 nbRestartNogoods=25
1.41 mapSize=602 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.486 cpuTime=0.43 mem=15M385
1.61
1.61 search
1.61 run=9 nbConstraintChecks=3228526 nbPropagations=110176 nbRevisions=1596576 nbUselessRevisions=1302312
1.61 nbAssignments=1905 nbFailedAssignments=670 nbBacktracks=1140 nbVisitedNodes=3159 nbRestartNogoods=30
1.61 mapSize=908 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.683 cpuTime=0.61 mem=15M385
1.66
1.66 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=15M385)
1.86
1.86 search
1.86 run=10 nbConstraintChecks=4797023 nbPropagations=164359 nbRevisions=2418847 nbUselessRevisions=1974256
1.87 nbAssignments=2824 nbFailedAssignments=1002 nbBacktracks=1716 nbVisitedNodes=4721 nbRestartNogoods=32
1.87 => wckTime=0.94 cpuTime=0.86 mem=15M385
2.23
2.23 search
2.23 run=11 nbConstraintChecks=7143336 nbPropagations=244952 nbRevisions=3657020 nbUselessRevisions=2987569
2.23 nbAssignments=4190 nbFailedAssignments=1496 nbBacktracks=2580 nbVisitedNodes=7036 nbRestartNogoods=39
2.23 => wckTime=1.305 cpuTime=1.22 mem=15M385
2.75
2.75 search
2.75 run=12 nbConstraintChecks=10342298 nbPropagations=363252 nbRevisions=5472208 nbUselessRevisions=4474831
2.75 nbAssignments=6248 nbFailedAssignments=2244 nbBacktracks=3877 nbVisitedNodes=10512 nbRestartNogoods=44
2.75 => wckTime=1.822 cpuTime=1.72 mem=15M385
3.57
3.57 search
3.57 run=13 nbConstraintChecks=15466445 nbPropagations=542239 nbRevisions=8226528 nbUselessRevisions=6734309
3.57 nbAssignments=9408 nbFailedAssignments=3446 nbBacktracks=5825 nbVisitedNodes=15917 nbRestartNogoods=53
3.57 => wckTime=2.642 cpuTime=2.54 mem=15M385
4.82
4.82 search
4.82 run=14 nbConstraintChecks=23314990 nbPropagations=812308 nbRevisions=12460507 nbUselessRevisions=10221118
4.82 nbAssignments=14199 nbFailedAssignments=5303 nbBacktracks=8747 nbVisitedNodes=24204 nbRestartNogoods=58
4.82 => wckTime=3.891 cpuTime=3.77 mem=15M385
6.65
6.65 search
6.65 run=15 nbConstraintChecks=35272817 nbPropagations=1216654 nbRevisions=18731694 nbUselessRevisions=15366252
6.65 nbAssignments=21062 nbFailedAssignments=7778 nbBacktracks=13125 nbVisitedNodes=35834 nbRestartNogoods=65
6.65 => wckTime=5.723 cpuTime=5.59 mem=15M385
9.70
9.70 search
9.70 run=16 nbConstraintChecks=55854934 nbPropagations=1839669 nbRevisions=28423772 nbUselessRevisions=23306118
9.70 nbAssignments=31858 nbFailedAssignments=11995 nbBacktracks=19694 nbVisitedNodes=54503 nbRestartNogoods=71
9.70 => wckTime=8.775 cpuTime=8.62 mem=15M385
14.06
14.06 search
14.06 run=17 nbConstraintChecks=84200920 nbPropagations=2780505 nbRevisions=42945375 nbUselessRevisions=35172613
14.06 nbAssignments=47849 nbFailedAssignments=18123 nbBacktracks=29546 nbVisitedNodes=81846 nbRestartNogoods=83
14.06 => wckTime=13.138 cpuTime=12.94 mem=15M385
20.72
20.72 search
20.72 run=18 nbConstraintChecks=125899735 nbPropagations=4202800 nbRevisions=65271995 nbUselessRevisions=53500815
20.72 nbAssignments=72323 nbFailedAssignments=27807 nbBacktracks=44325 nbVisitedNodes=124662 nbRestartNogoods=92
20.72 => wckTime=19.799 cpuTime=19.54 mem=15M385
29.76
29.76 search
29.76 run=19 nbConstraintChecks=183306442 nbPropagations=6297862 nbRevisions=97843781 nbUselessRevisions=80213273
29.76 nbAssignments=106976 nbFailedAssignments=40281 nbBacktracks=66495 nbVisitedNodes=183448 nbRestartNogoods=102
29.76 => wckTime=28.838 cpuTime=28.49 mem=15M385
43.70
43.71 search
43.71 run=20 nbConstraintChecks=271387867 nbPropagations=9420763 nbRevisions=146351071 nbUselessRevisions=120009502
43.71 nbAssignments=160434 nbFailedAssignments=60478 nbBacktracks=99747 nbVisitedNodes=275249 nbRestartNogoods=114
43.71 => wckTime=42.78 cpuTime=42.3 mem=15M385
63.10
63.10 search
63.10 run=21 nbConstraintChecks=391772608 nbPropagations=13986128 nbRevisions=217115080 nbUselessRevisions=178105520
63.10 nbAssignments=238399 nbFailedAssignments=88552 nbBacktracks=149627 nbVisitedNodes=407122 nbRestartNogoods=119
63.10 => wckTime=62.176 cpuTime=61.52 mem=15M385
95.33
95.33 search
95.33 run=22 nbConstraintChecks=605295517 nbPropagations=20876725 nbRevisions=323725933 nbUselessRevisions=265463353
95.33 nbAssignments=357504 nbFailedAssignments=132829 nbBacktracks=224445 nbVisitedNodes=610276 nbRestartNogoods=133
95.33 => wckTime=94.402 cpuTime=93.45 mem=15M385
143.02
143.02 search
143.02 run=23 nbConstraintChecks=905530216 nbPropagations=31254870 nbRevisions=485582408 nbUselessRevisions=398342438
143.02 nbAssignments=538527 nbFailedAssignments=201617 nbBacktracks=336672 nbVisitedNodes=921741 nbRestartNogoods=145
143.02 => wckTime=142.097 cpuTime=140.71 mem=15M385
218.09
218.09 search
218.09 run=24 nbConstraintChecks=1401719714 nbPropagations=47062505 nbRevisions=731303151 nbUselessRevisions=599735558
218.09 nbAssignments=807432 nbFailedAssignments=302170 nbBacktracks=505015 nbVisitedNodes=1382867 nbRestartNogoods=157
218.09 => wckTime=217.163 cpuTime=215.08 mem=15M385
331.90
331.90 search
331.90 run=25 nbConstraintChecks=2159832655 nbPropagations=71066504 nbRevisions=1104409363
331.90 nbUselessRevisions=905356949 nbAssignments=1212078 nbFailedAssignments=454296 nbBacktracks=757526
331.90 nbVisitedNodes=2078339 nbRestartNogoods=171
331.90 => wckTime=330.975 cpuTime=327.84 mem=15M385
491.02
491.02 search
491.02 run=26 nbConstraintChecks=3172755976 nbPropagations=106683490 nbRevisions=1658936267
491.02 nbUselessRevisions=1360086739 nbAssignments=1812952 nbFailedAssignments=676390 nbBacktracks=1136293
491.02 nbVisitedNodes=3102168 nbRestartNogoods=182
491.02 => wckTime=490.095 cpuTime=485.5 mem=15M385
744.82
744.82 search
744.82 run=27 nbConstraintChecks=4814145459 nbPropagations=160637607 nbRevisions=2505621529
744.82 nbUselessRevisions=2055400827 nbAssignments=2737458 nbFailedAssignments=1032734 nbBacktracks=1704444
744.82 nbVisitedNodes=4696707 nbRestartNogoods=201
744.82 => wckTime=743.897 cpuTime=736.98 mem=15M385
1125.97
1125.97 search
1125.97 run=28 nbConstraintChecks=7314069095 nbPropagations=241925786 nbRevisions=3786739075
1125.97 nbUselessRevisions=3107812911 nbAssignments=4104273 nbFailedAssignments=1547311 nbBacktracks=2556672
1125.97 nbVisitedNodes=7041850 nbRestartNogoods=217
1125.97 => wckTime=1125.04 cpuTime=1114.43 mem=15M385
1698.16
1698.16 search
1698.16 run=29 nbConstraintChecks=11169553657 nbPropagations=364652866 nbRevisions=5720979342
1698.16 nbUselessRevisions=4695609954 nbAssignments=6174082 nbFailedAssignments=2338768 nbBacktracks=3835015
1698.16 nbVisitedNodes=10608544 nbRestartNogoods=234
1698.16 => wckTime=1697.231 cpuTime=1681.96 mem=15M385
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-195118-1168069684 -o ROOT/results/node3/solver-195118-1168069684 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195118-1168069684/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.99 1.90 1.86 2/93 28266
/proc/meminfo: memFree=1411368/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=18540 CPUtime=0
/proc/28265/stat : 28265 (runsolver) R 28263 28265 26928 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155364078 18984960 279 18446744073709551615 4194304 4267372 548682068864 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28265/statm: 4635 279 244 17 0 2626 0
[startup+0.101672 s]
/proc/loadavg: 1.99 1.90 1.86 2/93 28266
/proc/meminfo: memFree=1411368/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=913228 CPUtime=0.07
/proc/28265/stat : 28265 (java) S 28263 28265 26928 0 -1 0 2906 0 1 0 6 1 0 0 18 0 8 0 155364078 935145472 2652 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228307 2652 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.509734 s]
/proc/loadavg: 1.99 1.90 1.86 2/93 28266
/proc/meminfo: memFree=1411368/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915328 CPUtime=0.48
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 6788 0 1 0 43 5 0 0 18 0 8 0 155364078 937295872 6527 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073445380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228832 6527 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33086 s]
/proc/loadavg: 1.99 1.90 1.86 3/100 28273
/proc/meminfo: memFree=1383600/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=1.29
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9640 0 1 0 122 7 0 0 24 0 8 0 155364078 937431040 9378 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072918492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9378 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9378 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9378 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9378 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9378 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.2
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 380 0 0 0 20 0 0 0 15 0 8 0 155364087 937431040 9378 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9378 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9378 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.96825 s]
/proc/loadavg: 1.99 1.90 1.86 3/100 28273
/proc/meminfo: memFree=1383536/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=2.91
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9657 0 1 0 283 8 0 0 25 0 8 0 155364078 937431040 9394 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073825849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9394 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 17 0 8 0 155364083 937431040 9394 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9394 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9394 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9394 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.23
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 397 0 0 0 22 1 0 0 15 0 8 0 155364087 937431040 9394 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9394 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9394 18446744073709551615 134512640 134570532 4294956384 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) 915460
[startup+6.26766 s]
/proc/loadavg: 1.99 1.90 1.86 3/100 28273
/proc/meminfo: memFree=1383408/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=6.18
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9659 0 1 0 610 8 0 0 25 0 8 0 155364078 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073825071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9395 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.23
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7427 s]
/proc/loadavg: 1.99 1.90 1.86 3/100 28273
/proc/meminfo: memFree=1383408/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=12.59
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9659 0 1 0 1251 8 0 0 25 0 8 0 155364078 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073848505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9395 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.23
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460
[startup+25.6058 s]
/proc/loadavg: 1.99 1.90 1.87 3/100 28273
/proc/meminfo: memFree=1383472/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=25.34
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9660 0 1 0 2526 8 0 0 25 0 8 0 155364078 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073825713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9395 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.24
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460
[startup+51.213 s]
/proc/loadavg: 1.99 1.91 1.87 3/100 28273
/proc/meminfo: memFree=1383472/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=50.72
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9660 0 1 0 5063 9 0 0 25 0 8 0 155364078 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9395 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.24
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915460
[startup+102.424 s]
/proc/loadavg: 2.07 1.94 1.88 3/100 28273
/proc/meminfo: memFree=1383472/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=101.45
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9660 0 1 0 10136 9 0 0 25 0 8 0 155364078 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073834309 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9395 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.24
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915460
[startup+162.481 s]
/proc/loadavg: 2.03 1.95 1.88 3/100 28273
/proc/meminfo: memFree=1383536/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=160.95
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9660 0 1 0 16086 9 0 0 25 0 8 0 155364078 937431040 9395 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.46
Current children cumulated vsize (KiB) 915460
[startup+1483.83 s]
/proc/loadavg: 2.00 2.01 1.96 2/85 28487
/proc/meminfo: memFree=1419048/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=1469.99
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9661 0 1 0 146978 21 0 0 25 0 8 0 155364078 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073825707 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28265/statm: 228865 9396 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.24
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.99
Current children cumulated vsize (KiB) 915460
[startup+1543.89 s]
/proc/loadavg: 1.64 1.91 1.93 2/88 28574
/proc/meminfo: memFree=1347464/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=1529.81
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9661 0 1 0 152941 40 0 0 25 0 8 0 155364078 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073839186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9396 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.24
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.81
Current children cumulated vsize (KiB) 915460
[startup+1603.93 s]
/proc/loadavg: 1.57 1.82 1.89 3/100 28675
/proc/meminfo: memFree=1290024/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=1589.58
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9661 0 1 0 158916 42 0 0 25 0 8 0 155364078 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073841345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9396 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.24
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.58
Current children cumulated vsize (KiB) 915460
[startup+1663.99 s]
/proc/loadavg: 2.09 1.92 1.92 3/100 28675
/proc/meminfo: memFree=1249704/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=1649.09
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9661 0 1 0 164866 43 0 0 25 0 8 0 155364078 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073815820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9396 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.24
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9396 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.09
Current children cumulated vsize (KiB) 915460
[startup+1724.05 s]
/proc/loadavg: 2.03 1.93 1.92 3/100 28675
/proc/meminfo: memFree=1222888/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=1708.6
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9662 0 1 0 170817 43 0 0 25 0 8 0 155364078 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073815820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9397 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.24
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.6
Current children cumulated vsize (KiB) 915460
[startup+1784.12 s]
/proc/loadavg: 2.05 1.95 1.93 3/100 28677
/proc/meminfo: memFree=1209960/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=1768.12
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9662 0 1 0 176768 44 0 0 25 0 8 0 155364078 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073813889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9397 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.24
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.12
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.3 s]
/proc/loadavg: 2.03 1.96 1.93 3/100 28677
/proc/meminfo: memFree=1191592/2055920 swapFree=4192812/4192956
[pid=28265] ppid=28263 vsize=915460 CPUtime=1800
/proc/28265/stat : 28265 (java) R 28263 28265 26928 0 -1 0 9662 0 1 0 179956 44 0 0 25 0 8 0 155364078 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073825936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28265/statm: 228865 9397 2513 14 0 215335 0
[pid=28265/tid=28267] ppid=28263 vsize=915460 CPUtime=0.03
/proc/28265/task/28267/stat : 28267 (java) S 28263 28265 26928 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155364083 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28268] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28268/stat : 28268 (java) S 28263 28265 26928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155364083 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28269] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28269/stat : 28269 (java) S 28263 28265 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155364083 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28270] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28270/stat : 28270 (java) S 28263 28265 26928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28271] ppid=28263 vsize=915460 CPUtime=0.24
/proc/28265/task/28271/stat : 28271 (java) S 28263 28265 26928 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28272] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28272/stat : 28272 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28265/tid=28273] ppid=28263 vsize=915460 CPUtime=0
/proc/28265/task/28273/stat : 28273 (java) S 28263 28265 26928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155364087 937431040 9397 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.34
CPU time (s): 1800.04
CPU user time (s): 1799.59
CPU system time (s): 0.449931
CPU usage (%): 99.1025
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.449931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9681
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= 37877
involuntary context switches= 77475
runsolver used 2.46062 s user time and 5.55816 s system time
The end
Begin job on node3 on Sat Jan 6 07:48:04 UTC 2007
IDJOB= 195118
IDBENCH= 3250
FILE ID= node3/195118-1168069684
PBS_JOBID= 3475411
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195118-1168069684/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-195118-1168069684 -o ROOT/results/node3/solver-195118-1168069684 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195118-1168069684/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ec3a38c5bcff9670d4ef63107bc6cb5e
RANDOM SEED= 480052454
TIME LIMIT= 1800 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.279
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.279
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: 1411848 kB
Buffers: 64948 kB
Cached: 400240 kB
SwapCached: 0 kB
Active: 134324 kB
Inactive: 415084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1411848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2152 kB
Writeback: 0 kB
Mapped: 113232 kB
Slab: 79600 kB
Committed_AS: 4506912 kB
PageTables: 2160 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= 66543 MiB
End job on node3 on Sat Jan 6 08:18:21 UTC 2007