0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/223952-1168080477/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.41 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2 maxDegree=13 maxArity=2
0.62 => wckTime=0.307 cpuTime=0.23 mem=13M827
0.66
0.66 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.503 cpuTime=0.35 mem=13M748
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0030 cpuTime=0.0 mem=13M748
0.87
0.87 search
0.87 run=0 nbConstraintChecks=32923 nbPropagations=575 nbRevisions=3803 nbUselessRevisions=2725 nbAssignments=30
0.87 nbFailedAssignments=11 nbBacktracks=14 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=13 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.054 cpuTime=0.03 mem=14M724
0.89
0.89 search
0.89 run=1 nbConstraintChecks=81127 nbPropagations=1877 nbRevisions=13198 nbUselessRevisions=9396 nbAssignments=66
0.89 nbFailedAssignments=25 nbBacktracks=30 nbVisitedNodes=108 nbRestartNogoods=1 mapSize=27 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.074 cpuTime=0.04 mem=14M724
0.91
0.91 search
0.91 run=2 nbConstraintChecks=124415 nbPropagations=3860 nbRevisions=27708 nbUselessRevisions=19653
0.91 nbAssignments=105 nbFailedAssignments=37 nbBacktracks=52 nbVisitedNodes=168 nbRestartNogoods=3 mapSize=41
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.091 cpuTime=0.05 mem=14M724
0.93
0.93 search
0.93 run=3 nbConstraintChecks=209055 nbPropagations=7252 nbRevisions=52849 nbUselessRevisions=37348
0.93 nbAssignments=173 nbFailedAssignments=65 nbBacktracks=86 nbVisitedNodes=289 nbRestartNogoods=6 mapSize=70
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.111 cpuTime=0.07 mem=14M724
0.95
0.95 search
0.95 run=4 nbConstraintChecks=320422 nbPropagations=12700 nbRevisions=93214 nbUselessRevisions=65586
0.95 nbAssignments=270 nbFailedAssignments=102 nbBacktracks=138 nbVisitedNodes=460 nbRestartNogoods=10 mapSize=116
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.132 cpuTime=0.09 mem=14M724
0.99
0.99 search
0.99 run=5 nbConstraintChecks=537449 nbPropagations=21408 nbRevisions=159296 nbUselessRevisions=111574
0.99 nbAssignments=420 nbFailedAssignments=172 nbBacktracks=213 nbVisitedNodes=735 nbRestartNogoods=16 mapSize=183
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.176 cpuTime=0.13 mem=14M724
1.04
1.04 search
1.04 run=6 nbConstraintChecks=794570 nbPropagations=34423 nbRevisions=257172 nbUselessRevisions=179508
1.04 nbAssignments=627 nbFailedAssignments=261 nbBacktracks=328 nbVisitedNodes=1092 nbRestartNogoods=20 mapSize=272
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.221 cpuTime=0.17 mem=14M724
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1151375 nbPropagations=53259 nbRevisions=398699 nbUselessRevisions=277465
1.10 nbAssignments=934 nbFailedAssignments=389 nbBacktracks=500 nbVisitedNodes=1618 nbRestartNogoods=27 mapSize=403
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.28 cpuTime=0.23 mem=14M724
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1768997 nbPropagations=82530 nbRevisions=621385 nbUselessRevisions=431904
1.21 nbAssignments=1426 nbFailedAssignments=619 nbBacktracks=756 nbVisitedNodes=2503 nbRestartNogoods=32
1.21 mapSize=626 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.39 cpuTime=0.33 mem=14M724
1.35
1.35 search
1.35 run=9 nbConstraintChecks=2623093 nbPropagations=125804 nbRevisions=948102 nbUselessRevisions=656744
1.35 nbAssignments=2116 nbFailedAssignments=922 nbBacktracks=1140 nbVisitedNodes=3724 nbRestartNogoods=40
1.35 mapSize=941 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.536 cpuTime=0.46 mem=14M724
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=14M724)
1.56
1.56 search
1.56 run=10 nbConstraintChecks=4079335 nbPropagations=191925 nbRevisions=1450852 nbUselessRevisions=1000571
1.56 nbAssignments=3188 nbFailedAssignments=1412 nbBacktracks=1716 nbVisitedNodes=5642 nbRestartNogoods=47
1.56 => wckTime=0.748 cpuTime=0.66 mem=14M724
1.82
1.82 search
1.82 run=11 nbConstraintChecks=5941568 nbPropagations=289486 nbRevisions=2191951 nbUselessRevisions=1507911
1.82 nbAssignments=4700 nbFailedAssignments=2052 nbBacktracks=2581 nbVisitedNodes=8267 nbRestartNogoods=54
1.82 => wckTime=1.008 cpuTime=0.91 mem=14M724
2.19
2.19 search
2.19 run=12 nbConstraintChecks=8570896 nbPropagations=432021 nbRevisions=3266914 nbUselessRevisions=2242346
2.19 nbAssignments=6890 nbFailedAssignments=2939 nbBacktracks=3879 nbVisitedNodes=12043 nbRestartNogoods=68
2.19 => wckTime=1.375 cpuTime=1.27 mem=14M724
2.81
2.81 search
2.81 run=13 nbConstraintChecks=13146640 nbPropagations=648495 nbRevisions=4915567 nbUselessRevisions=3370509
2.81 nbAssignments=10381 nbFailedAssignments=4477 nbBacktracks=5826 nbVisitedNodes=18188 nbRestartNogoods=77
2.81 => wckTime=1.992 cpuTime=1.88 mem=14M724
3.63
3.63 search
3.63 run=14 nbConstraintChecks=18972230 nbPropagations=966952 nbRevisions=7325466 nbUselessRevisions=5019149
3.63 nbAssignments=15330 nbFailedAssignments=6503 nbBacktracks=8745 nbVisitedNodes=26698 nbRestartNogoods=84
3.63 => wckTime=2.816 cpuTime=2.7 mem=14M724
5.00
5.00 search
5.00 run=15 nbConstraintChecks=29117394 nbPropagations=1449375 nbRevisions=11016867 nbUselessRevisions=7549945
5.00 nbAssignments=23431 nbFailedAssignments=10219 nbBacktracks=13125 nbVisitedNodes=41100 nbRestartNogoods=95
5.00 => wckTime=4.185 cpuTime=4.05 mem=14M724
6.89
6.89 search
6.89 run=16 nbConstraintChecks=42767875 nbPropagations=2165709 nbRevisions=16462527 nbUselessRevisions=11278700
6.89 nbAssignments=34690 nbFailedAssignments=14904 nbBacktracks=19694 nbVisitedNodes=60588 nbRestartNogoods=103
6.89 => wckTime=6.079 cpuTime=5.93 mem=14M724
9.91
9.91 search
9.91 run=17 nbConstraintChecks=65081639 nbPropagations=3248087 nbRevisions=24698323 nbUselessRevisions=16910242
9.91 nbAssignments=52114 nbFailedAssignments=22468 nbBacktracks=29552 nbVisitedNodes=91190 nbRestartNogoods=110
9.91 => wckTime=9.099 cpuTime=8.93 mem=14M724
12.50
12.50 search
12.50 run=18 nbConstraintChecks=83921137 nbPropagations=4647807 nbRevisions=35335611 nbUselessRevisions=24181236
12.50 nbAssignments=67344 nbFailedAssignments=28877 nbBacktracks=38333 nbVisitedNodes=117647 nbRestartNogoods=112
12.50 => wckTime=11.681 cpuTime=11.48 mem=14M724
12.50
12.50 global
12.50 nbConstraintChecks=83921137 nbPropagations=4647847 nbRevisions=35335611 nbUselessRevisions=24181236
12.50 nbRestartNogoods=112 solvingWckTime=11.682 solvingCpuTime=11.48 expiredTime=no totalExploration=no
12.50 nbFoundSolutions=1 globalCpuTime=11.89
12.50 => wckTime=12.188 cpuTime=11.84 mem=14M724
12.50
12.50 s SATISFIABLE
12.50 v 18 21 18 22 6 2 11 5 18 12 0 0 16 0 20 0 13 14 24 0 3 7 22 17 13 6 7 21 12 16 15 14 21 23 0 12 4 17 18 4
12.50 d NODES 67344
12.50 d CHECKS 83921137
12.50
12.50 totalWckTime=12.268 totalCpuTime=11.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-223952-1168080477 -o ROOT/results/node16/solver-223952-1168080477 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223952-1168080477/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.57 1.89 1.96 3/93 22547
/proc/meminfo: memFree=1330984/2055920 swapFree=4191880/4192956
[pid=22546] ppid=22544 vsize=18540 CPUtime=0
/proc/22546/stat : 22546 (runsolver) R 22544 22546 22423 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 156442552 18984960 280 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22546/statm: 4635 280 244 17 0 2626 0
[startup+0.109488 s]
/proc/loadavg: 1.57 1.89 1.96 3/93 22547
/proc/meminfo: memFree=1330984/2055920 swapFree=4191880/4192956
[pid=22546] ppid=22544 vsize=914988 CPUtime=0.09
/proc/22546/stat : 22546 (java) R 22544 22546 22423 0 -1 0 3049 0 1 0 8 1 0 0 17 0 8 0 156442552 936947712 2795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22546/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517413 s]
/proc/loadavg: 1.57 1.89 1.96 3/93 22547
/proc/meminfo: memFree=1330984/2055920 swapFree=4191880/4192956
[pid=22546] ppid=22544 vsize=915328 CPUtime=0.5
/proc/22546/stat : 22546 (java) R 22544 22546 22423 0 -1 0 7280 0 1 0 47 3 0 0 18 0 8 0 156442552 937295872 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072920471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22546/statm: 228832 7019 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33826 s]
/proc/loadavg: 1.57 1.89 1.96 3/100 22554
/proc/meminfo: memFree=1307312/2055920 swapFree=4191880/4192956
[pid=22546] ppid=22544 vsize=915452 CPUtime=1.3
/proc/22546/stat : 22546 (java) R 22544 22546 22423 0 -1 0 8641 0 1 0 125 5 0 0 19 0 8 0 156442552 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22546/statm: 228863 8379 2513 14 0 215333 0
[pid=22546/tid=22548] ppid=22544 vsize=915452 CPUtime=0.03
/proc/22546/task/22548/stat : 22548 (java) S 22544 22546 22423 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156442556 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22549] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22549/stat : 22549 (java) S 22544 22546 22423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156442556 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22550] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22550/stat : 22550 (java) S 22544 22546 22423 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442556 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22551] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22551/stat : 22551 (java) S 22544 22546 22423 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156442559 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22552] ppid=22544 vsize=915452 CPUtime=0.22
/proc/22546/task/22552/stat : 22552 (java) S 22544 22546 22423 0 -1 64 379 0 0 0 21 1 0 0 16 0 8 0 156442559 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22553] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22553/stat : 22553 (java) S 22544 22546 22423 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442559 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22554] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22554/stat : 22554 (java) S 22544 22546 22423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156442560 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.97896 s]
/proc/loadavg: 1.57 1.89 1.96 3/100 22554
/proc/meminfo: memFree=1307248/2055920 swapFree=4191880/4192956
[pid=22546] ppid=22544 vsize=915452 CPUtime=2.93
/proc/22546/stat : 22546 (java) R 22544 22546 22423 0 -1 0 8649 0 1 0 288 5 0 0 25 0 8 0 156442552 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22546/statm: 228863 8386 2513 14 0 215333 0
[pid=22546/tid=22548] ppid=22544 vsize=915452 CPUtime=0.03
/proc/22546/task/22548/stat : 22548 (java) S 22544 22546 22423 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156442556 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22549] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22549/stat : 22549 (java) S 22544 22546 22423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156442556 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22550] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22550/stat : 22550 (java) S 22544 22546 22423 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442556 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22551] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22551/stat : 22551 (java) S 22544 22546 22423 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156442559 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22552] ppid=22544 vsize=915452 CPUtime=0.23
/proc/22546/task/22552/stat : 22552 (java) S 22544 22546 22423 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 156442559 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22553] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22553/stat : 22553 (java) S 22544 22546 22423 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442559 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22554] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22554/stat : 22554 (java) S 22544 22546 22423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156442560 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.18338 s]
/proc/loadavg: 1.61 1.89 1.96 4/100 22554
/proc/meminfo: memFree=1307184/2055920 swapFree=4191880/4192956
[pid=22546] ppid=22544 vsize=915452 CPUtime=6.11
/proc/22546/stat : 22546 (java) R 22544 22546 22423 0 -1 0 8650 0 1 0 605 6 0 0 25 0 8 0 156442552 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22546/statm: 228863 8386 2513 14 0 215333 0
[pid=22546/tid=22548] ppid=22544 vsize=915452 CPUtime=0.03
/proc/22546/task/22548/stat : 22548 (java) S 22544 22546 22423 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156442556 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22549] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22549/stat : 22549 (java) S 22544 22546 22423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156442556 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22550] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22550/stat : 22550 (java) S 22544 22546 22423 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442556 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22551] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22551/stat : 22551 (java) S 22544 22546 22423 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156442559 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22552] ppid=22544 vsize=915452 CPUtime=0.23
/proc/22546/task/22552/stat : 22552 (java) S 22544 22546 22423 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 156442559 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22553] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22553/stat : 22553 (java) S 22544 22546 22423 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442559 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22546/tid=22554] ppid=22544 vsize=915452 CPUtime=0
/proc/22546/task/22554/stat : 22554 (java) S 22544 22546 22423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156442560 937422848 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 12.5296
CPU time (s): 12.3881
CPU user time (s): 12.3211
CPU system time (s): 0.066989
CPU usage (%): 98.8709
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3211
system time used= 0.066989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8736
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= 1044
involuntary context switches= 1536
runsolver used 0.017997 s user time and 0.051992 s system time
The end
Begin job on node16 on Sat Jan 6 10:47:57 UTC 2007
IDJOB= 223952
IDBENCH= 5696
FILE ID= node16/223952-1168080477
PBS_JOBID= 3475863
Free space on /tmp= 66500 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223952-1168080477/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-223952-1168080477 -o ROOT/results/node16/solver-223952-1168080477 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223952-1168080477/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 64424270487e5cc63c69f5d68da22728
RANDOM SEED= 669731760
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.220
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.220
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: 1331464 kB
Buffers: 64384 kB
Cached: 484448 kB
SwapCached: 268 kB
Active: 229252 kB
Inactive: 397664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1331464 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2288 kB
Writeback: 0 kB
Mapped: 106480 kB
Slab: 82132 kB
Committed_AS: 4682804 kB
PageTables: 2472 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= 66500 MiB
End job on node16 on Sat Jan 6 10:48:10 UTC 2007