0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=pfc.xml
0.45
0.45 instance
0.45 name=/tmp/evaluation/279380-1169293420/unknown.xml
0.48
0.48 domains being loaded...
0.48
0.48 variables being loaded...
0.53 nbVariables=58 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.53 => wckTime=0.178 cpuTime=0.08 mem=6M910
0.53
0.53 relations being loaded...
0.59
0.59 constraints being loaded...
0.69 nbConstraints=309 nbRelationTypes=309 nbExtensionStructures=309 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=309 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3058 maxDegree=25
0.69 maxArity=2
0.69 => wckTime=0.344 cpuTime=0.18 mem=9M852
0.74
0.74 solver LocalSearchSolver being built...
0.78 => wckTime=0.429 cpuTime=0.23 mem=5M660
0.78
0.78 s SATISFIABLE
0.78 o 234
0.78 c 75
0.78 o 239
0.78 c 70
0.78 o 243
0.78 c 66
0.79 o 247
0.79 c 62
0.79 o 251
0.79 c 58
0.79 o 254
0.79 c 55
0.79 o 255
0.79 c 54
0.79 o 258
0.79 c 51
0.79 o 262
0.79 c 47
0.79 o 265
0.79 c 44
0.79 o 266
0.79 c 43
0.79 o 267
0.79 c 42
0.80 o 270
0.80 c 39
0.80 o 272
0.80 c 37
0.80 o 273
0.80 c 36
0.80 o 274
0.80 c 35
0.80 o 275
0.80 c 34
0.80 o 277
0.80 c 32
0.80 o 278
0.80 c 31
0.80 o 280
0.80 c 29
0.80 o 281
0.80 c 28
0.81 o 282
0.81 c 27
0.81 o 283
0.81 c 26
0.81 o 284
0.81 c 25
0.81 o 286
0.81 c 23
0.81 o 287
0.81 c 22
0.81 o 288
0.81 c 21
0.82 o 289
0.82 c 20
0.82 o 290
0.82 c 19
0.82 o 291
0.82 c 18
0.82 o 293
0.82 c 16
0.82 o 294
0.82 c 15
0.82 o 295
0.82 c 14
0.82 o 296
0.82 c 13
0.84 o 297
0.84 c 12
0.84 o 298
0.84 c 11
0.84 o 299
0.84 c 10
0.84 o 300
0.84 c 9
0.84 o 301
0.84 c 8
0.84 o 302
0.84 c 7
0.85 o 303
0.85 c 6
0.85 o 304
0.85 c 5
0.85 o 305
0.85 c 4
2.12
2.12 search
2.12 run=0 nbConstraintChecks=5333994 nbAssignments=10000
2.12 => wckTime=1.344 cpuTime=1.31 mem=5M660
3.54
3.54 search
3.54 run=1 nbConstraintChecks=11727039 nbAssignments=20000
3.54 => wckTime=2.758 cpuTime=2.7 mem=5M660
4.80
4.80 search
4.80 run=2 nbConstraintChecks=17111867 nbAssignments=30000
4.80 => wckTime=4.026 cpuTime=3.96 mem=5M660
6.17
6.17 search
6.17 run=3 nbConstraintChecks=23301513 nbAssignments=40000
6.17 => wckTime=5.396 cpuTime=5.33 mem=5M660
7.46
7.46 search
7.46 run=4 nbConstraintChecks=28851213 nbAssignments=50000
7.46 => wckTime=6.682 cpuTime=6.6 mem=5M660
8.76
8.76 search
8.76 run=5 nbConstraintChecks=34546057 nbAssignments=60000
8.76 => wckTime=7.984 cpuTime=7.89 mem=5M660
10.09
10.09 search
10.09 run=6 nbConstraintChecks=40438334 nbAssignments=70000
10.09 => wckTime=9.314 cpuTime=9.21 mem=5M660
11.43
11.43 search
11.43 run=7 nbConstraintChecks=46364678 nbAssignments=80000
11.43 => wckTime=10.654 cpuTime=10.53 mem=5M660
12.72
12.72 search
12.72 run=8 nbConstraintChecks=51919026 nbAssignments=90000
12.72 => wckTime=11.944 cpuTime=11.82 mem=5M660
14.15
14.15 search
14.15 run=9 nbConstraintChecks=58414109 nbAssignments=100000
14.15 => wckTime=13.367 cpuTime=13.23 mem=5M660
15.40
15.40 search
15.40 run=10 nbConstraintChecks=63674634 nbAssignments=110000
15.40 => wckTime=14.624 cpuTime=14.48 mem=5M660
16.81
16.81 search
16.81 run=11 nbConstraintChecks=69999324 nbAssignments=120000
16.81 => wckTime=16.028 cpuTime=15.87 mem=5M660
18.08
18.08 search
18.08 run=12 nbConstraintChecks=75325778 nbAssignments=130000
18.08 => wckTime=17.298 cpuTime=17.13 mem=5M660
19.44
19.44 search
19.44 run=13 nbConstraintChecks=81295104 nbAssignments=140000
19.44 => wckTime=18.66 cpuTime=18.47 mem=5M660
20.74
20.74 search
20.74 run=14 nbConstraintChecks=86872826 nbAssignments=150000
20.74 => wckTime=19.965 cpuTime=19.77 mem=5M660
22.10
22.10 search
22.10 run=15 nbConstraintChecks=92855589 nbAssignments=160000
22.10 => wckTime=21.325 cpuTime=21.12 mem=5M660
23.42
23.42 search
23.42 run=16 nbConstraintChecks=98547407 nbAssignments=170000
23.42 => wckTime=22.638 cpuTime=22.42 mem=5M660
24.76
24.76 search
24.76 run=17 nbConstraintChecks=104543297 nbAssignments=180000
24.76 => wckTime=23.978 cpuTime=23.75 mem=5M660
26.06
26.06 search
26.06 run=18 nbConstraintChecks=110171315 nbAssignments=190000
26.06 => wckTime=25.282 cpuTime=25.04 mem=5M660
27.37
27.37 search
27.37 run=19 nbConstraintChecks=115844966 nbAssignments=200000
27.37 => wckTime=26.591 cpuTime=26.34 mem=5M660
28.63
28.63 search
28.63 run=20 nbConstraintChecks=121156991 nbAssignments=210000
28.63 => wckTime=27.851 cpuTime=27.58 mem=5M660
29.98
29.99 search
29.99 run=21 nbConstraintChecks=127239975 nbAssignments=220000
29.99 => wckTime=29.207 cpuTime=28.93 mem=5M660
31.13
31.13 search
31.13 run=22 nbConstraintChecks=132092647 nbAssignments=228987
31.13 => wckTime=30.347 cpuTime=30.07 mem=5M660
31.13
31.13 global
31.13 nbConstraintChecks=132092647 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.13 solvingWckTime=30.346 solvingCpuTime=30.07 expiredTime=no totalExploration=no nbFoundSolutions=0
31.13 globalCpuTime=30.36
31.13 => wckTime=30.777 cpuTime=30.3 mem=5M660
31.13
31.13 solver IterativeSystematicSolver being built...
31.26 => wckTime=30.912 cpuTime=30.4 mem=16M682
31.27
31.27 preprocessing
31.27 nbConstraintChecks=5 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.27 detectedInconsistency=no
31.27 => wckTime=0.0070 cpuTime=0.0 mem=16M682
31.34
31.34 search
31.34 run=0 nbConstraintChecks=48808 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
31.34 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=64 nbRestartNogoods=0
31.34 => wckTime=0.072 cpuTime=0.04 mem=16M682
31.38
31.38 search
31.38 run=1 nbConstraintChecks=112754 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86
31.38 nbFailedAssignments=33 nbBacktracks=27 nbVisitedNodes=147 nbRestartNogoods=4
31.38 => wckTime=0.122 cpuTime=0.08 mem=16M682
31.46
31.46 search
31.46 run=2 nbConstraintChecks=235685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=168
31.46 nbFailedAssignments=75 nbBacktracks=52 nbVisitedNodes=296 nbRestartNogoods=6
31.46 => wckTime=0.194 cpuTime=0.15 mem=16M682
31.63
31.63 search
31.63 run=3 nbConstraintChecks=565233 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=363
31.63 nbFailedAssignments=222 nbBacktracks=85 nbVisitedNodes=671 nbRestartNogoods=8
31.63 => wckTime=0.364 cpuTime=0.32 mem=16M682
31.77
31.77 search
31.77 run=4 nbConstraintChecks=792508 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=510
31.77 nbFailedAssignments=300 nbBacktracks=135 nbVisitedNodes=946 nbRestartNogoods=16
31.77 => wckTime=0.502 cpuTime=0.45 mem=16M682
31.97
31.97 search
31.97 run=5 nbConstraintChecks=1182816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=747
31.97 nbFailedAssignments=445 nbBacktracks=210 nbVisitedNodes=1403 nbRestartNogoods=23
31.97 => wckTime=0.705 cpuTime=0.64 mem=16M682
32.42
32.42 search
32.42 run=6 nbConstraintChecks=1947293 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1182
32.42 nbFailedAssignments=751 nbBacktracks=323 nbVisitedNodes=2257 nbRestartNogoods=29
32.42 => wckTime=1.157 cpuTime=1.09 mem=16M682
32.75
32.75 search
32.75 run=7 nbConstraintChecks=2659026 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1641
32.75 nbFailedAssignments=1026 nbBacktracks=493 nbVisitedNodes=3161 nbRestartNogoods=33
32.75 => wckTime=1.489 cpuTime=1.41 mem=16M682
33.64
33.64 search
33.64 run=8 nbConstraintChecks=4189461 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2505
33.64 nbFailedAssignments=1617 nbBacktracks=749 nbVisitedNodes=4872 nbRestartNogoods=44
33.64 => wckTime=2.379 cpuTime=2.28 mem=16M682
34.47
34.47 search
34.48 run=9 nbConstraintChecks=5935620 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3514
34.48 nbFailedAssignments=2228 nbBacktracks=1133 nbVisitedNodes=6876 nbRestartNogoods=48
34.48 => wckTime=3.213 cpuTime=3.11 mem=16M682
36.18
36.18 search
36.18 run=10 nbConstraintChecks=9226724 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5416
36.18 nbFailedAssignments=3538 nbBacktracks=1709 nbVisitedNodes=10664 nbRestartNogoods=58
36.18 => wckTime=4.913 cpuTime=4.79 mem=16M682
37.79
37.79 search
37.79 run=11 nbConstraintChecks=12104569 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7293
37.79 nbFailedAssignments=4542 nbBacktracks=2573 nbVisitedNodes=14407 nbRestartNogoods=68
37.79 => wckTime=6.526 cpuTime=6.39 mem=16M682
40.37
40.37 search
40.37 run=12 nbConstraintChecks=18782361 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10857
40.37 nbFailedAssignments=6795 nbBacktracks=3870 nbVisitedNodes=21521 nbRestartNogoods=80
40.37 => wckTime=9.111 cpuTime=8.95 mem=16M682
44.71
44.71 search
44.71 run=13 nbConstraintChecks=27370931 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15654
44.71 nbFailedAssignments=9628 nbBacktracks=5816 nbVisitedNodes=31097 nbRestartNogoods=89
44.71 => wckTime=13.451 cpuTime=13.25 mem=16M682
50.77
50.77 search
50.77 run=14 nbConstraintChecks=39318113 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23140
50.77 nbFailedAssignments=14185 nbBacktracks=8735 nbVisitedNodes=45965 nbRestartNogoods=105
50.77 => wckTime=19.508 cpuTime=19.26 mem=16M682
59.97
59.97 search
59.97 run=15 nbConstraintChecks=54790031 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32917
59.97 nbFailedAssignments=19570 nbBacktracks=13113 nbVisitedNodes=65293 nbRestartNogoods=111
59.97 => wckTime=28.705 cpuTime=28.38 mem=16M682
71.08
71.08 search
71.08 run=16 nbConstraintChecks=77376700 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47891
71.08 nbFailedAssignments=27961 nbBacktracks=19683 nbVisitedNodes=94792 nbRestartNogoods=124
71.08 => wckTime=39.815 cpuTime=39.39 mem=16M682
85.88
85.88 search
85.88 run=17 nbConstraintChecks=105101831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67975
85.88 nbFailedAssignments=38185 nbBacktracks=29535 nbVisitedNodes=134073 nbRestartNogoods=133
85.88 => wckTime=54.619 cpuTime=54.07 mem=16M682
90.22
90.22 search
90.22 run=18 nbConstraintChecks=111658942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74504
90.22 nbFailedAssignments=41027 nbBacktracks=33223 nbVisitedNodes=146246 nbRestartNogoods=139
90.22 => wckTime=58.958 cpuTime=58.37 mem=16M682
90.22
90.22 global
90.22 nbConstraintChecks=111658947 nbRestartNogoods=139 solvingWckTime=58.959 solvingCpuTime=58.37 expiredTime=no
90.22 totalExploration=yes nbFoundSolutions=0 globalCpuTime=88.84
90.22 => wckTime=89.871 cpuTime=88.78 mem=16M682
90.23
90.23 s OPTIMUM FOUND
90.23 v 1 2 4 4 3 3 4 4 3 3 1 4 1 0 3 2 1 1 1 0 1 0 1 0 0 4 3 0 0 2 4 4 4 3 4 0 4 0 4 3 4 0 3 2 0 3 0 0 0 3 4 0 3 1 0 3 2 2
90.23
90.23 totalWckTime=89.952 totalCpuTime=88.84
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-279380-1169293420 -o ROOT/results/node72/solver-279380-1169293420 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279380-1169293420/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 2.00 2.00 1.90 4/87 26184
/proc/meminfo: memFree=1629272/2055920 swapFree=4191880/4192956
[pid=26183] ppid=26181 vsize=18540 CPUtime=0
/proc/26183/stat : 26183 (runsolver) R 26181 26183 25618 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 277750869 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26183/statm: 4635 279 244 17 0 2626 0
[startup+0.107987 s]
/proc/loadavg: 2.00 2.00 1.90 4/87 26184
/proc/meminfo: memFree=1629272/2055920 swapFree=4191880/4192956
[pid=26183] ppid=26181 vsize=907808 CPUtime=0.06
/proc/26183/stat : 26183 (java) R 26181 26183 25618 0 -1 0 2506 0 1 0 5 1 0 0 17 0 4 0 277750869 929595392 2253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153928128 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/26183/statm: 226952 2253 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.516023 s]
/proc/loadavg: 2.00 2.00 1.90 4/87 26184
/proc/meminfo: memFree=1629272/2055920 swapFree=4191880/4192956
[pid=26183] ppid=26181 vsize=915332 CPUtime=0.39
/proc/26183/stat : 26183 (java) R 26181 26183 25618 0 -1 0 6102 0 1 0 35 4 0 0 18 0 8 0 277750869 937299968 5841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26183/statm: 228833 5841 2137 14 0 215303 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915332
[startup+1.3401 s]
/proc/loadavg: 2.00 2.00 1.90 3/94 26191
/proc/meminfo: memFree=1610400/2055920 swapFree=4191880/4192956
[pid=26183] ppid=26181 vsize=915468 CPUtime=1.21
/proc/26183/stat : 26183 (java) R 26181 26183 25618 0 -1 0 7364 0 1 0 98 23 0 0 24 0 8 0 277750869 937439232 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26183/statm: 228867 7102 2476 14 0 215337 0
[pid=26183/tid=26185] ppid=26181 vsize=915468 CPUtime=0.03
/proc/26183/task/26185/stat : 26185 (java) S 26181 26183 25618 0 -1 64 195 0 0 0 3 0 0 0 16 0 8 0 277750876 937439232 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26186] ppid=26181 vsize=915468 CPUtime=0
/proc/26183/task/26186/stat : 26186 (java) S 26181 26183 25618 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277750877 937439232 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26187] ppid=26181 vsize=915468 CPUtime=0
/proc/26183/task/26187/stat : 26187 (java) S 26181 26183 25618 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277750877 937439232 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26188] ppid=26181 vsize=915468 CPUtime=0
/proc/26183/task/26188/stat : 26188 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277750880 937439232 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26189] ppid=26181 vsize=915468 CPUtime=0.14
/proc/26183/task/26189/stat : 26189 (java) S 26181 26183 25618 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 277750880 937439232 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26190] ppid=26181 vsize=915468 CPUtime=0
/proc/26183/task/26190/stat : 26190 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277750880 937439232 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26191] ppid=26181 vsize=915468 CPUtime=0
/proc/26183/task/26191/stat : 26191 (java) S 26181 26183 25618 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277750880 937439232 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915468
[startup+2.98924 s]
/proc/loadavg: 2.00 2.00 1.90 3/94 26191
/proc/meminfo: memFree=1610400/2055920 swapFree=4191880/4192956
[pid=26183] ppid=26181 vsize=915468 CPUtime=2.85
/proc/26183/stat : 26183 (java) R 26181 26183 25618 0 -1 0 7369 0 1 0 215 70 0 0 25 0 8 0 277750869 937439232 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26183/statm: 228867 7106 2476 14 0 215337 0
[pid=26183/tid=26185] ppid=26181 vsize=915468 CPUtime=0.03
/proc/26183/task/26185/stat : 26185 (java) S 26181 26183 25618 0 -1 64 195 0 0 0 3 0 0 0 16 0 8 0 277750876 937439232 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26186] ppid=26181 vsize=915468 CPUtime=0
/proc/26183/task/26186/stat : 26186 (java) S 26181 26183 25618 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277750877 937439232 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26187] ppid=26181 vsize=915468 CPUtime=0
/proc/26183/task/26187/stat : 26187 (java) S 26181 26183 25618 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277750877 937439232 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26188] ppid=26181 vsize=915468 CPUtime=0
/proc/26183/task/26188/stat : 26188 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277750880 937439232 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26189] ppid=26181 vsize=915468 CPUtime=0.15
/proc/26183/task/26189/stat : 26189 (java) S 26181 26183 25618 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277750880 937439232 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26190] ppid=26181 vsize=915468 CPUtime=0
/proc/26183/task/26190/stat : 26190 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277750880 937439232 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26191] ppid=26181 vsize=915468 CPUtime=0
/proc/26183/task/26191/stat : 26191 (java) S 26181 26183 25618 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277750880 937439232 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915468
[startup+6.26853 s]
/proc/loadavg: 2.00 2.00 1.90 3/94 26191
/proc/meminfo: memFree=1610336/2055920 swapFree=4191880/4192956
[pid=26183] ppid=26181 vsize=915464 CPUtime=6.09
/proc/26183/stat : 26183 (java) R 26181 26183 25618 0 -1 0 7369 0 1 0 438 171 0 0 25 0 8 0 277750869 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26183/statm: 228866 7106 2476 14 0 215336 0
[pid=26183/tid=26185] ppid=26181 vsize=915464 CPUtime=0.03
/proc/26183/task/26185/stat : 26185 (java) S 26181 26183 25618 0 -1 64 195 0 0 0 3 0 0 0 16 0 8 0 277750876 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26186] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26186/stat : 26186 (java) S 26181 26183 25618 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277750877 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26187] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26187/stat : 26187 (java) S 26181 26183 25618 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277750877 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26188] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26188/stat : 26188 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26189] ppid=26181 vsize=915464 CPUtime=0.15
/proc/26183/task/26189/stat : 26189 (java) S 26181 26183 25618 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26190] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26190/stat : 26190 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26191] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26191/stat : 26191 (java) S 26181 26183 25618 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915464
[startup+12.7601 s]
/proc/loadavg: 2.00 2.00 1.90 3/94 26191
/proc/meminfo: memFree=1610336/2055920 swapFree=4191880/4192956
[pid=26183] ppid=26181 vsize=915464 CPUtime=12.53
/proc/26183/stat : 26183 (java) R 26181 26183 25618 0 -1 0 7369 0 1 0 886 367 0 0 25 0 8 0 277750869 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26183/statm: 228866 7106 2476 14 0 215336 0
[pid=26183/tid=26185] ppid=26181 vsize=915464 CPUtime=0.03
/proc/26183/task/26185/stat : 26185 (java) S 26181 26183 25618 0 -1 64 195 0 0 0 3 0 0 0 16 0 8 0 277750876 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26186] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26186/stat : 26186 (java) S 26181 26183 25618 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277750877 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26187] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26187/stat : 26187 (java) S 26181 26183 25618 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277750877 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26188] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26188/stat : 26188 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26189] ppid=26181 vsize=915464 CPUtime=0.15
/proc/26183/task/26189/stat : 26189 (java) S 26181 26183 25618 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26190] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26190/stat : 26190 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26191] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26191/stat : 26191 (java) S 26181 26183 25618 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915464
[startup+25.6023 s]
/proc/loadavg: 2.00 2.00 1.90 3/94 26191
/proc/meminfo: memFree=1610272/2055920 swapFree=4191880/4192956
[pid=26183] ppid=26181 vsize=915464 CPUtime=25.27
/proc/26183/stat : 26183 (java) R 26181 26183 25618 0 -1 0 7369 0 1 0 1772 755 0 0 25 0 8 0 277750869 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26183/statm: 228866 7106 2476 14 0 215336 0
[pid=26183/tid=26185] ppid=26181 vsize=915464 CPUtime=0.03
/proc/26183/task/26185/stat : 26185 (java) S 26181 26183 25618 0 -1 64 195 0 0 0 3 0 0 0 16 0 8 0 277750876 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26186] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26186/stat : 26186 (java) S 26181 26183 25618 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277750877 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26187] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26187/stat : 26187 (java) S 26181 26183 25618 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277750877 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26188] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26188/stat : 26188 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26189] ppid=26181 vsize=915464 CPUtime=0.15
/proc/26183/task/26189/stat : 26189 (java) S 26181 26183 25618 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26190] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26190/stat : 26190 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26191] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26191/stat : 26191 (java) S 26181 26183 25618 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277750880 937435136 7106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915464
[startup+51.2105 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 26191
/proc/meminfo: memFree=1603552/2055920 swapFree=4191880/4192956
[pid=26183] ppid=26181 vsize=915464 CPUtime=50.66
/proc/26183/stat : 26183 (java) R 26181 26183 25618 0 -1 0 9132 0 1 0 4145 921 0 0 25 0 8 0 277750869 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26183/statm: 228866 8862 2527 14 0 215336 0
[pid=26183/tid=26185] ppid=26181 vsize=915464 CPUtime=0.03
/proc/26183/task/26185/stat : 26185 (java) S 26181 26183 25618 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 277750876 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26186] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26186/stat : 26186 (java) S 26181 26183 25618 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277750877 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26187] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26187/stat : 26187 (java) S 26181 26183 25618 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277750877 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26188] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26188/stat : 26188 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277750880 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26189] ppid=26181 vsize=915464 CPUtime=0.26
/proc/26183/task/26189/stat : 26189 (java) S 26181 26183 25618 0 -1 64 410 0 0 0 25 1 0 0 16 0 8 0 277750880 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26190] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26190/stat : 26190 (java) S 26181 26183 25618 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277750880 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26183/tid=26191] ppid=26181 vsize=915464 CPUtime=0
/proc/26183/task/26191/stat : 26191 (java) S 26181 26183 25618 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277750880 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 90.2638
CPU time (s): 89.3614
CPU user time (s): 80.1348
CPU system time (s): 9.2266
CPU usage (%): 99.0003
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.1348
system time used= 9.2266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9234
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= 3057
involuntary context switches= 6375
runsolver used 0.12998 s user time and 0.281957 s system time
The end
Begin job on node72 on Sat Jan 20 11:43:40 UTC 2007
IDJOB= 279380
IDBENCH= 9946
IDSOLVER= 69
FILE ID= node72/279380-1169293420
PBS_JOBID= 3609764
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/kbtree-9-2-3-5-30-01_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279380-1169293420/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-279380-1169293420 -o ROOT/results/node72/solver-279380-1169293420 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279380-1169293420/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9fc7b10ccb421da2b68992d23e90e105
RANDOM SEED= 190398767
TIME LIMIT= 2400 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.223
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.223
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: 1629688 kB
Buffers: 36004 kB
Cached: 229064 kB
SwapCached: 268 kB
Active: 156400 kB
Inactive: 204512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1629688 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1728 kB
Writeback: 0 kB
Mapped: 114320 kB
Slab: 50012 kB
Committed_AS: 4844876 kB
PageTables: 2372 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 node72 on Sat Jan 20 11:45:11 UTC 2007