0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/194737-1168105590/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.41 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.55
0.55 constraints being loaded...
0.69 nbConstraints=463 nbRelationTypes=463 nbExtensionStructures=463 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=463 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2382 maxDegree=28
0.69 maxArity=2
0.69 => wckTime=0.378 cpuTime=0.3 mem=17M827
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.577 cpuTime=0.43 mem=15M573
0.94
0.94 preprocessing
0.94 nbConstraintChecks=107116 nbPropagations=1208 nbRevisions=10711 nbUselessRevisions=9128 nbSingletonTests=64
0.94 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.055 cpuTime=0.04 mem=15M573
0.97
0.97 search
0.97 run=0 nbConstraintChecks=37141 nbPropagations=1705 nbRevisions=16102 nbUselessRevisions=13667 nbAssignments=30
0.97 nbFailedAssignments=6 nbBacktracks=13 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.08 cpuTime=0.06 mem=15M573
0.99
0.99 search
0.99 run=1 nbConstraintChecks=103973 nbPropagations=4212 nbRevisions=42657 nbUselessRevisions=35956
0.99 nbAssignments=70 nbFailedAssignments=17 nbBacktracks=30 nbVisitedNodes=104 nbRestartNogoods=2 mapSize=23
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.101 cpuTime=0.07 mem=15M573
1.00
1.00 search
1.00 run=2 nbConstraintChecks=173839 nbPropagations=7545 nbRevisions=80306 nbUselessRevisions=67501
1.00 nbAssignments=111 nbFailedAssignments=27 nbBacktracks=52 nbVisitedNodes=166 nbRestartNogoods=6 mapSize=40
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.115 cpuTime=0.09 mem=15M573
1.02
1.02 search
1.02 run=3 nbConstraintChecks=276288 nbPropagations=12210 nbRevisions=136165 nbUselessRevisions=114164
1.02 nbAssignments=174 nbFailedAssignments=46 nbBacktracks=85 nbVisitedNodes=267 nbRestartNogoods=9 mapSize=69
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.135 cpuTime=0.11 mem=15M573
1.05
1.05 search
1.05 run=4 nbConstraintChecks=421820 nbPropagations=18570 nbRevisions=216410 nbUselessRevisions=180848
1.05 nbAssignments=266 nbFailedAssignments=75 nbBacktracks=135 nbVisitedNodes=413 nbRestartNogoods=13 mapSize=104
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.163 cpuTime=0.13 mem=15M573
1.10
1.10 search
1.10 run=5 nbConstraintChecks=639279 nbPropagations=27815 nbRevisions=338656 nbUselessRevisions=282527
1.10 nbAssignments=407 nbFailedAssignments=129 nbBacktracks=211 nbVisitedNodes=654 nbRestartNogoods=15 mapSize=168
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.208 cpuTime=0.17 mem=15M573
1.15
1.15 search
1.15 run=6 nbConstraintChecks=938976 nbPropagations=41039 nbRevisions=516524 nbUselessRevisions=430438
1.15 nbAssignments=618 nbFailedAssignments=194 nbBacktracks=326 nbVisitedNodes=969 nbRestartNogoods=20 mapSize=260
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.263 cpuTime=0.23 mem=15M573
1.23
1.23 search
1.23 run=7 nbConstraintChecks=1399873 nbPropagations=59403 nbRevisions=772192 nbUselessRevisions=641298
1.23 nbAssignments=894 nbFailedAssignments=289 nbBacktracks=497 nbVisitedNodes=1423 nbRestartNogoods=25 mapSize=391
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.341 cpuTime=0.31 mem=15M573
1.36
1.36 search
1.36 run=8 nbConstraintChecks=2135754 nbPropagations=86184 nbRevisions=1156425 nbUselessRevisions=957059
1.36 nbAssignments=1336 nbFailedAssignments=464 nbBacktracks=754 nbVisitedNodes=2179 nbRestartNogoods=28
1.36 mapSize=608 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.469 cpuTime=0.43 mem=15M573
1.54
1.54 search
1.54 run=9 nbConstraintChecks=3106151 nbPropagations=124874 nbRevisions=1722193 nbUselessRevisions=1422096
1.54 nbAssignments=1951 nbFailedAssignments=686 nbBacktracks=1139 nbVisitedNodes=3211 nbRestartNogoods=31
1.54 mapSize=916 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.646 cpuTime=0.59 mem=15M573
1.59
1.59 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=15M573)
1.78
1.78 search
1.78 run=10 nbConstraintChecks=4516259 nbPropagations=182207 nbRevisions=2574259 nbUselessRevisions=2123526
1.78 nbAssignments=2919 nbFailedAssignments=1064 nbBacktracks=1715 nbVisitedNodes=4880 nbRestartNogoods=37
1.78 => wckTime=0.892 cpuTime=0.83 mem=15M573
2.16
2.16 search
2.16 run=11 nbConstraintChecks=6984141 nbPropagations=269283 nbRevisions=3885343 nbUselessRevisions=3202484
2.16 nbAssignments=4443 nbFailedAssignments=1691 nbBacktracks=2582 nbVisitedNodes=7472 nbRestartNogoods=44
2.16 => wckTime=1.274 cpuTime=1.21 mem=15M573
2.67
2.67 search
2.67 run=12 nbConstraintChecks=10157371 nbPropagations=397099 nbRevisions=5826831 nbUselessRevisions=4803766
2.67 nbAssignments=6538 nbFailedAssignments=2462 nbBacktracks=3879 nbVisitedNodes=11008 nbRestartNogoods=55
2.67 => wckTime=1.783 cpuTime=1.71 mem=15M573
3.42
3.42 search
3.42 run=13 nbConstraintChecks=14760940 nbPropagations=585997 nbRevisions=8707389 nbUselessRevisions=7182503
3.42 nbAssignments=9697 nbFailedAssignments=3663 nbBacktracks=5827 nbVisitedNodes=16410 nbRestartNogoods=67
3.42 => wckTime=2.535 cpuTime=2.47 mem=15M573
4.75
4.75 search
4.75 run=14 nbConstraintChecks=23285529 nbPropagations=877868 nbRevisions=13257385 nbUselessRevisions=10944471
4.75 nbAssignments=14808 nbFailedAssignments=5846 nbBacktracks=8747 nbVisitedNodes=25410 nbRestartNogoods=77
4.75 => wckTime=3.863 cpuTime=3.79 mem=15M573
6.47
6.47 search
6.47 run=15 nbConstraintChecks=34434784 nbPropagations=1304995 nbRevisions=19905037 nbUselessRevisions=16431778
6.47 nbAssignments=21771 nbFailedAssignments=8419 nbBacktracks=13125 nbVisitedNodes=37213 nbRestartNogoods=86
6.47 => wckTime=5.582 cpuTime=5.51 mem=16M548
9.32
9.32 search
9.32 run=16 nbConstraintChecks=53662775 nbPropagations=1951525 nbRevisions=29982241 nbUselessRevisions=24726627
9.32 nbAssignments=32408 nbFailedAssignments=12480 nbBacktracks=19695 nbVisitedNodes=55445 nbRestartNogoods=93
9.32 => wckTime=8.432 cpuTime=8.36 mem=16M548
13.29
13.29 search
13.29 run=17 nbConstraintChecks=79818517 nbPropagations=2921887 nbRevisions=45064637 nbUselessRevisions=37146010
13.29 nbAssignments=48694 nbFailedAssignments=18899 nbBacktracks=29549 nbVisitedNodes=83599 nbRestartNogoods=101
13.29 => wckTime=12.403 cpuTime=12.32 mem=16M548
19.20
19.20 search
19.20 run=18 nbConstraintChecks=116936584 nbPropagations=4375166 nbRevisions=67648569 nbUselessRevisions=55784332
19.20 nbAssignments=73154 nbFailedAssignments=28572 nbBacktracks=44327 nbVisitedNodes=125993 nbRestartNogoods=110
19.20 => wckTime=18.315 cpuTime=18.22 mem=16M548
27.77
27.77 search
27.77 run=19 nbConstraintChecks=173055281 nbPropagations=6510022 nbRevisions=100946474 nbUselessRevisions=83278862
27.77 nbAssignments=107948 nbFailedAssignments=41189 nbBacktracks=66495 nbVisitedNodes=185127 nbRestartNogoods=118
27.77 => wckTime=26.882 cpuTime=26.77 mem=16M548
40.47
40.47 search
40.47 run=20 nbConstraintChecks=257646804 nbPropagations=9714752 nbRevisions=151036058 nbUselessRevisions=124689015
40.47 nbAssignments=162304 nbFailedAssignments=62283 nbBacktracks=99747 nbVisitedNodes=278732 nbRestartNogoods=131
40.47 => wckTime=39.579 cpuTime=39.41 mem=16M548
58.98
58.98 search
58.98 run=21 nbConstraintChecks=383200143 nbPropagations=14479276 nbRevisions=225384025 nbUselessRevisions=186146148
58.98 nbAssignments=242358 nbFailedAssignments=92448 nbBacktracks=149626 nbVisitedNodes=415576 nbRestartNogoods=141
58.98 => wckTime=58.088 cpuTime=57.8 mem=16M548
87.44
87.44 search
87.44 run=22 nbConstraintChecks=572971962 nbPropagations=21650548 nbRevisions=337694280 nbUselessRevisions=279093898
87.44 nbAssignments=364813 nbFailedAssignments=140074 nbBacktracks=224444 nbVisitedNodes=627315 nbRestartNogoods=152
87.44 => wckTime=86.548 cpuTime=86.12 mem=16M548
131.47
131.47 search
131.47 run=23 nbConstraintChecks=882280696 nbPropagations=32453392 nbRevisions=506539338 nbUselessRevisions=418487885
131.47 nbAssignments=546544 nbFailedAssignments=209566 nbBacktracks=336671 nbVisitedNodes=939080 nbRestartNogoods=165
131.47 => wckTime=130.577 cpuTime=129.9 mem=16M548
198.82
198.82 search
198.82 run=24 nbConstraintChecks=1343671259 nbPropagations=48862396 nbRevisions=763573432 nbUselessRevisions=630712878
198.82 nbAssignments=824596 nbFailedAssignments=319247 nbBacktracks=505013 nbVisitedNodes=1421051 nbRestartNogoods=178
198.82 => wckTime=197.934 cpuTime=196.87 mem=16M548
292.16
292.16 search
292.16 run=25 nbConstraintChecks=1968880207 nbPropagations=73225076 nbRevisions=1143275225
292.16 nbUselessRevisions=944266887 nbAssignments=1231152 nbFailedAssignments=473283 nbBacktracks=757524
292.16 nbVisitedNodes=2117817 nbRestartNogoods=187
292.16 => wckTime=291.268 cpuTime=289.68 mem=16M548
443.75
443.75 search
443.75 run=26 nbConstraintChecks=3007783880 nbPropagations=110211680 nbRevisions=1723408224
443.75 nbUselessRevisions=1423829710 nbAssignments=1854959 nbFailedAssignments=718314 nbBacktracks=1136294
443.75 nbVisitedNodes=3198277 nbRestartNogoods=202
443.75 => wckTime=442.863 cpuTime=440.45 mem=16M548
656.12
656.12 search
656.12 run=27 nbConstraintChecks=4453425763 nbPropagations=165013254 nbRevisions=2580587989
656.12 nbUselessRevisions=2131879395 nbAssignments=2764135 nbFailedAssignments=1059328 nbBacktracks=1704446
656.12 nbVisitedNodes=4753958 nbRestartNogoods=215
656.12 => wckTime=655.235 cpuTime=651.64 mem=16M548
999.45
999.45 search
999.45 run=28 nbConstraintChecks=6824950262 nbPropagations=248127825 nbRevisions=3887069452
999.45 nbUselessRevisions=3211337790 nbAssignments=4163940 nbFailedAssignments=1606896 nbBacktracks=2556673
999.45 nbVisitedNodes=7173856 nbRestartNogoods=235
999.45 => wckTime=998.557 cpuTime=993.0 mem=16M548
1487.12
1487.12 search
1487.12 run=29 nbConstraintChecks=10159081887 nbPropagations=372247879 nbRevisions=5831039971
1487.12 nbUselessRevisions=4817044542 nbAssignments=6226215 nbFailedAssignments=2390823 nbBacktracks=3835014
1487.12 nbVisitedNodes=10707690 nbRestartNogoods=251
1487.12 => wckTime=1486.236 cpuTime=1477.97 mem=16M548
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-194737-1168105590 -o ROOT/results/node21/solver-194737-1168105590 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194737-1168105590/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.84 1.99 1.94 3/81 28252
/proc/meminfo: memFree=1861272/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=1784 CPUtime=0
/proc/28251/stat : 28251 (java) D 28249 28251 27535 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 158954011 1826816 158 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/28251/statm: 446 158 123 14 0 91 0
[startup+0.106182 s]
/proc/loadavg: 1.84 1.99 1.94 3/81 28252
/proc/meminfo: memFree=1861272/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=914988 CPUtime=0.08
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 2981 0 1 0 7 1 0 0 23 0 8 0 158954011 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28251/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515252 s]
/proc/loadavg: 1.84 1.99 1.94 3/81 28252
/proc/meminfo: memFree=1861272/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915328 CPUtime=0.49
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 7131 0 1 0 45 4 0 0 16 0 8 0 158954011 937295872 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28251/statm: 228832 6871 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34241 s]
/proc/loadavg: 1.84 1.99 1.94 2/88 28260
/proc/meminfo: memFree=1833376/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=1.34
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9616 0 1 0 127 7 0 0 16 0 8 0 158954011 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28251/statm: 228865 9354 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.2
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 158954019 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 915460
[startup+2.97872 s]
/proc/loadavg: 1.77 1.97 1.93 2/88 28260
/proc/meminfo: memFree=1833248/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=2.97
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9631 0 1 0 290 7 0 0 17 0 8 0 158954011 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28251/statm: 228865 9368 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 158954015 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.23
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 398 0 0 0 22 1 0 0 15 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915460
[startup+6.27335 s]
/proc/loadavg: 1.77 1.97 1.93 2/88 28261
/proc/meminfo: memFree=1833184/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=6.26
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9632 0 1 0 619 7 0 0 20 0 8 0 158954011 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073872008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28251/statm: 228865 9368 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.23
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915460
[startup+12.7436 s]
/proc/loadavg: 1.65 1.94 1.92 2/88 28264
/proc/meminfo: memFree=1833312/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=12.72
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9632 0 1 0 1265 7 0 0 25 0 8 0 158954011 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28251/statm: 228865 9368 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.23
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915460
[startup+25.588 s]
/proc/loadavg: 1.71 1.94 1.92 3/93 28326
/proc/meminfo: memFree=1829112/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=25.55
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9633 0 1 0 2547 8 0 0 25 0 8 0 158954011 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28251/statm: 228865 9369 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.23
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158954019 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915460
[startup+51.1928 s]
/proc/loadavg: 1.81 1.95 1.92 3/95 28336
/proc/meminfo: memFree=1825640/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=51.02
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9633 0 1 0 5094 8 0 0 25 0 8 0 158954011 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830105 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28251/statm: 228865 9369 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.23
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158954019 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915460
[startup+102.395 s]
/proc/loadavg: 1.91 1.95 1.92 3/95 28336
/proc/meminfo: memFree=1825576/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=101.95
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9635 0 1 0 10187 8 0 0 25 0 8 0 158954011 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833197 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28251/statm: 228865 9370 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.24
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 158954019 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915460
[startup+162.436 s]
/proc/loadavg: 1.97 1.96 1.92 3/95 28336
/proc/meminfo: memFree=1825576/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=161.64
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9635 0 1 0 16155 9 0 0 25 0 8 0 158954011 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.58
Current children cumulated vsize (KiB) 915460
[startup+1483.47 s]
/proc/loadavg: 2.09 2.03 1.96 3/95 28534
/proc/meminfo: memFree=1824104/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=1475.29
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9635 0 1 0 147509 20 0 0 25 0 8 0 158954011 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28251/statm: 228865 9370 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.24
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 158954019 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.29
Current children cumulated vsize (KiB) 915460
[startup+1543.51 s]
/proc/loadavg: 2.07 2.04 1.97 3/95 28534
/proc/meminfo: memFree=1824104/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=1535.01
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9636 0 1 0 153481 20 0 0 25 0 8 0 158954011 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833152 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28251/statm: 228865 9371 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.24
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.01
Current children cumulated vsize (KiB) 915460
[startup+1603.56 s]
/proc/loadavg: 2.02 2.03 1.97 3/95 28534
/proc/meminfo: memFree=1824104/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=1594.71
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9636 0 1 0 159451 20 0 0 25 0 8 0 158954011 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28251/statm: 228865 9371 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.24
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.71
Current children cumulated vsize (KiB) 915460
[startup+1663.61 s]
/proc/loadavg: 2.01 2.02 1.97 3/95 28534
/proc/meminfo: memFree=1824040/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=1654.44
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9636 0 1 0 165424 20 0 0 25 0 8 0 158954011 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28251/statm: 228865 9371 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.24
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.44
Current children cumulated vsize (KiB) 915460
[startup+1723.66 s]
/proc/loadavg: 2.05 2.03 1.97 3/95 28534
/proc/meminfo: memFree=1824040/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=1714.16
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9636 0 1 0 171396 20 0 0 25 0 8 0 158954011 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28251/statm: 228865 9371 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.24
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.16
Current children cumulated vsize (KiB) 915460
[startup+1783.7 s]
/proc/loadavg: 2.02 2.02 1.97 3/95 28534
/proc/meminfo: memFree=1823976/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=1773.72
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9636 0 1 0 177352 20 0 0 25 0 8 0 158954011 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28251/statm: 228865 9371 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.24
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.72
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.23 s]
/proc/loadavg: 2.01 2.02 1.97 3/95 28534
/proc/meminfo: memFree=1823976/2055920 swapFree=4156304/4192956
[pid=28251] ppid=28249 vsize=915460 CPUtime=1800.01
/proc/28251/stat : 28251 (java) R 28249 28251 27535 0 -1 0 9636 0 1 0 179981 20 0 0 25 0 8 0 158954011 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28251/statm: 228865 9371 2524 14 0 215335 0
[pid=28251/tid=28253] ppid=28249 vsize=915460 CPUtime=0.03
/proc/28251/task/28253/stat : 28253 (java) S 28249 28251 27535 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28254] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28254/stat : 28254 (java) S 28249 28251 27535 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158954015 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28255] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28255/stat : 28255 (java) S 28249 28251 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158954016 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28257] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28257/stat : 28257 (java) S 28249 28251 27535 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28258] ppid=28249 vsize=915460 CPUtime=0.24
/proc/28251/task/28258/stat : 28258 (java) S 28249 28251 27535 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28259] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28259/stat : 28259 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28251/tid=28260] ppid=28249 vsize=915460 CPUtime=0
/proc/28251/task/28260/stat : 28260 (java) S 28249 28251 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158954019 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.29
CPU time (s): 1800.08
CPU user time (s): 1799.87
CPU system time (s): 0.211967
CPU usage (%): 99.436
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.211967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9654
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= 37463
involuntary context switches= 66052
runsolver used 2.21066 s user time and 5.79112 s system time
The end
Begin job on node21 on Sat Jan 6 17:46:33 UTC 2007
IDJOB= 194737
IDBENCH= 3230
FILE ID= node21/194737-1168105590
PBS_JOBID= 3477224
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194737-1168105590/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-194737-1168105590 -o ROOT/results/node21/solver-194737-1168105590 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194737-1168105590/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b01f777eafda6faba95113f99ffe3b2b
RANDOM SEED= 367782377
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.261
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.261
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: 1861752 kB
Buffers: 38432 kB
Cached: 70308 kB
SwapCached: 2644 kB
Active: 76772 kB
Inactive: 62068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1861752 kB
SwapTotal: 4192956 kB
SwapFree: 4156304 kB
Dirty: 2152 kB
Writeback: 0 kB
Mapped: 38372 kB
Slab: 40548 kB
Committed_AS: 3041408 kB
PageTables: 1992 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= 66544 MiB
End job on node21 on Sat Jan 6 18:16:45 UTC 2007