0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/241846-1168085426/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.46 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.46
0.46 relations being loaded...
0.46
0.46 constraints being loaded...
0.51 nbConstraints=100 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=98
0.51 nbConflictsStructures=2 nbSharedConflictsStructures=98 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.51 => wckTime=0.154 cpuTime=0.12 mem=7M927
0.54
0.54 solver IterativeSystematicSolver being built...
0.73 => wckTime=0.375 cpuTime=0.28 mem=15M399
0.73
0.73 preprocessing
0.73 nbConstraintChecks=0 nbPropagations=150 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.73 detectedInconsistency=no
0.73 => wckTime=0.0030 cpuTime=0.0 mem=15M399
0.78
0.78 search
0.78 run=0 nbConstraintChecks=323 nbValidityChecks=525 nbPropagations=278 nbRevisions=270 nbUselessRevisions=188
0.78 nbAssignments=88 nbFailedAssignments=2 nbBacktracks=11 nbVisitedNodes=95 nbRestartNogoods=0 mapSize=5
0.78 nbInferences=2 nbTooLargeKeys=0
0.78 => wckTime=0.047 cpuTime=0.03 mem=15M399
0.80
0.80 search
0.80 run=1 nbConstraintChecks=464 nbValidityChecks=1221 nbPropagations=707 nbRevisions=845 nbUselessRevisions=572
0.80 nbAssignments=173 nbFailedAssignments=6 nbBacktracks=27 nbVisitedNodes=189 nbRestartNogoods=1 mapSize=12
0.80 nbInferences=3 nbTooLargeKeys=0
0.80 => wckTime=0.065 cpuTime=0.04 mem=15M399
0.82
0.82 search
0.82 run=2 nbConstraintChecks=762 nbValidityChecks=2183 nbPropagations=1355 nbRevisions=1848
0.82 nbUselessRevisions=1222 nbAssignments=310 nbFailedAssignments=13 nbBacktracks=49 nbVisitedNodes=340
0.82 nbRestartNogoods=2 mapSize=21 nbInferences=3 nbTooLargeKeys=0
0.82 => wckTime=0.089 cpuTime=0.06 mem=15M399
0.84
0.84 search
0.84 run=3 nbConstraintChecks=1132 nbValidityChecks=3373 nbPropagations=2240 nbRevisions=3351
0.84 nbUselessRevisions=2177 nbAssignments=431 nbFailedAssignments=30 nbBacktracks=86 nbVisitedNodes=495
0.84 nbRestartNogoods=6 mapSize=41 nbInferences=3 nbTooLargeKeys=0
0.84 => wckTime=0.111 cpuTime=0.07 mem=15M399
0.86
0.86 search
0.86 run=4 nbConstraintChecks=1525 nbValidityChecks=4686 nbPropagations=3414 nbRevisions=5408
0.86 nbUselessRevisions=3435 nbAssignments=558 nbFailedAssignments=45 nbBacktracks=136 nbVisitedNodes=652
0.86 nbRestartNogoods=8 mapSize=64 nbInferences=3 nbTooLargeKeys=0
0.86 => wckTime=0.13 cpuTime=0.09 mem=15M399
0.89
0.89 search
0.89 run=5 nbConstraintChecks=2064 nbValidityChecks=6468 nbPropagations=4993 nbRevisions=8224
0.89 nbUselessRevisions=5118 nbAssignments=749 nbFailedAssignments=63 nbBacktracks=212 nbVisitedNodes=891
0.89 nbRestartNogoods=10 mapSize=107 nbInferences=15 nbTooLargeKeys=0
0.89 => wckTime=0.156 cpuTime=0.11 mem=16M374
0.91
0.91 search
0.91 run=6 nbConstraintChecks=2886 nbValidityChecks=9055 nbPropagations=7167 nbRevisions=12137
0.91 nbUselessRevisions=7406 nbAssignments=992 nbFailedAssignments=83 nbBacktracks=327 nbVisitedNodes=1202
0.91 nbRestartNogoods=12 mapSize=171 nbInferences=43 nbTooLargeKeys=0
0.91 => wckTime=0.179 cpuTime=0.13 mem=16M374
0.94
0.94 search
0.94 run=7 nbConstraintChecks=3975 nbValidityChecks=12209 nbPropagations=10027 nbRevisions=17405
0.94 nbUselessRevisions=10461 nbAssignments=1304 nbFailedAssignments=121 nbBacktracks=500 nbVisitedNodes=1617
0.94 nbRestartNogoods=14 mapSize=269 nbInferences=70 nbTooLargeKeys=0
0.94 => wckTime=0.209 cpuTime=0.15 mem=16M374
0.99
0.99 search
0.99 run=8 nbConstraintChecks=5945 nbValidityChecks=17986 nbPropagations=14219 nbRevisions=25182
0.99 nbUselessRevisions=14935 nbAssignments=1752 nbFailedAssignments=145 nbBacktracks=757 nbVisitedNodes=2214
0.99 nbRestartNogoods=18 mapSize=413 nbInferences=171 nbTooLargeKeys=0
0.99 => wckTime=0.262 cpuTime=0.19 mem=16M374
1.04
1.04 search
1.04 run=9 nbConstraintChecks=8281 nbValidityChecks=24411 nbPropagations=19854 nbRevisions=35723
1.04 nbUselessRevisions=20948 nbAssignments=2349 nbFailedAssignments=194 nbBacktracks=1144 nbVisitedNodes=2997
1.04 nbRestartNogoods=19 mapSize=589 nbInferences=259 nbTooLargeKeys=0
1.04 => wckTime=0.309 cpuTime=0.22 mem=16M374
1.11
1.11 search
1.11 run=10 nbConstraintChecks=11988 nbValidityChecks=35005 nbPropagations=27985 nbRevisions=50858
1.11 nbUselessRevisions=29523 nbAssignments=3251 nbFailedAssignments=230 nbBacktracks=1720 nbVisitedNodes=4181
1.11 nbRestartNogoods=24 mapSize=866 nbInferences=469 nbTooLargeKeys=0
1.11 => wckTime=0.376 cpuTime=0.28 mem=16M374
1.19
1.19 search
1.19 run=11 nbConstraintChecks=16047 nbValidityChecks=47056 nbPropagations=39023 nbRevisions=71197
1.19 nbUselessRevisions=40961 nbAssignments=4488 nbFailedAssignments=263 nbBacktracks=2588 nbVisitedNodes=5746
1.19 nbRestartNogoods=29 mapSize=1188 nbInferences=731 nbTooLargeKeys=0
1.19 => wckTime=0.457 cpuTime=0.36 mem=16M374
1.32
1.32 search
1.32 run=12 nbConstraintChecks=25609 nbValidityChecks=73085 nbPropagations=56607 nbRevisions=102460
1.32 nbUselessRevisions=57853 nbAssignments=6394 nbFailedAssignments=276 nbBacktracks=3887 nbVisitedNodes=8195
1.32 nbRestartNogoods=34 mapSize=1725 nbInferences=1248 nbTooLargeKeys=0
1.32 => wckTime=0.586 cpuTime=0.48 mem=16M374
1.50
1.50 search
1.50 run=13 nbConstraintChecks=40644 nbValidityChecks=113596 nbPropagations=84536 nbRevisions=150786
1.50 nbUselessRevisions=83157 nbAssignments=9241 nbFailedAssignments=276 nbBacktracks=5834 nbVisitedNodes=11868
1.50 nbRestartNogoods=40 mapSize=2546 nbInferences=2074 nbTooLargeKeys=0
1.50 => wckTime=0.771 cpuTime=0.66 mem=16M374
1.77
1.77 search
1.77 run=14 nbConstraintChecks=62269 nbValidityChecks=172506 nbPropagations=127496 nbRevisions=223969
1.77 nbUselessRevisions=120758 nbAssignments=13446 nbFailedAssignments=277 nbBacktracks=8759 nbVisitedNodes=17289
1.77 nbRestartNogoods=45 mapSize=3759 nbInferences=3288 nbTooLargeKeys=0
1.77 => wckTime=1.044 cpuTime=0.93 mem=17M349
2.20
2.20 search
2.20 run=15 nbConstraintChecks=95871 nbValidityChecks=263122 nbPropagations=191209 nbRevisions=334438
2.20 nbUselessRevisions=179425 nbAssignments=20147 nbFailedAssignments=277 nbBacktracks=13138 nbVisitedNodes=26233
2.20 nbRestartNogoods=48 mapSize=5997 nbInferences=5531 nbTooLargeKeys=0
2.20 => wckTime=1.473 cpuTime=1.36 mem=17M349
2.87
2.87 search
2.87 run=16 nbConstraintChecks=146301 nbValidityChecks=398379 nbPropagations=285137 nbRevisions=500732
2.87 nbUselessRevisions=270873 nbAssignments=30354 nbFailedAssignments=277 nbBacktracks=19708 nbVisitedNodes=40000
2.87 nbRestartNogoods=53 mapSize=9553 nbInferences=9091 nbTooLargeKeys=0
2.87 => wckTime=2.137 cpuTime=2.02 mem=18M324
3.82
3.82 search
3.82 run=17 nbConstraintChecks=222898 nbValidityChecks=597520 nbPropagations=425964 nbRevisions=749856
3.82 nbUselessRevisions=407872 nbAssignments=45105 nbFailedAssignments=304 nbBacktracks=29563 nbVisitedNodes=59591
3.82 nbRestartNogoods=57 mapSize=14387 nbInferences=13877 nbTooLargeKeys=0
3.82 => wckTime=3.09 cpuTime=2.96 mem=19M431
5.23
5.23 search
5.23 run=18 nbConstraintChecks=341223 nbValidityChecks=908130 nbPropagations=642320 nbRevisions=1129264
5.23 nbUselessRevisions=614387 nbAssignments=67373 nbFailedAssignments=354 nbBacktracks=44341 nbVisitedNodes=89316
5.23 nbRestartNogoods=63 mapSize=21835 nbInferences=21236 nbTooLargeKeys=0
5.23 => wckTime=4.497 cpuTime=4.36 mem=20M406
7.58
7.58 search
7.58 run=19 nbConstraintChecks=531842 nbValidityChecks=1469242 nbPropagations=1000171 nbRevisions=1748306
7.58 nbUselessRevisions=948235 nbAssignments=104202 nbFailedAssignments=357 nbBacktracks=66509 nbVisitedNodes=140729
7.58 nbRestartNogoods=72 mapSize=36409 nbInferences=35814 nbTooLargeKeys=0
7.58 => wckTime=6.849 cpuTime=6.68 mem=23M331
11.13
11.13 search
11.13 run=20 nbConstraintChecks=822211 nbValidityChecks=2316145 nbPropagations=1570914 nbRevisions=2729372
11.13 nbUselessRevisions=1476120 nbAssignments=159935 nbFailedAssignments=358 nbBacktracks=99763
11.13 nbVisitedNodes=218906 nbRestartNogoods=82 mapSize=58846 nbInferences=58257 nbTooLargeKeys=0
11.13 => wckTime=10.399 cpuTime=10.21 mem=27M232
16.52
16.52 search
16.52 run=21 nbConstraintChecks=1267482 nbValidityChecks=3614075 nbPropagations=2470384 nbRevisions=4267258
16.52 nbUselessRevisions=2300872 nbAssignments=244258 nbFailedAssignments=358 nbBacktracks=149642
16.52 nbVisitedNodes=337595 nbRestartNogoods=89 mapSize=93203 nbInferences=92623 nbTooLargeKeys=0
16.52 => wckTime=15.789 cpuTime=15.54 mem=32M108
24.48
24.48 search
24.48 run=22 nbConstraintChecks=1927640 nbValidityChecks=5534125 nbPropagations=3854983 nbRevisions=6628805
24.48 nbUselessRevisions=3566244 nbAssignments=370176 nbFailedAssignments=358 nbBacktracks=224461
24.48 nbVisitedNodes=514534 nbRestartNogoods=98 mapSize=144216 nbInferences=143644 nbTooLargeKeys=0
24.48 => wckTime=23.746 cpuTime=23.43 mem=40M958
30.20
30.20 search
30.20 run=23 nbConstraintChecks=2399469 nbValidityChecks=6899426 nbPropagations=5585823 nbRevisions=9578766
30.20 nbUselessRevisions=5146821 nbAssignments=460368 nbFailedAssignments=358 nbBacktracks=278141
30.20 nbVisitedNodes=641238 nbRestartNogoods=105 mapSize=180728 nbInferences=180157 nbTooLargeKeys=0
30.20 => wckTime=29.469 cpuTime=29.1 mem=46M809
30.20
30.20 global
30.20 nbConstraintChecks=2399469 nbValidityChecks=6899426 nbPropagations=5585973 nbRevisions=9578766
30.20 nbUselessRevisions=5146821 nbRestartNogoods=105 solvingWckTime=29.471 solvingCpuTime=29.1 expiredTime=no
30.20 totalExploration=yes nbFoundSolutions=0 globalCpuTime=29.43
30.20 => wckTime=29.847 cpuTime=29.38 mem=46M809
30.20
30.20 s UNSATISFIABLE
30.20 d NODES 460368
30.20 d CHECKS 2399469
30.20
30.20 totalWckTime=29.927 totalCpuTime=29.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-241846-1168085426 -o ROOT/results/node48/solver-241846-1168085426 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241846-1168085426/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.10 1.48 1.72 4/80 1842
/proc/meminfo: memFree=1583048/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=1784 CPUtime=0
/proc/1841/stat : 1841 (java) R 1839 1841 1392 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 156943162 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/1841/statm: 446 140 106 14 0 91 0
[startup+0.107578 s]
/proc/loadavg: 1.10 1.48 1.72 4/80 1842
/proc/meminfo: memFree=1583048/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=907808 CPUtime=0.05
/proc/1841/stat : 1841 (java) R 1839 1841 1392 0 -1 0 2492 0 1 0 4 1 0 0 17 0 4 0 156943162 929595392 2239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072920342 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 226952 2239 1227 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.515612 s]
/proc/loadavg: 1.10 1.48 1.72 4/80 1842
/proc/meminfo: memFree=1583048/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=915328 CPUtime=0.46
/proc/1841/stat : 1841 (java) R 1839 1841 1392 0 -1 0 6288 0 1 0 42 4 0 0 18 0 8 0 156943162 937295872 6027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155477118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 228832 6027 2155 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33869 s]
/proc/loadavg: 1.10 1.48 1.72 3/87 1849
/proc/meminfo: memFree=1558536/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=915464 CPUtime=1.26
/proc/1841/stat : 1841 (java) R 1839 1841 1392 0 -1 0 8942 0 1 0 121 5 0 0 24 0 8 0 156943162 937435136 8680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681183 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 228866 8680 2516 14 0 215336 0
[pid=1841/tid=1843] ppid=1839 vsize=915464 CPUtime=0.02
/proc/1841/task/1843/stat : 1843 (java) S 1839 1841 1392 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 156943169 937435136 8680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 1392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156943169 937435136 8680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 1392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156943169 937435136 8680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 1392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156943173 937435136 8680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=915464 CPUtime=0.19
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 1392 0 -1 64 368 0 0 0 19 0 0 0 16 0 8 0 156943173 937435136 8680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 1392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156943173 937435136 8680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1849] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1849/stat : 1849 (java) S 1839 1841 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156943173 937435136 8680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915464
[startup+2.98584 s]
/proc/loadavg: 1.10 1.48 1.72 3/87 1849
/proc/meminfo: memFree=1557128/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=915464 CPUtime=2.9
/proc/1841/stat : 1841 (java) R 1839 1841 1392 0 -1 0 9426 0 1 0 284 6 0 0 25 0 8 0 156943162 937435136 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073688868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 228866 9163 2516 14 0 215336 0
[pid=1841/tid=1843] ppid=1839 vsize=915464 CPUtime=0.02
/proc/1841/task/1843/stat : 1843 (java) S 1839 1841 1392 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 156943169 937435136 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 1392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156943169 937435136 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 1392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156943169 937435136 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 1392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156943173 937435136 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=915464 CPUtime=0.2
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 1392 0 -1 64 369 0 0 0 19 1 0 0 15 0 8 0 156943173 937435136 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 1392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156943173 937435136 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1849] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1849/stat : 1849 (java) S 1839 1841 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156943173 937435136 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915464
[startup+6.26514 s]
/proc/loadavg: 1.17 1.49 1.72 3/87 1849
/proc/meminfo: memFree=1553544/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=915464 CPUtime=6.15
/proc/1841/stat : 1841 (java) R 1839 1841 1392 0 -1 0 10324 0 1 0 609 6 0 0 25 0 8 0 156943162 937435136 10061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 228866 10061 2516 14 0 215336 0
[pid=1841/tid=1843] ppid=1839 vsize=915464 CPUtime=0.02
/proc/1841/task/1843/stat : 1843 (java) S 1839 1841 1392 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 156943169 937435136 10061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 1392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156943169 937435136 10061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 1392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156943169 937435136 10061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 1392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156943173 937435136 10061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=915464 CPUtime=0.2
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 1392 0 -1 64 369 0 0 0 19 1 0 0 16 0 8 0 156943173 937435136 10061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 1392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156943173 937435136 10061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1849] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1849/stat : 1849 (java) S 1839 1841 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156943173 937435136 10061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915464
[startup+12.7527 s]
/proc/loadavg: 1.24 1.50 1.72 3/87 1849
/proc/meminfo: memFree=1546448/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=915464 CPUtime=12.57
/proc/1841/stat : 1841 (java) R 1839 1841 1392 0 -1 0 11969 0 1 0 1250 7 0 0 25 0 8 0 156943162 937435136 11705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 228866 11705 2516 14 0 215336 0
[pid=1841/tid=1843] ppid=1839 vsize=915464 CPUtime=0.02
/proc/1841/task/1843/stat : 1843 (java) S 1839 1841 1392 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 156943169 937435136 11705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 1392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156943169 937435136 11705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 1392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156943169 937435136 11705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 1392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156943173 937435136 11705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=915464 CPUtime=0.2
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 1392 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 156943173 937435136 11705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 1392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156943173 937435136 11705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1849] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1849/stat : 1849 (java) S 1839 1841 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156943173 937435136 11705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915464
[startup+25.5979 s]
/proc/loadavg: 1.41 1.52 1.72 3/87 1849
/proc/meminfo: memFree=1533648/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=915464 CPUtime=25.31
/proc/1841/stat : 1841 (java) R 1839 1841 1392 0 -1 0 15259 0 1 0 2522 9 0 0 25 0 8 0 156943162 937435136 14995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 228866 14995 2516 14 0 215336 0
[pid=1841/tid=1843] ppid=1839 vsize=915464 CPUtime=0.02
/proc/1841/task/1843/stat : 1843 (java) S 1839 1841 1392 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 156943169 937435136 14995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 1392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156943169 937435136 14995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 1392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156943169 937435136 14995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 1392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156943173 937435136 14995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=915464 CPUtime=0.2
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 1392 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 156943173 937435136 14995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 1392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156943173 937435136 14995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1841/tid=1849] ppid=1839 vsize=915464 CPUtime=0
/proc/1841/task/1849/stat : 1849 (java) R 1839 1841 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156943173 937435136 14995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 30.2418
CPU time (s): 29.8985
CPU user time (s): 29.7835
CPU system time (s): 0.114982
CPU usage (%): 98.8648
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.7835
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16433
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= 1614
involuntary context switches= 2523
runsolver used 0.034994 s user time and 0.109983 s system time
The end
Begin job on node48 on Sat Jan 6 12:10:34 UTC 2007
IDJOB= 241846
IDBENCH= 7350
FILE ID= node48/241846-1168085426
PBS_JOBID= 3476287
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-150-40_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241846-1168085426/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-241846-1168085426 -o ROOT/results/node48/solver-241846-1168085426 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241846-1168085426/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3a52a800eac841971a0879ee4e43203a
RANDOM SEED= 9587781
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.218
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.218
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: 1583592 kB
Buffers: 32880 kB
Cached: 309024 kB
SwapCached: 0 kB
Active: 109664 kB
Inactive: 289596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1583592 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1728 kB
Writeback: 0 kB
Mapped: 77504 kB
Slab: 58212 kB
Committed_AS: 3993496 kB
PageTables: 1864 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= 66558 MiB
End job on node48 on Sat Jan 6 12:11:24 UTC 2007