0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/242449-1168381081/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=110 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.44 => wckTime=0.104 cpuTime=0.1 mem=6M951
0.44
0.44 relations being loaded...
0.44
0.44 constraints being loaded...
0.60 nbConstraints=561 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=559
0.60 nbConflictsStructures=2 nbSharedConflictsStructures=559 nbSharedBinaryRepresentations=2 maxDegree=11
0.60 maxArity=10
0.60 => wckTime=0.264 cpuTime=0.19 mem=8M902
0.64
0.64 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.5 cpuTime=0.35 mem=15M670
0.87
0.87 preprocessing
0.87 nbConstraintChecks=1947 nbPropagations=319 nbRevisions=1279 nbUselessRevisions=1202 nbSingletonTests=136
0.87 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.04 cpuTime=0.02 mem=15M670
0.91
0.91 search
0.91 run=0 nbConstraintChecks=1167 nbPropagations=436 nbRevisions=2047 nbUselessRevisions=1896 nbAssignments=97
0.91 nbFailedAssignments=1 nbBacktracks=11 nbVisitedNodes=100 nbRestartNogoods=0 mapSize=1 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.075 cpuTime=0.05 mem=15M670
0.92
0.92 search
0.92 run=1 nbConstraintChecks=2369 nbValidityChecks=13 nbPropagations=1003 nbRevisions=4866 nbUselessRevisions=4476
0.92 nbAssignments=198 nbFailedAssignments=3 nbBacktracks=26 nbVisitedNodes=205 nbRestartNogoods=1 mapSize=4
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.09 cpuTime=0.06 mem=15M670
0.94
0.94 search
0.94 run=2 nbConstraintChecks=3828 nbValidityChecks=92 nbPropagations=1765 nbRevisions=8667 nbUselessRevisions=7880
0.94 nbAssignments=317 nbFailedAssignments=7 nbBacktracks=58 nbVisitedNodes=335 nbRestartNogoods=2 mapSize=13
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.108 cpuTime=0.08 mem=15M670
0.96
0.96 search
0.96 run=3 nbConstraintChecks=5354 nbValidityChecks=151 nbPropagations=2739 nbRevisions=13491
0.96 nbUselessRevisions=12127 nbAssignments=439 nbFailedAssignments=12 nbBacktracks=96 nbVisitedNodes=470
0.96 nbRestartNogoods=4 mapSize=25 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.128 cpuTime=0.09 mem=15M670
0.99
0.99 search
0.99 run=4 nbConstraintChecks=6983 nbValidityChecks=233 nbPropagations=3950 nbRevisions=19374
0.99 nbUselessRevisions=17231 nbAssignments=578 nbFailedAssignments=18 nbBacktracks=149 nbVisitedNodes=624
0.99 nbRestartNogoods=5 mapSize=38 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.151 cpuTime=0.12 mem=15M670
1.01
1.01 search
1.01 run=5 nbConstraintChecks=8998 nbValidityChecks=358 nbPropagations=5491 nbRevisions=26611
1.01 nbUselessRevisions=23378 nbAssignments=748 nbFailedAssignments=25 nbBacktracks=224 nbVisitedNodes=818
1.01 nbRestartNogoods=7 mapSize=60 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.181 cpuTime=0.14 mem=15M670
1.04
1.04 search
1.04 run=6 nbConstraintChecks=11533 nbValidityChecks=569 nbPropagations=7480 nbRevisions=35652
1.04 nbUselessRevisions=30883 nbAssignments=958 nbFailedAssignments=37 nbBacktracks=342 nbVisitedNodes=1064
1.04 nbRestartNogoods=9 mapSize=93 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.211 cpuTime=0.17 mem=15M670
1.08
1.08 search
1.08 run=7 nbConstraintChecks=15109 nbValidityChecks=953 nbPropagations=10171 nbRevisions=47285
1.08 nbUselessRevisions=40269 nbAssignments=1240 nbFailedAssignments=57 nbBacktracks=516 nbVisitedNodes=1401
1.08 nbRestartNogoods=12 mapSize=146 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.251 cpuTime=0.2 mem=15M670
1.15
1.15 search
1.15 run=8 nbConstraintChecks=21143 nbValidityChecks=1641 nbPropagations=14206 nbRevisions=63403
1.15 nbUselessRevisions=52726 nbAssignments=1620 nbFailedAssignments=87 nbBacktracks=777 nbVisitedNodes=1875
1.15 nbRestartNogoods=14 mapSize=236 nbInferences=4 nbTooLargeKeys=0
1.15 => wckTime=0.322 cpuTime=0.24 mem=15M670
1.21
1.21 search
1.21 run=9 nbConstraintChecks=28145 nbValidityChecks=2415 nbPropagations=19700 nbRevisions=84898
1.21 nbUselessRevisions=68985 nbAssignments=2107 nbFailedAssignments=124 nbBacktracks=1162 nbVisitedNodes=2483
1.21 nbRestartNogoods=17 mapSize=356 nbInferences=5 nbTooLargeKeys=0
1.21 => wckTime=0.377 cpuTime=0.29 mem=15M670
1.29
1.29 search
1.29 run=10 nbConstraintChecks=42457 nbValidityChecks=4044 nbPropagations=28419 nbRevisions=117508
1.29 nbUselessRevisions=92755 nbAssignments=2843 nbFailedAssignments=201 nbBacktracks=1739 nbVisitedNodes=3452
1.29 nbRestartNogoods=18 mapSize=587 nbInferences=8 nbTooLargeKeys=0
1.29 => wckTime=0.461 cpuTime=0.36 mem=16M646
1.40
1.40 search
1.40 run=11 nbConstraintChecks=57761 nbValidityChecks=5749 nbPropagations=40261 nbRevisions=162154
1.40 nbUselessRevisions=125061 nbAssignments=3889 nbFailedAssignments=291 nbBacktracks=2616 nbVisitedNodes=4763
1.40 nbRestartNogoods=20 mapSize=850 nbInferences=15 nbTooLargeKeys=0
1.40 => wckTime=0.563 cpuTime=0.47 mem=16M646
1.53
1.53 search
1.53 run=12 nbConstraintChecks=84820 nbValidityChecks=9031 nbPropagations=59060 nbRevisions=227574
1.53 nbUselessRevisions=170438 nbAssignments=5422 nbFailedAssignments=432 nbBacktracks=3931 nbVisitedNodes=6752
1.53 nbRestartNogoods=22 mapSize=1305 nbInferences=27 nbTooLargeKeys=0
1.53 => wckTime=0.7 cpuTime=0.6 mem=16M646
1.74
1.74 search
1.74 run=13 nbConstraintChecks=121980 nbValidityChecks=12595 nbPropagations=85489 nbRevisions=322448
1.74 nbUselessRevisions=236683 nbAssignments=7618 nbFailedAssignments=581 nbBacktracks=5894 nbVisitedNodes=9486
1.74 nbRestartNogoods=23 mapSize=1842 nbInferences=62 nbTooLargeKeys=0
1.74 => wckTime=0.904 cpuTime=0.8 mem=16M646
2.03
2.03 search
2.03 run=14 nbConstraintChecks=189924 nbValidityChecks=19267 nbPropagations=125968 nbRevisions=471365
2.03 nbUselessRevisions=340926 nbAssignments=10952 nbFailedAssignments=883 nbBacktracks=8832 nbVisitedNodes=13844
2.03 nbRestartNogoods=24 mapSize=2864 nbInferences=84 nbTooLargeKeys=0
2.03 => wckTime=1.2 cpuTime=1.09 mem=17M621
2.48
2.48 search
2.48 run=15 nbConstraintChecks=278791 nbValidityChecks=27679 nbPropagations=184160 nbRevisions=690832
2.48 nbUselessRevisions=495381 nbAssignments=15912 nbFailedAssignments=1303 nbBacktracks=13214 nbVisitedNodes=20212
2.48 nbRestartNogoods=26 mapSize=4269 nbInferences=162 nbTooLargeKeys=0
2.49 => wckTime=1.651 cpuTime=1.54 mem=17M621
3.15
3.15 search
3.15 run=16 nbConstraintChecks=440735 nbValidityChecks=43150 nbPropagations=275723 nbRevisions=1039601
3.15 nbUselessRevisions=740839 nbAssignments=23311 nbFailedAssignments=1958 nbBacktracks=19790 nbVisitedNodes=29860
3.15 nbRestartNogoods=29 mapSize=6514 nbInferences=249 nbTooLargeKeys=0
3.15 => wckTime=2.318 cpuTime=2.19 mem=18M596
4.13
4.13 search
4.13 run=17 nbConstraintChecks=792651 nbValidityChecks=64648 nbPropagations=422491 nbRevisions=1688095
4.13 nbUselessRevisions=1224377 nbAssignments=34558 nbFailedAssignments=2977 nbBacktracks=29646 nbVisitedNodes=44078
4.13 nbRestartNogoods=33 mapSize=9480 nbInferences=546 nbTooLargeKeys=0
4.13 => wckTime=3.294 cpuTime=3.14 mem=20M546
5.60
5.60 search
5.60 run=18 nbConstraintChecks=1096734 nbValidityChecks=94913 nbPropagations=635276 nbRevisions=2577984
5.60 nbUselessRevisions=1875172 nbAssignments=50976 nbFailedAssignments=4159 nbBacktracks=44436 nbVisitedNodes=64900
5.60 nbRestartNogoods=38 mapSize=13881 nbInferences=922 nbTooLargeKeys=0
5.60 => wckTime=4.771 cpuTime=4.6 mem=22M497
7.76
7.76 search
7.76 run=19 nbConstraintChecks=1893886 nbValidityChecks=147794 nbPropagations=971133 nbRevisions=4143290
7.76 nbUselessRevisions=3059765 nbAssignments=75884 nbFailedAssignments=6096 nbBacktracks=66609 nbVisitedNodes=96872
7.77 nbRestartNogoods=41 mapSize=20940 nbInferences=1644 nbTooLargeKeys=0
7.77 => wckTime=6.932 cpuTime=6.74 mem=25M422
11.05
11.05 search
11.05 run=20 nbConstraintChecks=2741990 nbValidityChecks=224614 nbPropagations=1471696 nbRevisions=6391110
11.05 nbUselessRevisions=4734837 nbAssignments=112711 nbFailedAssignments=9108 nbBacktracks=99864
11.05 nbVisitedNodes=144703 nbRestartNogoods=46 mapSize=31940 nbInferences=2128 nbTooLargeKeys=0
11.05 => wckTime=10.213 cpuTime=9.97 mem=30M298
16.01
16.01 search
16.01 run=21 nbConstraintChecks=4236385 nbValidityChecks=318341 nbPropagations=2210597 nbRevisions=9889260
16.01 nbUselessRevisions=7398883 nbAssignments=170118 nbFailedAssignments=12229 nbBacktracks=149742
16.01 nbVisitedNodes=216818 nbRestartNogoods=50 mapSize=46644 nbInferences=6463 nbTooLargeKeys=0
16.01 => wckTime=15.177 cpuTime=14.86 mem=38M99
23.30
23.30 search
23.30 run=22 nbConstraintChecks=6713420 nbValidityChecks=502525 nbPropagations=3372023 nbRevisions=15443055
23.30 nbUselessRevisions=11627644 nbAssignments=252718 nbFailedAssignments=18378 nbBacktracks=224571
23.30 nbVisitedNodes=323131 nbRestartNogoods=54 mapSize=70353 nbInferences=8005 nbTooLargeKeys=0
23.30 => wckTime=22.472 cpuTime=22.06 mem=49M490
34.25
34.25 search
34.25 run=23 nbConstraintChecks=9520210 nbValidityChecks=700332 nbPropagations=5023677 nbRevisions=23297459
34.25 nbUselessRevisions=17622218 nbAssignments=381179 nbFailedAssignments=24577 nbBacktracks=336798
34.25 nbVisitedNodes=483278 nbRestartNogoods=58 mapSize=102035 nbInferences=17968 nbTooLargeKeys=0
34.25 => wckTime=33.42 cpuTime=32.78 mem=32M219
50.02
50.03 search
50.03 run=24 nbConstraintChecks=14044332 nbValidityChecks=1107875 nbPropagations=7559921 nbRevisions=34820221
50.03 nbUselessRevisions=26262724 nbAssignments=566847 nbFailedAssignments=37819 nbBacktracks=505155
50.03 nbVisitedNodes=720823 nbRestartNogoods=62 mapSize=153908 nbInferences=21971 nbTooLargeKeys=0
50.03 => wckTime=49.192 cpuTime=48.41 mem=58M81
74.17
74.17 search
74.17 run=25 nbConstraintChecks=21175435 nbValidityChecks=1734598 nbPropagations=11455099 nbRevisions=52117694
74.17 nbUselessRevisions=39090985 nbAssignments=845798 nbFailedAssignments=57670 nbBacktracks=757676
74.17 nbVisitedNodes=1083015 nbRestartNogoods=66 mapSize=237144 nbInferences=28478 nbTooLargeKeys=0
74.17 => wckTime=73.337 cpuTime=72.11 mem=65M223
109.33
109.33 search
109.33 run=26 nbConstraintChecks=31224213 nbValidityChecks=2495150 nbPropagations=17098807 nbRevisions=77655686
109.33 nbUselessRevisions=58175055 nbAssignments=1273285 nbFailedAssignments=80127 nbBacktracks=1136443
109.33 nbVisitedNodes=1617556 nbRestartNogoods=71 mapSize=344193 nbInferences=54673 nbTooLargeKeys=0
109.33 => wckTime=108.492 cpuTime=106.57 mem=93M688
162.31
162.31 search
162.31 run=27 nbConstraintChecks=48367036 nbValidityChecks=3876639 nbPropagations=25754900 nbRevisions=117293487
162.31 nbUselessRevisions=87845977 nbAssignments=1901499 nbFailedAssignments=119966 nbBacktracks=1704605
162.31 nbVisitedNodes=2421409 nbRestartNogoods=76 mapSize=519827 nbInferences=74816 nbTooLargeKeys=0
162.31 => wckTime=161.474 cpuTime=158.56 mem=126M355
241.09
241.09 search
241.09 run=28 nbConstraintChecks=73461610 nbValidityChecks=5806891 nbPropagations=38694733 nbRevisions=177591302
241.09 nbUselessRevisions=133182985 nbAssignments=2849384 nbFailedAssignments=177704 nbBacktracks=2556831
241.09 nbVisitedNodes=3624802 nbRestartNogoods=81 mapSize=775331 nbInferences=112667 nbTooLargeKeys=0
241.09 => wckTime=240.258 cpuTime=235.93 mem=164M899
356.23
356.23 search
356.23 run=29 nbConstraintChecks=110589584 nbValidityChecks=8858858 nbPropagations=58257961 nbRevisions=268386563
356.23 nbUselessRevisions=201311583 nbAssignments=4264211 nbFailedAssignments=274202 nbBacktracks=3835185
356.23 nbVisitedNodes=5421294 nbRestartNogoods=85 mapSize=1156992 nbInferences=152567 nbTooLargeKeys=0
356.23 => wckTime=355.401 cpuTime=348.87 mem=225M554
527.56
527.56 search
527.56 run=30 nbConstraintChecks=168005580 nbValidityChecks=13758738 nbPropagations=88086687 nbRevisions=406386198
527.56 nbUselessRevisions=304562011 nbAssignments=6382655 nbFailedAssignments=426018 nbBacktracks=5752702
527.56 nbVisitedNodes=8137034 nbRestartNogoods=89 mapSize=1754283 nbInferences=201602 nbTooLargeKeys=0
527.56 => wckTime=526.732 cpuTime=517.02 mem=359M339
767.01
767.01 search
767.01 run=31 nbConstraintChecks=255902285 nbValidityChecks=21089948 nbPropagations=133292491 nbRevisions=616669822
767.01 nbUselessRevisions=461860074 nbAssignments=9557209 nbFailedAssignments=647019 nbBacktracks=8628974
767.01 nbVisitedNodes=12217699 nbRestartNogoods=94 mapSize=2660390 nbInferences=278821 nbTooLargeKeys=0
767.01 => wckTime=766.173 cpuTime=754.34 mem=526M199
853.46
853.46 INFO : Stopping hyperNogood (mapSize=2988238, nbTooLargekeys=0, mem=600M634)
970.56
970.56 search
970.56 run=32 nbConstraintChecks=387445154 nbValidityChecks=32086813 nbPropagations=201031615 nbRevisions=935528665
970.56 nbUselessRevisions=700609622 nbAssignments=14270141 nbFailedAssignments=1013599 nbBacktracks=12943383
970.56 nbVisitedNodes=18257879 nbRestartNogoods=98
970.56 => wckTime=969.731 cpuTime=957.21 mem=600M634
1197.76
1197.76 search
1197.76 run=33 nbConstraintChecks=580647094 nbValidityChecks=47968598 nbPropagations=301408154 nbRevisions=1413656147
1197.76 nbUselessRevisions=1058924278 nbAssignments=21311858 nbFailedAssignments=1583633 nbBacktracks=19414984
1197.76 nbVisitedNodes=27224757 nbRestartNogoods=103
1197.76 => wckTime=1196.931 cpuTime=1184.32 mem=600M634
1547.47
1547.47 search
1547.47 run=34 nbConstraintChecks=884524423 nbValidityChecks=72170093 nbPropagations=451653943 nbRevisions=2142847050
1547.47 nbUselessRevisions=1607288585 nbAssignments=31871912 nbFailedAssignments=2436205 nbBacktracks=29122395
1547.47 nbVisitedNodes=40755689 nbRestartNogoods=109
1547.47 => wckTime=1546.632 cpuTime=1533.89 mem=600M634
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-242449-1168381081 -o ROOT/results/node19/solver-242449-1168381081 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242449-1168381081/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: 2.00 2.00 1.96 3/98 16507
/proc/meminfo: memFree=1104888/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=18540 CPUtime=0
/proc/16506/stat : 16506 (runsolver) R 16504 16506 15351 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 186502759 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16506/statm: 4635 279 244 17 0 2626 0
[startup+0.102868 s]
/proc/loadavg: 2.00 2.00 1.96 3/98 16507
/proc/meminfo: memFree=1104888/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=913236 CPUtime=0.08
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 2920 0 1 0 6 2 0 0 17 0 8 0 186502759 935153664 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153589845 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.518713 s]
/proc/loadavg: 2.00 2.00 1.96 3/98 16507
/proc/meminfo: memFree=1104888/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915328 CPUtime=0.49
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 6202 0 1 0 44 5 0 0 18 0 8 0 186502759 937295872 5941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228832 5941 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3401 s]
/proc/loadavg: 2.00 2.00 1.96 3/105 16514
/proc/meminfo: memFree=1080128/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=1.3
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 8983 0 1 0 123 7 0 0 24 0 8 0 186502759 937422848 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 8721 2526 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=0.03
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 197 0 0 0 3 0 0 0 16 0 8 0 186502763 937422848 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186502764 937422848 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.25
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 186502767 937422848 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.98305 s]
/proc/loadavg: 2.08 2.02 1.97 3/105 16514
/proc/meminfo: memFree=1078592/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=2.92
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 9527 0 1 0 284 8 0 0 25 0 8 0 186502759 937422848 9263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 9263 2526 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=0.03
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 197 0 0 0 3 0 0 0 17 0 8 0 186502763 937422848 9263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 9263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186502764 937422848 9263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 9263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 9263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 9263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 9263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452
[startup+6.1851 s]
/proc/loadavg: 2.08 2.02 1.97 3/105 16514
/proc/meminfo: memFree=1073728/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=6.07
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 10655 0 1 0 599 8 0 0 25 0 8 0 186502759 937422848 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 10391 2526 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=0.03
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 197 0 0 0 3 0 0 0 16 0 8 0 186502763 937422848 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186502764 937422848 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915452
[startup+12.6742 s]
/proc/loadavg: 2.07 2.02 1.97 3/105 16514
/proc/meminfo: memFree=1064072/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=12.49
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 12973 0 1 0 1239 10 0 0 25 0 8 0 186502759 937422848 12708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 12708 2526 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=0.03
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 197 0 0 0 3 0 0 0 16 0 8 0 186502763 937422848 12708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 12708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186502764 937422848 12708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 12708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 12708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 12708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 12708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915452
[startup+25.5727 s]
/proc/loadavg: 2.06 2.02 1.97 4/105 16514
/proc/meminfo: memFree=1034568/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=25.19
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 20282 0 1 0 2507 12 0 0 25 0 8 0 186502759 937422848 20016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 20016 2530 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=0.13
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 3266 0 0 0 13 0 0 0 16 0 8 0 186502763 937422848 20016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 20016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 20016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 20016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 20016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 20016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 20016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 915452
[startup+51.1905 s]
/proc/loadavg: 2.04 2.01 1.97 3/105 16514
/proc/meminfo: memFree=1034632/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=50.58
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 20283 0 1 0 5045 13 0 0 25 0 8 0 186502759 937422848 20017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 20017 2530 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=0.13
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 3266 0 0 0 13 0 0 0 16 0 8 0 186502763 937422848 20017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 20017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 20017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 20017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 20017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 20017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 20017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915452
[startup+102.396 s]
/proc/loadavg: 2.06 2.03 1.97 3/105 16516
/proc/meminfo: memFree=996096/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=101.18
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 29844 0 1 0 10100 18 0 0 25 0 8 0 186502759 937422848 29576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 29576 2530 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=0.58
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 12825 0 0 0 53 5 0 0 16 0 8 0 186502763 937422848 29576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 29576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 29576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 29576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 29576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 29576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 29576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.18
Current children cumulated vsize (KiB) 915452
[startup+162.45 s]
/proc/loadavg: 2.02 2.02 1.97 3/105 16516
/proc/meminfo: memFree=962056/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=160.58
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 38401 0 1 0 16035 23 0 0 25 0 8 0 186502759 937422848 38131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1418.12
Current children cumulated vsize (KiB) 915452
[startup+1484.07 s]
/proc/loadavg: 1.00 1.03 1.33 2/85 16533
/proc/meminfo: memFree=1164912/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=1478.2
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 156528 0 1 0 147737 83 0 0 25 0 8 0 186502759 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 156229 2530 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=6.79
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 139477 0 0 0 617 62 0 0 16 0 8 0 186502763 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1478.2
Current children cumulated vsize (KiB) 915452
[startup+1544.16 s]
/proc/loadavg: 1.00 1.02 1.30 2/85 16533
/proc/meminfo: memFree=1164912/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=1538.26
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 156528 0 1 0 153743 83 0 0 25 0 8 0 186502759 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 156229 2530 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=6.79
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 139477 0 0 0 617 62 0 0 16 0 8 0 186502763 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1538.26
Current children cumulated vsize (KiB) 915452
[startup+1604.26 s]
/proc/loadavg: 1.00 1.02 1.28 2/85 16533
/proc/meminfo: memFree=1164912/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=1598.33
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 156528 0 1 0 159750 83 0 0 25 0 8 0 186502759 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 156229 2530 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=6.79
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 139477 0 0 0 617 62 0 0 16 0 8 0 186502763 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.33
Current children cumulated vsize (KiB) 915452
[startup+1664.36 s]
/proc/loadavg: 1.00 1.01 1.26 2/85 16533
/proc/meminfo: memFree=1164912/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=1658.41
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 156528 0 1 0 165758 83 0 0 25 0 8 0 186502759 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 156229 2530 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=6.79
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 139477 0 0 0 617 62 0 0 16 0 8 0 186502763 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1658.41
Current children cumulated vsize (KiB) 915452
[startup+1724.45 s]
/proc/loadavg: 1.00 1.01 1.24 2/85 16533
/proc/meminfo: memFree=1164912/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=1718.49
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 156528 0 1 0 171766 83 0 0 25 0 8 0 186502759 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 156229 2530 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=6.79
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 139477 0 0 0 617 62 0 0 16 0 8 0 186502763 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.49
Current children cumulated vsize (KiB) 915452
[startup+1784.46 s]
/proc/loadavg: 1.00 1.00 1.22 2/85 16533
/proc/meminfo: memFree=1164848/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=1778.46
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 156528 0 1 0 177763 83 0 0 25 0 8 0 186502759 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 156229 2530 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=6.79
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 139477 0 0 0 617 62 0 0 16 0 8 0 186502763 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1778.46
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.02 s]
/proc/loadavg: 1.00 1.00 1.22 2/85 16533
/proc/meminfo: memFree=1164848/2055920 swapFree=4171244/4192956
[pid=16506] ppid=16504 vsize=915452 CPUtime=1800.03
/proc/16506/stat : 16506 (java) R 16504 16506 15351 0 -1 0 156528 0 1 0 179920 83 0 0 25 0 8 0 186502759 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16506/statm: 228863 156229 2530 14 0 215333 0
[pid=16506/tid=16508] ppid=16504 vsize=915452 CPUtime=6.79
/proc/16506/task/16508/stat : 16508 (java) S 16504 16506 15351 0 -1 64 139477 0 0 0 617 62 0 0 16 0 8 0 186502763 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16509] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16509/stat : 16509 (java) S 16504 16506 15351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16510] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16510/stat : 16510 (java) S 16504 16506 15351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186502764 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16511] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16511/stat : 16511 (java) S 16504 16506 15351 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16512] ppid=16504 vsize=915452 CPUtime=0.26
/proc/16506/task/16512/stat : 16512 (java) S 16504 16506 15351 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16513] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16513/stat : 16513 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16506/tid=16514] ppid=16504 vsize=915452 CPUtime=0
/proc/16506/task/16514/stat : 16514 (java) S 16504 16506 15351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186502767 937422848 156229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.15
CPU time (s): 1800.16
CPU user time (s): 1799.23
CPU system time (s): 0.929858
CPU usage (%): 99.6685
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.929858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156544
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= 37874
involuntary context switches= 58426
runsolver used 2.34264 s user time and 5.05023 s system time
The end
Begin job on node19 on Tue Jan 9 22:18:01 UTC 2007
IDJOB= 242449
IDBENCH= 7393
FILE ID= node19/242449-1168381081
PBS_JOBID= 3522339
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/varDimacs/hole-10_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242449-1168381081/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-242449-1168381081 -o ROOT/results/node19/solver-242449-1168381081 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242449-1168381081/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0053f538d7cf85047146fc39657955a2
RANDOM SEED= 507768920
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.260
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.260
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1105368 kB
Buffers: 43720 kB
Cached: 146008 kB
SwapCached: 10396 kB
Active: 823352 kB
Inactive: 69400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1105368 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 721908 kB
Slab: 41136 kB
Committed_AS: 6150552 kB
PageTables: 3740 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= 66560 MiB
End job on node19 on Tue Jan 9 22:48:08 UTC 2007