0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/242450-1168085518/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=110 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.12 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
0.45
0.45 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.267 cpuTime=0.17 mem=8M902
0.63
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.465 cpuTime=0.3 mem=15M573
0.81
0.81 preprocessing
0.81 nbConstraintChecks=0 nbPropagations=110 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.81 detectedInconsistency=no
0.81 => wckTime=0.0080 cpuTime=0.01 mem=15M573
0.85
0.85 search
0.85 run=0 nbConstraintChecks=1138 nbPropagations=227 nbRevisions=748 nbUselessRevisions=673 nbAssignments=97
0.85 nbFailedAssignments=1 nbBacktracks=11 nbVisitedNodes=100 nbRestartNogoods=0 mapSize=1 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.052 cpuTime=0.03 mem=15M573
0.87
0.87 search
0.87 run=1 nbConstraintChecks=2342 nbValidityChecks=11 nbPropagations=585 nbRevisions=2283 nbUselessRevisions=2043
0.87 nbAssignments=198 nbFailedAssignments=3 nbBacktracks=26 nbVisitedNodes=205 nbRestartNogoods=1 mapSize=4
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.069 cpuTime=0.05 mem=15M573
0.88
0.88 search
0.88 run=2 nbConstraintChecks=3804 nbValidityChecks=84 nbPropagations=1138 nbRevisions=4809 nbUselessRevisions=4244
0.88 nbAssignments=317 nbFailedAssignments=7 nbBacktracks=58 nbVisitedNodes=335 nbRestartNogoods=2 mapSize=13
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.085 cpuTime=0.06 mem=15M573
0.90
0.90 search
0.90 run=3 nbConstraintChecks=5328 nbValidityChecks=136 nbPropagations=1903 nbRevisions=8366
0.90 nbUselessRevisions=7294 nbAssignments=439 nbFailedAssignments=12 nbBacktracks=96 nbVisitedNodes=470
0.90 nbRestartNogoods=4 mapSize=25 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.102 cpuTime=0.08 mem=15M573
0.92
0.92 search
0.92 run=4 nbConstraintChecks=7062 nbValidityChecks=239 nbPropagations=2932 nbRevisions=13081
0.92 nbUselessRevisions=11274 nbAssignments=579 nbFailedAssignments=19 nbBacktracks=147 nbVisitedNodes=627
0.92 nbRestartNogoods=5 mapSize=40 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.124 cpuTime=0.09 mem=15M573
0.94
0.94 search
0.94 run=5 nbConstraintChecks=9036 nbValidityChecks=378 nbPropagations=4274 nbRevisions=19170
0.94 nbUselessRevisions=16333 nbAssignments=745 nbFailedAssignments=28 nbBacktracks=224 nbVisitedNodes=816
0.94 nbRestartNogoods=7 mapSize=61 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.147 cpuTime=0.12 mem=15M573
0.98
0.98 search
0.98 run=6 nbConstraintChecks=11495 nbValidityChecks=572 nbPropagations=6058 nbRevisions=26962
0.98 nbUselessRevisions=22668 nbAssignments=959 nbFailedAssignments=40 nbBacktracks=348 nbVisitedNodes=1065
0.98 nbRestartNogoods=9 mapSize=94 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.179 cpuTime=0.14 mem=15M573
1.01
1.01 search
1.01 run=7 nbConstraintChecks=14978 nbValidityChecks=937 nbPropagations=8488 nbRevisions=37314
1.01 nbUselessRevisions=30901 nbAssignments=1230 nbFailedAssignments=59 nbBacktracks=520 nbVisitedNodes=1391
1.01 nbRestartNogoods=11 mapSize=146 nbInferences=1 nbTooLargeKeys=0
1.01 => wckTime=0.213 cpuTime=0.17 mem=15M573
1.07
1.07 search
1.07 run=8 nbConstraintChecks=21081 nbValidityChecks=1676 nbPropagations=12332 nbRevisions=52222
1.07 nbUselessRevisions=42204 nbAssignments=1596 nbFailedAssignments=91 nbBacktracks=776 nbVisitedNodes=1855
1.07 nbRestartNogoods=13 mapSize=242 nbInferences=4 nbTooLargeKeys=0
1.07 => wckTime=0.27 cpuTime=0.21 mem=15M573
1.13
1.13 search
1.13 run=9 nbConstraintChecks=30351 nbValidityChecks=2749 nbPropagations=18056 nbRevisions=74352
1.13 nbUselessRevisions=58638 nbAssignments=2117 nbFailedAssignments=142 nbBacktracks=1167 nbVisitedNodes=2536
1.13 nbRestartNogoods=15 mapSize=396 nbInferences=8 nbTooLargeKeys=0
1.13 => wckTime=0.331 cpuTime=0.26 mem=15M573
1.21
1.21 search
1.21 run=10 nbConstraintChecks=45033 nbValidityChecks=4487 nbPropagations=27209 nbRevisions=107978
1.21 nbUselessRevisions=82875 nbAssignments=2848 nbFailedAssignments=206 nbBacktracks=1759 nbVisitedNodes=3491
1.21 nbRestartNogoods=17 mapSize=618 nbInferences=13 nbTooLargeKeys=0
1.21 => wckTime=0.41 cpuTime=0.33 mem=15M573
1.30
1.30 search
1.30 run=11 nbConstraintChecks=62366 nbValidityChecks=6318 nbPropagations=40083 nbRevisions=155046
1.30 nbUselessRevisions=116382 nbAssignments=3889 nbFailedAssignments=292 nbBacktracks=2629 nbVisitedNodes=4825
1.30 nbRestartNogoods=19 mapSize=907 nbInferences=15 nbTooLargeKeys=0
1.30 => wckTime=0.5 cpuTime=0.42 mem=15M573
1.42
1.42 search
1.42 run=12 nbConstraintChecks=88753 nbValidityChecks=9099 nbPropagations=59022 nbRevisions=222589
1.42 nbUselessRevisions=163634 nbAssignments=5409 nbFailedAssignments=413 nbBacktracks=3926 nbVisitedNodes=6763
1.42 nbRestartNogoods=22 mapSize=1321 nbInferences=30 nbTooLargeKeys=0
1.42 => wckTime=0.627 cpuTime=0.54 mem=16M548
1.61
1.61 search
1.61 run=13 nbConstraintChecks=127625 nbValidityChecks=12516 nbPropagations=85431 nbRevisions=321175
1.61 nbUselessRevisions=233437 nbAssignments=7660 nbFailedAssignments=611 nbBacktracks=5880 nbVisitedNodes=9583
1.61 nbRestartNogoods=26 mapSize=1886 nbInferences=46 nbTooLargeKeys=0
1.61 => wckTime=0.814 cpuTime=0.73 mem=16M548
1.89
1.89 search
1.89 run=14 nbConstraintChecks=217458 nbValidityChecks=20923 nbPropagations=130018 nbRevisions=492421
1.89 nbUselessRevisions=354950 nbAssignments=10984 nbFailedAssignments=927 nbBacktracks=8800 nbVisitedNodes=13970
1.89 nbRestartNogoods=30 mapSize=2946 nbInferences=59 nbTooLargeKeys=0
1.89 => wckTime=1.092 cpuTime=1.0 mem=16M548
2.34
2.34 search
2.34 run=15 nbConstraintChecks=294086 nbValidityChecks=28050 nbPropagations=189593 nbRevisions=724932
2.34 nbUselessRevisions=521058 nbAssignments=15996 nbFailedAssignments=1240 nbBacktracks=13192 nbVisitedNodes=20191
2.34 nbRestartNogoods=33 mapSize=4150 nbInferences=289 nbTooLargeKeys=0
2.34 => wckTime=1.546 cpuTime=1.46 mem=17M523
2.97
2.97 search
2.97 run=16 nbConstraintChecks=461205 nbValidityChecks=44213 nbPropagations=283359 nbRevisions=1091604
2.97 nbUselessRevisions=782022 nbAssignments=23453 nbFailedAssignments=1942 nbBacktracks=19776 nbVisitedNodes=29977
2.97 nbRestartNogoods=37 mapSize=6476 nbInferences=383 nbTooLargeKeys=0
2.97 => wckTime=2.177 cpuTime=2.09 mem=18M498
3.95
3.95 search
3.95 run=17 nbConstraintChecks=711130 nbValidityChecks=65949 nbPropagations=425545 nbRevisions=1660874
3.95 nbUselessRevisions=1190478 nbAssignments=34497 nbFailedAssignments=2843 nbBacktracks=29637 nbVisitedNodes=44122
3.95 nbRestartNogoods=40 mapSize=9572 nbInferences=591 nbTooLargeKeys=0
3.95 => wckTime=3.15 cpuTime=3.07 mem=19M474
5.39
5.39 search
5.39 run=18 nbConstraintChecks=1055296 nbValidityChecks=96288 nbPropagations=632218 nbRevisions=2507806
5.39 nbUselessRevisions=1801934 nbAssignments=51037 nbFailedAssignments=4191 nbBacktracks=44427 nbVisitedNodes=65356
5.39 nbRestartNogoods=45 mapSize=14263 nbInferences=917 nbTooLargeKeys=0
5.39 => wckTime=4.593 cpuTime=4.5 mem=22M399
7.57
7.57 search
7.57 run=19 nbConstraintChecks=1622975 nbValidityChecks=144296 nbPropagations=949501 nbRevisions=3811436
7.57 nbUselessRevisions=2743676 nbAssignments=75967 nbFailedAssignments=6099 nbBacktracks=66600 nbVisitedNodes=97568
7.57 nbRestartNogoods=48 mapSize=21539 nbInferences=1680 nbTooLargeKeys=0
7.57 => wckTime=6.776 cpuTime=6.69 mem=25M325
10.80
10.80 search
10.80 run=20 nbConstraintChecks=2426531 nbValidityChecks=215667 nbPropagations=1428398 nbRevisions=5760896
10.80 nbUselessRevisions=4146776 nbAssignments=112603 nbFailedAssignments=8666 nbBacktracks=99863
10.80 nbVisitedNodes=144156 nbRestartNogoods=54 mapSize=31487 nbInferences=2407 nbTooLargeKeys=0
10.80 => wckTime=10.007 cpuTime=9.91 mem=30M201
15.59
15.59 search
15.59 run=21 nbConstraintChecks=3617059 nbValidityChecks=327949 nbPropagations=2150818 nbRevisions=8663518
15.59 nbUselessRevisions=6224190 nbAssignments=167890 nbFailedAssignments=12531 nbBacktracks=149750
15.59 nbVisitedNodes=215121 nbRestartNogoods=58 mapSize=47162 nbInferences=3866 nbTooLargeKeys=0
15.59 => wckTime=14.792 cpuTime=14.69 mem=37M27
22.61
22.61 search
22.61 run=22 nbConstraintChecks=5718353 nbValidityChecks=483907 nbPropagations=3233183 nbRevisions=13296787
22.61 nbUselessRevisions=9616230 nbAssignments=251412 nbFailedAssignments=18353 nbBacktracks=224570
22.61 nbVisitedNodes=320689 nbRestartNogoods=61 mapSize=69202 nbInferences=6670 nbTooLargeKeys=0
22.61 => wckTime=21.812 cpuTime=21.71 mem=48M729
33.11
33.12 search
33.12 run=23 nbConstraintChecks=8655800 nbValidityChecks=748515 nbPropagations=4893294 nbRevisions=20306738
33.12 nbUselessRevisions=14721530 nbAssignments=375948 nbFailedAssignments=27086 nbBacktracks=336801
33.12 nbVisitedNodes=480114 nbRestartNogoods=67 mapSize=104087 nbInferences=10162 nbTooLargeKeys=0
33.12 => wckTime=32.318 cpuTime=32.12 mem=31M17
48.78
48.78 search
48.78 run=24 nbConstraintChecks=13147445 nbValidityChecks=1142600 nbPropagations=7410294 nbRevisions=30959759
48.78 nbUselessRevisions=22474542 nbAssignments=562045 nbFailedAssignments=40352 nbBacktracks=505153
48.78 nbVisitedNodes=717996 nbRestartNogoods=71 mapSize=155867 nbInferences=14569 nbTooLargeKeys=0
48.78 => wckTime=47.985 cpuTime=47.77 mem=56M878
72.29
72.29 search
72.29 run=25 nbConstraintChecks=19396818 nbValidityChecks=1649109 nbPropagations=11084480 nbRevisions=46708038
72.29 nbUselessRevisions=34015141 nbAssignments=843747 nbFailedAssignments=55414 nbBacktracks=757665
72.29 nbVisitedNodes=1069227 nbRestartNogoods=76 mapSize=225392 nbInferences=28622 nbTooLargeKeys=0
72.29 => wckTime=71.49 cpuTime=71.11 mem=64M955
106.92
106.92 search
106.92 run=26 nbConstraintChecks=29441654 nbValidityChecks=2612633 nbPropagations=16757753 nbRevisions=70589408
106.92 nbUselessRevisions=51369817 nbAssignments=1262428 nbFailedAssignments=85666 nbBacktracks=1136443
106.92 nbVisitedNodes=1607379 nbRestartNogoods=80 mapSize=344860 nbInferences=38211 nbTooLargeKeys=0
106.92 => wckTime=106.121 cpuTime=105.55 mem=92M979
158.64
158.64 search
158.64 run=27 nbConstraintChecks=45103874 nbValidityChecks=4006798 nbPropagations=25410484 nbRevisions=107181847
158.64 nbUselessRevisions=77960664 nbAssignments=1891186 nbFailedAssignments=127105 nbBacktracks=1704600
158.64 nbVisitedNodes=2414093 nbRestartNogoods=83 mapSize=522811 nbInferences=57296 nbTooLargeKeys=0
158.64 => wckTime=157.839 cpuTime=156.85 mem=126M776
235.25
235.25 search
235.25 run=28 nbConstraintChecks=68282063 nbValidityChecks=6134354 nbPropagations=38516823 nbRevisions=162586981
235.25 nbUselessRevisions=118158049 nbAssignments=2831980 nbFailedAssignments=192223 nbBacktracks=2556829
235.25 nbVisitedNodes=3619274 nbRestartNogoods=88 mapSize=787193 nbInferences=80665 nbTooLargeKeys=0
235.25 => wckTime=234.451 cpuTime=232.91 mem=178M495
350.94
350.94 search
350.94 run=29 nbConstraintChecks=105367253 nbValidityChecks=9362955 nbPropagations=58413550 nbRevisions=248260085
350.94 nbUselessRevisions=180612750 nbAssignments=4241187 nbFailedAssignments=290077 nbBacktracks=3835180
350.94 nbVisitedNodes=5430491 nbRestartNogoods=93 mapSize=1189198 nbInferences=113594 nbTooLargeKeys=0
350.94 => wckTime=350.138 cpuTime=347.54 mem=232M472
523.96
523.96 search
523.96 run=30 nbConstraintChecks=161510799 nbValidityChecks=14199882 nbPropagations=88510332 nbRevisions=379823985
523.96 nbUselessRevisions=276954690 nbAssignments=6354003 nbFailedAssignments=428826 nbBacktracks=5752691
523.96 nbVisitedNodes=8140316 nbRestartNogoods=98 mapSize=1786201 nbInferences=170076 nbTooLargeKeys=0
523.96 => wckTime=523.167 cpuTime=519.27 mem=384M855
777.79
777.79 search
777.79 run=31 nbConstraintChecks=246072976 nbValidityChecks=21386840 nbPropagations=133648253 nbRevisions=580868427
777.79 nbUselessRevisions=425098623 nbAssignments=9531248 nbFailedAssignments=634831 nbBacktracks=8628977
777.79 nbVisitedNodes=12180486 nbRestartNogoods=104 mapSize=2649121 nbInferences=264964 nbTooLargeKeys=0
777.79 => wckTime=776.99 cpuTime=771.13 mem=543M0
878.53
878.53 INFO : Stopping hyperNogood (mapSize=2978138, nbTooLargekeys=0, mem=600M683)
994.56
994.56 search
994.56 run=32 nbConstraintChecks=368261986 nbValidityChecks=31579211 nbPropagations=200141048 nbRevisions=882107874
994.56 nbUselessRevisions=647881824 nbAssignments=14229308 nbFailedAssignments=977695 nbBacktracks=12943382
994.56 nbVisitedNodes=18122792 nbRestartNogoods=109
994.56 => wckTime=993.759 cpuTime=987.08 mem=600M683
1240.31
1240.31 search
1240.31 run=33 nbConstraintChecks=561530818 nbValidityChecks=47796247 nbPropagations=300001531 nbRevisions=1341505922
1240.31 nbUselessRevisions=988182432 nbAssignments=21245335 nbFailedAssignments=1522039 nbBacktracks=19414987
1240.31 nbVisitedNodes=27155862 nbRestartNogoods=114
1240.31 => wckTime=1239.516 cpuTime=1232.77 mem=600M683
1601.55
1601.55 search
1601.55 run=34 nbConstraintChecks=852608013 nbValidityChecks=71019129 nbPropagations=447866444 nbRevisions=2040905087
1601.55 nbUselessRevisions=1510006887 nbAssignments=31772197 nbFailedAssignments=2341422 nbBacktracks=29122396
1601.55 nbVisitedNodes=40537255 nbRestartNogoods=119
1601.55 => wckTime=1600.751 cpuTime=1593.91 mem=600M683
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-242450-1168085518 -o ROOT/results/node17/solver-242450-1168085518 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242450-1168085518/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: 0.09 0.74 1.37 3/81 16801
/proc/meminfo: memFree=1602768/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=1784 CPUtime=0
/proc/16800/stat : 16800 (java) D 16798 16800 16091 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 156949168 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16800/statm: 446 160 125 14 0 91 0
[startup+0.10532 s]
/proc/loadavg: 0.09 0.74 1.37 3/81 16801
/proc/meminfo: memFree=1602768/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=912272 CPUtime=0.06
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 2650 0 1 0 5 1 0 0 22 0 8 0 156949168 934166528 2397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16800/statm: 228068 2397 1293 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912272
[startup+0.51336 s]
/proc/loadavg: 0.09 0.74 1.37 3/81 16801
/proc/meminfo: memFree=1602768/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915328 CPUtime=0.45
/proc/16800/stat : 16800 (java) S 16798 16800 16091 0 -1 0 6158 0 1 0 40 5 0 0 16 0 8 0 156949168 937295872 5897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228832 5898 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33525 s]
/proc/loadavg: 0.09 0.74 1.37 2/88 16838
/proc/meminfo: memFree=1576656/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=1.26
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 8907 0 1 0 119 7 0 0 17 0 8 0 156949168 937422848 8645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797389 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16800/statm: 228863 8645 2515 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=0.02
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 156949173 937422848 8645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156949173 937422848 8645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156949173 937422848 8645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 8645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 8645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 8645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 8645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915452
[startup+2.97942 s]
/proc/loadavg: 0.09 0.74 1.37 2/88 16838
/proc/meminfo: memFree=1574992/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=2.91
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 9513 0 1 0 283 8 0 0 18 0 8 0 156949168 937422848 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 9250 2515 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=0.02
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 156949173 937422848 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156949173 937422848 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156949173 937422848 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915452
[startup+6.27777 s]
/proc/loadavg: 0.16 0.75 1.37 3/88 16838
/proc/meminfo: memFree=1570256/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=6.21
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 10609 0 1 0 612 9 0 0 25 0 8 0 156949168 937422848 10345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 10345 2515 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=0.02
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 197 0 0 0 2 0 0 0 17 0 8 0 156949173 937422848 10345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156949173 937422848 10345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156949173 937422848 10345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 10345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 10345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 10345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 10345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915452
[startup+12.7494 s]
/proc/loadavg: 0.37 0.77 1.37 2/88 16850
/proc/meminfo: memFree=1560272/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=12.66
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 12979 0 1 0 1257 9 0 0 25 0 8 0 156949168 937422848 12715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 12715 2515 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=0.02
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 156949173 937422848 12715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156949173 937422848 12715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156949173 937422848 12715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 12715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 12715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 12715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 12715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915452
[startup+25.5888 s]
/proc/loadavg: 0.47 0.78 1.37 2/88 16858
/proc/meminfo: memFree=1530968/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=25.49
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 20209 0 1 0 2536 13 0 0 19 0 8 0 156949168 937422848 19944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 19944 2519 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=0.11
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 3215 0 0 0 10 1 0 0 16 0 8 0 156949173 937422848 19944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 19944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 19944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 19944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 19944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 19944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 19944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915452
[startup+51.2785 s]
/proc/loadavg: 0.65 0.80 1.36 2/88 16858
/proc/meminfo: memFree=1530968/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=51.17
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 20210 0 1 0 5104 13 0 0 25 0 8 0 156949168 937422848 19945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 19945 2519 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=0.11
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 3215 0 0 0 10 1 0 0 16 0 8 0 156949173 937422848 19945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 19945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 19945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 19945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 19945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 19945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 19945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915452
[startup+102.552 s]
/proc/loadavg: 0.85 0.83 1.34 2/88 16864
/proc/meminfo: memFree=1494744/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=102.42
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 29648 0 1 0 10225 17 0 0 25 0 8 0 156949168 937422848 29381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 29381 2519 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=0.45
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 12651 0 0 0 41 4 0 0 16 0 8 0 156949173 937422848 29381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 29381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 29381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 29381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 29381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 29381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 29381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915452
[startup+162.56 s]
/proc/loadavg: 0.99 0.87 1.32 2/88 16914
/proc/meminfo: memFree=1456728/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=162.39
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 42898 0 1 0 16216 23 0 0 17 0 8 0 156949168 937422848 42628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818286 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 915452
[startup+1482.96 s]
/proc/loadavg: 2.00 1.96 1.73 3/100 17110
/proc/meminfo: memFree=958456/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=1482.34
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 156000 0 1 0 148158 76 0 0 25 0 8 0 156949168 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 155702 2519 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=6.18
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 138972 0 0 0 566 52 0 0 16 0 8 0 156949173 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 915452
[startup+1542.98 s]
/proc/loadavg: 2.00 1.97 1.74 3/100 17110
/proc/meminfo: memFree=958456/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=1542.34
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 156000 0 1 0 154158 76 0 0 25 0 8 0 156949168 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 155702 2519 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=6.18
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 138972 0 0 0 566 52 0 0 16 0 8 0 156949173 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 155702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 915452
[startup+1603 s]
/proc/loadavg: 2.04 1.98 1.76 3/100 17110
/proc/meminfo: memFree=958392/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=1602.34
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 156001 0 1 0 160158 76 0 0 25 0 8 0 156949168 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 155703 2519 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=6.18
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 138972 0 0 0 566 52 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 915452
[startup+1663.02 s]
/proc/loadavg: 2.01 1.98 1.77 3/100 17110
/proc/meminfo: memFree=958392/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=1662.34
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 156001 0 1 0 166158 76 0 0 25 0 8 0 156949168 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 155703 2519 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=6.18
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 138972 0 0 0 566 52 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 915452
[startup+1723.03 s]
/proc/loadavg: 2.00 1.98 1.78 3/100 17110
/proc/meminfo: memFree=958392/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=1722.34
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 156001 0 1 0 172158 76 0 0 25 0 8 0 156949168 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 155703 2519 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=6.18
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 138972 0 0 0 566 52 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 915452
[startup+1783.05 s]
/proc/loadavg: 2.00 1.98 1.79 3/100 17110
/proc/meminfo: memFree=958392/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=1782.34
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 156001 0 1 0 178158 76 0 0 25 0 8 0 156949168 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 155703 2519 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=6.18
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 138972 0 0 0 566 52 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.73 s]
/proc/loadavg: 2.00 1.98 1.79 3/100 17110
/proc/meminfo: memFree=958392/2055920 swapFree=4192812/4192956
[pid=16800] ppid=16798 vsize=915452 CPUtime=1800.02
/proc/16800/stat : 16800 (java) R 16798 16800 16091 0 -1 0 156001 0 1 0 179925 77 0 0 25 0 8 0 156949168 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818069 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16800/statm: 228863 155703 2519 14 0 215333 0
[pid=16800/tid=16806] ppid=16798 vsize=915452 CPUtime=6.18
/proc/16800/task/16806/stat : 16806 (java) S 16798 16800 16091 0 -1 64 138972 0 0 0 566 52 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16807] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16807/stat : 16807 (java) S 16798 16800 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16808] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16808/stat : 16808 (java) S 16798 16800 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156949173 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16813] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16813/stat : 16813 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16814] ppid=16798 vsize=915452 CPUtime=0.23
/proc/16800/task/16814/stat : 16814 (java) S 16798 16800 16091 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16800/tid=16815] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16815/stat : 16815 (java) S 16798 16800 16091 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16800/tid=16816] ppid=16798 vsize=915452 CPUtime=0
/proc/16800/task/16816/stat : 16816 (java) S 16798 16800 16091 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156949178 937422848 155703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.88
CPU time (s): 1800.18
CPU user time (s): 1799.31
CPU system time (s): 0.868867
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.868867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156017
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= 37522
involuntary context switches= 15444
runsolver used 1.91371 s user time and 4.66229 s system time
The end
Begin job on node17 on Sat Jan 6 12:12:11 UTC 2007
IDJOB= 242450
IDBENCH= 7393
FILE ID= node17/242450-1168085518
PBS_JOBID= 3476276
Free space on /tmp= 66320 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 mac.xml 1 XSax /tmp/evaluation/242450-1168085518/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-242450-1168085518 -o ROOT/results/node17/solver-242450-1168085518 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242450-1168085518/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0053f538d7cf85047146fc39657955a2
RANDOM SEED= 871632052
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: 1603240 kB
Buffers: 48056 kB
Cached: 257332 kB
SwapCached: 0 kB
Active: 148812 kB
Inactive: 214932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1603240 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1752 kB
Writeback: 0 kB
Mapped: 77360 kB
Slab: 74028 kB
Committed_AS: 3870092 kB
PageTables: 2076 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= 66319 MiB
End job on node17 on Sat Jan 6 12:42:25 UTC 2007