0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/221887-1168080130/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=862 maxDegree=23
0.64 maxArity=2
0.64 => wckTime=0.316 cpuTime=0.22 mem=13M794
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.511 cpuTime=0.36 mem=14M41
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0030 cpuTime=0.0 mem=14M41
0.89
0.89 search
0.89 run=0 nbConstraintChecks=35790 nbPropagations=470 nbRevisions=7374 nbUselessRevisions=6441 nbAssignments=29
0.89 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.053 cpuTime=0.03 mem=15M65
0.91
0.91 search
0.91 run=1 nbConstraintChecks=76907 nbPropagations=1474 nbRevisions=23503 nbUselessRevisions=20541 nbAssignments=64
0.91 nbFailedAssignments=26 nbBacktracks=26 nbVisitedNodes=109 nbRestartNogoods=3 mapSize=24 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.072 cpuTime=0.04 mem=15M65
0.93
0.93 search
0.93 run=2 nbConstraintChecks=147229 nbPropagations=3272 nbRevisions=54297 nbUselessRevisions=47276
0.94 nbAssignments=115 nbFailedAssignments=51 nbBacktracks=48 nbVisitedNodes=203 nbRestartNogoods=9 mapSize=46
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.098 cpuTime=0.06 mem=15M65
0.96
0.96 search
0.96 run=3 nbConstraintChecks=221646 nbPropagations=6094 nbRevisions=102546 nbUselessRevisions=89120
0.96 nbAssignments=186 nbFailedAssignments=82 nbBacktracks=81 nbVisitedNodes=331 nbRestartNogoods=13 mapSize=79
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.122 cpuTime=0.08 mem=15M65
0.99
0.99 search
0.99 run=4 nbConstraintChecks=380025 nbPropagations=10636 nbRevisions=183515 nbUselessRevisions=158992
0.99 nbAssignments=297 nbFailedAssignments=139 nbBacktracks=131 nbVisitedNodes=538 nbRestartNogoods=20 mapSize=129
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.154 cpuTime=0.11 mem=15M65
1.04
1.04 search
1.04 run=5 nbConstraintChecks=562710 nbPropagations=17401 nbRevisions=306962 nbUselessRevisions=265781
1.04 nbAssignments=447 nbFailedAssignments=208 nbBacktracks=207 nbVisitedNodes=816 nbRestartNogoods=25 mapSize=203
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.198 cpuTime=0.15 mem=15M65
1.10
1.10 search
1.10 run=6 nbConstraintChecks=839270 nbPropagations=27421 nbRevisions=492585 nbUselessRevisions=426376
1.10 nbAssignments=669 nbFailedAssignments=313 nbBacktracks=320 nbVisitedNodes=1221 nbRestartNogoods=31 mapSize=311
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.258 cpuTime=0.21 mem=15M65
1.20
1.20 search
1.20 run=7 nbConstraintChecks=1335672 nbPropagations=42963 nbRevisions=789007 nbUselessRevisions=682866
1.20 nbAssignments=1025 nbFailedAssignments=494 nbBacktracks=490 nbVisitedNodes=1894 nbRestartNogoods=35
1.20 mapSize=479 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.362 cpuTime=0.3 mem=15M65
1.34
1.34 search
1.34 run=8 nbConstraintChecks=1998026 nbPropagations=66109 nbRevisions=1235581 nbUselessRevisions=1069780
1.34 nbAssignments=1522 nbFailedAssignments=730 nbBacktracks=747 nbVisitedNodes=2813 nbRestartNogoods=46
1.34 mapSize=727 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.505 cpuTime=0.43 mem=15M65
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=15M65)
1.53
1.53 search
1.53 run=9 nbConstraintChecks=2988151 nbPropagations=100668 nbRevisions=1908139 nbUselessRevisions=1652679
1.53 nbAssignments=2282 nbFailedAssignments=1101 nbBacktracks=1132 nbVisitedNodes=4236 nbRestartNogoods=53
1.53 => wckTime=0.689 cpuTime=0.61 mem=15M65
1.77
1.77 search
1.77 run=10 nbConstraintChecks=4360964 nbPropagations=151449 nbRevisions=2897223 nbUselessRevisions=2510252
1.77 nbAssignments=3396 nbFailedAssignments=1634 nbBacktracks=1708 nbVisitedNodes=6294 nbRestartNogoods=63
1.77 => wckTime=0.93 cpuTime=0.85 mem=15M65
2.10
2.10 search
2.10 run=11 nbConstraintChecks=6543290 nbPropagations=227237 nbRevisions=4380453 nbUselessRevisions=3796809
2.10 nbAssignments=5082 nbFailedAssignments=2451 nbBacktracks=2572 nbVisitedNodes=9427 nbRestartNogoods=71
2.10 => wckTime=1.266 cpuTime=1.18 mem=15M65
2.62
2.62 search
2.62 run=12 nbConstraintChecks=9944631 nbPropagations=341241 nbRevisions=6623980 nbUselessRevisions=5742167
2.62 nbAssignments=7650 nbFailedAssignments=3717 nbBacktracks=3869 nbVisitedNodes=14212 nbRestartNogoods=82
2.62 => wckTime=1.786 cpuTime=1.7 mem=15M65
3.35
3.35 search
3.35 run=13 nbConstraintChecks=14601160 nbPropagations=510059 nbRevisions=9940826 nbUselessRevisions=8619925
3.35 nbAssignments=11357 nbFailedAssignments=5472 nbBacktracks=5816 nbVisitedNodes=21104 nbRestartNogoods=95
3.35 => wckTime=2.512 cpuTime=2.42 mem=15M65
4.54
4.54 search
4.54 run=14 nbConstraintChecks=22411447 nbPropagations=766406 nbRevisions=15007761 nbUselessRevisions=13015220
4.54 nbAssignments=17121 nbFailedAssignments=8312 nbBacktracks=8735 nbVisitedNodes=31886 nbRestartNogoods=111
4.54 => wckTime=3.701 cpuTime=3.6 mem=15M65
6.30
6.30 search
6.30 run=15 nbConstraintChecks=33983995 nbPropagations=1152836 nbRevisions=22681090 nbUselessRevisions=19672559
6.30 nbAssignments=25759 nbFailedAssignments=12568 nbBacktracks=13113 nbVisitedNodes=48026 nbRestartNogoods=124
6.30 => wckTime=5.461 cpuTime=5.35 mem=15M65
8.97
8.97 search
8.97 run=16 nbConstraintChecks=51683802 nbPropagations=1736253 nbRevisions=34306727 nbUselessRevisions=29758771
8.97 nbAssignments=38807 nbFailedAssignments=19043 nbBacktracks=19681 nbVisitedNodes=72411 nbRestartNogoods=135
8.97 => wckTime=8.133 cpuTime=8.01 mem=15M65
12.78
12.78 search
12.78 run=17 nbConstraintChecks=76547195 nbPropagations=2604388 nbRevisions=51589079 nbUselessRevisions=44755381
12.78 nbAssignments=58025 nbFailedAssignments=28403 nbBacktracks=29534 nbVisitedNodes=108203 nbRestartNogoods=143
12.78 => wckTime=11.941 cpuTime=11.8 mem=15M65
18.69
18.69 search
18.69 run=18 nbConstraintChecks=115903411 nbPropagations=3912353 nbRevisions=77669417 nbUselessRevisions=67382496
18.69 nbAssignments=87189 nbFailedAssignments=42782 nbBacktracks=44312 nbVisitedNodes=162602 nbRestartNogoods=156
18.69 => wckTime=17.85 cpuTime=17.68 mem=15M65
27.80
27.80 search
27.80 run=19 nbConstraintChecks=176593097 nbPropagations=5890165 nbRevisions=117243124 nbUselessRevisions=101716906
27.80 nbAssignments=131168 nbFailedAssignments=64588 nbBacktracks=66480 nbVisitedNodes=244848 nbRestartNogoods=177
27.80 => wckTime=26.964 cpuTime=26.75 mem=15M65
41.26
41.26 search
41.26 run=20 nbConstraintChecks=266181113 nbPropagations=8863773 nbRevisions=176827856 nbUselessRevisions=153411242
41.26 nbAssignments=197398 nbFailedAssignments=97560 nbBacktracks=99733 nbVisitedNodes=368591 nbRestartNogoods=200
41.26 => wckTime=40.422 cpuTime=40.14 mem=15M65
61.48
61.48 search
61.48 run=21 nbConstraintChecks=400462047 nbPropagations=13326770 nbRevisions=266514443 nbUselessRevisions=231257131
61.48 nbAssignments=295776 nbFailedAssignments=146056 nbBacktracks=149611 nbVisitedNodes=552211 nbRestartNogoods=220
61.48 => wckTime=60.646 cpuTime=60.27 mem=15M65
92.46
92.46 search
92.46 run=22 nbConstraintChecks=607569378 nbPropagations=20065194 nbRevisions=402392336 nbUselessRevisions=349229306
92.46 nbAssignments=444663 nbFailedAssignments=220121 nbBacktracks=224429 nbVisitedNodes=830930 nbRestartNogoods=234
92.46 => wckTime=91.62 cpuTime=91.11 mem=15M65
138.91
138.91 search
138.91 run=23 nbConstraintChecks=919922055 nbPropagations=30212793 nbRevisions=607575346 nbUselessRevisions=527380004
138.91 nbAssignments=668103 nbFailedAssignments=331330 nbBacktracks=336656 nbVisitedNodes=1248765 nbRestartNogoods=246
138.91 => wckTime=138.075 cpuTime=137.34 mem=15M65
210.17
210.17 search
210.17 run=24 nbConstraintChecks=1402293237 nbPropagations=45544948 nbRevisions=919078315 nbUselessRevisions=797896083
210.17 nbAssignments=1005664 nbFailedAssignments=500545 nbBacktracks=504997 nbVisitedNodes=1880753
210.17 nbRestartNogoods=264
210.17 => wckTime=209.33 cpuTime=208.26 mem=15M65
244.61
244.61 search
244.61 run=25 nbConstraintChecks=1637246566 nbPropagations=63373347 nbRevisions=1282162962
244.61 nbUselessRevisions=1113243317 nbAssignments=1166907 nbFailedAssignments=581384 nbBacktracks=585402
244.61 nbVisitedNodes=2182621 nbRestartNogoods=273
244.61 => wckTime=243.775 cpuTime=242.55 mem=15M65
244.61
244.61 global
244.61 nbConstraintChecks=1637246566 nbPropagations=63373371 nbRevisions=1282162962 nbUselessRevisions=1113243317
244.61 nbRestartNogoods=273 solvingWckTime=243.778 solvingCpuTime=242.55 expiredTime=no totalExploration=yes
244.61 nbFoundSolutions=0 globalCpuTime=242.97
244.61 => wckTime=244.292 cpuTime=242.91 mem=15M65
244.62
244.62 s UNSATISFIABLE
244.62 d NODES 1166907
244.62 d CHECKS 1637246566
244.62
244.62 totalWckTime=244.373 totalCpuTime=242.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-221887-1168080130 -o ROOT/results/node58/solver-221887-1168080130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221887-1168080130/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.97 2.01 1.83 4/80 29130
/proc/meminfo: memFree=1404376/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=18540 CPUtime=0
/proc/29129/stat : 29129 (runsolver) R 29127 29129 28762 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156410939 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29129/statm: 4635 279 244 17 0 2626 0
[startup+0.102934 s]
/proc/loadavg: 1.97 2.01 1.83 4/80 29130
/proc/meminfo: memFree=1404376/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=912908 CPUtime=0.07
/proc/29129/stat : 29129 (java) S 29127 29129 28762 0 -1 0 2809 0 1 0 6 1 0 0 17 0 8 0 156410939 934817792 2555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228227 2555 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908
[startup+0.510967 s]
/proc/loadavg: 1.97 2.01 1.83 4/80 29130
/proc/meminfo: memFree=1404376/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915328 CPUtime=0.48
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 6819 0 1 0 44 4 0 0 18 0 8 0 156410939 937295872 6558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228832 6558 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33404 s]
/proc/loadavg: 1.97 2.01 1.83 3/87 29137
/proc/meminfo: memFree=1380832/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=1.3
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8605 0 1 0 124 6 0 0 24 0 8 0 156410939 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8343 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.21
/proc/29129/task/29135/stat : 29135 (java) R 29127 29129 28762 0 -1 64 378 0 0 0 20 1 0 0 16 0 8 0 156410948 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153366013 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8343 18446744073709551615 134512640 134570532 4294956480 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.98717 s]
/proc/loadavg: 1.97 2.01 1.83 3/87 29137
/proc/meminfo: memFree=1380512/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=2.94
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8638 0 1 0 288 6 0 0 25 0 8 0 156410939 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8375 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 156410948 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.27045 s]
/proc/loadavg: 1.97 2.01 1.83 3/87 29137
/proc/meminfo: memFree=1380512/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=6.2
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8645 0 1 0 614 6 0 0 25 0 8 0 156410939 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846146 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8382 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
[startup+12.758 s]
/proc/loadavg: 1.97 2.01 1.83 3/87 29137
/proc/meminfo: memFree=1380456/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=12.66
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8651 0 1 0 1260 6 0 0 25 0 8 0 156410939 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8387 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915452
[startup+25.5931 s]
/proc/loadavg: 1.98 2.00 1.83 3/87 29137
/proc/meminfo: memFree=1380520/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=25.43
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8656 0 1 0 2537 6 0 0 25 0 8 0 156410939 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816475 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8392 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915452
[startup+51.1973 s]
/proc/loadavg: 1.98 2.00 1.83 3/87 29137
/proc/meminfo: memFree=1380520/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=50.92
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8661 0 1 0 5085 7 0 0 25 0 8 0 156410939 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8397 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915452
[startup+102.401 s]
/proc/loadavg: 1.99 2.00 1.84 3/87 29137
/proc/meminfo: memFree=1380456/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=101.89
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8666 0 1 0 10182 7 0 0 25 0 8 0 156410939 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8402 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915452
[startup+162.445 s]
/proc/loadavg: 1.99 2.00 1.84 3/87 29137
/proc/meminfo: memFree=1380392/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=161.65
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8668 0 1 0 16158 7 0 0 25 0 8 0 156410939 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8404 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 915452
[startup+222.492 s]
/proc/loadavg: 1.99 2.00 1.85 3/87 29137
/proc/meminfo: memFree=1380392/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=221.42
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8671 0 1 0 22135 7 0 0 25 0 8 0 156410939 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8407 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 244.667
CPU time (s): 243.456
CPU user time (s): 243.375
CPU system time (s): 0.080987
CPU usage (%): 99.505
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.375
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8763
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= 6038
involuntary context switches= 11909
runsolver used 0.270958 s user time and 0.824874 s system time
The end
Begin job on node58 on Sat Jan 6 10:42:10 UTC 2007
IDJOB= 221887
IDBENCH= 5471
FILE ID= node58/221887-1168080130
PBS_JOBID= 3476126
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-52021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221887-1168080130/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-221887-1168080130 -o ROOT/results/node58/solver-221887-1168080130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221887-1168080130/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 71cffa533269446990ab132413efce2d
RANDOM SEED= 829143381
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.223
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.223
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: 1404856 kB
Buffers: 22472 kB
Cached: 287132 kB
SwapCached: 0 kB
Active: 334744 kB
Inactive: 249956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1404856 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 295364 kB
Slab: 51336 kB
Committed_AS: 3030728 kB
PageTables: 2268 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= 66532 MiB
End job on node58 on Sat Jan 6 10:46:17 UTC 2007