0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/217334-1168246314/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.44 => wckTime=0.111 cpuTime=0.1 mem=6M951
0.44
0.44 relations being loaded...
0.59
0.59 constraints being loaded...
0.73 nbConstraints=445 nbRelationTypes=445 nbExtensionStructures=445 nbSharedExtensionStructures=0
0.73 nbConflictsStructures=445 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1433 maxDegree=27
0.73 maxArity=2
0.73 => wckTime=0.404 cpuTime=0.31 mem=17M695
0.78
0.78 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.618 cpuTime=0.44 mem=15M554
1.01
1.01 preprocessing
1.01 nbConstraintChecks=101124 nbPropagations=1100 nbRevisions=8846 nbUselessRevisions=7560 nbSingletonTests=59
1.01 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.01 => wckTime=0.059 cpuTime=0.05 mem=15M554
1.04
1.04 search
1.04 run=0 nbConstraintChecks=43844 nbPropagations=1606 nbRevisions=14942 nbUselessRevisions=12685 nbAssignments=28
1.04 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.089 cpuTime=0.07 mem=15M554
1.06
1.06 search
1.06 run=1 nbConstraintChecks=110464 nbPropagations=3955 nbRevisions=39768 nbUselessRevisions=33538
1.06 nbAssignments=63 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=94 nbRestartNogoods=2 mapSize=21
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.111 cpuTime=0.08 mem=15M554
1.08
1.08 search
1.08 run=2 nbConstraintChecks=199844 nbPropagations=7351 nbRevisions=79222 nbUselessRevisions=66445
1.08 nbAssignments=111 nbFailedAssignments=34 nbBacktracks=48 nbVisitedNodes=174 nbRestartNogoods=6 mapSize=40
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.129 cpuTime=0.1 mem=15M554
1.10
1.10 search
1.10 run=3 nbConstraintChecks=333008 nbPropagations=12294 nbRevisions=141277 nbUselessRevisions=117749
1.10 nbAssignments=186 nbFailedAssignments=66 nbBacktracks=81 nbVisitedNodes=303 nbRestartNogoods=9 mapSize=70
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.157 cpuTime=0.12 mem=15M554
1.14
1.14 search
1.14 run=4 nbConstraintChecks=494341 nbPropagations=19248 nbRevisions=232058 nbUselessRevisions=192503
1.14 nbAssignments=285 nbFailedAssignments=104 nbBacktracks=132 nbVisitedNodes=474 nbRestartNogoods=11 mapSize=115
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.196 cpuTime=0.15 mem=15M554
1.18
1.18 search
1.18 run=5 nbConstraintChecks=682765 nbPropagations=28576 nbRevisions=357085 nbUselessRevisions=295330
1.18 nbAssignments=408 nbFailedAssignments=144 nbBacktracks=207 nbVisitedNodes=676 nbRestartNogoods=15 mapSize=176
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.236 cpuTime=0.19 mem=15M554
1.24
1.24 search
1.24 run=6 nbConstraintChecks=1001704 nbPropagations=41807 nbRevisions=538060 nbUselessRevisions=443836
1.24 nbAssignments=601 nbFailedAssignments=212 nbBacktracks=321 nbVisitedNodes=1005 nbRestartNogoods=16 mapSize=270
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.295 cpuTime=0.25 mem=15M554
1.33
1.33 search
1.33 run=7 nbConstraintChecks=1525080 nbPropagations=61163 nbRevisions=812615 nbUselessRevisions=669623
1.33 nbAssignments=912 nbFailedAssignments=328 nbBacktracks=491 nbVisitedNodes=1514 nbRestartNogoods=23 mapSize=413
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.388 cpuTime=0.34 mem=15M554
1.46
1.46 search
1.46 run=8 nbConstraintChecks=2201511 nbPropagations=88643 nbRevisions=1210738 nbUselessRevisions=996789
1.46 nbAssignments=1332 nbFailedAssignments=484 nbBacktracks=747 nbVisitedNodes=2230 nbRestartNogoods=30
1.46 mapSize=630 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.512 cpuTime=0.46 mem=15M554
1.66
1.66 search
1.67 run=9 nbConstraintChecks=3278185 nbPropagations=129136 nbRevisions=1802553 nbUselessRevisions=1480966
1.67 nbAssignments=2008 nbFailedAssignments=766 nbBacktracks=1135 nbVisitedNodes=3389 nbRestartNogoods=35
1.67 mapSize=958 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.717 cpuTime=0.64 mem=15M554
1.70
1.70 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=15M554)
1.93
1.93 search
1.93 run=10 nbConstraintChecks=4943109 nbPropagations=188630 nbRevisions=2681984 nbUselessRevisions=2198529
1.93 nbAssignments=2976 nbFailedAssignments=1146 nbBacktracks=1713 nbVisitedNodes=5053 nbRestartNogoods=38
1.93 => wckTime=0.986 cpuTime=0.9 mem=15M554
2.30
2.30 search
2.30 run=11 nbConstraintChecks=7320165 nbPropagations=276046 nbRevisions=3979887 nbUselessRevisions=3255372
2.30 nbAssignments=4400 nbFailedAssignments=1696 nbBacktracks=2578 nbVisitedNodes=7469 nbRestartNogoods=43
2.30 => wckTime=1.356 cpuTime=1.26 mem=15M554
2.83
2.83 search
2.83 run=12 nbConstraintChecks=10773600 nbPropagations=404550 nbRevisions=5913682 nbUselessRevisions=4834211
2.83 nbAssignments=6509 nbFailedAssignments=2499 nbBacktracks=3876 nbVisitedNodes=11080 nbRestartNogoods=52
2.83 => wckTime=1.887 cpuTime=1.78 mem=15M554
3.67
3.67 search
3.67 run=13 nbConstraintChecks=16325656 nbPropagations=597015 nbRevisions=8813803 nbUselessRevisions=7198275
3.67 nbAssignments=9749 nbFailedAssignments=3784 nbBacktracks=5822 nbVisitedNodes=16632 nbRestartNogoods=58
3.67 => wckTime=2.719 cpuTime=2.61 mem=15M554
4.88
4.88 search
4.88 run=14 nbConstraintChecks=24170787 nbPropagations=883781 nbRevisions=13155739 nbUselessRevisions=10742791
4.88 nbAssignments=14519 nbFailedAssignments=5627 nbBacktracks=8742 nbVisitedNodes=24802 nbRestartNogoods=69
4.88 => wckTime=3.932 cpuTime=3.81 mem=15M554
6.93
6.93 search
6.94 run=15 nbConstraintChecks=38080718 nbPropagations=1325073 nbRevisions=19945146 nbUselessRevisions=16289064
6.94 nbAssignments=22039 nbFailedAssignments=8758 nbBacktracks=13121 nbVisitedNodes=38014 nbRestartNogoods=74
6.94 => wckTime=5.988 cpuTime=5.85 mem=15M554
9.64
9.64 search
9.64 run=16 nbConstraintChecks=55612895 nbPropagations=1977890 nbRevisions=29986039 nbUselessRevisions=24507821
9.64 nbAssignments=32633 nbFailedAssignments=12772 nbBacktracks=19693 nbVisitedNodes=56223 nbRestartNogoods=81
9.64 => wckTime=8.69 cpuTime=8.52 mem=15M554
13.93
13.93 search
13.93 run=17 nbConstraintChecks=84061213 nbPropagations=2959342 nbRevisions=44962332 nbUselessRevisions=36720442
13.93 nbAssignments=49115 nbFailedAssignments=19395 nbBacktracks=29545 nbVisitedNodes=84662 nbRestartNogoods=88
13.93 => wckTime=12.979 cpuTime=12.76 mem=16M529
20.10
20.10 search
20.10 run=18 nbConstraintChecks=124477894 nbPropagations=4414976 nbRevisions=67114153 nbUselessRevisions=54782662
20.10 nbAssignments=72777 nbFailedAssignments=28268 nbBacktracks=44324 nbVisitedNodes=124899 nbRestartNogoods=93
20.10 => wckTime=19.158 cpuTime=18.88 mem=16M529
29.72
29.72 search
29.72 run=19 nbConstraintChecks=187122731 nbPropagations=6615886 nbRevisions=100776110 nbUselessRevisions=82275710
29.72 nbAssignments=109920 nbFailedAssignments=43234 nbBacktracks=66492 nbVisitedNodes=189370 nbRestartNogoods=102
29.72 => wckTime=28.771 cpuTime=28.4 mem=16M529
42.70
42.70 search
42.70 run=20 nbConstraintChecks=268819148 nbPropagations=9841180 nbRevisions=149933934 nbUselessRevisions=122491242
42.70 nbAssignments=163115 nbFailedAssignments=63162 nbBacktracks=99747 nbVisitedNodes=280146 nbRestartNogoods=118
42.70 => wckTime=41.753 cpuTime=41.27 mem=16M529
64.07
64.07 search
64.07 run=21 nbConstraintChecks=410572433 nbPropagations=14689843 nbRevisions=224154937 nbUselessRevisions=183150238
64.07 nbAssignments=244648 nbFailedAssignments=94809 nbBacktracks=149626 nbVisitedNodes=420578 nbRestartNogoods=128
64.07 => wckTime=63.122 cpuTime=62.42 mem=16M529
95.26
95.26 search
95.26 run=22 nbConstraintChecks=615704588 nbPropagations=21958123 nbRevisions=335092257 nbUselessRevisions=273792030
95.26 nbAssignments=365797 nbFailedAssignments=141129 nbBacktracks=224446 nbVisitedNodes=628196 nbRestartNogoods=137
95.26 => wckTime=94.318 cpuTime=93.31 mem=16M529
141.34
141.34 search
141.34 run=23 nbConstraintChecks=923450859 nbPropagations=32812754 nbRevisions=500614220 nbUselessRevisions=409002967
141.34 nbAssignments=546622 nbFailedAssignments=209719 nbBacktracks=336674 nbVisitedNodes=937022 nbRestartNogoods=148
141.34 => wckTime=140.397 cpuTime=138.98 mem=16M529
206.64
206.64 search
206.64 run=24 nbConstraintChecks=1403622526 nbPropagations=49186386 nbRevisions=750546876 nbUselessRevisions=613059310
206.64 nbAssignments=819268 nbFailedAssignments=314014 nbBacktracks=505015 nbVisitedNodes=1404850 nbRestartNogoods=167
206.64 => wckTime=205.697 cpuTime=204.22 mem=16M529
303.32
303.32 search
303.32 run=25 nbConstraintChecks=2111551519 nbPropagations=73722130 nbRevisions=1125831053
303.32 nbUselessRevisions=919509196 nbAssignments=1225105 nbFailedAssignments=467331 nbBacktracks=757526
303.32 nbVisitedNodes=2098643 nbRestartNogoods=184
303.32 => wckTime=302.373 cpuTime=300.8 mem=16M529
449.69
449.69 search
449.69 run=26 nbConstraintChecks=3173435373 nbPropagations=110806563 nbRevisions=1692140672
449.69 nbUselessRevisions=1382106945 nbAssignments=1845581 nbFailedAssignments=709032 nbBacktracks=1136294
449.69 nbVisitedNodes=3168794 nbRestartNogoods=200
449.69 => wckTime=448.747 cpuTime=447.02 mem=16M529
670.53
670.53 search
670.53 run=27 nbConstraintChecks=4786809412 nbPropagations=166451570 nbRevisions=2545600726
670.53 nbUselessRevisions=2079507396 nbAssignments=2771720 nbFailedAssignments=1067011 nbBacktracks=1704445
670.53 nbVisitedNodes=4760256 nbRestartNogoods=219
670.53 => wckTime=669.585 cpuTime=667.54 mem=16M529
997.07
997.07 search
997.07 run=28 nbConstraintChecks=7185276326 nbPropagations=249616318 nbRevisions=3821945333
997.07 nbUselessRevisions=3122280830 nbAssignments=4142091 nbFailedAssignments=1585131 nbBacktracks=2556672
997.07 nbVisitedNodes=7098000 nbRestartNogoods=232
997.07 => wckTime=996.119 cpuTime=993.69 mem=16M529
1501.48
1501.48 search
1501.48 run=29 nbConstraintChecks=10828846356 nbPropagations=375875447 nbRevisions=5762476802
1501.48 nbUselessRevisions=4709468373 nbAssignments=6265620 nbFailedAssignments=2430312 nbBacktracks=3835012
1501.48 nbVisitedNodes=10778766 nbRestartNogoods=246
1501.48 => wckTime=1500.532 cpuTime=1497.56 mem=16M529
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-217334-1168246314 -o ROOT/results/node12/solver-217334-1168246314 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217334-1168246314/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.92 2.01 1.99 4/98 20473
/proc/meminfo: memFree=1563120/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=18540 CPUtime=0
/proc/20472/stat : 20472 (runsolver) R 20470 20472 20405 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173026616 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20472/statm: 4635 279 244 17 0 2626 0
[startup+0.10403 s]
/proc/loadavg: 1.92 2.01 1.99 4/98 20473
/proc/meminfo: memFree=1563120/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=913228 CPUtime=0.08
/proc/20472/stat : 20472 (java) S 20470 20472 20405 0 -1 0 2904 0 1 0 6 2 0 0 18 0 8 0 173026616 935145472 2650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20472/statm: 228307 2650 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.512107 s]
/proc/loadavg: 1.92 2.01 1.99 4/98 20473
/proc/meminfo: memFree=1563120/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915328 CPUtime=0.49
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 6670 0 1 0 44 5 0 0 18 0 8 0 173026616 937295872 6409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552013 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20472/statm: 228832 6409 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33525 s]
/proc/loadavg: 1.92 2.01 1.99 3/105 20480
/proc/meminfo: memFree=1535544/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=1.3
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9618 0 1 0 123 7 0 0 24 0 8 0 173026616 937431040 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20472/statm: 228865 9356 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.22
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 379 0 0 0 21 1 0 0 15 0 8 0 173026624 937431040 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98454 s]
/proc/loadavg: 1.92 2.01 1.99 3/105 20480
/proc/meminfo: memFree=1535416/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=2.94
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9638 0 1 0 286 8 0 0 25 0 8 0 173026616 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20472/statm: 228865 9374 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 17 0 8 0 173026620 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.25
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 396 0 0 0 24 1 0 0 15 0 8 0 173026624 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.26913 s]
/proc/loadavg: 1.93 2.01 1.99 3/105 20480
/proc/meminfo: memFree=1535360/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=6.19
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9639 0 1 0 611 8 0 0 25 0 8 0 173026616 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811006 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20472/statm: 228865 9375 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.25
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 396 0 0 0 24 1 0 0 15 0 8 0 173026624 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7713 s]
/proc/loadavg: 1.93 2.01 1.99 3/105 20480
/proc/meminfo: memFree=1535360/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=12.62
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9639 0 1 0 1254 8 0 0 25 0 8 0 173026616 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20472/statm: 228865 9375 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.25
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 396 0 0 0 24 1 0 0 15 0 8 0 173026624 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.6216 s]
/proc/loadavg: 1.95 2.01 1.99 3/105 20480
/proc/meminfo: memFree=1535488/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=25.35
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9641 0 1 0 2527 8 0 0 25 0 8 0 173026616 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20472/statm: 228865 9376 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.25
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.2312 s]
/proc/loadavg: 2.04 2.02 2.00 3/105 20480
/proc/meminfo: memFree=1535424/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=50.72
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9641 0 1 0 5064 8 0 0 25 0 8 0 173026616 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20472/statm: 228865 9376 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.25
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 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.473 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 20480
/proc/meminfo: memFree=1535424/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=101.45
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9641 0 1 0 10137 8 0 0 25 0 8 0 173026616 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822878 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20472/statm: 228865 9376 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.25
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9376 18446744073709551615 134512640 134570532 4294956464 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.546 s]
/proc/loadavg: 1.95 2.00 1.99 3/101 20587
/proc/meminfo: memFree=1817496/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=161.18
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9641 0 1 0 16108 10 0 0 25 0 8 0 173026616 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818390 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.13
Current children cumulated vsize (KiB) 915460
[startup+1484.06 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 20785
/proc/meminfo: memFree=1816352/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=1481.17
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9642 0 1 0 148091 26 0 0 25 0 8 0 173026616 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819417 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20472/statm: 228865 9377 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.26
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.17
Current children cumulated vsize (KiB) 915460
[startup+1544.07 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 20785
/proc/meminfo: memFree=1816288/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=1541.11
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9642 0 1 0 154084 27 0 0 25 0 8 0 173026616 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811070 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20472/statm: 228865 9377 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.26
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.11
Current children cumulated vsize (KiB) 915460
[startup+1604.08 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 20785
/proc/meminfo: memFree=1816160/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=1601.06
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9642 0 1 0 160079 27 0 0 25 0 8 0 173026616 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20472/statm: 228865 9377 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.26
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.06
Current children cumulated vsize (KiB) 915460
[startup+1664.18 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 20787
/proc/meminfo: memFree=1815840/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=1661.1
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9642 0 1 0 166083 27 0 0 25 0 8 0 173026616 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20472/statm: 228865 9377 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.26
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.1
Current children cumulated vsize (KiB) 915460
[startup+1724.27 s]
/proc/loadavg: 2.05 2.02 2.00 3/101 20787
/proc/meminfo: memFree=1815840/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=1721.11
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9642 0 1 0 172084 27 0 0 25 0 8 0 173026616 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810325 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20472/statm: 228865 9377 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.26
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.11
Current children cumulated vsize (KiB) 915460
[startup+1784.33 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 20787
/proc/meminfo: memFree=1815840/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=1781.12
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9642 0 1 0 178085 27 0 0 25 0 8 0 173026616 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20472/statm: 228865 9377 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.26
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.12
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.25 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 20787
/proc/meminfo: memFree=1815840/2055920 swapFree=4160348/4192956
[pid=20472] ppid=20470 vsize=915460 CPUtime=1800.03
/proc/20472/stat : 20472 (java) R 20470 20472 20405 0 -1 0 9642 0 1 0 179976 27 0 0 25 0 8 0 173026616 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811149 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20472/statm: 228865 9377 2524 14 0 215335 0
[pid=20472/tid=20474] ppid=20470 vsize=915460 CPUtime=0.03
/proc/20472/task/20474/stat : 20474 (java) S 20470 20472 20405 0 -1 64 399 0 0 0 3 0 0 0 16 0 8 0 173026620 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20475/stat : 20475 (java) S 20470 20472 20405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20476] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20476/stat : 20476 (java) S 20470 20472 20405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173026621 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20477] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20477/stat : 20477 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20478] ppid=20470 vsize=915460 CPUtime=0.26
/proc/20472/task/20478/stat : 20478 (java) S 20470 20472 20405 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20472/tid=20479] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20479/stat : 20479 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20472/tid=20480] ppid=20470 vsize=915460 CPUtime=0
/proc/20472/task/20480/stat : 20480 (java) S 20470 20472 20405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173026624 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1803.27
CPU time (s): 1800.05
CPU user time (s): 1799.77
CPU system time (s): 0.279957
CPU usage (%): 99.8213
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.279957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9660
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= 37599
involuntary context switches= 81534
runsolver used 2.19567 s user time and 5.86911 s system time
The end
Begin job on node12 on Mon Jan 8 08:51:54 UTC 2007
IDJOB= 217334
IDBENCH= 5130
FILE ID= node12/217334-1168246314
PBS_JOBID= 3481619
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb50-23/frb50-23-2-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217334-1168246314/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-217334-1168246314 -o ROOT/results/node12/solver-217334-1168246314 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217334-1168246314/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b9bed53aa8258c9fd0942bae09f06273
RANDOM SEED= 227580407
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.265
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.265
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: 1563600 kB
Buffers: 33088 kB
Cached: 87716 kB
SwapCached: 5132 kB
Active: 380748 kB
Inactive: 61000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1563600 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2260 kB
Writeback: 0 kB
Mapped: 340172 kB
Slab: 34920 kB
Committed_AS: 5658572 kB
PageTables: 2684 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= 66327 MiB
End job on node12 on Mon Jan 8 09:22:01 UTC 2007