0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/208559-1168074743/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=339 nbRelationTypes=339 nbExtensionStructures=339 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=339 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2965 maxDegree=26
0.59 maxArity=2
0.59 => wckTime=0.304 cpuTime=0.21 mem=12M803
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.489 cpuTime=0.33 mem=13M924
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0050 cpuTime=0.01 mem=13M924
0.84
0.84 search
0.84 run=0 nbConstraintChecks=37972 nbPropagations=599 nbRevisions=6921 nbUselessRevisions=5697 nbAssignments=27
0.84 nbFailedAssignments=8 nbBacktracks=13 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.052 cpuTime=0.04 mem=14M899
0.85
0.85 search
0.85 run=1 nbConstraintChecks=80706 nbPropagations=1797 nbRevisions=21340 nbUselessRevisions=17377 nbAssignments=61
0.85 nbFailedAssignments=20 nbBacktracks=30 nbVisitedNodes=98 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.072 cpuTime=0.05 mem=14M899
0.87
0.87 search
0.87 run=2 nbConstraintChecks=130066 nbPropagations=3673 nbRevisions=44201 nbUselessRevisions=35904
0.87 nbAssignments=101 nbFailedAssignments=33 nbBacktracks=53 nbVisitedNodes=161 nbRestartNogoods=5 mapSize=45
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.091 cpuTime=0.06 mem=14M899
0.89
0.89 search
0.89 run=3 nbConstraintChecks=239190 nbPropagations=7030 nbRevisions=86305 nbUselessRevisions=69714
0.89 nbAssignments=176 nbFailedAssignments=61 nbBacktracks=91 nbVisitedNodes=293 nbRestartNogoods=6 mapSize=81
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.112 cpuTime=0.08 mem=14M899
0.92
0.92 search
0.92 run=4 nbConstraintChecks=338582 nbPropagations=11884 nbRevisions=147781 nbUselessRevisions=119306
0.92 nbAssignments=268 nbFailedAssignments=93 nbBacktracks=142 nbVisitedNodes=442 nbRestartNogoods=9 mapSize=122
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.134 cpuTime=0.1 mem=14M899
0.96
0.96 search
0.96 run=5 nbConstraintChecks=552701 nbPropagations=19553 nbRevisions=248572 nbUselessRevisions=200599
0.96 nbAssignments=416 nbFailedAssignments=158 nbBacktracks=217 nbVisitedNodes=702 nbRestartNogoods=13 mapSize=191
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.174 cpuTime=0.14 mem=14M899
1.01
1.01 search
1.01 run=6 nbConstraintChecks=848073 nbPropagations=31212 nbRevisions=404289 nbUselessRevisions=326297
1.01 nbAssignments=620 nbFailedAssignments=242 nbBacktracks=332 nbVisitedNodes=1058 nbRestartNogoods=17 mapSize=297
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.227 cpuTime=0.19 mem=14M899
1.08
1.08 search
1.08 run=7 nbConstraintChecks=1237689 nbPropagations=48164 nbRevisions=633356 nbUselessRevisions=511249
1.08 nbAssignments=922 nbFailedAssignments=367 nbBacktracks=502 nbVisitedNodes=1576 nbRestartNogoods=25 mapSize=439
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.295 cpuTime=0.25 mem=14M899
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1873497 nbPropagations=73711 nbRevisions=981118 nbUselessRevisions=792216
1.19 nbAssignments=1365 nbFailedAssignments=547 nbBacktracks=759 nbVisitedNodes=2364 nbRestartNogoods=31
1.19 mapSize=667 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.408 cpuTime=0.36 mem=14M899
1.35
1.35 search
1.35 run=9 nbConstraintChecks=2710481 nbPropagations=111345 nbRevisions=1499751 nbUselessRevisions=1212077
1.35 nbAssignments=2049 nbFailedAssignments=839 nbBacktracks=1145 nbVisitedNodes=3561 nbRestartNogoods=35
1.35 mapSize=1002 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.564 cpuTime=0.5 mem=14M899
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M899)
1.56
1.56 search
1.56 run=10 nbConstraintChecks=4130538 nbPropagations=167577 nbRevisions=2279623 nbUselessRevisions=1841539
1.57 nbAssignments=3018 nbFailedAssignments=1225 nbBacktracks=1723 nbVisitedNodes=5248 nbRestartNogoods=43
1.57 => wckTime=0.783 cpuTime=0.71 mem=14M899
1.84
1.84 search
1.84 run=11 nbConstraintChecks=5920041 nbPropagations=249534 nbRevisions=3413117 nbUselessRevisions=2756217
1.84 nbAssignments=4442 nbFailedAssignments=1778 nbBacktracks=2587 nbVisitedNodes=7704 nbRestartNogoods=53
1.84 => wckTime=1.058 cpuTime=0.98 mem=14M899
2.30
2.30 search
2.30 run=12 nbConstraintChecks=9131069 nbPropagations=373134 nbRevisions=5130082 nbUselessRevisions=4138591
2.30 nbAssignments=6637 nbFailedAssignments=2669 nbBacktracks=3884 nbVisitedNodes=11536 nbRestartNogoods=66
2.30 => wckTime=1.516 cpuTime=1.44 mem=14M899
2.96
2.96 search
2.96 run=13 nbConstraintChecks=13705468 nbPropagations=558980 nbRevisions=7709560 nbUselessRevisions=6215500
2.96 nbAssignments=9917 nbFailedAssignments=3997 nbBacktracks=5831 nbVisitedNodes=17266 nbRestartNogoods=73
2.96 => wckTime=2.182 cpuTime=2.11 mem=14M899
3.86
3.86 search
3.86 run=14 nbConstraintChecks=19670282 nbPropagations=829534 nbRevisions=11456883 nbUselessRevisions=9233796
3.86 nbAssignments=14697 nbFailedAssignments=5852 nbBacktracks=8751 nbVisitedNodes=25478 nbRestartNogoods=79
3.86 => wckTime=3.081 cpuTime=3.01 mem=14M899
5.30
5.30 search
5.30 run=15 nbConstraintChecks=29522187 nbPropagations=1232169 nbRevisions=17030672 nbUselessRevisions=13717374
5.30 nbAssignments=21866 nbFailedAssignments=8635 nbBacktracks=13129 nbVisitedNodes=37845 nbRestartNogoods=87
5.30 => wckTime=4.517 cpuTime=4.44 mem=14M899
7.47
7.47 search
7.47 run=16 nbConstraintChecks=43950298 nbPropagations=1836858 nbRevisions=25466850 nbUselessRevisions=20525727
7.47 nbAssignments=32907 nbFailedAssignments=13098 nbBacktracks=19699 nbVisitedNodes=57091 nbRestartNogoods=99
7.47 => wckTime=6.689 cpuTime=6.61 mem=14M899
10.62
10.62 search
10.62 run=17 nbConstraintChecks=65171841 nbPropagations=2735276 nbRevisions=37990599 nbUselessRevisions=30636638
10.62 nbAssignments=48978 nbFailedAssignments=19487 nbBacktracks=29341 nbVisitedNodes=84985 nbRestartNogoods=107
10.62 => wckTime=9.84 cpuTime=9.76 mem=14M899
10.62
10.62 global
10.62 nbConstraintChecks=65171841 nbPropagations=2735316 nbRevisions=37990599 nbUselessRevisions=30636638
10.62 nbRestartNogoods=107 solvingWckTime=9.841 solvingCpuTime=9.76 expiredTime=no totalExploration=no
10.62 nbFoundSolutions=1 globalCpuTime=10.15
10.62 => wckTime=10.333 cpuTime=10.09 mem=14M899
10.63
10.63 s SATISFIABLE
10.63 v 3 1 5 15 13 6 9 10 4 5 5 12 17 10 9 14 7 2 1 7 7 8 4 9 6 14 15 2 7 16 2 14 9 11 17 3 14 10 11 10
10.63 d NODES 48978
10.63 d CHECKS 65171841
10.63
10.63 totalWckTime=10.408 totalCpuTime=10.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-208559-1168074743 -o ROOT/results/node19/solver-208559-1168074743 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208559-1168074743/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.85 1.97 1.98 4/93 22629
/proc/meminfo: memFree=1151456/2055920 swapFree=4171232/4192956
[pid=22628] ppid=22626 vsize=308 CPUtime=0
/proc/22628/stat : 22628 (java) R 22626 22628 22561 0 -1 0 234 0 0 0 0 0 0 0 18 0 1 0 155868923 315392 40 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7483963 0 0 4096 0 0 0 0 17 0 0 0
/proc/22628/statm: 374 47 37 14 0 7 0
[startup+0.108301 s]
/proc/loadavg: 1.85 1.97 1.98 4/93 22629
/proc/meminfo: memFree=1151456/2055920 swapFree=4171232/4192956
[pid=22628] ppid=22626 vsize=914988 CPUtime=0.09
/proc/22628/stat : 22628 (java) R 22626 22628 22561 0 -1 0 3095 0 1 0 8 1 0 0 24 0 8 0 155868923 936947712 2841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22628/statm: 228747 2843 1460 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.52038 s]
/proc/loadavg: 1.85 1.97 1.98 4/93 22629
/proc/meminfo: memFree=1151456/2055920 swapFree=4171232/4192956
[pid=22628] ppid=22626 vsize=915328 CPUtime=0.5
/proc/22628/stat : 22628 (java) R 22626 22628 22561 0 -1 0 7006 0 1 0 46 4 0 0 25 0 8 0 155868923 937295872 6745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153704286 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22628/statm: 228832 6745 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34353 s]
/proc/loadavg: 1.85 1.97 1.98 3/100 22636
/proc/meminfo: memFree=1127848/2055920 swapFree=4171232/4192956
[pid=22628] ppid=22626 vsize=915456 CPUtime=1.31
/proc/22628/stat : 22628 (java) R 22626 22628 22561 0 -1 0 8644 0 1 0 125 6 0 0 25 0 8 0 155868923 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22628/statm: 228864 8382 2513 14 0 215334 0
[pid=22628/tid=22630] ppid=22626 vsize=915456 CPUtime=0.03
/proc/22628/task/22630/stat : 22630 (java) S 22626 22628 22561 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155868927 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22631] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22631/stat : 22631 (java) S 22626 22628 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868927 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22632] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22632/stat : 22632 (java) S 22626 22628 22561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868927 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22633] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22633/stat : 22633 (java) S 22626 22628 22561 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155868930 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22634] ppid=22626 vsize=915456 CPUtime=0.2
/proc/22628/task/22634/stat : 22634 (java) S 22626 22628 22561 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 155868930 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22635] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22635/stat : 22635 (java) S 22626 22628 22561 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155868930 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22636] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22636/stat : 22636 (java) S 22626 22628 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868930 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.98084 s]
/proc/loadavg: 1.86 1.97 1.98 3/100 22636
/proc/meminfo: memFree=1127656/2055920 swapFree=4171232/4192956
[pid=22628] ppid=22626 vsize=915456 CPUtime=2.95
/proc/22628/stat : 22628 (java) R 22626 22628 22561 0 -1 0 8667 0 1 0 289 6 0 0 25 0 8 0 155868923 937426944 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806693 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22628/statm: 228864 8404 2513 14 0 215334 0
[pid=22628/tid=22630] ppid=22626 vsize=915456 CPUtime=0.03
/proc/22628/task/22630/stat : 22630 (java) S 22626 22628 22561 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155868927 937426944 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22631] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22631/stat : 22631 (java) S 22626 22628 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868927 937426944 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22632] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22632/stat : 22632 (java) S 22626 22628 22561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868927 937426944 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22633] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22633/stat : 22633 (java) S 22626 22628 22561 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155868930 937426944 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22634] ppid=22626 vsize=915456 CPUtime=0.21
/proc/22628/task/22634/stat : 22634 (java) S 22626 22628 22561 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155868930 937426944 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22635] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22635/stat : 22635 (java) S 22626 22628 22561 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155868930 937426944 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22636] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22636/stat : 22636 (java) S 22626 22628 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868930 937426944 8404 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) 915456
[startup+6.18145 s]
/proc/loadavg: 1.86 1.97 1.98 3/100 22636
/proc/meminfo: memFree=1127656/2055920 swapFree=4171232/4192956
[pid=22628] ppid=22626 vsize=915456 CPUtime=6.15
/proc/22628/stat : 22628 (java) R 22626 22628 22561 0 -1 0 8673 0 1 0 609 6 0 0 25 0 8 0 155868923 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22628/statm: 228864 8409 2513 14 0 215334 0
[pid=22628/tid=22630] ppid=22626 vsize=915456 CPUtime=0.03
/proc/22628/task/22630/stat : 22630 (java) S 22626 22628 22561 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155868927 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22631] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22631/stat : 22631 (java) S 22626 22628 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868927 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22632] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22632/stat : 22632 (java) S 22626 22628 22561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868927 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22633] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22633/stat : 22633 (java) S 22626 22628 22561 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155868930 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22634] ppid=22626 vsize=915456 CPUtime=0.21
/proc/22628/task/22634/stat : 22634 (java) S 22626 22628 22561 0 -1 64 391 0 0 0 20 1 0 0 15 0 8 0 155868930 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22635] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22635/stat : 22635 (java) S 22626 22628 22561 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155868930 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22628/tid=22636] ppid=22626 vsize=915456 CPUtime=0
/proc/22628/task/22636/stat : 22636 (java) S 22626 22628 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868930 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 10.6408
CPU time (s): 10.6144
CPU user time (s): 10.5394
CPU system time (s): 0.074988
CPU usage (%): 99.7521
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5394
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8768
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= 1352
involuntary context switches= 1830
runsolver used 0.016997 s user time and 0.044993 s system time
The end
Begin job on node19 on Sat Jan 6 09:12:23 UTC 2007
IDJOB= 208559
IDBENCH= 4403
FILE ID= node19/208559-1168074743
PBS_JOBID= 3475785
Free space on /tmp= 66304 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208559-1168074743/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-208559-1168074743 -o ROOT/results/node19/solver-208559-1168074743 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208559-1168074743/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2cb1a2cde212f1f449fd0cbf55bdc875
RANDOM SEED= 946891433
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.260
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.260
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: 1151936 kB
Buffers: 70128 kB
Cached: 578144 kB
SwapCached: 10036 kB
Active: 397944 kB
Inactive: 404984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1151936 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 2144 kB
Writeback: 0 kB
Mapped: 173992 kB
Slab: 85368 kB
Committed_AS: 4372224 kB
PageTables: 2652 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= 66304 MiB
End job on node19 on Sat Jan 6 09:12:34 UTC 2007