0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/252978-1168409707/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=47 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.40 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.47 nbConstraints=236 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=235
0.47 nbConflictsStructures=1 nbSharedConflictsStructures=235 nbSharedBinaryRepresentations=5 maxDegree=23 maxArity=2
0.47 => wckTime=0.169 cpuTime=0.14 mem=8M918
0.50
0.50 solver IterativeSystematicSolver being built...
0.66 => wckTime=0.363 cpuTime=0.27 mem=14M492
0.70
0.70 preprocessing
0.70 nbConstraintChecks=1514 nbPropagations=294 nbRevisions=435 nbUselessRevisions=200 nbSingletonTests=49
0.70 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.70 => wckTime=0.029 cpuTime=0.01 mem=14M492
0.71
0.71 search
0.71 run=0 nbConstraintChecks=1494 nbPropagations=529 nbRevisions=979 nbUselessRevisions=466 nbAssignments=26
0.71 nbFailedAssignments=4 nbBacktracks=12 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.71 nbTooLargeKeys=0
0.71 => wckTime=0.044 cpuTime=0.02 mem=14M492
0.73
0.73 search
0.73 run=1 nbConstraintChecks=3466 nbPropagations=1350 nbRevisions=2714 nbUselessRevisions=1297 nbAssignments=62
0.73 nbFailedAssignments=11 nbBacktracks=28 nbVisitedNodes=89 nbRestartNogoods=1 mapSize=22 nbInferences=0
0.73 nbTooLargeKeys=0
0.73 => wckTime=0.06 cpuTime=0.03 mem=14M492
0.74
0.74 search
0.74 run=2 nbConstraintChecks=7051 nbPropagations=2616 nbRevisions=5912 nbUselessRevisions=2876 nbAssignments=107
0.74 nbFailedAssignments=25 nbBacktracks=50 nbVisitedNodes=159 nbRestartNogoods=4 mapSize=38 nbInferences=0
0.74 nbTooLargeKeys=0
0.74 => wckTime=0.074 cpuTime=0.04 mem=14M492
0.75
0.75 search
0.75 run=3 nbConstraintChecks=11606 nbPropagations=4449 nbRevisions=10971 nbUselessRevisions=5448 nbAssignments=165
0.75 nbFailedAssignments=39 nbBacktracks=83 nbVisitedNodes=247 nbRestartNogoods=6 mapSize=64 nbInferences=0
0.75 nbTooLargeKeys=0
0.75 => wckTime=0.083 cpuTime=0.05 mem=14M492
0.76
0.76 search
0.76 run=4 nbConstraintChecks=16763 nbPropagations=7052 nbRevisions=18213 nbUselessRevisions=9122 nbAssignments=248
0.76 nbFailedAssignments=62 nbBacktracks=134 nbVisitedNodes=378 nbRestartNogoods=9 mapSize=106 nbInferences=0
0.76 nbTooLargeKeys=0
0.76 => wckTime=0.092 cpuTime=0.05 mem=14M492
0.77
0.77 search
0.77 run=5 nbConstraintChecks=28574 nbPropagations=10912 nbRevisions=30529 nbUselessRevisions=15616
0.77 nbAssignments=385 nbFailedAssignments=112 nbBacktracks=209 nbVisitedNodes=607 nbRestartNogoods=11 mapSize=169
0.77 nbInferences=0 nbTooLargeKeys=0
0.77 => wckTime=0.108 cpuTime=0.06 mem=14M492
0.79
0.79 search
0.79 run=6 nbConstraintChecks=42331 nbPropagations=16454 nbRevisions=49005 nbUselessRevisions=25524
0.79 nbAssignments=562 nbFailedAssignments=163 nbBacktracks=322 nbVisitedNodes=884 nbRestartNogoods=15 mapSize=249
0.79 nbInferences=0 nbTooLargeKeys=0
0.79 => wckTime=0.124 cpuTime=0.08 mem=14M492
0.81
0.81 search
0.81 run=7 nbConstraintChecks=65280 nbPropagations=24397 nbRevisions=76831 nbUselessRevisions=40207
0.81 nbAssignments=824 nbFailedAssignments=245 nbBacktracks=493 nbVisitedNodes=1313 nbRestartNogoods=20 mapSize=381
0.81 nbInferences=0 nbTooLargeKeys=0
0.81 => wckTime=0.147 cpuTime=0.1 mem=14M492
0.85
0.85 search
0.85 run=8 nbConstraintChecks=96199 nbPropagations=36052 nbRevisions=117806 nbUselessRevisions=61448
0.85 nbAssignments=1222 nbFailedAssignments=379 nbBacktracks=749 nbVisitedNodes=1955 nbRestartNogoods=24
0.85 mapSize=582 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.185 cpuTime=0.13 mem=14M492
0.91
0.91 search
0.91 run=9 nbConstraintChecks=143562 nbPropagations=52731 nbRevisions=179939 nbUselessRevisions=95060
0.91 nbAssignments=1794 nbFailedAssignments=558 nbBacktracks=1133 nbVisitedNodes=2872 nbRestartNogoods=26
0.91 mapSize=887 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.239 cpuTime=0.17 mem=14M492
0.93
0.93 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=14M492)
0.96
0.96 search
0.96 run=10 nbConstraintChecks=216531 nbPropagations=76995 nbRevisions=274411 nbUselessRevisions=147527
0.96 nbAssignments=2673 nbFailedAssignments=849 nbBacktracks=1711 nbVisitedNodes=4315 nbRestartNogoods=29
0.96 => wckTime=0.296 cpuTime=0.22 mem=14M492
1.03
1.03 search
1.03 run=11 nbConstraintChecks=336127 nbPropagations=113425 nbRevisions=419977 nbUselessRevisions=228851
1.03 nbAssignments=4009 nbFailedAssignments=1310 nbBacktracks=2576 nbVisitedNodes=6494 nbRestartNogoods=32
1.03 => wckTime=0.364 cpuTime=0.29 mem=14M492
1.11
1.11 search
1.11 run=12 nbConstraintChecks=462546 nbPropagations=163505 nbRevisions=621339 nbUselessRevisions=342394
1.11 nbAssignments=5831 nbFailedAssignments=1825 nbBacktracks=3875 nbVisitedNodes=9395 nbRestartNogoods=38
1.11 => wckTime=0.441 cpuTime=0.36 mem=14M492
1.23
1.23 search
1.23 run=13 nbConstraintChecks=677696 nbPropagations=236940 nbRevisions=918996 nbUselessRevisions=512546
1.23 nbAssignments=8652 nbFailedAssignments=2686 nbBacktracks=5822 nbVisitedNodes=13923 nbRestartNogoods=42
1.23 => wckTime=0.564 cpuTime=0.48 mem=14M492
1.40
1.40 search
1.40 run=14 nbConstraintChecks=984634 nbPropagations=343181 nbRevisions=1350530 nbUselessRevisions=759291
1.40 nbAssignments=12890 nbFailedAssignments=3992 nbBacktracks=8741 nbVisitedNodes=20650 nbRestartNogoods=51
1.40 => wckTime=0.733 cpuTime=0.65 mem=14M492
1.66
1.66 search
1.66 run=15 nbConstraintChecks=1472893 nbPropagations=499771 nbRevisions=1994274 nbUselessRevisions=1128477
1.66 nbAssignments=19409 nbFailedAssignments=6120 nbBacktracks=13123 nbVisitedNodes=31155 nbRestartNogoods=60
1.66 => wckTime=0.997 cpuTime=0.92 mem=14M492
2.06
2.06 search
2.06 run=16 nbConstraintChecks=2193133 nbPropagations=735040 nbRevisions=2951525 nbUselessRevisions=1672548
2.06 nbAssignments=28968 nbFailedAssignments=9097 nbBacktracks=19692 nbVisitedNodes=46526 nbRestartNogoods=66
2.06 => wckTime=1.392 cpuTime=1.31 mem=14M492
2.64
2.64 search
2.64 run=17 nbConstraintChecks=3289364 nbPropagations=1084761 nbRevisions=4388484 nbUselessRevisions=2494756
2.64 nbAssignments=43061 nbFailedAssignments=13325 nbBacktracks=29544 nbVisitedNodes=69154 nbRestartNogoods=74
2.64 => wckTime=1.978 cpuTime=1.9 mem=14M492
3.54
3.54 search
3.54 run=18 nbConstraintChecks=4957104 nbPropagations=1606605 nbRevisions=6552689 nbUselessRevisions=3741196
3.54 nbAssignments=64233 nbFailedAssignments=19708 nbBacktracks=44323 nbVisitedNodes=102469 nbRestartNogoods=80
3.54 => wckTime=2.87 cpuTime=2.79 mem=14M492
4.95
4.95 search
4.95 run=19 nbConstraintChecks=7541754 nbPropagations=2399259 nbRevisions=9860568 nbUselessRevisions=5655871
4.95 nbAssignments=97317 nbFailedAssignments=30611 nbBacktracks=66492 nbVisitedNodes=155070 nbRestartNogoods=91
4.95 => wckTime=4.282 cpuTime=4.2 mem=14M492
6.97
6.97 search
6.97 run=20 nbConstraintChecks=11198020 nbPropagations=3572432 nbRevisions=14789761 nbUselessRevisions=8524624
6.97 nbAssignments=145863 nbFailedAssignments=45895 nbBacktracks=99744 nbVisitedNodes=233019 nbRestartNogoods=106
6.97 => wckTime=6.302 cpuTime=6.21 mem=14M492
10.11
10.11 search
10.11 run=21 nbConstraintChecks=16828565 nbPropagations=5350663 nbRevisions=22224330 nbUselessRevisions=12859513
10.11 nbAssignments=218822 nbFailedAssignments=68964 nbBacktracks=149623 nbVisitedNodes=349200 nbRestartNogoods=113
10.11 => wckTime=9.443 cpuTime=9.35 mem=14M492
14.69
14.69 search
14.69 run=22 nbConstraintChecks=25325132 nbPropagations=8018920 nbRevisions=33462102 nbUselessRevisions=19451434
14.69 nbAssignments=328662 nbFailedAssignments=103976 nbBacktracks=224442 nbVisitedNodes=526838 nbRestartNogoods=125
14.69 => wckTime=14.024 cpuTime=13.93 mem=14M492
21.44
21.44 search
21.44 run=23 nbConstraintChecks=37560339 nbPropagations=12014939 nbRevisions=50163634 nbUselessRevisions=29244929
21.44 nbAssignments=492915 nbFailedAssignments=155987 nbBacktracks=336677 nbVisitedNodes=787327 nbRestartNogoods=135
21.44 => wckTime=20.779 cpuTime=20.68 mem=14M492
31.63
31.63 search
31.63 run=24 nbConstraintChecks=56262893 nbPropagations=17963854 nbRevisions=75243357 nbUselessRevisions=44022851
31.63 nbAssignments=742066 nbFailedAssignments=236773 nbBacktracks=505020 nbVisitedNodes=1187233 nbRestartNogoods=145
31.63 => wckTime=30.963 cpuTime=30.87 mem=14M492
46.37
46.38 search
46.38 run=25 nbConstraintChecks=82305886 nbPropagations=26756178 nbRevisions=111974172 nbUselessRevisions=65648259
46.38 nbAssignments=1104796 nbFailedAssignments=346945 nbBacktracks=757531 nbVisitedNodes=1761674
46.38 nbRestartNogoods=158
46.38 => wckTime=45.709 cpuTime=45.6 mem=14M492
68.04
68.04 search
68.04 run=26 nbConstraintChecks=120912079 nbPropagations=39732540 nbRevisions=166039353 nbUselessRevisions=97501324
68.04 nbAssignments=1653815 nbFailedAssignments=517191 nbBacktracks=1136299 nbVisitedNodes=2630461
68.04 nbRestartNogoods=172
68.04 => wckTime=67.374 cpuTime=67.24 mem=14M492
99.77
99.77 search
99.77 run=27 nbConstraintChecks=177666306 nbPropagations=58900114 nbRevisions=245501266 nbUselessRevisions=144328029
99.77 nbAssignments=2468521 nbFailedAssignments=763731 nbBacktracks=1704452 nbVisitedNodes=3919112
99.77 nbRestartNogoods=179
99.77 => wckTime=99.106 cpuTime=98.95 mem=15M467
147.13
147.13 search
147.13 run=28 nbConstraintChecks=263419325 nbPropagations=87242711 nbRevisions=363075874 nbUselessRevisions=213691389
147.13 nbAssignments=3681275 nbFailedAssignments=1124246 nbBacktracks=2556680 nbVisitedNodes=5823816
147.13 nbRestartNogoods=191
147.13 => wckTime=146.46 cpuTime=146.27 mem=15M467
149.74
149.74 search
149.74 run=29 nbConstraintChecks=267975312 nbPropagations=116107287 nbRevisions=482636649 nbUselessRevisions=284170951
149.74 nbAssignments=3752791 nbFailedAssignments=1145708 nbBacktracks=2606735 nbVisitedNodes=5936290
149.74 nbRestartNogoods=206
149.74 => wckTime=149.074 cpuTime=148.89 mem=15M467
149.74
149.74 global
149.74 nbConstraintChecks=267976826 nbPropagations=116107581 nbRevisions=482637084 nbUselessRevisions=284171151
149.74 nbRestartNogoods=206 solvingWckTime=149.075 solvingCpuTime=148.89 expiredTime=no totalExploration=yes
149.74 nbFoundSolutions=0 globalCpuTime=149.22
149.74 => wckTime=149.441 cpuTime=149.17 mem=15M467
149.75
149.75 s UNSATISFIABLE
149.75 d NODES 3752791
149.75 d CHECKS 267976826
149.75
149.75 totalWckTime=149.517 totalCpuTime=149.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-252978-1168409707 -o ROOT/results/node59/solver-252978-1168409707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252978-1168409707/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.85 0.97 0.99 3/65 1142
/proc/meminfo: memFree=1506768/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=1784 CPUtime=0
/proc/1141/stat : 1141 (java) D 1139 1141 399 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 189368991 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/1141/statm: 446 136 102 14 0 91 0
[startup+0.106642 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 1142
/proc/meminfo: memFree=1506768/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=914988 CPUtime=0.08
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 3036 0 1 0 7 1 0 0 16 0 8 0 189368991 936947712 2782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155184942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1141/statm: 228747 2782 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514688 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 1142
/proc/meminfo: memFree=1506768/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915328 CPUtime=0.49
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 6846 0 1 0 46 3 0 0 16 0 8 0 189368991 937295872 6584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151975985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1141/statm: 228832 6584 2361 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33577 s]
/proc/loadavg: 0.85 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483544/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=1.3
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8573 0 1 0 124 6 0 0 17 0 8 0 189368991 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073725995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8311 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8311 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+2.97795 s]
/proc/loadavg: 0.86 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483480/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=2.94
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8584 0 1 0 288 6 0 0 18 0 8 0 189368991 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073734775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8321 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.1793 s]
/proc/loadavg: 0.86 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483352/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=6.14
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8589 0 1 0 608 6 0 0 18 0 8 0 189368991 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073690864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8326 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 17 0 8 0 189368995 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915464
[startup+12.645 s]
/proc/loadavg: 0.88 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483352/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=12.6
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8595 0 1 0 1254 6 0 0 25 0 8 0 189368991 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8331 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464
[startup+25.4874 s]
/proc/loadavg: 0.90 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483352/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=25.44
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8600 0 1 0 2538 6 0 0 25 0 8 0 189368991 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675234 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8336 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915464
[startup+51.1773 s]
/proc/loadavg: 0.93 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483288/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=51.11
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8606 0 1 0 5104 7 0 0 25 0 8 0 189368991 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8342 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915464
[startup+102.452 s]
/proc/loadavg: 0.97 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483288/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=102.34
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8611 0 1 0 10227 7 0 0 25 0 8 0 189368991 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8347 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 149.781
CPU time (s): 149.631
CPU user time (s): 149.547
CPU system time (s): 0.083987
CPU usage (%): 99.8997
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.547
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8707
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= 3766
involuntary context switches= 3468
runsolver used 0.160975 s user time and 0.378942 s system time
The end
Begin job on node59 on Wed Jan 10 06:15:08 UTC 2007
IDJOB= 252978
IDBENCH= 12974
FILE ID= node59/252978-1168409707
PBS_JOBID= 3523402
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/coloring/myciel-5g-5-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252978-1168409707/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-252978-1168409707 -o ROOT/results/node59/solver-252978-1168409707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252978-1168409707/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6350e3a68b258bb6cda8764f11403dc3
RANDOM SEED= 616031180
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.239
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.239
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: 1507376 kB
Buffers: 46892 kB
Cached: 435296 kB
SwapCached: 0 kB
Active: 136260 kB
Inactive: 361824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1507376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1780 kB
Writeback: 0 kB
Mapped: 26036 kB
Slab: 36436 kB
Committed_AS: 4134356 kB
PageTables: 1472 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= 66561 MiB
End job on node59 on Wed Jan 10 06:17:42 UTC 2007