0.29
0.29 Abscon 109 (November, 2006)
0.29
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/242181-1168085473/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=78 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.09 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.39
0.39 constraints being loaded...
0.43 nbConstraints=52 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=50
0.43 nbConflictsStructures=2 nbSharedConflictsStructures=50 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.43 => wckTime=0.127 cpuTime=0.11 mem=6M951
0.46
0.46 solver IterativeSystematicSolver being built...
0.62 => wckTime=0.324 cpuTime=0.25 mem=14M368
0.62
0.62 preprocessing
0.62 nbConstraintChecks=0 nbPropagations=78 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.63 detectedInconsistency=no
0.63 => wckTime=0.0010 cpuTime=0.0 mem=14M368
0.66
0.66 search
0.66 run=0 nbConstraintChecks=234 nbValidityChecks=416 nbPropagations=179 nbRevisions=232 nbUselessRevisions=156
0.66 nbAssignments=51 nbFailedAssignments=1 nbBacktracks=25 nbVisitedNodes=54 nbRestartNogoods=0 mapSize=1
0.66 nbInferences=0 nbTooLargeKeys=0
0.66 => wckTime=0.036 cpuTime=0.02 mem=15M344
0.67
0.67 search
0.67 run=1 nbConstraintChecks=416 nbValidityChecks=1000 nbPropagations=490 nbRevisions=733 nbUselessRevisions=476
0.67 nbAssignments=120 nbFailedAssignments=7 nbBacktracks=43 nbVisitedNodes=137 nbRestartNogoods=1 mapSize=12
0.67 nbInferences=2 nbTooLargeKeys=0
0.67 => wckTime=0.048 cpuTime=0.03 mem=15M344
0.69
0.69 search
0.69 run=2 nbConstraintChecks=615 nbValidityChecks=1664 nbPropagations=950 nbRevisions=1526 nbUselessRevisions=964
0.69 nbAssignments=196 nbFailedAssignments=14 nbBacktracks=70 nbVisitedNodes=227 nbRestartNogoods=2 mapSize=25
0.69 nbInferences=3 nbTooLargeKeys=0
0.69 => wckTime=0.063 cpuTime=0.04 mem=15M344
0.70
0.70 search
0.70 run=3 nbConstraintChecks=878 nbValidityChecks=2498 nbPropagations=1595 nbRevisions=2674
0.70 nbUselessRevisions=1649 nbAssignments=285 nbFailedAssignments=23 nbBacktracks=103 nbVisitedNodes=335
0.70 nbRestartNogoods=3 mapSize=40 nbInferences=5 nbTooLargeKeys=0
0.70 => wckTime=0.08 cpuTime=0.05 mem=15M344
0.72
0.72 search
0.72 run=4 nbConstraintChecks=1244 nbValidityChecks=3616 nbPropagations=2485 nbRevisions=4295
0.72 nbUselessRevisions=2600 nbAssignments=398 nbFailedAssignments=34 nbBacktracks=155 nbVisitedNodes=476
0.72 nbRestartNogoods=6 mapSize=64 nbInferences=12 nbTooLargeKeys=0
0.72 => wckTime=0.099 cpuTime=0.06 mem=15M344
0.74
0.74 search
0.74 run=5 nbConstraintChecks=1835 nbValidityChecks=5343 nbPropagations=3756 nbRevisions=6637
0.74 nbUselessRevisions=3955 nbAssignments=553 nbFailedAssignments=47 nbBacktracks=235 nbVisitedNodes=676
0.74 nbRestartNogoods=8 mapSize=104 nbInferences=32 nbTooLargeKeys=0
0.74 => wckTime=0.119 cpuTime=0.07 mem=15M344
0.76
0.76 search
0.76 run=6 nbConstraintChecks=2527 nbValidityChecks=7497 nbPropagations=5583 nbRevisions=9923
0.76 nbUselessRevisions=5787 nbAssignments=745 nbFailedAssignments=55 nbBacktracks=349 nbVisitedNodes=915
0.76 nbRestartNogoods=10 mapSize=149 nbInferences=63 nbTooLargeKeys=0
0.76 => wckTime=0.136 cpuTime=0.08 mem=15M344
0.78
0.78 search
0.78 run=7 nbConstraintChecks=3704 nbValidityChecks=11023 nbPropagations=8231 nbRevisions=14729
0.78 nbUselessRevisions=8479 nbAssignments=1010 nbFailedAssignments=58 nbBacktracks=519 nbVisitedNodes=1256
0.78 nbRestartNogoods=12 mapSize=222 nbInferences=134 nbTooLargeKeys=0
0.78 => wckTime=0.154 cpuTime=0.1 mem=15M344
0.80
0.80 search
0.80 run=8 nbConstraintChecks=5288 nbValidityChecks=16162 nbPropagations=12045 nbRevisions=21793
0.80 nbUselessRevisions=12493 nbAssignments=1397 nbFailedAssignments=64 nbBacktracks=777 nbVisitedNodes=1750
0.80 nbRestartNogoods=15 mapSize=325 nbInferences=235 nbTooLargeKeys=0
0.80 => wckTime=0.177 cpuTime=0.12 mem=15M344
0.85
0.85 search
0.85 run=9 nbConstraintChecks=7804 nbValidityChecks=24206 nbPropagations=17683 nbRevisions=32416
0.85 nbUselessRevisions=18582 nbAssignments=1969 nbFailedAssignments=65 nbBacktracks=1161 nbVisitedNodes=2482
0.85 nbRestartNogoods=19 mapSize=481 nbInferences=394 nbTooLargeKeys=0
0.85 => wckTime=0.224 cpuTime=0.15 mem=15M344
0.89
0.89 search
0.89 run=10 nbConstraintChecks=13816 nbValidityChecks=41033 nbPropagations=27186 nbRevisions=50334
0.89 nbUselessRevisions=28716 nbAssignments=2886 nbFailedAssignments=75 nbBacktracks=1742 nbVisitedNodes=3714
0.89 nbRestartNogoods=23 mapSize=792 nbInferences=689 nbTooLargeKeys=0
0.89 => wckTime=0.269 cpuTime=0.19 mem=15M344
0.94
0.94 search
0.94 run=11 nbConstraintChecks=20572 nbValidityChecks=60983 nbPropagations=41553 nbRevisions=76896
0.94 nbUselessRevisions=43453 nbAssignments=4184 nbFailedAssignments=75 nbBacktracks=2609 nbVisitedNodes=5412
0.94 nbRestartNogoods=27 mapSize=1188 nbInferences=1089 nbTooLargeKeys=0
0.94 => wckTime=0.319 cpuTime=0.23 mem=15M344
1.02
1.02 search
1.02 run=12 nbConstraintChecks=31270 nbValidityChecks=93553 nbPropagations=63267 nbRevisions=117921
1.02 nbUselessRevisions=66616 nbAssignments=6159 nbFailedAssignments=80 nbBacktracks=3908 nbVisitedNodes=8042
1.02 nbRestartNogoods=31 mapSize=1837 nbInferences=1734 nbTooLargeKeys=0
1.02 => wckTime=0.394 cpuTime=0.31 mem=15M344
1.13
1.13 search
1.13 run=13 nbConstraintChecks=46635 nbValidityChecks=141754 nbPropagations=95465 nbRevisions=180324
1.13 nbUselessRevisions=102628 nbAssignments=9095 nbFailedAssignments=80 nbBacktracks=5855 nbVisitedNodes=11945
1.13 nbRestartNogoods=37 mapSize=2801 nbInferences=2701 nbTooLargeKeys=0
1.13 => wckTime=0.505 cpuTime=0.42 mem=16M319
1.31
1.31 search
1.31 run=14 nbConstraintChecks=71960 nbValidityChecks=219508 nbPropagations=143894 nbRevisions=277194
1.31 nbUselessRevisions=160253 nbAssignments=13719 nbFailedAssignments=80 nbBacktracks=8775 nbVisitedNodes=18247
1.31 nbRestartNogoods=40 mapSize=4474 nbInferences=4379 nbTooLargeKeys=0
1.31 => wckTime=0.689 cpuTime=0.6 mem=16M319
1.58
1.58 search
1.58 run=15 nbConstraintChecks=108941 nbValidityChecks=333999 nbPropagations=216530 nbRevisions=424914
1.58 nbUselessRevisions=249365 nbAssignments=20534 nbFailedAssignments=80 nbBacktracks=13154 nbVisitedNodes=27474
1.58 nbRestartNogoods=45 mapSize=6881 nbInferences=6791 nbTooLargeKeys=0
1.58 => wckTime=0.959 cpuTime=0.86 mem=17M294
1.98
1.98 search
1.98 run=16 nbConstraintChecks=165289 nbValidityChecks=507908 nbPropagations=325963 nbRevisions=650039
1.98 nbUselessRevisions=386485 nbAssignments=30819 nbFailedAssignments=80 nbBacktracks=19725 nbVisitedNodes=41447
1.98 nbRestartNogoods=50 mapSize=10564 nbInferences=10479 nbTooLargeKeys=0
1.98 => wckTime=1.359 cpuTime=1.26 mem=17M294
2.58
2.58 search
2.58 run=17 nbConstraintChecks=248584 nbValidityChecks=766174 nbPropagations=490204 nbRevisions=989979
2.58 nbUselessRevisions=594455 nbAssignments=46108 nbFailedAssignments=80 nbBacktracks=29577 nbVisitedNodes=62149
2.58 nbRestartNogoods=55 mapSize=15969 nbInferences=15892 nbTooLargeKeys=0
2.58 => wckTime=1.954 cpuTime=1.85 mem=19M244
3.47
3.47 search
3.47 run=18 nbConstraintChecks=373999 nbValidityChecks=1152426 nbPropagations=736308 nbRevisions=1501576
3.47 nbUselessRevisions=908628 nbAssignments=69106 nbFailedAssignments=80 nbBacktracks=44356 nbVisitedNodes=93340
3.47 nbRestartNogoods=63 mapSize=24153 nbInferences=24085 nbTooLargeKeys=0
3.47 => wckTime=2.848 cpuTime=2.75 mem=21M195
4.84
4.84 search
4.84 run=19 nbConstraintChecks=562522 nbValidityChecks=1734633 nbPropagations=1105941 nbRevisions=2271998
4.84 nbUselessRevisions=1382718 nbAssignments=103596 nbFailedAssignments=80 nbBacktracks=66524 nbVisitedNodes=140128
4.84 nbRestartNogoods=72 mapSize=36445 nbInferences=36383 nbTooLargeKeys=0
4.84 => wckTime=4.218 cpuTime=4.12 mem=24M120
6.89
6.89 search
6.89 run=20 nbConstraintChecks=846577 nbValidityChecks=2610749 nbPropagations=1660940 nbRevisions=3431782
6.89 nbUselessRevisions=2097980 nbAssignments=155452 nbFailedAssignments=80 nbBacktracks=99779 nbVisitedNodes=210563
6.89 nbRestartNogoods=78 mapSize=55018 nbInferences=54962 nbTooLargeKeys=0
6.89 => wckTime=6.264 cpuTime=6.17 mem=28M545
10.02
10.02 search
10.02 run=21 nbConstraintChecks=1292808 nbValidityChecks=3965084 nbPropagations=2500913 nbRevisions=5197978
10.02 nbUselessRevisions=3194204 nbAssignments=235106 nbFailedAssignments=80 nbBacktracks=149658
10.02 nbVisitedNodes=319968 nbRestartNogoods=84 mapSize=84763 nbInferences=84713 nbTooLargeKeys=0
10.02 => wckTime=9.396 cpuTime=9.29 mem=34M396
14.97
14.97 search
14.97 run=22 nbConstraintChecks=2018264 nbValidityChecks=6109486 nbPropagations=3787559 nbRevisions=7934150
14.97 nbUselessRevisions=4913469 nbAssignments=359809 nbFailedAssignments=80 nbBacktracks=224476
14.97 nbVisitedNodes=494532 nbRestartNogoods=90 mapSize=134614 nbInferences=134574 nbTooLargeKeys=0
14.97 => wckTime=14.346 cpuTime=14.25 mem=45M197
22.39
22.39 search
22.39 run=23 nbConstraintChecks=3070766 nbValidityChecks=9291457 nbPropagations=5744163 nbRevisions=12125108
22.39 nbUselessRevisions=7567199 nbAssignments=546867 nbFailedAssignments=80 nbBacktracks=336703
22.39 nbVisitedNodes=756397 nbRestartNogoods=100 mapSize=209412 nbInferences=209381 nbTooLargeKeys=0
22.39 => wckTime=21.767 cpuTime=21.48 mem=31M464
28.12
28.12 search
28.12 run=24 nbConstraintChecks=3910446 nbValidityChecks=11770310 nbPropagations=8236088 nbRevisions=17478462
28.12 nbUselessRevisions=10967579 nbAssignments=696341 nbFailedAssignments=80 nbBacktracks=426394
28.12 nbVisitedNodes=965654 nbRestartNogoods=108 mapSize=269195 nbInferences=269165 nbTooLargeKeys=0
28.12 => wckTime=27.493 cpuTime=27.21 mem=42M298
28.12
28.12 global
28.12 nbConstraintChecks=3910446 nbValidityChecks=11770310 nbPropagations=8236166 nbRevisions=17478462
28.12 nbUselessRevisions=10967579 nbRestartNogoods=108 solvingWckTime=27.494 solvingCpuTime=27.21 expiredTime=no
28.12 totalExploration=yes nbFoundSolutions=0 globalCpuTime=27.5
28.12 => wckTime=27.82 cpuTime=27.46 mem=42M298
28.12
28.12 s UNSATISFIABLE
28.12 d NODES 696341
28.12 d CHECKS 3910446
28.12
28.12 totalWckTime=27.895 totalCpuTime=27.5
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-242181-1168085473 -o ROOT/results/node40/solver-242181-1168085473 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242181-1168085473/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.13 1.04 1.54 3/68 28649
/proc/meminfo: memFree=1737344/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=18540 CPUtime=0
/proc/28648/stat : 28648 (runsolver) R 28646 28648 27973 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156948212 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28648/statm: 4635 279 244 17 0 2626 0
[startup+0.104957 s]
/proc/loadavg: 0.13 1.04 1.54 3/68 28649
/proc/meminfo: memFree=1737344/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=914988 CPUtime=0.08
/proc/28648/stat : 28648 (java) R 28646 28648 27973 0 -1 0 3059 0 1 0 7 1 0 0 22 0 8 0 156948212 936947712 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28648/statm: 228747 2805 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513009 s]
/proc/loadavg: 0.13 1.04 1.54 3/68 28649
/proc/meminfo: memFree=1737344/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915460 CPUtime=0.48
/proc/28648/stat : 28648 (java) S 28646 28648 27973 0 -1 0 6688 0 1 0 44 4 0 0 16 0 8 0 156948212 937431040 6426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28648/statm: 228865 6426 2465 14 0 215335 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915460
[startup+1.33511 s]
/proc/loadavg: 0.13 1.04 1.54 2/75 28656
/proc/meminfo: memFree=1712840/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915460 CPUtime=1.3
/proc/28648/stat : 28648 (java) R 28646 28648 27973 0 -1 0 8943 0 1 0 124 6 0 0 17 0 8 0 156948212 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073666432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228865 8681 2518 14 0 215335 0
[pid=28648/tid=28650] ppid=28646 vsize=915460 CPUtime=0.02
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 27973 0 -1 64 123 0 0 0 2 0 0 0 17 0 8 0 156948216 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 27973 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156948216 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 27973 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156948216 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 27973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156948219 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915460 CPUtime=0.17
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 27973 0 -1 64 366 0 0 0 16 1 0 0 15 0 8 0 156948219 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 27973 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156948219 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 27973 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156948219 937431040 8681 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) 915460
[startup+2.98732 s]
/proc/loadavg: 0.20 1.04 1.53 2/75 28656
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915460 CPUtime=2.95
/proc/28648/stat : 28648 (java) R 28646 28648 27973 0 -1 0 9783 0 1 0 288 7 0 0 19 0 8 0 156948212 937431040 9520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073674858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228865 9520 2518 14 0 215335 0
[pid=28648/tid=28650] ppid=28646 vsize=915460 CPUtime=0.02
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 27973 0 -1 64 123 0 0 0 2 0 0 0 16 0 8 0 156948216 937431040 9520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 27973 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156948216 937431040 9520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 27973 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156948216 937431040 9520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 27973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156948219 937431040 9520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915460 CPUtime=0.17
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 27973 0 -1 64 366 0 0 0 16 1 0 0 15 0 8 0 156948219 937431040 9520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 27973 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156948219 937431040 9520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 27973 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156948219 937431040 9520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.27275 s]
/proc/loadavg: 0.20 1.04 1.53 2/75 28656
/proc/meminfo: memFree=1703688/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915460 CPUtime=6.24
/proc/28648/stat : 28648 (java) R 28646 28648 27973 0 -1 0 11519 0 1 0 616 8 0 0 25 0 8 0 156948212 937431040 11255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073666455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228865 11255 2518 14 0 215335 0
[pid=28648/tid=28650] ppid=28646 vsize=915460 CPUtime=0.02
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 27973 0 -1 64 123 0 0 0 2 0 0 0 16 0 8 0 156948216 937431040 11255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 27973 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156948216 937431040 11255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 27973 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156948216 937431040 11255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 27973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156948219 937431040 11255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915460 CPUtime=0.17
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 27973 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156948219 937431040 11255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 27973 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156948219 937431040 11255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 27973 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156948219 937431040 11255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460
[startup+12.7546 s]
/proc/loadavg: 0.32 1.03 1.53 2/75 28656
/proc/meminfo: memFree=1689224/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915460 CPUtime=12.72
/proc/28648/stat : 28648 (java) R 28646 28648 27973 0 -1 0 14868 0 1 0 1262 10 0 0 25 0 8 0 156948212 937431040 14604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228865 14604 2518 14 0 215335 0
[pid=28648/tid=28650] ppid=28646 vsize=915460 CPUtime=0.02
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 27973 0 -1 64 123 0 0 0 2 0 0 0 16 0 8 0 156948216 937431040 14604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 27973 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156948216 937431040 14604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 27973 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156948216 937431040 14604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 27973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156948219 937431040 14604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915460 CPUtime=0.17
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 27973 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156948219 937431040 14604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 27973 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156948219 937431040 14604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 27973 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156948219 937431040 14604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915460
[startup+25.5812 s]
/proc/loadavg: 0.43 1.03 1.52 2/75 28657
/proc/meminfo: memFree=1664712/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915460 CPUtime=25.53
/proc/28648/stat : 28648 (java) R 28646 28648 27973 0 -1 0 21266 0 1 0 2540 13 0 0 25 0 8 0 156948212 937431040 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073659124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228865 21001 2522 14 0 215335 0
[pid=28648/tid=28650] ppid=28646 vsize=915460 CPUtime=0.19
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 27973 0 -1 64 4310 0 0 0 18 1 0 0 16 0 8 0 156948216 937431040 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 27973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156948216 937431040 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 27973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156948216 937431040 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 27973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156948219 937431040 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915460 CPUtime=0.17
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 27973 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156948219 937431040 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 27973 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156948219 937431040 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915460 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 27973 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156948219 937431040 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 28.1825
CPU time (s): 28.1037
CPU user time (s): 27.9507
CPU system time (s): 0.152976
CPU usage (%): 99.7204
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.9507
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21277
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= 1293
involuntary context switches= 815
runsolver used 0.035994 s user time and 0.075988 s system time
The end
Begin job on node40 on Sat Jan 6 12:11:19 UTC 2007
IDJOB= 242181
IDBENCH= 7373
FILE ID= node40/242181-1168085473
PBS_JOBID= 3476237
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-26_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242181-1168085473/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-242181-1168085473 -o ROOT/results/node40/solver-242181-1168085473 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242181-1168085473/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 495e2d0207b21eb983d289b2f97f90ce
RANDOM SEED= 350421479
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.239
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.239
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: 1737824 kB
Buffers: 23108 kB
Cached: 203264 kB
SwapCached: 0 kB
Active: 69196 kB
Inactive: 178796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1737824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3532 kB
Writeback: 0 kB
Mapped: 31788 kB
Slab: 55812 kB
Committed_AS: 2974164 kB
PageTables: 1624 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= 66545 MiB
End job on node40 on Sat Jan 6 12:12:11 UTC 2007