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/229284-1168080955/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.41 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1436 maxDegree=20
0.60 maxArity=2
0.60 => wckTime=0.285 cpuTime=0.21 mem=11M893
0.64
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.483 cpuTime=0.33 mem=13M733
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0040 cpuTime=0.0 mem=13M733
0.85
0.85 search
0.85 run=0 nbConstraintChecks=22010 nbPropagations=478 nbRevisions=4042 nbUselessRevisions=3142 nbAssignments=22
0.85 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.052 cpuTime=0.03 mem=14M708
0.87
0.87 search
0.87 run=1 nbConstraintChecks=61732 nbPropagations=1662 nbRevisions=15174 nbUselessRevisions=11643 nbAssignments=59
0.87 nbFailedAssignments=22 nbBacktracks=27 nbVisitedNodes=97 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.073 cpuTime=0.05 mem=14M708
0.89
0.89 search
0.90 run=2 nbConstraintChecks=112896 nbPropagations=3710 nbRevisions=35357 nbUselessRevisions=26942
0.90 nbAssignments=106 nbFailedAssignments=41 nbBacktracks=50 nbVisitedNodes=177 nbRestartNogoods=4 mapSize=42
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.096 cpuTime=0.06 mem=14M708
0.91
0.91 search
0.91 run=3 nbConstraintChecks=179994 nbPropagations=7080 nbRevisions=68465 nbUselessRevisions=52232
0.91 nbAssignments=172 nbFailedAssignments=65 nbBacktracks=84 nbVisitedNodes=287 nbRestartNogoods=8 mapSize=70
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.114 cpuTime=0.08 mem=14M708
0.94
0.94 search
0.95 run=4 nbConstraintChecks=309167 nbPropagations=12670 nbRevisions=126129 nbUselessRevisions=96100
0.95 nbAssignments=279 nbFailedAssignments=117 nbBacktracks=134 nbVisitedNodes=484 nbRestartNogoods=12 mapSize=118
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.146 cpuTime=0.1 mem=14M708
0.97
0.97 search
0.97 run=5 nbConstraintChecks=424103 nbPropagations=20473 nbRevisions=206436 nbUselessRevisions=157272
0.97 nbAssignments=410 nbFailedAssignments=167 nbBacktracks=209 nbVisitedNodes=703 nbRestartNogoods=17 mapSize=179
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.174 cpuTime=0.13 mem=14M708
1.02
1.02 search
1.02 run=6 nbConstraintChecks=621905 nbPropagations=31870 nbRevisions=323891 nbUselessRevisions=246843
1.02 nbAssignments=615 nbFailedAssignments=247 nbBacktracks=325 nbVisitedNodes=1052 nbRestartNogoods=22 mapSize=270
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.221 cpuTime=0.17 mem=14M708
1.08
1.09 search
1.09 run=7 nbConstraintChecks=928477 nbPropagations=48981 nbRevisions=501150 nbUselessRevisions=382490
1.09 nbAssignments=919 nbFailedAssignments=374 nbBacktracks=496 nbVisitedNodes=1575 nbRestartNogoods=31 mapSize=421
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.286 cpuTime=0.24 mem=14M708
1.20
1.20 search
1.20 run=8 nbConstraintChecks=1444693 nbPropagations=74943 nbRevisions=776979 nbUselessRevisions=593846
1.20 nbAssignments=1379 nbFailedAssignments=573 nbBacktracks=753 nbVisitedNodes=2392 nbRestartNogoods=35
1.20 mapSize=644 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.401 cpuTime=0.34 mem=14M708
1.35
1.35 search
1.35 run=9 nbConstraintChecks=2230299 nbPropagations=113541 nbRevisions=1189802 nbUselessRevisions=909141
1.35 nbAssignments=2046 nbFailedAssignments=850 nbBacktracks=1137 nbVisitedNodes=3569 nbRestartNogoods=41
1.35 mapSize=978 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.554 cpuTime=0.48 mem=14M708
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M708)
1.53
1.53 search
1.53 run=10 nbConstraintChecks=3160566 nbPropagations=169605 nbRevisions=1785283 nbUselessRevisions=1364460
1.53 nbAssignments=3001 nbFailedAssignments=1220 nbBacktracks=1716 nbVisitedNodes=5220 nbRestartNogoods=54
1.53 => wckTime=0.73 cpuTime=0.64 mem=14M708
1.83
1.83 search
1.83 run=11 nbConstraintChecks=4976604 nbPropagations=256332 nbRevisions=2714873 nbUselessRevisions=2074051
1.83 nbAssignments=4516 nbFailedAssignments=1864 nbBacktracks=2583 nbVisitedNodes=7927 nbRestartNogoods=59
1.83 => wckTime=1.028 cpuTime=0.93 mem=14M708
2.21
2.21 search
2.21 run=12 nbConstraintChecks=7299607 nbPropagations=384118 nbRevisions=4084674 nbUselessRevisions=3118746
2.21 nbAssignments=6648 nbFailedAssignments=2694 nbBacktracks=3880 nbVisitedNodes=11643 nbRestartNogoods=68
2.21 => wckTime=1.415 cpuTime=1.32 mem=14M708
2.83
2.83 search
2.83 run=13 nbConstraintChecks=10940422 nbPropagations=575910 nbRevisions=6143981 nbUselessRevisions=4689283
2.83 nbAssignments=9972 nbFailedAssignments=4068 nbBacktracks=5827 nbVisitedNodes=17457 nbRestartNogoods=76
2.83 => wckTime=2.029 cpuTime=1.92 mem=14M708
3.78
3.78 search
3.78 run=14 nbConstraintChecks=16769095 nbPropagations=865608 nbRevisions=9275854 nbUselessRevisions=7077264
3.78 nbAssignments=14994 nbFailedAssignments=6164 nbBacktracks=8749 nbVisitedNodes=26287 nbRestartNogoods=85
3.78 => wckTime=2.982 cpuTime=2.86 mem=14M708
5.15
5.15 search
5.15 run=15 nbConstraintChecks=25078779 nbPropagations=1299470 nbRevisions=13954540 nbUselessRevisions=10644451
5.15 nbAssignments=22383 nbFailedAssignments=9170 nbBacktracks=13127 nbVisitedNodes=39185 nbRestartNogoods=98
5.15 => wckTime=4.354 cpuTime=4.23 mem=14M708
7.19
7.19 search
7.19 run=16 nbConstraintChecks=37495318 nbPropagations=1946817 nbRevisions=20932538 nbUselessRevisions=15963710
7.19 nbAssignments=33297 nbFailedAssignments=13513 nbBacktracks=19695 nbVisitedNodes=58294 nbRestartNogoods=105
7.19 => wckTime=6.388 cpuTime=6.24 mem=14M708
10.31
10.31 search
10.31 run=17 nbConstraintChecks=56664150 nbPropagations=2920905 nbRevisions=31477755 nbUselessRevisions=24009451
10.31 nbAssignments=50044 nbFailedAssignments=20403 nbBacktracks=29547 nbVisitedNodes=87733 nbRestartNogoods=112
10.31 => wckTime=9.508 cpuTime=9.33 mem=14M708
11.88
11.88 search
11.88 run=18 nbConstraintChecks=66304872 nbPropagations=4061599 nbRevisions=43834998 nbUselessRevisions=33443619
11.88 nbAssignments=58640 nbFailedAssignments=23981 nbBacktracks=34525 nbVisitedNodes=102843 nbRestartNogoods=115
11.88 => wckTime=11.083 cpuTime=10.89 mem=14M708
11.88
11.88 global
11.88 nbConstraintChecks=66304872 nbPropagations=4061639 nbRevisions=43834998 nbUselessRevisions=33443619
11.88 nbRestartNogoods=115 solvingWckTime=11.084 solvingCpuTime=10.89 expiredTime=no totalExploration=no
11.88 nbFoundSolutions=1 globalCpuTime=11.28
11.88 => wckTime=11.57 cpuTime=11.23 mem=14M708
11.89
11.89 s SATISFIABLE
11.89 v 1 10 13 13 7 3 2 6 2 13 0 2 8 0 9 6 12 12 14 5 1 5 4 0 1 14 5 10 14 3 13 13 15 1 8 14 5 11 10 12
11.89 d NODES 58640
11.89 d CHECKS 66304872
11.89
11.89 totalWckTime=11.651 totalCpuTime=11.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-229284-1168080955 -o ROOT/results/node21/solver-229284-1168080955 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229284-1168080955/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.36 0.89 2/93 21770
/proc/meminfo: memFree=1670064/2055920 swapFree=4192812/4192956
[pid=21769] ppid=21767 vsize=18540 CPUtime=0
/proc/21769/stat : 21769 (runsolver) R 21767 21769 21178 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156491455 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21769/statm: 4635 279 244 17 0 2626 0
[startup+0.102206 s]
/proc/loadavg: 0.25 0.36 0.89 2/93 21770
/proc/meminfo: memFree=1670064/2055920 swapFree=4192812/4192956
[pid=21769] ppid=21767 vsize=914988 CPUtime=0.08
/proc/21769/stat : 21769 (java) R 21767 21769 21178 0 -1 0 2979 0 1 0 7 1 0 0 20 0 8 0 156491455 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21769/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510279 s]
/proc/loadavg: 0.25 0.36 0.89 2/93 21770
/proc/meminfo: memFree=1670064/2055920 swapFree=4192812/4192956
[pid=21769] ppid=21767 vsize=915328 CPUtime=0.49
/proc/21769/stat : 21769 (java) R 21767 21769 21178 0 -1 0 6666 0 1 0 45 4 0 0 22 0 8 0 156491455 937295872 6405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21769/statm: 228832 6405 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33143 s]
/proc/loadavg: 0.25 0.36 0.89 3/100 21777
/proc/meminfo: memFree=1646648/2055920 swapFree=4192812/4192956
[pid=21769] ppid=21767 vsize=915452 CPUtime=1.3
/proc/21769/stat : 21769 (java) R 21767 21769 21178 0 -1 0 8582 0 1 0 124 6 0 0 25 0 8 0 156491455 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21769/statm: 228863 8320 2513 14 0 215333 0
[pid=21769/tid=21771] ppid=21767 vsize=915452 CPUtime=0.03
/proc/21769/task/21771/stat : 21771 (java) S 21767 21769 21178 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156491459 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21772] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21772/stat : 21772 (java) S 21767 21769 21178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156491460 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21773] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21773/stat : 21773 (java) S 21767 21769 21178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491460 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21774] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21774/stat : 21774 (java) S 21767 21769 21178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156491463 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21775] ppid=21767 vsize=915452 CPUtime=0.22
/proc/21769/task/21775/stat : 21775 (java) S 21767 21769 21178 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 156491463 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21776] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21776/stat : 21776 (java) S 21767 21769 21178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491463 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21777] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21777/stat : 21777 (java) S 21767 21769 21178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491463 937422848 8320 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) 915452
[startup+2.97574 s]
/proc/loadavg: 0.25 0.36 0.89 3/100 21777
/proc/meminfo: memFree=1646456/2055920 swapFree=4192812/4192956
[pid=21769] ppid=21767 vsize=915452 CPUtime=2.94
/proc/21769/stat : 21769 (java) R 21767 21769 21178 0 -1 0 8607 0 1 0 287 7 0 0 25 0 8 0 156491455 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794294 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21769/statm: 228863 8344 2513 14 0 215333 0
[pid=21769/tid=21771] ppid=21767 vsize=915452 CPUtime=0.03
/proc/21769/task/21771/stat : 21771 (java) S 21767 21769 21178 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156491459 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21772] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21772/stat : 21772 (java) S 21767 21769 21178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156491460 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21773] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21773/stat : 21773 (java) S 21767 21769 21178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491460 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21774] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21774/stat : 21774 (java) S 21767 21769 21178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156491463 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21775] ppid=21767 vsize=915452 CPUtime=0.23
/proc/21769/task/21775/stat : 21775 (java) S 21767 21769 21178 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 156491463 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21776] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21776/stat : 21776 (java) S 21767 21769 21178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491463 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21777] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21777/stat : 21777 (java) S 21767 21769 21178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491463 937422848 8344 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) 915452
[startup+6.26736 s]
/proc/loadavg: 0.39 0.39 0.90 3/100 21777
/proc/meminfo: memFree=1646392/2055920 swapFree=4192812/4192956
[pid=21769] ppid=21767 vsize=915452 CPUtime=6.2
/proc/21769/stat : 21769 (java) R 21767 21769 21178 0 -1 0 8613 0 1 0 613 7 0 0 25 0 8 0 156491455 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21769/statm: 228863 8349 2513 14 0 215333 0
[pid=21769/tid=21771] ppid=21767 vsize=915452 CPUtime=0.03
/proc/21769/task/21771/stat : 21771 (java) S 21767 21769 21178 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156491459 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21772] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21772/stat : 21772 (java) S 21767 21769 21178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156491460 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21773] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21773/stat : 21773 (java) S 21767 21769 21178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491460 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21774] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21774/stat : 21774 (java) S 21767 21769 21178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156491463 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21775] ppid=21767 vsize=915452 CPUtime=0.23
/proc/21769/task/21775/stat : 21775 (java) S 21767 21769 21178 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 156491463 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21776] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21776/stat : 21776 (java) S 21767 21769 21178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491463 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21769/tid=21777] ppid=21767 vsize=915452 CPUtime=0
/proc/21769/task/21777/stat : 21777 (java) S 21767 21769 21178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491463 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 11.95
CPU time (s): 11.7782
CPU user time (s): 11.6992
CPU system time (s): 0.078987
CPU usage (%): 98.5627
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6992
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8713
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= 1330
involuntary context switches= 2063
runsolver used 0.019996 s user time and 0.045993 s system time
The end
Begin job on node21 on Sat Jan 6 10:56:00 UTC 2007
IDJOB= 229284
IDBENCH= 6291
FILE ID= node21/229284-1168080955
PBS_JOBID= 3476104
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229284-1168080955/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-229284-1168080955 -o ROOT/results/node21/solver-229284-1168080955 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229284-1168080955/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fbd78a7b57afd433723f2e31085dcad0
RANDOM SEED= 777924826
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.261
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.261
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: 1687952 kB
Buffers: 34560 kB
Cached: 192764 kB
SwapCached: 0 kB
Active: 187408 kB
Inactive: 109424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1687952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3700 kB
Writeback: 0 kB
Mapped: 95124 kB
Slab: 56016 kB
Committed_AS: 3762944 kB
PageTables: 2184 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= 66544 MiB
End job on node21 on Sat Jan 6 10:56:32 UTC 2007