0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/227739-1168080814/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.39 => wckTime=0.095 cpuTime=0.1 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.66 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11892 maxDegree=39
0.66 maxArity=2
0.66 => wckTime=0.361 cpuTime=0.26 mem=11M844
0.70
0.70 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.551 cpuTime=0.38 mem=14M15
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.012 cpuTime=0.01 mem=14M15
0.90
0.90 search
0.90 run=0 nbConstraintChecks=14403 nbPropagations=343 nbRevisions=4260 nbUselessRevisions=3471 nbAssignments=21
0.90 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.046 cpuTime=0.04 mem=15M7
0.92
0.92 search
0.92 run=1 nbConstraintChecks=38709 nbPropagations=1185 nbRevisions=16377 nbUselessRevisions=13716 nbAssignments=54
0.92 nbFailedAssignments=14 nbBacktracks=27 nbVisitedNodes=85 nbRestartNogoods=1 mapSize=23 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.075 cpuTime=0.06 mem=15M7
0.94
0.94 search
0.94 run=2 nbConstraintChecks=61923 nbPropagations=2528 nbRevisions=36026 nbUselessRevisions=30386 nbAssignments=93
0.94 nbFailedAssignments=23 nbBacktracks=50 nbVisitedNodes=144 nbRestartNogoods=4 mapSize=41 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.091 cpuTime=0.07 mem=15M7
0.96
0.96 search
0.96 run=3 nbConstraintChecks=97207 nbPropagations=4623 nbRevisions=67402 nbUselessRevisions=57128
0.96 nbAssignments=150 nbFailedAssignments=37 nbBacktracks=85 nbVisitedNodes=232 nbRestartNogoods=6 mapSize=68
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.11 cpuTime=0.09 mem=15M7
0.98
0.98 search
0.98 run=4 nbConstraintChecks=152867 nbPropagations=7836 nbRevisions=117176 nbUselessRevisions=99636
0.98 nbAssignments=231 nbFailedAssignments=60 nbBacktracks=135 nbVisitedNodes=363 nbRestartNogoods=9 mapSize=113
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.136 cpuTime=0.11 mem=15M7
1.02
1.02 search
1.02 run=5 nbConstraintChecks=230093 nbPropagations=12559 nbRevisions=192196 nbUselessRevisions=163853
1.02 nbAssignments=347 nbFailedAssignments=93 nbBacktracks=212 nbVisitedNodes=552 nbRestartNogoods=12 mapSize=182
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.171 cpuTime=0.14 mem=15M7
1.07
1.07 search
1.07 run=6 nbConstraintChecks=340752 nbPropagations=19410 nbRevisions=302657 nbUselessRevisions=258449
1.07 nbAssignments=516 nbFailedAssignments=141 nbBacktracks=326 nbVisitedNodes=830 nbRestartNogoods=14 mapSize=282
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.218 cpuTime=0.19 mem=15M7
1.13
1.13 search
1.13 run=7 nbConstraintChecks=501050 nbPropagations=29392 nbRevisions=465750 nbUselessRevisions=398147
1.13 nbAssignments=770 nbFailedAssignments=217 nbBacktracks=499 nbVisitedNodes=1241 nbRestartNogoods=19 mapSize=425
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.284 cpuTime=0.25 mem=15M7
1.23
1.23 search
1.23 run=8 nbConstraintChecks=730435 nbPropagations=43701 nbRevisions=705518 nbUselessRevisions=604121
1.23 nbAssignments=1137 nbFailedAssignments=322 nbBacktracks=755 nbVisitedNodes=1830 nbRestartNogoods=22
1.23 mapSize=621 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.378 cpuTime=0.34 mem=15M7
1.38
1.38 search
1.38 run=9 nbConstraintChecks=1125365 nbPropagations=65401 nbRevisions=1074869 nbUselessRevisions=921418
1.38 nbAssignments=1704 nbFailedAssignments=495 nbBacktracks=1139 nbVisitedNodes=2763 nbRestartNogoods=27
1.38 mapSize=932 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.535 cpuTime=0.48 mem=15M7
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=15M7)
1.59
1.59 search
1.59 run=10 nbConstraintChecks=1716497 nbPropagations=98084 nbRevisions=1639300 nbUselessRevisions=1405830
1.59 nbAssignments=2545 nbFailedAssignments=753 nbBacktracks=1715 nbVisitedNodes=4153 nbRestartNogoods=33
1.59 => wckTime=0.738 cpuTime=0.67 mem=15M7
1.87
1.87 search
1.87 run=11 nbConstraintChecks=2625849 nbPropagations=147564 nbRevisions=2495577 nbUselessRevisions=2139026
1.87 nbAssignments=3804 nbFailedAssignments=1143 nbBacktracks=2579 nbVisitedNodes=6241 nbRestartNogoods=39
1.87 => wckTime=1.025 cpuTime=0.96 mem=15M7
2.29
2.29 search
2.29 run=12 nbConstraintChecks=3944739 nbPropagations=221608 nbRevisions=3778983 nbUselessRevisions=3236817
2.29 nbAssignments=5645 nbFailedAssignments=1681 nbBacktracks=3876 nbVisitedNodes=9266 nbRestartNogoods=44
2.29 => wckTime=1.442 cpuTime=1.37 mem=15M7
2.88
2.88 search
2.88 run=13 nbConstraintChecks=5815543 nbPropagations=330309 nbRevisions=5679417 nbUselessRevisions=4865358
2.88 nbAssignments=8374 nbFailedAssignments=2458 nbBacktracks=5825 nbVisitedNodes=13729 nbRestartNogoods=49
2.88 => wckTime=2.029 cpuTime=1.96 mem=15M7
3.80
3.80 search
3.80 run=14 nbConstraintChecks=8766970 nbPropagations=493334 nbRevisions=8539254 nbUselessRevisions=7314559
3.80 nbAssignments=12567 nbFailedAssignments=3724 nbBacktracks=8746 nbVisitedNodes=20576 nbRestartNogoods=54
3.80 => wckTime=2.956 cpuTime=2.89 mem=15M7
5.16
5.16 search
5.16 run=15 nbConstraintChecks=13067307 nbPropagations=736708 nbRevisions=12794123 nbUselessRevisions=10957249
5.16 nbAssignments=18858 nbFailedAssignments=5625 nbBacktracks=13129 nbVisitedNodes=30820 nbRestartNogoods=63
5.16 => wckTime=4.315 cpuTime=4.24 mem=15M7
7.24
7.24 search
7.24 run=16 nbConstraintChecks=19714398 nbPropagations=1101607 nbRevisions=19213906 nbUselessRevisions=16456614
7.24 nbAssignments=28285 nbFailedAssignments=8477 nbBacktracks=19699 nbVisitedNodes=46270 nbRestartNogoods=71
7.24 => wckTime=6.393 cpuTime=6.32 mem=15M7
10.33
10.33 search
10.33 run=17 nbConstraintChecks=29608552 nbPropagations=1647511 nbRevisions=28871550 nbUselessRevisions=24738608
10.33 nbAssignments=42343 nbFailedAssignments=12674 nbBacktracks=29552 nbVisitedNodes=69331 nbRestartNogoods=77
10.33 => wckTime=9.481 cpuTime=9.41 mem=15M7
10.93
10.93 search
10.93 run=18 nbConstraintChecks=31512046 nbPropagations=2228320 nbRevisions=39156687 nbUselessRevisions=33561584
10.93 nbAssignments=45168 nbFailedAssignments=13473 nbBacktracks=31538 nbVisitedNodes=73891 nbRestartNogoods=83
10.93 => wckTime=10.077 cpuTime=10.0 mem=15M7
10.93
10.93 global
10.93 nbConstraintChecks=31512046 nbPropagations=2228360 nbRevisions=39156687 nbUselessRevisions=33561584
10.93 nbRestartNogoods=83 solvingWckTime=10.078 solvingCpuTime=10.0 expiredTime=no totalExploration=no
10.93 nbFoundSolutions=1 globalCpuTime=10.43
10.93 => wckTime=10.63 cpuTime=10.38 mem=15M7
10.93
10.93 s SATISFIABLE
10.93 v 2 5 3 6 2 7 0 6 0 4 0 7 6 0 1 0 7 6 0 3 0 2 2 2 5 0 0 0 0 3 0 3 5 3 1 6 0 5 0 5
10.93 d NODES 45168
10.93 d CHECKS 31512046
10.93
10.93 totalWckTime=10.705 totalCpuTime=10.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-227739-1168080814 -o ROOT/results/node39/solver-227739-1168080814 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227739-1168080814/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.25 0.56 1.14 4/68 21649
/proc/meminfo: memFree=1735360/2055920 swapFree=4192812/4192956
[pid=21648] ppid=21646 vsize=64 CPUtime=0
/proc/21648/stat : 21648 (java) R 21646 21648 21328 0 -1 0 17 0 0 0 0 0 0 0 19 0 1 0 156481775 65536 1 18446744073709551615 0 0 4294957044 18446744073709551615 231493659943 0 0 4096 0 0 0 0 17 0 0 0
/proc/21648/statm: 41 3 0 14 0 1 0
[startup+0.106139 s]
/proc/loadavg: 0.25 0.56 1.14 4/68 21649
/proc/meminfo: memFree=1735360/2055920 swapFree=4192812/4192956
[pid=21648] ppid=21646 vsize=914988 CPUtime=0.09
/proc/21648/stat : 21648 (java) R 21646 21648 21328 0 -1 0 3048 0 1 0 7 2 0 0 23 0 8 0 156481775 936947712 2794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21648/statm: 228747 2794 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514171 s]
/proc/loadavg: 0.25 0.56 1.14 4/68 21649
/proc/meminfo: memFree=1735360/2055920 swapFree=4192812/4192956
[pid=21648] ppid=21646 vsize=915328 CPUtime=0.49
/proc/21648/stat : 21648 (java) R 21646 21648 21328 0 -1 0 6473 0 1 0 45 4 0 0 17 0 8 0 156481775 937295872 6212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073672493 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21648/statm: 228832 6212 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33525 s]
/proc/loadavg: 0.25 0.56 1.14 2/75 21656
/proc/meminfo: memFree=1711688/2055920 swapFree=4192812/4192956
[pid=21648] ppid=21646 vsize=915584 CPUtime=1.32
/proc/21648/stat : 21648 (java) R 21646 21648 21328 0 -1 0 8669 0 1 0 125 7 0 0 16 0 8 0 156481775 937558016 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21648/statm: 228896 8407 2513 14 0 215366 0
[pid=21648/tid=21650] ppid=21646 vsize=915584 CPUtime=0.03
/proc/21648/task/21650/stat : 21650 (java) S 21646 21648 21328 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156481779 937558016 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21651] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21651/stat : 21651 (java) S 21646 21648 21328 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481779 937558016 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21652] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21652/stat : 21652 (java) S 21646 21648 21328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156481779 937558016 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21653] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21653/stat : 21653 (java) S 21646 21648 21328 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156481783 937558016 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21654] ppid=21646 vsize=915584 CPUtime=0.23
/proc/21648/task/21654/stat : 21654 (java) S 21646 21648 21328 0 -1 64 409 0 0 0 22 1 0 0 16 0 8 0 156481783 937558016 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21655] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21655/stat : 21655 (java) S 21646 21648 21328 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156481783 937558016 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21656] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21656/stat : 21656 (java) S 21646 21648 21328 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156481783 937558016 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915584
[startup+2.98739 s]
/proc/loadavg: 0.31 0.57 1.14 2/75 21656
/proc/meminfo: memFree=1711432/2055920 swapFree=4192812/4192956
[pid=21648] ppid=21646 vsize=915584 CPUtime=2.97
/proc/21648/stat : 21648 (java) R 21646 21648 21328 0 -1 0 8697 0 1 0 290 7 0 0 17 0 8 0 156481775 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073924601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21648/statm: 228896 8434 2513 14 0 215366 0
[pid=21648/tid=21650] ppid=21646 vsize=915584 CPUtime=0.03
/proc/21648/task/21650/stat : 21650 (java) S 21646 21648 21328 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156481779 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21651] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21651/stat : 21651 (java) S 21646 21648 21328 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481779 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21652] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21652/stat : 21652 (java) S 21646 21648 21328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156481779 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21653] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21653/stat : 21653 (java) S 21646 21648 21328 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156481783 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21654] ppid=21646 vsize=915584 CPUtime=0.24
/proc/21648/task/21654/stat : 21654 (java) S 21646 21648 21328 0 -1 64 417 0 0 0 23 1 0 0 16 0 8 0 156481783 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21655] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21655/stat : 21655 (java) S 21646 21648 21328 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156481783 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21656] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21656/stat : 21656 (java) S 21646 21648 21328 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156481783 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915584
[startup+6.2817 s]
/proc/loadavg: 0.31 0.57 1.14 2/75 21656
/proc/meminfo: memFree=1711304/2055920 swapFree=4192812/4192956
[pid=21648] ppid=21646 vsize=915584 CPUtime=6.26
/proc/21648/stat : 21648 (java) R 21646 21648 21328 0 -1 0 8704 0 1 0 619 7 0 0 18 0 8 0 156481775 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21648/statm: 228896 8440 2513 14 0 215366 0
[pid=21648/tid=21650] ppid=21646 vsize=915584 CPUtime=0.03
/proc/21648/task/21650/stat : 21650 (java) S 21646 21648 21328 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156481779 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21651] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21651/stat : 21651 (java) S 21646 21648 21328 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481779 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21652] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21652/stat : 21652 (java) S 21646 21648 21328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156481779 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21653] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21653/stat : 21653 (java) S 21646 21648 21328 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156481783 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21654] ppid=21646 vsize=915584 CPUtime=0.25
/proc/21648/task/21654/stat : 21654 (java) S 21646 21648 21328 0 -1 64 418 0 0 0 24 1 0 0 16 0 8 0 156481783 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21655] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21655/stat : 21655 (java) S 21646 21648 21328 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156481783 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21648/tid=21656] ppid=21646 vsize=915584 CPUtime=0
/proc/21648/task/21656/stat : 21656 (java) S 21646 21648 21328 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156481783 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 10.9566
CPU time (s): 10.9293
CPU user time (s): 10.8444
CPU system time (s): 0.084987
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 915588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8444
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8800
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= 1115
involuntary context switches= 352
runsolver used 0.011998 s user time and 0.037994 s system time
The end
Begin job on node39 on Sat Jan 6 10:53:40 UTC 2007
IDJOB= 227739
IDBENCH= 6109
FILE ID= node39/227739-1168080814
PBS_JOBID= 3476106
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227739-1168080814/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-227739-1168080814 -o ROOT/results/node39/solver-227739-1168080814 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227739-1168080814/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2dc54fc58f8f656ca6898d0651b3f1c0
RANDOM SEED= 474168330
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.236
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.236
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: 1735848 kB
Buffers: 27492 kB
Cached: 201804 kB
SwapCached: 0 kB
Active: 73488 kB
Inactive: 175976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1735848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 30352 kB
Slab: 56312 kB
Committed_AS: 3008564 kB
PageTables: 1620 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66532 MiB
End job on node39 on Sat Jan 6 10:53:59 UTC 2007