0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/280883-1169308352/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.101 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.46
0.46 constraints being loaded...
0.52 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.52 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1277 maxDegree=12
0.52 maxArity=2
0.52 => wckTime=0.214 cpuTime=0.15 mem=8M893
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.297 cpuTime=0.19 mem=5M496
0.61
0.61 s SATISFIABLE
0.61 o 59
0.61 c 50
0.61 o 63
0.61 c 46
0.61 o 68
0.61 c 41
0.61 o 71
0.61 c 38
0.61 o 74
0.61 c 35
0.61 o 76
0.61 c 33
0.61 o 79
0.61 c 30
0.61 o 82
0.61 c 27
0.61 o 85
0.61 c 24
0.61 o 87
0.62 c 22
0.62 o 88
0.62 c 21
0.62 o 89
0.62 c 20
0.62 o 90
0.62 c 19
0.62 o 92
0.62 c 17
0.62 o 93
0.62 c 16
0.62 o 94
0.62 c 15
0.62 o 95
0.62 c 14
0.62 o 96
0.62 c 13
0.63 o 97
0.63 c 12
0.63 o 98
0.63 c 11
0.63 o 99
0.63 c 10
0.63 o 100
0.63 c 9
0.63 o 102
0.63 c 7
0.63 o 103
0.63 c 6
0.63 o 104
0.63 c 5
0.64 o 105
0.64 c 4
0.67 o 106
0.67 c 3
0.67 o 107
0.67 c 2
1.94
1.94 search
1.94 run=0 nbConstraintChecks=5671683 nbAssignments=10000
1.94 => wckTime=1.34 cpuTime=1.33 mem=5M496
3.19
3.19 search
3.19 run=1 nbConstraintChecks=11231381 nbAssignments=20000
3.19 => wckTime=2.587 cpuTime=2.57 mem=5M496
4.48
4.48 search
4.48 run=2 nbConstraintChecks=17165585 nbAssignments=30000
4.48 => wckTime=3.877 cpuTime=3.86 mem=5M496
5.76
5.76 search
5.76 run=3 nbConstraintChecks=22982633 nbAssignments=40000
5.76 => wckTime=5.157 cpuTime=5.14 mem=5M496
7.03
7.03 search
7.03 run=4 nbConstraintChecks=28747987 nbAssignments=50000
7.03 => wckTime=6.428 cpuTime=6.41 mem=5M496
8.34
8.34 search
8.34 run=5 nbConstraintChecks=34791040 nbAssignments=60000
8.34 => wckTime=7.734 cpuTime=7.71 mem=5M496
9.62
9.62 search
9.62 run=6 nbConstraintChecks=40632384 nbAssignments=70000
9.62 => wckTime=9.014 cpuTime=8.99 mem=5M496
10.93
10.93 search
10.93 run=7 nbConstraintChecks=46769549 nbAssignments=80000
10.93 => wckTime=10.33 cpuTime=10.31 mem=5M496
12.19
12.19 search
12.19 run=8 nbConstraintChecks=52362338 nbAssignments=90000
12.19 => wckTime=11.587 cpuTime=11.56 mem=5M496
13.48
13.48 search
13.48 run=9 nbConstraintChecks=58232335 nbAssignments=100000
13.48 => wckTime=12.882 cpuTime=12.86 mem=5M496
14.74
14.74 search
14.74 run=10 nbConstraintChecks=63779485 nbAssignments=110000
14.74 => wckTime=14.136 cpuTime=14.11 mem=5M496
15.99
15.99 search
15.99 run=11 nbConstraintChecks=69253367 nbAssignments=120000
15.99 => wckTime=15.386 cpuTime=15.36 mem=5M496
17.28
17.28 search
17.28 run=12 nbConstraintChecks=75089259 nbAssignments=130000
17.28 => wckTime=16.678 cpuTime=16.65 mem=5M496
18.61
18.61 search
18.61 run=13 nbConstraintChecks=81230440 nbAssignments=140000
18.61 => wckTime=18.008 cpuTime=17.99 mem=5M496
19.88
19.88 search
19.88 run=14 nbConstraintChecks=86902024 nbAssignments=150000
19.88 => wckTime=19.277 cpuTime=19.25 mem=5M496
21.18
21.18 search
21.18 run=15 nbConstraintChecks=92773464 nbAssignments=160000
21.18 => wckTime=20.574 cpuTime=20.54 mem=5M496
22.42
22.42 search
22.42 run=16 nbConstraintChecks=98275006 nbAssignments=170000
22.42 => wckTime=21.819 cpuTime=21.79 mem=5M496
23.68
23.68 search
23.68 run=17 nbConstraintChecks=103921046 nbAssignments=180000
23.68 => wckTime=23.079 cpuTime=23.05 mem=5M496
24.92
24.92 search
24.92 run=18 nbConstraintChecks=109391685 nbAssignments=190000
24.92 => wckTime=24.314 cpuTime=24.29 mem=5M496
26.23
26.23 search
26.23 run=19 nbConstraintChecks=115484209 nbAssignments=200000
26.23 => wckTime=25.624 cpuTime=25.59 mem=5M496
27.49
27.49 search
27.49 run=20 nbConstraintChecks=121212460 nbAssignments=210000
27.49 => wckTime=26.891 cpuTime=26.86 mem=5M496
28.76
28.76 search
28.76 run=21 nbConstraintChecks=126907161 nbAssignments=220000
28.76 => wckTime=28.154 cpuTime=28.12 mem=5M496
29.99
29.99 search
29.99 run=22 nbConstraintChecks=132367280 nbAssignments=230000
29.99 => wckTime=29.389 cpuTime=29.35 mem=5M496
30.70
30.70 search
30.70 run=23 nbConstraintChecks=135569325 nbAssignments=235610
30.70 => wckTime=30.1 cpuTime=30.07 mem=5M496
30.70
30.70 global
30.70 nbConstraintChecks=135569325 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.70 solvingWckTime=30.099 solvingCpuTime=30.07 expiredTime=no totalExploration=no nbFoundSolutions=0
30.70 globalCpuTime=30.31
30.70 => wckTime=30.398 cpuTime=30.26 mem=5M496
30.70
30.70 solver IterativeSystematicSolver being built...
30.83 => wckTime=30.529 cpuTime=30.36 mem=16M519
30.84
30.84 preprocessing
30.84 nbConstraintChecks=10 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.84 detectedInconsistency=no
30.84 => wckTime=0.0040 cpuTime=0.0 mem=16M519
30.90
30.90 search
30.90 run=0 nbConstraintChecks=61598 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46
30.90 nbFailedAssignments=28 nbBacktracks=10 nbVisitedNodes=85 nbRestartNogoods=0
30.90 => wckTime=0.067 cpuTime=0.04 mem=16M519
30.98
30.98 search
30.98 run=1 nbConstraintChecks=245125 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=161
30.98 nbFailedAssignments=123 nbBacktracks=25 nbVisitedNodes=310 nbRestartNogoods=13
30.98 => wckTime=0.143 cpuTime=0.1 mem=16M519
31.09
31.09 search
31.09 run=2 nbConstraintChecks=609090 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=384
31.09 nbFailedAssignments=317 nbBacktracks=47 nbVisitedNodes=748 nbRestartNogoods=26
31.09 => wckTime=0.252 cpuTime=0.21 mem=16M519
31.18
31.18 search
31.18 run=3 nbConstraintChecks=882418 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=559
31.18 nbFailedAssignments=452 nbBacktracks=80 nbVisitedNodes=1091 nbRestartNogoods=43
31.18 => wckTime=0.339 cpuTime=0.29 mem=16M519
31.30
31.30 search
31.30 run=4 nbConstraintChecks=1302751 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=821
31.30 nbFailedAssignments=656 nbBacktracks=130 nbVisitedNodes=1606 nbRestartNogoods=53
31.30 => wckTime=0.462 cpuTime=0.42 mem=16M519
31.48
31.48 search
31.48 run=5 nbConstraintChecks=1903328 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1190
31.48 nbFailedAssignments=944 nbBacktracks=205 nbVisitedNodes=2336 nbRestartNogoods=89
31.48 => wckTime=0.64 cpuTime=0.59 mem=16M519
31.80
31.80 search
31.80 run=6 nbConstraintChecks=3138002 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1978
31.80 nbFailedAssignments=1611 nbBacktracks=318 nbVisitedNodes=3903 nbRestartNogoods=110
31.80 => wckTime=0.969 cpuTime=0.9 mem=16M519
32.26
32.26 search
32.26 run=7 nbConstraintChecks=4780082 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3059
32.26 nbFailedAssignments=2515 nbBacktracks=488 nbVisitedNodes=6043 nbRestartNogoods=139
32.26 => wckTime=1.424 cpuTime=1.35 mem=16M519
32.70
32.70 search
32.70 run=8 nbConstraintChecks=6347405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4069
32.70 nbFailedAssignments=3262 nbBacktracks=744 nbVisitedNodes=8037 nbRestartNogoods=154
32.70 => wckTime=1.868 cpuTime=1.79 mem=16M519
33.45
33.45 search
33.45 run=9 nbConstraintChecks=9008730 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5826
33.45 nbFailedAssignments=4624 nbBacktracks=1128 nbVisitedNodes=11531 nbRestartNogoods=190
33.45 => wckTime=2.614 cpuTime=2.54 mem=16M519
35.09
35.09 search
35.09 run=10 nbConstraintChecks=14943906 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9281
35.09 nbFailedAssignments=7495 nbBacktracks=1705 nbVisitedNodes=18409 nbRestartNogoods=227
35.09 => wckTime=4.253 cpuTime=4.17 mem=16M519
36.55
36.55 search
36.55 run=11 nbConstraintChecks=20186065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12919
36.55 nbFailedAssignments=10261 nbBacktracks=2570 nbVisitedNodes=25617 nbRestartNogoods=250
36.55 => wckTime=5.711 cpuTime=5.63 mem=16M519
38.87
38.88 search
38.88 run=12 nbConstraintChecks=28713734 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18237
38.88 nbFailedAssignments=14277 nbBacktracks=3867 nbVisitedNodes=36230 nbRestartNogoods=282
38.88 => wckTime=8.04 cpuTime=7.95 mem=16M519
43.10
43.10 search
43.10 run=13 nbConstraintChecks=44105296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27910
43.10 nbFailedAssignments=22000 nbBacktracks=5814 nbVisitedNodes=55515 nbRestartNogoods=301
43.10 => wckTime=12.265 cpuTime=12.18 mem=16M519
48.67
48.67 search
48.67 run=14 nbConstraintChecks=62176750 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39492
48.67 nbFailedAssignments=30656 nbBacktracks=8733 nbVisitedNodes=78546 nbRestartNogoods=310
48.67 => wckTime=17.838 cpuTime=17.75 mem=16M519
55.20
55.20 search
55.20 run=15 nbConstraintChecks=81906656 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52972
55.20 nbFailedAssignments=39751 nbBacktracks=13112 nbVisitedNodes=105141 nbRestartNogoods=333
55.20 => wckTime=24.361 cpuTime=24.25 mem=16M519
56.40
56.40 search
56.40 run=16 nbConstraintChecks=85227556 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55431
56.40 nbFailedAssignments=41421 nbBacktracks=13902 nbVisitedNodes=109955 nbRestartNogoods=348
56.40 => wckTime=25.565 cpuTime=25.46 mem=16M519
56.40
56.40 global
56.40 nbConstraintChecks=85227566 nbRestartNogoods=348 solvingWckTime=25.566 solvingCpuTime=25.46 expiredTime=no
56.40 totalExploration=yes nbFoundSolutions=0 globalCpuTime=55.87
56.40 => wckTime=56.095 cpuTime=55.82 mem=16M519
56.40
56.40 s OPTIMUM FOUND
56.40 v 1 7 5 2 9 4 8 9 0 4 5 2 9 4 9 6 9 8 6 5 1 3 9 9 5 4 3 4 3 8
56.40
56.40 totalWckTime=56.174 totalCpuTime=55.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-280883-1169308352 -o ROOT/results/node70/solver-280883-1169308352 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280883-1169308352/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: 0.75 0.97 1.23 6/80 11518
/proc/meminfo: memFree=1416336/2055920 swapFree=4192812/4192956
[pid=11517] ppid=11515 vsize=172 CPUtime=0
/proc/11517/stat : 11517 (java) R 11515 11517 11219 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 78332218 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8413483 0 0 4096 0 0 0 0 17 1 0 0
/proc/11517/statm: 43 24 18 14 0 3 0
[startup+0.103514 s]
/proc/loadavg: 0.75 0.97 1.23 6/80 11518
/proc/meminfo: memFree=1416336/2055920 swapFree=4192812/4192956
[pid=11517] ppid=11515 vsize=914988 CPUtime=0.09
/proc/11517/stat : 11517 (java) R 11515 11517 11219 0 -1 0 3019 0 1 0 8 1 0 0 20 0 8 0 78332218 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11517/statm: 228747 2766 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515553 s]
/proc/loadavg: 0.75 0.97 1.23 6/80 11518
/proc/meminfo: memFree=1416336/2055920 swapFree=4192812/4192956
[pid=11517] ppid=11515 vsize=915332 CPUtime=0.5
/proc/11517/stat : 11517 (java) R 11515 11517 11219 0 -1 0 6576 0 1 0 45 5 0 0 18 0 8 0 78332218 937299968 6315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11517/statm: 228833 6315 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33863 s]
/proc/loadavg: 0.75 0.97 1.23 3/87 11525
/proc/meminfo: memFree=1385240/2055920 swapFree=4192812/4192956
[pid=11517] ppid=11515 vsize=915448 CPUtime=1.33
/proc/11517/stat : 11517 (java) R 11515 11517 11219 0 -1 0 7129 0 1 0 106 27 0 0 25 0 8 0 78332218 937418752 6867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11517/statm: 228861 6867 2476 14 0 215331 0
[pid=11517/tid=11519] ppid=11515 vsize=915444 CPUtime=0.02
/proc/11517/task/11519/stat : 11519 (java) S 11515 11517 11219 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78332221 937414656 6867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11520] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11520/stat : 11520 (java) S 11515 11517 11219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332222 937414656 6867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11521] ppid=11515 vsize=915448 CPUtime=0
/proc/11517/task/11521/stat : 11521 (java) S 11515 11517 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78332222 937418752 6867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11522] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11522/stat : 11522 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332225 937414656 6867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11523] ppid=11515 vsize=915444 CPUtime=0.13
/proc/11517/task/11523/stat : 11523 (java) S 11515 11517 11219 0 -1 64 330 0 0 0 12 1 0 0 16 0 8 0 78332225 937414656 6867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11524] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11524/stat : 11524 (java) S 11515 11517 11219 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78332225 937414656 6867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11525] ppid=11515 vsize=915448 CPUtime=0
/proc/11517/task/11525/stat : 11525 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78332225 937418752 6867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915448
[startup+2.9748 s]
/proc/loadavg: 0.75 0.97 1.23 3/87 11525
/proc/meminfo: memFree=1385240/2055920 swapFree=4192812/4192956
[pid=11517] ppid=11515 vsize=915444 CPUtime=2.97
/proc/11517/stat : 11517 (java) R 11515 11517 11219 0 -1 0 7132 0 1 0 218 79 0 0 25 0 8 0 78332218 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11517/statm: 228861 6869 2476 14 0 215331 0
[pid=11517/tid=11519] ppid=11515 vsize=915444 CPUtime=0.02
/proc/11517/task/11519/stat : 11519 (java) S 11515 11517 11219 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78332221 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11520] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11520/stat : 11520 (java) S 11515 11517 11219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332222 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11521] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11521/stat : 11521 (java) S 11515 11517 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78332222 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11522] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11522/stat : 11522 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332225 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11523] ppid=11515 vsize=915448 CPUtime=0.14
/proc/11517/task/11523/stat : 11523 (java) S 11515 11517 11219 0 -1 64 332 0 0 0 13 1 0 0 16 0 8 0 78332225 937418752 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11524] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11524/stat : 11524 (java) S 11515 11517 11219 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78332225 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11525] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11525/stat : 11525 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78332225 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915444
[startup+6.25413 s]
/proc/loadavg: 0.85 0.99 1.23 3/87 11525
/proc/meminfo: memFree=1385176/2055920 swapFree=4192812/4192956
[pid=11517] ppid=11515 vsize=915444 CPUtime=6.24
/proc/11517/stat : 11517 (java) R 11515 11517 11219 0 -1 0 7132 0 1 0 441 183 0 0 25 0 8 0 78332218 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11517/statm: 228861 6869 2476 14 0 215331 0
[pid=11517/tid=11519] ppid=11515 vsize=915444 CPUtime=0.02
/proc/11517/task/11519/stat : 11519 (java) S 11515 11517 11219 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78332221 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11520] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11520/stat : 11520 (java) S 11515 11517 11219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332222 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11521] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11521/stat : 11521 (java) S 11515 11517 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78332222 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11522] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11522/stat : 11522 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332225 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11523] ppid=11515 vsize=915448 CPUtime=0.14
/proc/11517/task/11523/stat : 11523 (java) S 11515 11517 11219 0 -1 64 332 0 0 0 13 1 0 0 16 0 8 0 78332225 937418752 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11524] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11524/stat : 11524 (java) S 11515 11517 11219 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78332225 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11525] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11525/stat : 11525 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78332225 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915444
[startup+12.7338 s]
/proc/loadavg: 0.94 1.00 1.24 3/87 11525
/proc/meminfo: memFree=1385192/2055920 swapFree=4192812/4192956
[pid=11517] ppid=11515 vsize=915448 CPUtime=12.72
/proc/11517/stat : 11517 (java) R 11515 11517 11219 0 -1 0 7132 0 1 0 885 387 0 0 25 0 8 0 78332218 937418752 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11517/statm: 228861 6869 2476 14 0 215331 0
[pid=11517/tid=11519] ppid=11515 vsize=915448 CPUtime=0.02
/proc/11517/task/11519/stat : 11519 (java) S 11515 11517 11219 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78332221 937418752 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11520] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11520/stat : 11520 (java) S 11515 11517 11219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332222 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11521] ppid=11515 vsize=915448 CPUtime=0
/proc/11517/task/11521/stat : 11521 (java) S 11515 11517 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78332222 937418752 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11522] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11522/stat : 11522 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332225 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11523] ppid=11515 vsize=915444 CPUtime=0.14
/proc/11517/task/11523/stat : 11523 (java) S 11515 11517 11219 0 -1 64 332 0 0 0 13 1 0 0 16 0 8 0 78332225 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11524] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11524/stat : 11524 (java) S 11515 11517 11219 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78332225 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11525] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11525/stat : 11525 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78332225 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915448
[startup+25.5851 s]
/proc/loadavg: 1.17 1.05 1.25 3/87 11525
/proc/meminfo: memFree=1385192/2055920 swapFree=4192812/4192956
[pid=11517] ppid=11515 vsize=915444 CPUtime=25.56
/proc/11517/stat : 11517 (java) R 11515 11517 11219 0 -1 0 7133 0 1 0 1773 783 0 0 25 0 8 0 78332218 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11517/statm: 228861 6870 2476 14 0 215331 0
[pid=11517/tid=11519] ppid=11515 vsize=915444 CPUtime=0.02
/proc/11517/task/11519/stat : 11519 (java) S 11515 11517 11219 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78332221 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11520] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11520/stat : 11520 (java) S 11515 11517 11219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332222 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11521] ppid=11515 vsize=915448 CPUtime=0
/proc/11517/task/11521/stat : 11521 (java) S 11515 11517 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78332222 937418752 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11522] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11522/stat : 11522 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332225 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11523] ppid=11515 vsize=915444 CPUtime=0.14
/proc/11517/task/11523/stat : 11523 (java) S 11515 11517 11219 0 -1 64 333 0 0 0 13 1 0 0 16 0 8 0 78332225 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11524] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11524/stat : 11524 (java) S 11515 11517 11219 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78332225 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11525] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11525/stat : 11525 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78332225 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915444
[startup+51.2817 s]
/proc/loadavg: 1.45 1.13 1.27 3/87 11525
/proc/meminfo: memFree=1370728/2055920 swapFree=4192812/4192956
[pid=11517] ppid=11515 vsize=915444 CPUtime=51.24
/proc/11517/stat : 11517 (java) R 11515 11517 11219 0 -1 0 9027 0 1 0 4186 938 0 0 25 0 8 0 78332218 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11517/statm: 228861 8760 2527 14 0 215331 0
[pid=11517/tid=11519] ppid=11515 vsize=915444 CPUtime=0.02
/proc/11517/task/11519/stat : 11519 (java) S 11515 11517 11219 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 78332221 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11520] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11520/stat : 11520 (java) S 11515 11517 11219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332222 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11521] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11521/stat : 11521 (java) S 11515 11517 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78332222 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11522] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11522/stat : 11522 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332225 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11523] ppid=11515 vsize=915444 CPUtime=0.24
/proc/11517/task/11523/stat : 11523 (java) S 11515 11517 11219 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 78332225 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11524] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11524/stat : 11524 (java) S 11515 11517 11219 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78332225 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11517/tid=11525] ppid=11515 vsize=915444 CPUtime=0
/proc/11517/task/11525/stat : 11525 (java) S 11515 11517 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78332225 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 56.42
CPU time (s): 56.3734
CPU user time (s): 46.9829
CPU system time (s): 9.39057
CPU usage (%): 99.9175
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.9829
system time used= 9.39057
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9129
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= 2244
involuntary context switches= 2912
runsolver used 0.057991 s user time and 0.160975 s system time
The end
Begin job on node70 on Sat Jan 20 15:52:33 UTC 2007
IDJOB= 280883
IDBENCH= 11981
IDSOLVER= 69
FILE ID= node70/280883-1169308352
PBS_JOBID= 3610204
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280883-1169308352/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-280883-1169308352 -o ROOT/results/node70/solver-280883-1169308352 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280883-1169308352/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= da297902f0ed622e5da1ee117d882e4c
RANDOM SEED= 874620936
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.234
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.234
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: 1417008 kB
Buffers: 45688 kB
Cached: 496740 kB
SwapCached: 144 kB
Active: 146352 kB
Inactive: 421092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1417008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3800 kB
Writeback: 0 kB
Mapped: 40616 kB
Slab: 56892 kB
Committed_AS: 1917240 kB
PageTables: 1764 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= 66563 MiB
End job on node70 on Sat Jan 20 15:53:30 UTC 2007