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/228447-1168080880/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8248 maxDegree=26
0.62 maxArity=2
0.62 => wckTime=0.298 cpuTime=0.21 mem=10M852
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.496 cpuTime=0.34 mem=13M695
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0080 cpuTime=0.0 mem=13M695
0.87
0.87 search
0.87 run=0 nbConstraintChecks=16185 nbPropagations=388 nbRevisions=3878 nbUselessRevisions=3254 nbAssignments=22
0.87 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=32 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.047 cpuTime=0.03 mem=14M670
0.89
0.89 search
0.89 run=1 nbConstraintChecks=38467 nbPropagations=1239 nbRevisions=13268 nbUselessRevisions=11032 nbAssignments=51
0.89 nbFailedAssignments=11 nbBacktracks=26 nbVisitedNodes=77 nbRestartNogoods=2 mapSize=18 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.071 cpuTime=0.04 mem=14M670
0.91
0.91 search
0.91 run=2 nbConstraintChecks=70622 nbPropagations=2726 nbRevisions=30814 nbUselessRevisions=25506 nbAssignments=93
0.91 nbFailedAssignments=22 nbBacktracks=50 nbVisitedNodes=143 nbRestartNogoods=4 mapSize=37 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.091 cpuTime=0.06 mem=14M670
0.93
0.93 search
0.93 run=3 nbConstraintChecks=119754 nbPropagations=5163 nbRevisions=61213 nbUselessRevisions=50717
0.93 nbAssignments=157 nbFailedAssignments=44 nbBacktracks=83 nbVisitedNodes=247 nbRestartNogoods=7 mapSize=67
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.108 cpuTime=0.07 mem=14M670
0.95
0.95 search
0.95 run=4 nbConstraintChecks=189250 nbPropagations=8930 nbRevisions=109356 nbUselessRevisions=90471
0.95 nbAssignments=248 nbFailedAssignments=74 nbBacktracks=133 nbVisitedNodes=396 nbRestartNogoods=12 mapSize=111
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.131 cpuTime=0.09 mem=14M670
0.98
0.98 search
0.98 run=5 nbConstraintChecks=293787 nbPropagations=14583 nbRevisions=185823 nbUselessRevisions=153743
0.99 nbAssignments=370 nbFailedAssignments=115 nbBacktracks=208 nbVisitedNodes=596 nbRestartNogoods=17 mapSize=170
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.166 cpuTime=0.12 mem=14M670
1.03
1.03 search
1.03 run=6 nbConstraintChecks=443261 nbPropagations=22995 nbRevisions=302102 nbUselessRevisions=249739
1.03 nbAssignments=556 nbFailedAssignments=180 nbBacktracks=323 nbVisitedNodes=902 nbRestartNogoods=21 mapSize=266
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.209 cpuTime=0.16 mem=14M670
1.09
1.09 search
1.09 run=7 nbConstraintChecks=661738 nbPropagations=35621 nbRevisions=477285 nbUselessRevisions=394539
1.09 nbAssignments=824 nbFailedAssignments=268 nbBacktracks=494 nbVisitedNodes=1358 nbRestartNogoods=24 mapSize=416
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.271 cpuTime=0.22 mem=14M670
1.18
1.18 search
1.18 run=8 nbConstraintChecks=978193 nbPropagations=54135 nbRevisions=738601 nbUselessRevisions=610534
1.18 nbAssignments=1221 nbFailedAssignments=400 nbBacktracks=755 nbVisitedNodes=2028 nbRestartNogoods=30
1.18 mapSize=643 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.363 cpuTime=0.31 mem=14M670
1.31
1.31 search
1.31 run=9 nbConstraintChecks=1449940 nbPropagations=81298 nbRevisions=1127262 nbUselessRevisions=932154
1.31 nbAssignments=1797 nbFailedAssignments=581 nbBacktracks=1144 nbVisitedNodes=2978 nbRestartNogoods=32
1.31 mapSize=960 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.495 cpuTime=0.43 mem=14M670
1.34
1.34 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M670)
1.48
1.48 search
1.48 run=10 nbConstraintChecks=2110790 nbPropagations=120796 nbRevisions=1702086 nbUselessRevisions=1409253
1.48 nbAssignments=2651 nbFailedAssignments=847 nbBacktracks=1722 nbVisitedNodes=4399 nbRestartNogoods=37
1.48 => wckTime=0.659 cpuTime=0.58 mem=14M670
1.71
1.71 search
1.71 run=11 nbConstraintChecks=3170467 nbPropagations=179309 nbRevisions=2562462 nbUselessRevisions=2123235
1.71 nbAssignments=3928 nbFailedAssignments=1249 nbBacktracks=2588 nbVisitedNodes=6568 nbRestartNogoods=45
1.71 => wckTime=0.892 cpuTime=0.81 mem=14M670
2.03
2.03 search
2.03 run=12 nbConstraintChecks=4599448 nbPropagations=264524 nbRevisions=3813463 nbUselessRevisions=3162001
2.03 nbAssignments=5841 nbFailedAssignments=1857 nbBacktracks=3886 nbVisitedNodes=9702 nbRestartNogoods=54
2.03 => wckTime=1.211 cpuTime=1.12 mem=14M670
2.53
2.53 search
2.53 run=13 nbConstraintChecks=6898593 nbPropagations=392228 nbRevisions=5697900 nbUselessRevisions=4727747
2.53 nbAssignments=8764 nbFailedAssignments=2828 nbBacktracks=5834 nbVisitedNodes=14584 nbRestartNogoods=62
2.53 => wckTime=1.717 cpuTime=1.63 mem=14M670
3.29
3.29 search
3.29 run=14 nbConstraintChecks=10339934 nbPropagations=582905 nbRevisions=8522518 nbUselessRevisions=7073764
3.29 nbAssignments=13123 nbFailedAssignments=4261 nbBacktracks=8753 nbVisitedNodes=21829 nbRestartNogoods=68
3.29 => wckTime=2.469 cpuTime=2.38 mem=14M670
4.41
4.41 search
4.41 run=15 nbConstraintChecks=15446983 nbPropagations=867890 nbRevisions=12751160 nbUselessRevisions=10588565
4.41 nbAssignments=19607 nbFailedAssignments=6357 nbBacktracks=13137 nbVisitedNodes=32626 nbRestartNogoods=75
4.41 => wckTime=3.595 cpuTime=3.51 mem=14M670
6.06
6.06 search
6.06 run=16 nbConstraintChecks=22958689 nbPropagations=1291061 nbRevisions=19015060 nbUselessRevisions=15792724
6.06 nbAssignments=29205 nbFailedAssignments=9380 nbBacktracks=19705 nbVisitedNodes=48514 nbRestartNogoods=82
6.06 => wckTime=5.238 cpuTime=5.15 mem=14M670
8.59
8.59 search
8.59 run=17 nbConstraintChecks=34514521 nbPropagations=1927134 nbRevisions=28448180 nbUselessRevisions=23634605
8.59 nbAssignments=43823 nbFailedAssignments=14141 nbBacktracks=29558 nbVisitedNodes=72840 nbRestartNogoods=90
8.59 => wckTime=7.771 cpuTime=7.68 mem=14M670
12.61
12.61 search
12.61 run=18 nbConstraintChecks=53305419 nbPropagations=2899225 nbRevisions=42908686 nbUselessRevisions=35648056
12.61 nbAssignments=66405 nbFailedAssignments=21936 nbBacktracks=44337 nbVisitedNodes=110847 nbRestartNogoods=98
12.61 => wckTime=11.791 cpuTime=11.7 mem=14M670
15.30
15.30 search
15.30 run=19 nbConstraintChecks=65767447 nbPropagations=4097157 nbRevisions=60700151 nbUselessRevisions=50415301
15.30 nbAssignments=81849 nbFailedAssignments=26962 nbBacktracks=54715 nbVisitedNodes=136461 nbRestartNogoods=110
15.30 => wckTime=14.487 cpuTime=14.39 mem=14M670
15.31
15.31 global
15.31 nbConstraintChecks=65767447 nbPropagations=4097197 nbRevisions=60700151 nbUselessRevisions=50415301
15.31 nbRestartNogoods=110 solvingWckTime=14.488 solvingCpuTime=14.39 expiredTime=no totalExploration=no
15.31 nbFoundSolutions=1 globalCpuTime=14.79
15.31 => wckTime=14.987 cpuTime=14.73 mem=14M670
15.31
15.31 s SATISFIABLE
15.31 v 2 3 0 1 7 9 1 9 4 9 2 8 8 8 3 4 8 2 0 3 9 8 5 6 8 8 1 8 1 10 4 10 3 6 2 10 5 3 1 7
15.31 d NODES 81849
15.31 d CHECKS 65767447
15.31
15.31 totalWckTime=15.067 totalCpuTime=14.79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-228447-1168080880 -o ROOT/results/node45/solver-228447-1168080880 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228447-1168080880/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.19 0.50 0.83 7/73 23651
/proc/meminfo: memFree=1408536/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=1784 CPUtime=0
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 146 0 0 0 0 0 0 0 18 0 1 0 156488345 1826816 118 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5168369 0 0 4096 0 0 0 0 17 0 0 0
/proc/23650/statm: 446 124 92 14 0 91 0
[startup+0.105556 s]
/proc/loadavg: 0.19 0.50 0.83 7/73 23651
/proc/meminfo: memFree=1408536/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=913236 CPUtime=0.08
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 156488345 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.513578 s]
/proc/loadavg: 0.19 0.50 0.83 7/73 23651
/proc/meminfo: memFree=1408536/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=915328 CPUtime=0.48
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 6384 0 1 0 44 4 0 0 19 0 8 0 156488345 937295872 6123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5193341 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228832 6124 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33849 s]
/proc/loadavg: 0.19 0.50 0.83 4/87 23665
/proc/meminfo: memFree=1361896/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=915456 CPUtime=1.3
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 8579 0 1 0 124 6 0 0 25 0 8 0 156488345 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228864 8317 2513 14 0 215334 0
[pid=23650/tid=23653] ppid=23645 vsize=915456 CPUtime=0.03
/proc/23650/task/23653/stat : 23653 (java) S 23645 23650 23514 0 -1 64 229 0 0 0 3 0 0 0 17 0 8 0 156488350 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23656] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23656/stat : 23656 (java) S 23645 23650 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23657] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23657/stat : 23657 (java) S 23645 23650 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23662] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23662/stat : 23662 (java) S 23645 23650 23514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156488354 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23663] ppid=23645 vsize=915456 CPUtime=0.21
/proc/23650/task/23663/stat : 23663 (java) S 23645 23650 23514 0 -1 64 386 0 0 0 21 0 0 0 15 0 8 0 156488354 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23664] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23664/stat : 23664 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156488354 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23665] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23665/stat : 23665 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8317 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) 915456
[startup+2.97879 s]
/proc/loadavg: 0.19 0.50 0.83 3/87 23665
/proc/meminfo: memFree=1361448/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=915456 CPUtime=2.94
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 8595 0 1 0 288 6 0 0 25 0 8 0 156488345 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228864 8332 2513 14 0 215334 0
[pid=23650/tid=23653] ppid=23645 vsize=915456 CPUtime=0.03
/proc/23650/task/23653/stat : 23653 (java) S 23645 23650 23514 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156488350 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23656] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23656/stat : 23656 (java) S 23645 23650 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23657] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23657/stat : 23657 (java) S 23645 23650 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23662] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23662/stat : 23662 (java) S 23645 23650 23514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156488354 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23663] ppid=23645 vsize=915456 CPUtime=0.22
/proc/23650/task/23663/stat : 23663 (java) S 23645 23650 23514 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 156488354 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23664] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23664/stat : 23664 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156488354 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23665] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23665/stat : 23665 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8332 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) 915456
[startup+6.27438 s]
/proc/loadavg: 0.33 0.52 0.83 3/87 23665
/proc/meminfo: memFree=1361384/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=915456 CPUtime=6.24
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 8603 0 1 0 618 6 0 0 25 0 8 0 156488345 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228864 8339 2513 14 0 215334 0
[pid=23650/tid=23653] ppid=23645 vsize=915456 CPUtime=0.03
/proc/23650/task/23653/stat : 23653 (java) S 23645 23650 23514 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156488350 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23656] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23656/stat : 23656 (java) S 23645 23650 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23657] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23657/stat : 23657 (java) S 23645 23650 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23662] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23662/stat : 23662 (java) S 23645 23650 23514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156488354 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23663] ppid=23645 vsize=915456 CPUtime=0.23
/proc/23650/task/23663/stat : 23663 (java) S 23645 23650 23514 0 -1 64 391 0 0 0 23 0 0 0 16 0 8 0 156488354 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23664] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23664/stat : 23664 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156488354 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23665] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23665/stat : 23665 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8339 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) 915456
[startup+12.7466 s]
/proc/loadavg: 0.47 0.55 0.84 3/87 23665
/proc/meminfo: memFree=1361384/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=915456 CPUtime=12.71
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 8608 0 1 0 1265 6 0 0 25 0 8 0 156488345 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228864 8344 2513 14 0 215334 0
[pid=23650/tid=23653] ppid=23645 vsize=915456 CPUtime=0.03
/proc/23650/task/23653/stat : 23653 (java) S 23645 23650 23514 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156488350 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23656] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23656/stat : 23656 (java) S 23645 23650 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23657] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23657/stat : 23657 (java) S 23645 23650 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23662] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23662/stat : 23662 (java) S 23645 23650 23514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156488354 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23663] ppid=23645 vsize=915456 CPUtime=0.23
/proc/23650/task/23663/stat : 23663 (java) S 23645 23650 23514 0 -1 64 391 0 0 0 23 0 0 0 16 0 8 0 156488354 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23664] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23664/stat : 23664 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156488354 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23665] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23665/stat : 23665 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 15.3487
CPU time (s): 15.2867
CPU user time (s): 15.2127
CPU system time (s): 0.073988
CPU usage (%): 99.5959
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2127
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8702
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= 1434
involuntary context switches= 1666
runsolver used 0.018997 s user time and 0.058991 s system time
The end
Begin job on node45 on Sat Jan 6 10:54:44 UTC 2007
IDJOB= 228447
IDBENCH= 6197
FILE ID= node45/228447-1168080880
PBS_JOBID= 3476182
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-77_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228447-1168080880/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-228447-1168080880 -o ROOT/results/node45/solver-228447-1168080880 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228447-1168080880/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e0232ff1cd663bbf4eff56b536b635e7
RANDOM SEED= 620963929
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.259
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.259
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: 1409760 kB
Buffers: 49268 kB
Cached: 511296 kB
SwapCached: 2748 kB
Active: 55020 kB
Inactive: 519488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1409760 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 3596 kB
Writeback: 0 kB
Mapped: 19980 kB
Slab: 57424 kB
Committed_AS: 2679360 kB
PageTables: 1596 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= 66541 MiB
End job on node45 on Sat Jan 6 10:55:09 UTC 2007