0.29
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/227277-1168080771/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.09 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.66 nbConstraints=751 nbRelationTypes=751 nbExtensionStructures=750 nbSharedExtensionStructures=1
0.66 nbConflictsStructures=750 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11863 maxDegree=39
0.66 maxArity=2
0.66 => wckTime=0.361 cpuTime=0.25 mem=11M848
0.70
0.70 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.553 cpuTime=0.38 mem=14M14
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.0 mem=14M14
0.90
0.90 search
0.90 run=0 nbConstraintChecks=12029 nbPropagations=342 nbRevisions=3717 nbUselessRevisions=3162 nbAssignments=24
0.90 nbFailedAssignments=3 nbBacktracks=14 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.046 cpuTime=0.03 mem=15M6
0.92
0.92 search
0.92 run=1 nbConstraintChecks=28789 nbPropagations=1081 nbRevisions=12646 nbUselessRevisions=10747 nbAssignments=54
0.92 nbFailedAssignments=9 nbBacktracks=30 nbVisitedNodes=79 nbRestartNogoods=1 mapSize=21 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.072 cpuTime=0.04 mem=15M6
0.94
0.94 search
0.94 run=2 nbConstraintChecks=51706 nbPropagations=2319 nbRevisions=28909 nbUselessRevisions=24699 nbAssignments=97
0.94 nbFailedAssignments=19 nbBacktracks=54 nbVisitedNodes=141 nbRestartNogoods=3 mapSize=36 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.09 cpuTime=0.05 mem=15M6
0.96
0.96 search
0.96 run=3 nbConstraintChecks=84861 nbPropagations=4239 nbRevisions=56790 nbUselessRevisions=48675
0.96 nbAssignments=150 nbFailedAssignments=30 nbBacktracks=88 nbVisitedNodes=223 nbRestartNogoods=7 mapSize=60
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.109 cpuTime=0.07 mem=15M6
0.98
0.98 search
0.98 run=4 nbConstraintChecks=132881 nbPropagations=7152 nbRevisions=100378 nbUselessRevisions=86071
0.98 nbAssignments=228 nbFailedAssignments=49 nbBacktracks=139 nbVisitedNodes=346 nbRestartNogoods=11 mapSize=98
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.132 cpuTime=0.09 mem=15M6
1.02
1.02 search
1.02 run=5 nbConstraintChecks=203688 nbPropagations=11471 nbRevisions=167593 nbUselessRevisions=143859
1.02 nbAssignments=346 nbFailedAssignments=81 nbBacktracks=219 nbVisitedNodes=532 nbRestartNogoods=15 mapSize=162
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.164 cpuTime=0.12 mem=15M6
1.06
1.06 search
1.06 run=6 nbConstraintChecks=309910 nbPropagations=17847 nbRevisions=269939 nbUselessRevisions=231816
1.06 nbAssignments=515 nbFailedAssignments=130 nbBacktracks=332 nbVisitedNodes=802 nbRestartNogoods=18 mapSize=248
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.213 cpuTime=0.17 mem=15M6
1.13
1.13 search
1.13 run=7 nbConstraintChecks=460593 nbPropagations=27115 nbRevisions=424665 nbUselessRevisions=365232
1.13 nbAssignments=763 nbFailedAssignments=199 nbBacktracks=504 nbVisitedNodes=1205 nbRestartNogoods=21 mapSize=382
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.281 cpuTime=0.23 mem=15M6
1.22
1.22 search
1.22 run=8 nbConstraintChecks=692585 nbPropagations=40825 nbRevisions=656161 nbUselessRevisions=564876
1.22 nbAssignments=1129 nbFailedAssignments=298 nbBacktracks=760 nbVisitedNodes=1787 nbRestartNogoods=24
1.22 mapSize=577 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.373 cpuTime=0.32 mem=15M6
1.38
1.38 search
1.38 run=9 nbConstraintChecks=1054243 nbPropagations=61399 nbRevisions=1007889 nbUselessRevisions=868212
1.38 nbAssignments=1668 nbFailedAssignments=443 nbBacktracks=1148 nbVisitedNodes=2659 nbRestartNogoods=32
1.38 mapSize=879 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.531 cpuTime=0.46 mem=15M6
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=15M6)
1.58
1.58 search
1.58 run=10 nbConstraintChecks=1584804 nbPropagations=92097 nbRevisions=1536490 nbUselessRevisions=1323525
1.58 nbAssignments=2477 nbFailedAssignments=668 nbBacktracks=1724 nbVisitedNodes=3974 nbRestartNogoods=35
1.58 => wckTime=0.731 cpuTime=0.65 mem=15M6
1.87
1.87 search
1.87 run=11 nbConstraintChecks=2441678 nbPropagations=138678 nbRevisions=2345547 nbUselessRevisions=2019229
1.87 nbAssignments=3715 nbFailedAssignments=1038 nbBacktracks=2588 nbVisitedNodes=5996 nbRestartNogoods=44
1.87 => wckTime=1.024 cpuTime=0.94 mem=15M6
2.31
2.31 search
2.31 run=12 nbConstraintChecks=3720740 nbPropagations=208980 nbRevisions=3579601 nbUselessRevisions=3081306
2.31 nbAssignments=5562 nbFailedAssignments=1583 nbBacktracks=3885 nbVisitedNodes=9035 nbRestartNogoods=52
2.31 => wckTime=1.46 cpuTime=1.37 mem=15M6
2.86
2.86 search
2.86 run=13 nbConstraintChecks=5471413 nbPropagations=311729 nbRevisions=5400520 nbUselessRevisions=4650345
2.86 nbAssignments=8270 nbFailedAssignments=2337 nbBacktracks=5833 nbVisitedNodes=13412 nbRestartNogoods=57
2.86 => wckTime=2.008 cpuTime=1.92 mem=15M6
3.69
3.69 search
3.69 run=14 nbConstraintChecks=8097949 nbPropagations=463732 nbRevisions=8109728 nbUselessRevisions=6988523
3.69 nbAssignments=12337 nbFailedAssignments=3473 nbBacktracks=8754 nbVisitedNodes=20002 nbRestartNogoods=63
3.69 => wckTime=2.836 cpuTime=2.74 mem=15M6
4.96
4.96 search
4.96 run=15 nbConstraintChecks=12133736 nbPropagations=690730 nbRevisions=12170076 nbUselessRevisions=10495386
4.96 nbAssignments=18477 nbFailedAssignments=5223 nbBacktracks=13138 nbVisitedNodes=29913 nbRestartNogoods=67
4.96 => wckTime=4.11 cpuTime=4.02 mem=15M6
6.93
6.94 search
6.94 run=16 nbConstraintChecks=18436317 nbPropagations=1034271 nbRevisions=18302115 nbUselessRevisions=15784553
6.94 nbAssignments=27737 nbFailedAssignments=7905 nbBacktracks=19708 nbVisitedNodes=44968 nbRestartNogoods=74
6.94 => wckTime=6.085 cpuTime=5.99 mem=15M6
10.00
10.00 search
10.00 run=17 nbConstraintChecks=28218096 nbPropagations=1557415 nbRevisions=27643242 nbUselessRevisions=23831696
10.00 nbAssignments=41826 nbFailedAssignments=12137 nbBacktracks=29561 nbVisitedNodes=68021 nbRestartNogoods=81
10.00 => wckTime=9.151 cpuTime=9.05 mem=15M6
10.43
10.43 search
10.43 run=18 nbConstraintChecks=29564154 nbPropagations=2105224 nbRevisions=37426935 nbUselessRevisions=32259984
10.43 nbAssignments=43830 nbFailedAssignments=12702 nbBacktracks=30960 nbVisitedNodes=71268 nbRestartNogoods=83
10.43 => wckTime=9.581 cpuTime=9.48 mem=15M6
10.43
10.43 global
10.43 nbConstraintChecks=29564154 nbPropagations=2105264 nbRevisions=37426935 nbUselessRevisions=32259984
10.43 nbRestartNogoods=83 solvingWckTime=9.582 solvingCpuTime=9.48 expiredTime=no totalExploration=no
10.43 nbFoundSolutions=1 globalCpuTime=9.91
10.43 => wckTime=10.136 cpuTime=9.86 mem=15M6
10.43
10.43 s SATISFIABLE
10.43 v 2 2 4 7 0 5 0 6 1 7 5 0 0 3 7 3 1 2 6 2 4 6 5 4 0 4 4 7 3 0 1 6 1 7 4 0 2 5 1 7
10.43 d NODES 43830
10.43 d CHECKS 29564154
10.43
10.44 totalWckTime=10.211 totalCpuTime=9.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-227277-1168080771 -o ROOT/results/node17/solver-227277-1168080771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227277-1168080771/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.75 1.24 1.58 3/81 14966
/proc/meminfo: memFree=1611720/2055920 swapFree=4192812/4192956
[pid=14965] ppid=14963 vsize=1784 CPUtime=0
/proc/14965/stat : 14965 (java) R 14963 14965 14775 0 -1 0 194 0 0 0 0 0 0 0 19 0 1 0 156472716 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14965/statm: 446 160 125 14 0 91 0
[startup+0.10682 s]
/proc/loadavg: 0.75 1.24 1.58 3/81 14966
/proc/meminfo: memFree=1611720/2055920 swapFree=4192812/4192956
[pid=14965] ppid=14963 vsize=914988 CPUtime=0.09
/proc/14965/stat : 14965 (java) R 14963 14965 14775 0 -1 0 3080 0 1 0 8 1 0 0 16 0 8 0 156472716 936947712 2826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155584133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14965/statm: 228747 2826 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514862 s]
/proc/loadavg: 0.75 1.24 1.58 3/81 14966
/proc/meminfo: memFree=1611720/2055920 swapFree=4192812/4192956
[pid=14965] ppid=14963 vsize=915328 CPUtime=0.5
/proc/14965/stat : 14965 (java) R 14963 14965 14775 0 -1 0 6480 0 1 0 46 4 0 0 16 0 8 0 156472716 937295872 6219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14965/statm: 228832 6219 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33995 s]
/proc/loadavg: 0.75 1.24 1.58 2/88 14973
/proc/meminfo: memFree=1588048/2055920 swapFree=4192812/4192956
[pid=14965] ppid=14963 vsize=915584 CPUtime=1.3
/proc/14965/stat : 14965 (java) R 14963 14965 14775 0 -1 0 8668 0 1 0 124 6 0 0 16 0 8 0 156472716 937558016 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073921793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14965/statm: 228896 8406 2513 14 0 215366 0
[pid=14965/tid=14967] ppid=14963 vsize=915584 CPUtime=0.03
/proc/14965/task/14967/stat : 14967 (java) S 14963 14965 14775 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156472719 937558016 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14965/tid=14968] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14968/stat : 14968 (java) S 14963 14965 14775 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156472720 937558016 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14969] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14969/stat : 14969 (java) S 14963 14965 14775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156472720 937558016 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14970] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14970/stat : 14970 (java) S 14963 14965 14775 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156472723 937558016 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14971] ppid=14963 vsize=915584 CPUtime=0.22
/proc/14965/task/14971/stat : 14971 (java) S 14963 14965 14775 0 -1 64 408 0 0 0 21 1 0 0 16 0 8 0 156472723 937558016 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14972] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14972/stat : 14972 (java) S 14963 14965 14775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156472723 937558016 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14973] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14973/stat : 14973 (java) S 14963 14965 14775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156472723 937558016 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915584
[startup+2.98811 s]
/proc/loadavg: 0.77 1.23 1.58 2/88 14973
/proc/meminfo: memFree=1587792/2055920 swapFree=4192812/4192956
[pid=14965] ppid=14963 vsize=915584 CPUtime=2.95
/proc/14965/stat : 14965 (java) R 14963 14965 14775 0 -1 0 8698 0 1 0 288 7 0 0 17 0 8 0 156472716 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14965/statm: 228896 8435 2513 14 0 215366 0
[pid=14965/tid=14967] ppid=14963 vsize=915584 CPUtime=0.03
/proc/14965/task/14967/stat : 14967 (java) S 14963 14965 14775 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156472719 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14965/tid=14968] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14968/stat : 14968 (java) S 14963 14965 14775 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156472720 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14969] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14969/stat : 14969 (java) S 14963 14965 14775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156472720 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14970] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14970/stat : 14970 (java) S 14963 14965 14775 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156472723 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14971] ppid=14963 vsize=915584 CPUtime=0.23
/proc/14965/task/14971/stat : 14971 (java) S 14963 14965 14775 0 -1 64 417 0 0 0 22 1 0 0 16 0 8 0 156472723 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14972] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14972/stat : 14972 (java) S 14963 14965 14775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156472723 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14973] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14973/stat : 14973 (java) S 14963 14965 14775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156472723 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915584
[startup+6.26645 s]
/proc/loadavg: 0.77 1.23 1.58 2/88 14973
/proc/meminfo: memFree=1587792/2055920 swapFree=4192812/4192956
[pid=14965] ppid=14963 vsize=915584 CPUtime=6.23
/proc/14965/stat : 14965 (java) R 14963 14965 14775 0 -1 0 8704 0 1 0 616 7 0 0 18 0 8 0 156472716 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073905759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14965/statm: 228896 8440 2513 14 0 215366 0
[pid=14965/tid=14967] ppid=14963 vsize=915584 CPUtime=0.03
/proc/14965/task/14967/stat : 14967 (java) S 14963 14965 14775 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156472719 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14965/tid=14968] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14968/stat : 14968 (java) S 14963 14965 14775 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156472720 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14969] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14969/stat : 14969 (java) S 14963 14965 14775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156472720 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14970] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14970/stat : 14970 (java) S 14963 14965 14775 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156472723 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14971] ppid=14963 vsize=915584 CPUtime=0.24
/proc/14965/task/14971/stat : 14971 (java) S 14963 14965 14775 0 -1 64 417 0 0 0 23 1 0 0 15 0 8 0 156472723 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14972] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14972/stat : 14972 (java) S 14963 14965 14775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156472723 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14965/tid=14973] ppid=14963 vsize=915584 CPUtime=0
/proc/14965/task/14973/stat : 14973 (java) S 14963 14965 14775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156472723 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 10.4839
CPU time (s): 10.4084
CPU user time (s): 10.3274
CPU system time (s): 0.080987
CPU usage (%): 99.2797
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3274
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8802
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= 1114
involuntary context switches= 679
runsolver used 0.011998 s user time and 0.040993 s system time
The end
Begin job on node17 on Sat Jan 6 10:52:53 UTC 2007
IDJOB= 227277
IDBENCH= 6067
FILE ID= node17/227277-1168080771
PBS_JOBID= 3475871
Free space on /tmp= 66320 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227277-1168080771/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-227277-1168080771 -o ROOT/results/node17/solver-227277-1168080771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227277-1168080771/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a1fad3374015b2da8b9daaa3f7cd6243
RANDOM SEED= 519819424
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: 1612776 kB
Buffers: 47332 kB
Cached: 249148 kB
SwapCached: 0 kB
Active: 143568 kB
Inactive: 210692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1612776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1916 kB
Writeback: 0 kB
Mapped: 76744 kB
Slab: 73984 kB
Committed_AS: 3817664 kB
PageTables: 2076 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= 66320 MiB
End job on node17 on Sat Jan 6 10:53:15 UTC 2007