0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/194699-1168105503/unknown.xml
0.42
0.42 domains being loaded...
0.43
0.43 variables being loaded...
0.47 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.47 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.47
0.47 relations being loaded...
0.62
0.62 constraints being loaded...
0.76 nbConstraints=462 nbRelationTypes=462 nbExtensionStructures=462 nbSharedExtensionStructures=0
0.76 nbConflictsStructures=462 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2309 maxDegree=27
0.76 maxArity=2
0.76 => wckTime=0.401 cpuTime=0.32 mem=17M695
0.81
0.81 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.61 cpuTime=0.45 mem=15M573
1.04
1.04 preprocessing
1.04 nbConstraintChecks=115751 nbPropagations=1262 nbRevisions=10395 nbUselessRevisions=8635 nbSingletonTests=65
1.04 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.04 => wckTime=0.062 cpuTime=0.04 mem=15M573
1.07
1.07 search
1.07 run=0 nbConstraintChecks=54117 nbPropagations=1927 nbRevisions=18878 nbUselessRevisions=15643 nbAssignments=32
1.07 nbFailedAssignments=10 nbBacktracks=13 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=12 nbInferences=0
1.07 nbTooLargeKeys=0
1.07 => wckTime=0.094 cpuTime=0.07 mem=15M573
1.09
1.09 search
1.09 run=1 nbConstraintChecks=109038 nbPropagations=4520 nbRevisions=46295 nbUselessRevisions=38336
1.09 nbAssignments=70 nbFailedAssignments=19 nbBacktracks=32 nbVisitedNodes=106 nbRestartNogoods=2 mapSize=23
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.115 cpuTime=0.08 mem=15M573
1.10
1.10 search
1.10 run=2 nbConstraintChecks=175578 nbPropagations=7946 nbRevisions=84392 nbUselessRevisions=69888
1.10 nbAssignments=112 nbFailedAssignments=29 nbBacktracks=55 nbVisitedNodes=169 nbRestartNogoods=4 mapSize=41
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.129 cpuTime=0.09 mem=15M573
1.14
1.14 search
1.14 run=3 nbConstraintChecks=303866 nbPropagations=12768 nbRevisions=143402 nbUselessRevisions=118610
1.14 nbAssignments=178 nbFailedAssignments=52 nbBacktracks=88 nbVisitedNodes=278 nbRestartNogoods=6 mapSize=73
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.166 cpuTime=0.12 mem=15M573
1.17
1.17 search
1.17 run=4 nbConstraintChecks=464255 nbPropagations=19497 nbRevisions=231542 nbUselessRevisions=191595
1.17 nbAssignments=274 nbFailedAssignments=87 nbBacktracks=138 nbVisitedNodes=439 nbRestartNogoods=11 mapSize=116
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.197 cpuTime=0.15 mem=15M573
1.22
1.22 search
1.22 run=5 nbConstraintChecks=706123 nbPropagations=28908 nbRevisions=358485 nbUselessRevisions=296256
1.22 nbAssignments=404 nbFailedAssignments=130 nbBacktracks=216 nbVisitedNodes=656 nbRestartNogoods=14 mapSize=184
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.245 cpuTime=0.19 mem=15M573
1.28
1.28 search
1.28 run=6 nbConstraintChecks=1026855 nbPropagations=42059 nbRevisions=543761 nbUselessRevisions=449077
1.28 nbAssignments=602 nbFailedAssignments=203 nbBacktracks=330 nbVisitedNodes=988 nbRestartNogoods=18 mapSize=274
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.303 cpuTime=0.25 mem=15M573
1.37
1.37 search
1.37 run=7 nbConstraintChecks=1546890 nbPropagations=61331 nbRevisions=820677 nbUselessRevisions=676561
1.37 nbAssignments=905 nbFailedAssignments=326 nbBacktracks=502 nbVisitedNodes=1508 nbRestartNogoods=23 mapSize=420
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.396 cpuTime=0.34 mem=15M573
1.50
1.50 search
1.50 run=8 nbConstraintChecks=2217127 nbPropagations=88935 nbRevisions=1229432 nbUselessRevisions=1013009
1.50 nbAssignments=1352 nbFailedAssignments=505 nbBacktracks=759 nbVisitedNodes=2275 nbRestartNogoods=28
1.50 mapSize=638 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.526 cpuTime=0.47 mem=15M573
1.70
1.70 search
1.70 run=9 nbConstraintChecks=3317647 nbPropagations=128952 nbRevisions=1828955 nbUselessRevisions=1505762
1.70 nbAssignments=1973 nbFailedAssignments=733 nbBacktracks=1144 nbVisitedNodes=3327 nbRestartNogoods=34
1.70 mapSize=950 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.724 cpuTime=0.65 mem=15M573
1.75
1.75 INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=15M573)
1.96
1.96 search
1.96 run=10 nbConstraintChecks=4767389 nbPropagations=187425 nbRevisions=2709718 nbUselessRevisions=2229972
1.96 nbAssignments=2926 nbFailedAssignments=1100 nbBacktracks=1721 nbVisitedNodes=4971 nbRestartNogoods=38
1.96 => wckTime=0.983 cpuTime=0.9 mem=15M573
2.38
2.38 search
2.38 run=11 nbConstraintChecks=7485350 nbPropagations=276443 nbRevisions=4078619 nbUselessRevisions=3355476
2.38 nbAssignments=4413 nbFailedAssignments=1711 nbBacktracks=2587 nbVisitedNodes=7575 nbRestartNogoods=46
2.38 => wckTime=1.407 cpuTime=1.31 mem=15M573
2.91
2.91 search
2.91 run=12 nbConstraintChecks=10825494 nbPropagations=405705 nbRevisions=6087183 nbUselessRevisions=5008585
2.91 nbAssignments=6551 nbFailedAssignments=2539 nbBacktracks=3885 nbVisitedNodes=11227 nbRestartNogoods=49
2.92 => wckTime=1.94 cpuTime=1.84 mem=15M573
3.82
3.82 search
3.82 run=13 nbConstraintChecks=16758125 nbPropagations=601381 nbRevisions=9134993 nbUselessRevisions=7508581
3.82 nbAssignments=9874 nbFailedAssignments=3905 nbBacktracks=5834 nbVisitedNodes=17002 nbRestartNogoods=56
3.82 => wckTime=2.849 cpuTime=2.74 mem=15M573
5.04
5.04 search
5.04 run=14 nbConstraintChecks=24381178 nbPropagations=889276 nbRevisions=13625215 nbUselessRevisions=11193960
5.04 nbAssignments=14591 nbFailedAssignments=5689 nbBacktracks=8760 nbVisitedNodes=25066 nbRestartNogoods=63
5.04 => wckTime=4.065 cpuTime=3.95 mem=15M573
6.84
6.84 search
6.84 run=15 nbConstraintChecks=35658548 nbPropagations=1317308 nbRevisions=20255158 nbUselessRevisions=16637595
6.84 nbAssignments=21779 nbFailedAssignments=8486 nbBacktracks=13139 nbVisitedNodes=37436 nbRestartNogoods=68
6.84 => wckTime=5.867 cpuTime=5.73 mem=16M548
9.67
9.67 search
9.67 run=16 nbConstraintChecks=53813031 nbPropagations=1960489 nbRevisions=30196344 nbUselessRevisions=24792585
9.67 nbAssignments=32505 nbFailedAssignments=12634 nbBacktracks=19709 nbVisitedNodes=55967 nbRestartNogoods=78
9.67 => wckTime=8.692 cpuTime=8.53 mem=16M548
13.45
13.45 search
13.45 run=17 nbConstraintChecks=77610842 nbPropagations=2898105 nbRevisions=44581261 nbUselessRevisions=36581037
13.45 nbAssignments=48073 nbFailedAssignments=18340 nbBacktracks=29561 nbVisitedNodes=82342 nbRestartNogoods=89
13.45 => wckTime=12.471 cpuTime=12.28 mem=16M548
19.39
19.39 search
19.39 run=18 nbConstraintChecks=115366019 nbPropagations=4277846 nbRevisions=66013232 nbUselessRevisions=54185776
19.39 nbAssignments=71583 nbFailedAssignments=27061 nbBacktracks=44339 nbVisitedNodes=122316 nbRestartNogoods=94
19.39 => wckTime=18.419 cpuTime=18.16 mem=16M548
28.91
28.91 search
28.91 run=19 nbConstraintChecks=177062877 nbPropagations=6365213 nbRevisions=98353252 nbUselessRevisions=80716484
28.91 nbAssignments=106690 nbFailedAssignments=39991 nbBacktracks=66508 nbVisitedNodes=182122 nbRestartNogoods=107
28.91 => wckTime=27.938 cpuTime=27.6 mem=16M548
42.17
42.17 search
42.17 run=20 nbConstraintChecks=262292509 nbPropagations=9470819 nbRevisions=146024769 nbUselessRevisions=119751605
42.17 nbAssignments=158915 nbFailedAssignments=58957 nbBacktracks=99760 nbVisitedNodes=270472 nbRestartNogoods=121
42.17 => wckTime=41.194 cpuTime=40.73 mem=16M548
62.61
62.61 search
62.61 run=21 nbConstraintChecks=392650802 nbPropagations=14104503 nbRevisions=217991271 nbUselessRevisions=178817338
62.61 nbAssignments=238356 nbFailedAssignments=88508 nbBacktracks=149640 nbVisitedNodes=405646 nbRestartNogoods=133
62.61 => wckTime=61.632 cpuTime=60.98 mem=16M548
93.80
93.80 search
93.80 run=22 nbConstraintChecks=589837909 nbPropagations=21118703 nbRevisions=326516471 nbUselessRevisions=267854768
93.80 nbAssignments=361249 nbFailedAssignments=136573 nbBacktracks=224462 nbVisitedNodes=617705 nbRestartNogoods=140
93.80 => wckTime=92.827 cpuTime=91.9 mem=16M548
136.91
136.91 search
136.91 run=23 nbConstraintChecks=878765197 nbPropagations=31618950 nbRevisions=489467426 nbUselessRevisions=401748992
136.91 nbAssignments=540037 nbFailedAssignments=203124 nbBacktracks=336690 nbVisitedNodes=923142 nbRestartNogoods=147
136.91 => wckTime=135.934 cpuTime=134.76 mem=16M548
202.22
202.22 search
202.22 run=24 nbConstraintChecks=1326121366 nbPropagations=47443984 nbRevisions=735553204 nbUselessRevisions=603935322
202.22 nbAssignments=813146 nbFailedAssignments=307879 nbBacktracks=505032 nbVisitedNodes=1391085 nbRestartNogoods=161
202.22 => wckTime=201.245 cpuTime=199.69 mem=16M548
299.51
299.51 search
299.51 run=25 nbConstraintChecks=1980313251 nbPropagations=71299772 nbRevisions=1108192602
299.51 nbUselessRevisions=910658873 nbAssignments=1224102 nbFailedAssignments=466314 nbBacktracks=757547
299.51 nbVisitedNodes=2099819 nbRestartNogoods=175
299.51 => wckTime=298.534 cpuTime=296.45 mem=16M548
450.10
450.10 search
450.10 run=26 nbConstraintChecks=3028063847 nbPropagations=107403562 nbRevisions=1670186665
450.10 nbUselessRevisions=1372560754 nbAssignments=1842001 nbFailedAssignments=705431 nbBacktracks=1136320
450.10 nbVisitedNodes=3164176 nbRestartNogoods=185
450.10 => wckTime=449.127 cpuTime=446.24 mem=16M548
662.68
662.68 search
662.68 run=27 nbConstraintChecks=4457071871 nbPropagations=160888590 nbRevisions=2504470478
662.68 nbUselessRevisions=2059013433 nbAssignments=2744707 nbFailedAssignments=1039972 nbBacktracks=1704471
662.68 nbVisitedNodes=4704384 nbRestartNogoods=197
662.68 => wckTime=661.702 cpuTime=657.63 mem=16M548
998.03
998.03 search
998.03 run=28 nbConstraintChecks=6758524369 nbPropagations=241275388 nbRevisions=3759207213
998.03 nbUselessRevisions=3090829763 nbAssignments=4115373 nbFailedAssignments=1558381 nbBacktracks=2556700
998.03 nbVisitedNodes=7051649 nbRestartNogoods=212
998.03 => wckTime=997.055 cpuTime=991.11 mem=16M548
1495.66
1495.66 search
1495.66 run=29 nbConstraintChecks=10150757881 nbPropagations=362151506 nbRevisions=5644306349
1495.66 nbUselessRevisions=4640856930 nbAssignments=6170206 nbFailedAssignments=2334863 nbBacktracks=3835043
1495.66 nbVisitedNodes=10577206 nbRestartNogoods=228
1495.66 => wckTime=1494.683 cpuTime=1485.99 mem=16M548
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-194699-1168105503 -o ROOT/results/node17/solver-194699-1168105503 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194699-1168105503/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 1.98 1.93 4/93 23427
/proc/meminfo: memFree=1542848/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=1784 CPUtime=0
/proc/23426/stat : 23426 (java) D 23424 23426 22669 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 158945215 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/23426/statm: 446 160 125 14 0 91 0
[startup+0.10317 s]
/proc/loadavg: 1.92 1.98 1.93 4/93 23427
/proc/meminfo: memFree=1542848/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=907676 CPUtime=0.05
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 2333 0 1 0 4 1 0 0 16 0 4 0 158945215 929460224 2080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072931672 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23426/statm: 226919 2080 1166 14 0 214502 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907676
[startup+0.511209 s]
/proc/loadavg: 1.92 1.98 1.93 4/93 23427
/proc/meminfo: memFree=1542848/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915328 CPUtime=0.44
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 6325 0 1 0 41 3 0 0 18 0 8 0 158945215 937295872 6064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23426/statm: 228832 6064 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33433 s]
/proc/loadavg: 1.92 1.98 1.93 3/100 23434
/proc/meminfo: memFree=1515208/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=1.25
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9629 0 1 0 119 6 0 0 24 0 8 0 158945215 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23426/statm: 228865 9367 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.21
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 382 0 0 0 20 1 0 0 15 0 8 0 158945227 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915460
[startup+2.98646 s]
/proc/loadavg: 1.93 1.98 1.93 3/100 23434
/proc/meminfo: memFree=1515080/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=2.9
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9647 0 1 0 283 7 0 0 25 0 8 0 158945215 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23426/statm: 228865 9383 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 158945221 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915460
[startup+6.27981 s]
/proc/loadavg: 1.93 1.98 1.93 3/100 23434
/proc/meminfo: memFree=1515080/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=6.17
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9647 0 1 0 610 7 0 0 25 0 8 0 158945215 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23426/statm: 228865 9383 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915460
[startup+12.7655 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 23434
/proc/meminfo: memFree=1515080/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=12.59
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9647 0 1 0 1252 7 0 0 25 0 8 0 158945215 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23426/statm: 228865 9383 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460
[startup+25.6058 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 23434
/proc/meminfo: memFree=1515144/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=25.31
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9648 0 1 0 2524 7 0 0 25 0 8 0 158945215 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23426/statm: 228865 9384 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915460
[startup+51.2125 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 23434
/proc/meminfo: memFree=1515208/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=50.68
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9649 0 1 0 5061 7 0 0 25 0 8 0 158945215 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23426/statm: 228865 9384 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915460
[startup+102.424 s]
/proc/loadavg: 1.85 1.97 1.92 2/88 23444
/proc/meminfo: memFree=1543520/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=101.46
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9649 0 1 0 10138 8 0 0 25 0 8 0 158945215 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23426/statm: 228865 9384 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915460
[startup+162.495 s]
/proc/loadavg: 1.91 1.96 1.91 3/95 23525
/proc/meminfo: memFree=1537456/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=161.18
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9649 0 1 0 16109 9 0 0 25 0 8 0 158945215 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.16
Current children cumulated vsize (KiB) 915460
[startup+1483.5 s]
/proc/loadavg: 2.05 2.03 1.95 3/95 23723
/proc/meminfo: memFree=1536944/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=1474.88
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9650 0 1 0 147466 22 0 0 25 0 8 0 158945215 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813806 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23426/statm: 228865 9385 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.88
Current children cumulated vsize (KiB) 915460
[startup+1543.55 s]
/proc/loadavg: 2.10 2.04 1.96 3/95 23723
/proc/meminfo: memFree=1536944/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=1534.59
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9650 0 1 0 153436 23 0 0 25 0 8 0 158945215 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23426/statm: 228865 9385 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.59
Current children cumulated vsize (KiB) 915460
[startup+1603.59 s]
/proc/loadavg: 2.03 2.03 1.96 3/95 23723
/proc/meminfo: memFree=1536944/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=1594.32
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9650 0 1 0 159409 23 0 0 25 0 8 0 158945215 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23426/statm: 228865 9385 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.32
Current children cumulated vsize (KiB) 915460
[startup+1663.64 s]
/proc/loadavg: 2.10 2.05 1.97 3/95 23723
/proc/meminfo: memFree=1536880/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=1654.03
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9650 0 1 0 165380 23 0 0 25 0 8 0 158945215 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23426/statm: 228865 9385 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.03
Current children cumulated vsize (KiB) 915460
[startup+1723.68 s]
/proc/loadavg: 2.11 2.06 1.97 3/95 23723
/proc/meminfo: memFree=1536880/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=1713.73
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9650 0 1 0 171350 23 0 0 25 0 8 0 158945215 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23426/statm: 228865 9385 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.73
Current children cumulated vsize (KiB) 915460
[startup+1783.73 s]
/proc/loadavg: 2.04 2.04 1.97 3/95 23723
/proc/meminfo: memFree=1536880/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=1773.46
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9650 0 1 0 177323 23 0 0 25 0 8 0 158945215 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23426/statm: 228865 9385 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.46
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.47 s]
/proc/loadavg: 2.02 2.04 1.97 3/95 23723
/proc/meminfo: memFree=1536816/2055920 swapFree=4192812/4192956
[pid=23426] ppid=23424 vsize=915460 CPUtime=1800.07
/proc/23426/stat : 23426 (java) R 23424 23426 22669 0 -1 0 9650 0 1 0 179983 24 0 0 25 0 8 0 158945215 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23426/statm: 228865 9385 2524 14 0 215335 0
[pid=23426/tid=23428] ppid=23424 vsize=915460 CPUtime=0.03
/proc/23426/task/23428/stat : 23428 (java) S 23424 23426 22669 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158945221 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23429] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23429/stat : 23429 (java) S 23424 23426 22669 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23430] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23430/stat : 23430 (java) S 23424 23426 22669 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158945222 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23431] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23431/stat : 23431 (java) S 23424 23426 22669 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23432] ppid=23424 vsize=915460 CPUtime=0.24
/proc/23426/task/23432/stat : 23432 (java) S 23424 23426 22669 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23426/tid=23433] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23433/stat : 23433 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23426/tid=23434] ppid=23424 vsize=915460 CPUtime=0
/proc/23426/task/23434/stat : 23434 (java) S 23424 23426 22669 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158945227 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.53
CPU time (s): 1800.13
CPU user time (s): 1799.88
CPU system time (s): 0.247962
CPU usage (%): 99.4255
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.247962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9668
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= 37802
involuntary context switches= 36464
runsolver used 2.11668 s user time and 5.8901 s system time
The end
Begin job on node17 on Sat Jan 6 17:45:04 UTC 2007
IDJOB= 194699
IDBENCH= 3228
FILE ID= node17/194699-1168105503
PBS_JOBID= 3477047
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194699-1168105503/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-194699-1168105503 -o ROOT/results/node17/solver-194699-1168105503 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194699-1168105503/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 257ec74622b78f079d6567ad12dfd2e3
RANDOM SEED= 732961384
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.236
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.236
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: 1543328 kB
Buffers: 44712 kB
Cached: 289508 kB
SwapCached: 0 kB
Active: 223256 kB
Inactive: 197724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1543328 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 115808 kB
Slab: 76240 kB
Committed_AS: 4780240 kB
PageTables: 2352 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= 66318 MiB
End job on node17 on Sat Jan 6 18:15:15 UTC 2007