0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278344-1169287489/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.089 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.41
0.41 constraints being loaded...
0.48 nbConstraints=178 nbRelationTypes=11 nbExtensionStructures=11 nbSharedExtensionStructures=167
0.48 nbConflictsStructures=11 nbSharedConflictsStructures=167 nbSharedBinaryRepresentations=40 maxDegree=15
0.48 maxArity=2
0.48 => wckTime=0.166 cpuTime=0.14 mem=7M879
0.52
0.52 solver LocalSearchSolver being built...
0.55 => wckTime=0.244 cpuTime=0.18 mem=5M451
0.56
0.56 s SATISFIABLE
0.56 o 129
0.56 c 49
0.56 o 131
0.56 c 47
0.56 o 133
0.56 c 45
0.56 o 135
0.56 c 43
0.56 o 138
0.56 c 40
0.56 o 139
0.56 c 39
0.56 o 140
0.56 c 38
0.56 o 141
0.56 c 37
0.56 o 142
0.56 c 36
0.56 o 144
0.56 c 34
0.56 o 145
0.56 c 33
0.56 o 146
0.57 c 32
0.57 o 147
0.57 c 31
0.57 o 149
0.57 c 29
0.57 o 151
0.57 c 27
0.57 o 152
0.57 c 26
0.57 o 153
0.57 c 25
0.58 o 154
0.58 c 24
0.58 o 155
0.58 c 23
0.58 o 156
0.58 c 22
0.59 o 158
0.59 c 20
0.61 o 159
0.61 c 19
0.66 o 160
0.66 c 18
1.50
1.50 search
1.50 run=0 nbConstraintChecks=2141812 nbAssignments=10000
1.50 => wckTime=0.942 cpuTime=0.91 mem=5M451
2.32
2.32 search
2.32 run=1 nbConstraintChecks=4333418 nbAssignments=20000
2.32 => wckTime=1.764 cpuTime=1.73 mem=5M451
3.13
3.13 search
3.13 run=2 nbConstraintChecks=6476799 nbAssignments=30000
3.13 => wckTime=2.578 cpuTime=2.54 mem=5M451
3.95
3.95 search
3.95 run=3 nbConstraintChecks=8648443 nbAssignments=40000
3.95 => wckTime=3.398 cpuTime=3.36 mem=5M451
4.77
4.77 search
4.77 run=4 nbConstraintChecks=10793531 nbAssignments=50000
4.77 => wckTime=4.222 cpuTime=4.19 mem=5M451
5.60
5.60 search
5.60 run=5 nbConstraintChecks=12975359 nbAssignments=60000
5.60 => wckTime=5.049 cpuTime=5.01 mem=5M451
6.43
6.43 search
6.43 run=6 nbConstraintChecks=15125356 nbAssignments=70000
6.43 => wckTime=5.873 cpuTime=5.84 mem=5M451
7.26
7.26 search
7.26 run=7 nbConstraintChecks=17320174 nbAssignments=80000
7.26 => wckTime=6.705 cpuTime=6.67 mem=5M451
8.08
8.08 search
8.08 run=8 nbConstraintChecks=19454530 nbAssignments=90000
8.08 => wckTime=7.531 cpuTime=7.49 mem=5M451
8.91
8.91 search
8.91 run=9 nbConstraintChecks=21628360 nbAssignments=100000
8.91 => wckTime=8.357 cpuTime=8.32 mem=5M451
9.73
9.73 search
9.73 run=10 nbConstraintChecks=23770865 nbAssignments=110000
9.73 => wckTime=9.178 cpuTime=9.14 mem=5M451
10.56
10.56 search
10.56 run=11 nbConstraintChecks=25961079 nbAssignments=120000
10.56 => wckTime=10.006 cpuTime=9.97 mem=5M451
11.38
11.38 search
11.38 run=12 nbConstraintChecks=28105554 nbAssignments=130000
11.38 => wckTime=10.827 cpuTime=10.79 mem=5M451
12.21
12.21 search
12.21 run=13 nbConstraintChecks=30273459 nbAssignments=140000
12.21 => wckTime=11.655 cpuTime=11.62 mem=5M451
13.03
13.03 search
13.03 run=14 nbConstraintChecks=32409924 nbAssignments=150000
13.03 => wckTime=12.475 cpuTime=12.43 mem=5M451
13.85
13.85 search
13.85 run=15 nbConstraintChecks=34587688 nbAssignments=160000
13.85 => wckTime=13.3 cpuTime=13.26 mem=5M451
14.67
14.67 search
14.67 run=16 nbConstraintChecks=36731801 nbAssignments=170000
14.67 => wckTime=14.122 cpuTime=14.08 mem=5M451
15.50
15.50 search
15.50 run=17 nbConstraintChecks=38920909 nbAssignments=180000
15.50 => wckTime=14.943 cpuTime=14.9 mem=5M451
16.35
16.35 search
16.35 run=18 nbConstraintChecks=41064570 nbAssignments=190000
16.35 => wckTime=15.793 cpuTime=15.74 mem=5M451
17.17
17.17 search
17.17 run=19 nbConstraintChecks=43249814 nbAssignments=200000
17.17 => wckTime=16.613 cpuTime=16.57 mem=5M451
18.01
18.01 search
18.01 run=20 nbConstraintChecks=45391306 nbAssignments=210000
18.01 => wckTime=17.456 cpuTime=17.4 mem=5M451
18.90
18.90 search
18.90 run=21 nbConstraintChecks=47575883 nbAssignments=220000
18.90 => wckTime=18.346 cpuTime=18.29 mem=5M451
19.80
19.80 search
19.80 run=22 nbConstraintChecks=49717503 nbAssignments=230000
19.80 => wckTime=19.25 cpuTime=19.18 mem=5M451
20.71
20.71 search
20.71 run=23 nbConstraintChecks=51908994 nbAssignments=240000
20.71 => wckTime=20.161 cpuTime=20.08 mem=5M451
21.62
21.62 search
21.62 run=24 nbConstraintChecks=54039017 nbAssignments=250000
21.62 => wckTime=21.065 cpuTime=20.97 mem=5M451
22.52
22.52 search
22.52 run=25 nbConstraintChecks=56213026 nbAssignments=260000
22.52 => wckTime=21.965 cpuTime=21.87 mem=5M451
23.42
23.42 search
23.42 run=26 nbConstraintChecks=58351209 nbAssignments=270000
23.42 => wckTime=22.869 cpuTime=22.76 mem=5M451
24.33
24.33 search
24.33 run=27 nbConstraintChecks=60531560 nbAssignments=280000
24.33 => wckTime=23.78 cpuTime=23.66 mem=5M451
25.23
25.23 search
25.23 run=28 nbConstraintChecks=62678393 nbAssignments=290000
25.23 => wckTime=24.677 cpuTime=24.55 mem=5M451
26.13
26.13 search
26.13 run=29 nbConstraintChecks=64860017 nbAssignments=300000
26.13 => wckTime=25.581 cpuTime=25.45 mem=5M451
27.02
27.02 search
27.02 run=30 nbConstraintChecks=66996149 nbAssignments=310000
27.02 => wckTime=26.467 cpuTime=26.33 mem=5M451
27.92
27.92 search
27.92 run=31 nbConstraintChecks=69200171 nbAssignments=320000
27.92 => wckTime=27.372 cpuTime=27.22 mem=5M451
28.82
28.82 search
28.82 run=32 nbConstraintChecks=71339446 nbAssignments=330000
28.82 => wckTime=28.269 cpuTime=28.11 mem=5M451
29.73
29.73 search
29.73 run=33 nbConstraintChecks=73538963 nbAssignments=340000
29.73 => wckTime=29.175 cpuTime=29.01 mem=5M451
30.63
30.63 search
30.63 run=34 nbConstraintChecks=75680125 nbAssignments=350000
30.63 => wckTime=30.073 cpuTime=29.89 mem=5M451
30.82
30.82 search
30.82 run=35 nbConstraintChecks=76160874 nbAssignments=352190
30.82 => wckTime=30.269 cpuTime=30.1 mem=5M451
30.82
30.82 global
30.82 nbConstraintChecks=76160874 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.82 solvingWckTime=30.268 solvingCpuTime=30.1 expiredTime=no totalExploration=no nbFoundSolutions=0
30.82 globalCpuTime=30.33
30.82 => wckTime=30.514 cpuTime=30.28 mem=5M451
30.83
30.83 solver IterativeSystematicSolver being built...
30.97 => wckTime=30.662 cpuTime=30.39 mem=16M411
31.01
31.01 preprocessing
31.01 nbConstraintChecks=6743 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.01 detectedInconsistency=no
31.01 => wckTime=0.038 cpuTime=0.03 mem=16M411
31.03
31.03 search
31.03 run=0 nbConstraintChecks=10982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32
31.03 nbFailedAssignments=3 nbBacktracks=12 nbVisitedNodes=48 nbRestartNogoods=0
31.03 => wckTime=0.056 cpuTime=0.04 mem=16M411
31.05
31.05 search
31.06 run=1 nbConstraintChecks=24024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67
31.06 nbFailedAssignments=11 nbBacktracks=27 nbVisitedNodes=106 nbRestartNogoods=2
31.06 => wckTime=0.082 cpuTime=0.05 mem=16M411
31.08
31.08 search
31.08 run=2 nbConstraintChecks=45091 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=121
31.08 nbFailedAssignments=28 nbBacktracks=52 nbVisitedNodes=197 nbRestartNogoods=4
31.08 => wckTime=0.104 cpuTime=0.07 mem=16M411
31.10
31.10 search
31.10 run=3 nbConstraintChecks=73880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=190
31.10 nbFailedAssignments=48 nbBacktracks=86 nbVisitedNodes=315 nbRestartNogoods=6
31.10 => wckTime=0.128 cpuTime=0.09 mem=16M411
31.13
31.13 search
31.13 run=4 nbConstraintChecks=108404 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=269
31.13 nbFailedAssignments=68 nbBacktracks=136 nbVisitedNodes=455 nbRestartNogoods=8
31.13 => wckTime=0.154 cpuTime=0.11 mem=16M411
31.17
31.17 search
31.17 run=5 nbConstraintChecks=166733 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=400
31.17 nbFailedAssignments=112 nbBacktracks=211 nbVisitedNodes=692 nbRestartNogoods=9
31.17 => wckTime=0.194 cpuTime=0.15 mem=16M411
31.22
31.22 search
31.22 run=6 nbConstraintChecks=245272 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=586
31.22 nbFailedAssignments=175 nbBacktracks=325 nbVisitedNodes=1020 nbRestartNogoods=11
31.22 => wckTime=0.251 cpuTime=0.21 mem=16M411
31.31
31.31 search
31.31 run=7 nbConstraintChecks=379099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=867
31.31 nbFailedAssignments=274 nbBacktracks=496 nbVisitedNodes=1543 nbRestartNogoods=15
31.31 => wckTime=0.339 cpuTime=0.3 mem=16M411
31.44
31.44 search
31.44 run=8 nbConstraintChecks=565015 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1281
31.44 nbFailedAssignments=420 nbBacktracks=758 nbVisitedNodes=2288 nbRestartNogoods=18
31.44 => wckTime=0.466 cpuTime=0.42 mem=16M411
31.63
31.63 search
31.63 run=9 nbConstraintChecks=836818 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1901
31.63 nbFailedAssignments=642 nbBacktracks=1142 nbVisitedNodes=3456 nbRestartNogoods=20
31.63 => wckTime=0.657 cpuTime=0.59 mem=16M411
31.89
31.89 search
31.89 run=10 nbConstraintChecks=1228881 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2798
31.89 nbFailedAssignments=954 nbBacktracks=1718 nbVisitedNodes=5108 nbRestartNogoods=24
31.89 => wckTime=0.912 cpuTime=0.83 mem=16M411
32.25
32.25 search
32.25 run=11 nbConstraintChecks=1814589 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4177
32.25 nbFailedAssignments=1456 nbBacktracks=2582 nbVisitedNodes=7644 nbRestartNogoods=29
32.25 => wckTime=1.28 cpuTime=1.2 mem=16M411
32.78
32.78 search
32.78 run=12 nbConstraintChecks=2711474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6135
32.78 nbFailedAssignments=2103 nbBacktracks=3879 nbVisitedNodes=11192 nbRestartNogoods=34
32.78 => wckTime=1.809 cpuTime=1.72 mem=16M411
33.56
33.56 search
33.56 run=13 nbConstraintChecks=4021873 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9020
33.56 nbFailedAssignments=3032 nbBacktracks=5827 nbVisitedNodes=16475 nbRestartNogoods=39
33.56 => wckTime=2.59 cpuTime=2.49 mem=16M411
34.74
34.74 search
34.74 run=14 nbConstraintChecks=5991639 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13513
34.74 nbFailedAssignments=4595 nbBacktracks=8750 nbVisitedNodes=24515 nbRestartNogoods=44
34.74 => wckTime=3.764 cpuTime=3.66 mem=17M386
36.40
36.40 search
36.40 run=15 nbConstraintChecks=8610381 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20021
36.40 nbFailedAssignments=6714 nbBacktracks=13129 nbVisitedNodes=36115 nbRestartNogoods=49
36.40 => wckTime=5.43 cpuTime=5.3 mem=17M386
38.85
38.85 search
38.85 run=16 nbConstraintChecks=12561621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29484
38.85 nbFailedAssignments=9596 nbBacktracks=19697 nbVisitedNodes=52121 nbRestartNogoods=56
38.85 => wckTime=7.876 cpuTime=7.72 mem=17M386
40.32
40.32 search
40.32 run=17 nbConstraintChecks=14818855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35069
40.32 nbFailedAssignments=11342 nbBacktracks=23537 nbVisitedNodes=61698 nbRestartNogoods=61
40.32 => wckTime=9.351 cpuTime=9.19 mem=17M386
40.33
40.33 global
40.33 nbConstraintChecks=14825598 nbRestartNogoods=61 solvingWckTime=9.352 solvingCpuTime=9.19 expiredTime=no
40.33 totalExploration=yes nbFoundSolutions=0 globalCpuTime=39.63
40.33 => wckTime=40.015 cpuTime=39.58 mem=17M386
40.33
40.33 s OPTIMUM FOUND
40.33 v 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0
40.33
40.33 totalWckTime=40.097 totalCpuTime=39.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-278344-1169287489 -o ROOT/results/node13/solver-278344-1169287489 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278344-1169287489/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: 1.85 1.97 1.93 4/93 24515
/proc/meminfo: memFree=1334096/2055920 swapFree=4169400/4192956
[pid=24514] ppid=24512 vsize=906644 CPUtime=0.02
/proc/24514/stat : 24514 (java) S 24512 24514 23875 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 277143961 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24514/statm: 226661 1817 1036 14 0 214244 0
[pid=24514/tid=24516] ppid=24512 vsize=906644 CPUtime=0
/proc/24514/task/24516/stat : 24516 (java) R 24512 24514 23875 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 277143965 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103563 s]
/proc/loadavg: 1.85 1.97 1.93 4/93 24515
/proc/meminfo: memFree=1334096/2055920 swapFree=4169400/4192956
[pid=24514] ppid=24512 vsize=914988 CPUtime=0.09
/proc/24514/stat : 24514 (java) R 24512 24514 23875 0 -1 0 3001 0 1 0 7 2 0 0 20 0 8 0 277143961 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24514/statm: 228747 2747 1428 14 0 215242 0
[pid=24514/tid=24516] ppid=24512 vsize=914988 CPUtime=0
/proc/24514/task/24516/stat : 24516 (java) S 24512 24514 23875 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 277143965 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511618 s]
/proc/loadavg: 1.85 1.97 1.93 4/93 24515
/proc/meminfo: memFree=1334096/2055920 swapFree=4169400/4192956
[pid=24514] ppid=24512 vsize=915332 CPUtime=0.49
/proc/24514/stat : 24514 (java) R 24512 24514 23875 0 -1 0 6533 0 1 0 45 4 0 0 22 0 8 0 277143961 937299968 6271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155888654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24514/statm: 228833 6271 2169 14 0 215303 0
[pid=24514/tid=24516] ppid=24512 vsize=915332 CPUtime=0.02
/proc/24514/task/24516/stat : 24516 (java) S 24512 24514 23875 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 277143965 937299968 6271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33472 s]
/proc/loadavg: 1.94 1.98 1.94 4/90 24525
/proc/meminfo: memFree=1334248/2055920 swapFree=4169400/4192956
[pid=24514] ppid=24512 vsize=915332 CPUtime=1.31
/proc/24514/stat : 24514 (java) R 24512 24514 23875 0 -1 0 6881 0 1 0 97 34 0 0 25 0 8 0 277143961 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24514/statm: 228833 6619 2479 14 0 215303 0
[pid=24514/tid=24516] ppid=24512 vsize=915336 CPUtime=0.02
/proc/24514/task/24516/stat : 24516 (java) S 24512 24514 23875 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 277143965 937304064 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24517] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24517/stat : 24517 (java) S 24512 24514 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277143965 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24518] ppid=24512 vsize=915336 CPUtime=0
/proc/24514/task/24518/stat : 24518 (java) S 24512 24514 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277143965 937304064 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24519] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24519/stat : 24519 (java) S 24512 24514 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277143969 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24520] ppid=24512 vsize=915332 CPUtime=0.1
/proc/24514/task/24520/stat : 24520 (java) S 24512 24514 23875 0 -1 64 313 0 0 0 9 1 0 0 16 0 8 0 277143969 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24521] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24521/stat : 24521 (java) S 24512 24514 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277143969 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24522] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24522/stat : 24522 (java) S 24512 24514 23875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277143969 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915332
[startup+2.98794 s]
/proc/loadavg: 1.94 1.98 1.94 2/88 24531
/proc/meminfo: memFree=1334264/2055920 swapFree=4169400/4192956
[pid=24514] ppid=24512 vsize=915332 CPUtime=2.97
/proc/24514/stat : 24514 (java) R 24512 24514 23875 0 -1 0 6884 0 1 0 191 106 0 0 22 0 8 0 277143961 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24514/statm: 228833 6621 2479 14 0 215303 0
[pid=24514/tid=24516] ppid=24512 vsize=915332 CPUtime=0.02
/proc/24514/task/24516/stat : 24516 (java) S 24512 24514 23875 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 277143965 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24517] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24517/stat : 24517 (java) S 24512 24514 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277143965 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24518] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24518/stat : 24518 (java) S 24512 24514 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277143965 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24519] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24519/stat : 24519 (java) S 24512 24514 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277143969 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24520] ppid=24512 vsize=915332 CPUtime=0.1
/proc/24514/task/24520/stat : 24520 (java) S 24512 24514 23875 0 -1 64 315 0 0 0 9 1 0 0 16 0 8 0 277143969 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24521] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24521/stat : 24521 (java) S 24512 24514 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277143969 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24522] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24522/stat : 24522 (java) S 24512 24514 23875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277143969 937299968 6621 18446744073709551615 134512640 134570532 4294956464 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) 915332
[startup+6.27238 s]
/proc/loadavg: 1.86 1.97 1.93 2/88 24636
/proc/meminfo: memFree=1334200/2055920 swapFree=4169400/4192956
[pid=24514] ppid=24512 vsize=915336 CPUtime=6.25
/proc/24514/stat : 24514 (java) R 24512 24514 23875 0 -1 0 6884 0 1 0 374 251 0 0 25 0 8 0 277143961 937304064 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24514/statm: 228833 6621 2479 14 0 215303 0
[pid=24514/tid=24516] ppid=24512 vsize=915332 CPUtime=0.02
/proc/24514/task/24516/stat : 24516 (java) S 24512 24514 23875 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 277143965 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24517] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24517/stat : 24517 (java) S 24512 24514 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277143965 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24518] ppid=24512 vsize=915336 CPUtime=0
/proc/24514/task/24518/stat : 24518 (java) S 24512 24514 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277143965 937304064 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24519] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24519/stat : 24519 (java) S 24512 24514 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277143969 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24520] ppid=24512 vsize=915336 CPUtime=0.1
/proc/24514/task/24520/stat : 24520 (java) S 24512 24514 23875 0 -1 64 315 0 0 0 9 1 0 0 16 0 8 0 277143969 937304064 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24521] ppid=24512 vsize=915332 CPUtime=0
/proc/24514/task/24521/stat : 24521 (java) S 24512 24514 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277143969 937299968 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24522] ppid=24512 vsize=915336 CPUtime=0
/proc/24514/task/24522/stat : 24522 (java) S 24512 24514 23875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277143969 937304064 6621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915336
[startup+12.7592 s]
/proc/loadavg: 1.79 1.95 1.93 3/95 24703
/proc/meminfo: memFree=1331712/2055920 swapFree=4169400/4192956
[pid=24514] ppid=24512 vsize=916356 CPUtime=12.73
/proc/24514/stat : 24514 (java) R 24512 24514 23875 0 -1 0 6885 0 1 0 728 545 0 0 25 0 8 0 277143961 938348544 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24514/statm: 229089 6622 2479 14 0 215559 0
[pid=24514/tid=24516] ppid=24512 vsize=916356 CPUtime=0.02
/proc/24514/task/24516/stat : 24516 (java) S 24512 24514 23875 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 277143965 938348544 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24517] ppid=24512 vsize=916356 CPUtime=0
/proc/24514/task/24517/stat : 24517 (java) S 24512 24514 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277143965 938348544 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24518] ppid=24512 vsize=916356 CPUtime=0
/proc/24514/task/24518/stat : 24518 (java) S 24512 24514 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277143965 938348544 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24519] ppid=24512 vsize=916356 CPUtime=0
/proc/24514/task/24519/stat : 24519 (java) S 24512 24514 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277143969 938348544 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24520] ppid=24512 vsize=916356 CPUtime=0.1
/proc/24514/task/24520/stat : 24520 (java) S 24512 24514 23875 0 -1 64 315 0 0 0 9 1 0 0 16 0 8 0 277143969 938348544 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24514/tid=24521] ppid=24512 vsize=916356 CPUtime=0
/proc/24514/task/24521/stat : 24521 (java) S 24512 24514 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277143969 938348544 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24522] ppid=24512 vsize=916356 CPUtime=0
/proc/24514/task/24522/stat : 24522 (java) S 24512 24514 23875 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277143969 938348544 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916356
[startup+25.599 s]
/proc/loadavg: 1.75 1.94 1.92 3/100 24776
/proc/meminfo: memFree=1315608/2055920 swapFree=4169400/4192956
[pid=24514] ppid=24512 vsize=916356 CPUtime=25.49
/proc/24514/stat : 24514 (java) R 24512 24514 23875 0 -1 0 6886 0 1 0 1423 1126 0 0 25 0 8 0 277143961 938348544 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073607862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24514/statm: 229089 6623 2479 14 0 215559 0
[pid=24514/tid=24516] ppid=24512 vsize=916356 CPUtime=0.02
/proc/24514/task/24516/stat : 24516 (java) S 24512 24514 23875 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 277143965 938348544 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24517] ppid=24512 vsize=916356 CPUtime=0
/proc/24514/task/24517/stat : 24517 (java) S 24512 24514 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277143965 938348544 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24518] ppid=24512 vsize=916356 CPUtime=0
/proc/24514/task/24518/stat : 24518 (java) S 24512 24514 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277143965 938348544 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24519] ppid=24512 vsize=916356 CPUtime=0
/proc/24514/task/24519/stat : 24519 (java) S 24512 24514 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277143969 938348544 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24520] ppid=24512 vsize=916356 CPUtime=0.11
/proc/24514/task/24520/stat : 24520 (java) S 24512 24514 23875 0 -1 64 316 0 0 0 10 1 0 0 16 0 8 0 277143969 938348544 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24521] ppid=24512 vsize=916356 CPUtime=0
/proc/24514/task/24521/stat : 24521 (java) S 24512 24514 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277143969 938348544 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24514/tid=24522] ppid=24512 vsize=916356 CPUtime=0
/proc/24514/task/24522/stat : 24522 (java) S 24512 24514 23875 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277143969 938348544 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 916356
Child status: 0
Real time (s): 40.3726
CPU time (s): 40.0999
CPU user time (s): 26.492
CPU system time (s): 13.6079
CPU usage (%): 99.3245
Max. virtual memory (cumulated for all children) (KiB): 916360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.492
system time used= 13.6079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9209
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= 1909
involuntary context switches= 3051
runsolver used 0.054991 s user time and 0.137979 s system time
The end
Begin job on node13 on Sat Jan 20 10:04:50 UTC 2007
IDJOB= 278344
IDBENCH= 8280
IDSOLVER= 68
FILE ID= node13/278344-1169287489
PBS_JOBID= 3609503
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-100-1000/cnf-2-40-200-456321_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278344-1169287489/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-278344-1169287489 -o ROOT/results/node13/solver-278344-1169287489 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278344-1169287489/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ab0c6c0e45fa99dcbd5927e44f22d358
RANDOM SEED= 310558477
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.247
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.247
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: 1334576 kB
Buffers: 60972 kB
Cached: 528968 kB
SwapCached: 8664 kB
Active: 324284 kB
Inactive: 318780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1334576 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 3560 kB
Writeback: 0 kB
Mapped: 69944 kB
Slab: 62836 kB
Committed_AS: 8698904 kB
PageTables: 2480 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 node13 on Sat Jan 20 10:05:30 UTC 2007