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/278641-1169289043/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.41 => wckTime=0.092 cpuTime=0.08 mem=6M887
0.41
0.41 relations being loaded...
0.46
0.46 constraints being loaded...
0.54 nbConstraints=189 nbRelationTypes=189 nbExtensionStructures=189 nbSharedExtensionStructures=0
0.54 nbConflictsStructures=189 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1858 maxDegree=27
0.54 maxArity=2
0.54 => wckTime=0.225 cpuTime=0.16 mem=8M837
0.58
0.58 solver LocalSearchSolver being built...
0.62 => wckTime=0.306 cpuTime=0.2 mem=5M532
0.62
0.62 s SATISFIABLE
0.62 o 140
0.62 c 49
0.62 o 146
0.62 c 43
0.62 o 150
0.62 c 39
0.62 o 154
0.62 c 35
0.63 o 157
0.63 c 32
0.63 o 160
0.63 c 29
0.63 o 162
0.63 c 27
0.63 o 163
0.63 c 26
0.63 o 166
0.63 c 23
0.64 o 167
0.64 c 22
0.64 o 170
0.64 c 19
0.64 o 172
0.64 c 17
0.64 o 174
0.64 c 15
0.64 o 175
0.64 c 14
0.64 o 176
0.64 c 13
0.64 o 177
0.64 c 12
0.65 o 178
0.65 c 11
0.65 o 180
0.65 c 9
1.86
1.86 search
1.86 run=0 nbConstraintChecks=5913816 nbAssignments=10000
1.86 => wckTime=1.243 cpuTime=1.22 mem=5M532
3.05
3.06 search
3.06 run=1 nbConstraintChecks=11949110 nbAssignments=20000
3.06 => wckTime=2.437 cpuTime=2.41 mem=5M532
4.23
4.23 search
4.23 run=2 nbConstraintChecks=17849728 nbAssignments=30000
4.23 => wckTime=3.611 cpuTime=3.59 mem=5M532
5.42
5.42 search
5.42 run=3 nbConstraintChecks=23922202 nbAssignments=40000
5.42 => wckTime=4.803 cpuTime=4.78 mem=5M532
6.60
6.60 search
6.60 run=4 nbConstraintChecks=29836698 nbAssignments=50000
6.60 => wckTime=5.981 cpuTime=5.95 mem=5M532
7.79
7.79 search
7.79 run=5 nbConstraintChecks=35885581 nbAssignments=60000
7.79 => wckTime=7.171 cpuTime=7.14 mem=5M532
8.99
8.99 search
8.99 run=6 nbConstraintChecks=41834845 nbAssignments=70000
8.99 => wckTime=8.369 cpuTime=8.33 mem=5M532
10.21
10.21 search
10.21 run=7 nbConstraintChecks=47927979 nbAssignments=80000
10.21 => wckTime=9.588 cpuTime=9.54 mem=5M532
11.38
11.38 search
11.38 run=8 nbConstraintChecks=53801874 nbAssignments=90000
11.38 => wckTime=10.76 cpuTime=10.71 mem=5M532
12.58
12.58 search
12.58 run=9 nbConstraintChecks=59952264 nbAssignments=100000
12.58 => wckTime=11.96 cpuTime=11.91 mem=5M532
13.76
13.76 search
13.76 run=10 nbConstraintChecks=65851731 nbAssignments=110000
13.76 => wckTime=13.145 cpuTime=13.1 mem=5M532
14.97
14.97 search
14.97 run=11 nbConstraintChecks=71931160 nbAssignments=120000
14.97 => wckTime=14.35 cpuTime=14.31 mem=5M532
16.15
16.15 search
16.15 run=12 nbConstraintChecks=77827577 nbAssignments=130000
16.15 => wckTime=15.535 cpuTime=15.49 mem=5M532
17.37
17.37 search
17.37 run=13 nbConstraintChecks=84031765 nbAssignments=140000
17.37 => wckTime=16.755 cpuTime=16.71 mem=5M532
18.56
18.56 search
18.56 run=14 nbConstraintChecks=89993971 nbAssignments=150000
18.56 => wckTime=17.947 cpuTime=17.9 mem=5M532
19.75
19.75 search
19.75 run=15 nbConstraintChecks=95927401 nbAssignments=160000
19.75 => wckTime=19.135 cpuTime=19.09 mem=5M532
20.94
20.94 search
20.94 run=16 nbConstraintChecks=101857551 nbAssignments=170000
20.94 => wckTime=20.322 cpuTime=20.27 mem=5M532
22.15
22.15 search
22.15 run=17 nbConstraintChecks=108001336 nbAssignments=180000
22.15 => wckTime=21.535 cpuTime=21.48 mem=5M532
23.34
23.34 search
23.34 run=18 nbConstraintChecks=113938562 nbAssignments=190000
23.34 => wckTime=22.72 cpuTime=22.67 mem=5M532
24.53
24.53 search
24.53 run=19 nbConstraintChecks=119964835 nbAssignments=200000
24.53 => wckTime=23.91 cpuTime=23.86 mem=5M532
25.71
25.71 search
25.71 run=20 nbConstraintChecks=125909373 nbAssignments=210000
25.71 => wckTime=25.095 cpuTime=25.04 mem=5M532
26.90
26.90 search
26.90 run=21 nbConstraintChecks=131941610 nbAssignments=220000
26.90 => wckTime=26.286 cpuTime=26.23 mem=5M532
28.08
28.08 search
28.08 run=22 nbConstraintChecks=137813633 nbAssignments=230000
28.08 => wckTime=27.46 cpuTime=27.41 mem=5M532
29.28
29.28 search
29.28 run=23 nbConstraintChecks=144002194 nbAssignments=240000
29.28 => wckTime=28.666 cpuTime=28.61 mem=5M532
30.46
30.46 search
30.46 run=24 nbConstraintChecks=149877765 nbAssignments=250000
30.46 => wckTime=29.841 cpuTime=29.79 mem=5M532
30.70
30.70 search
30.70 run=25 nbConstraintChecks=151101653 nbAssignments=252056
30.70 => wckTime=30.084 cpuTime=30.03 mem=5M532
30.70
30.70 global
30.70 nbConstraintChecks=151101653 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.70 solvingWckTime=30.083 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.70 globalCpuTime=30.27
30.70 => wckTime=30.39 cpuTime=30.23 mem=5M532
30.70
30.70 solver IterativeSystematicSolver being built...
30.83 => wckTime=30.518 cpuTime=30.33 mem=16M554
30.87
30.87 preprocessing
30.87 nbConstraintChecks=11427 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.87 detectedInconsistency=no
30.87 => wckTime=0.035 cpuTime=0.02 mem=16M554
30.90
30.90 search
30.90 run=0 nbConstraintChecks=43541 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46
30.90 nbFailedAssignments=26 nbBacktracks=10 nbVisitedNodes=83 nbRestartNogoods=0
30.90 => wckTime=0.067 cpuTime=0.05 mem=16M554
30.95
30.95 search
30.95 run=1 nbConstraintChecks=111725 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112
30.95 nbFailedAssignments=67 nbBacktracks=25 nbVisitedNodes=205 nbRestartNogoods=2
30.95 => wckTime=0.113 cpuTime=0.09 mem=16M554
30.98
30.98 search
30.98 run=2 nbConstraintChecks=189440 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=188
30.98 nbFailedAssignments=110 nbBacktracks=47 nbVisitedNodes=345 nbRestartNogoods=7
30.98 => wckTime=0.149 cpuTime=0.12 mem=16M554
31.03
31.03 search
31.03 run=3 nbConstraintChecks=301795 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=294
31.03 nbFailedAssignments=174 nbBacktracks=80 nbVisitedNodes=548 nbRestartNogoods=9
31.03 => wckTime=0.193 cpuTime=0.16 mem=16M554
31.09
31.09 search
31.09 run=4 nbConstraintChecks=468079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=447
31.09 nbFailedAssignments=267 nbBacktracks=130 nbVisitedNodes=844 nbRestartNogoods=14
31.09 => wckTime=0.262 cpuTime=0.24 mem=16M554
31.18
31.18 search
31.18 run=5 nbConstraintChecks=701499 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=663
31.18 nbFailedAssignments=398 nbBacktracks=206 nbVisitedNodes=1265 nbRestartNogoods=20
31.18 => wckTime=0.351 cpuTime=0.33 mem=16M554
31.31
31.31 search
31.31 run=6 nbConstraintChecks=1046402 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=998
31.31 nbFailedAssignments=611 nbBacktracks=319 nbVisitedNodes=1922 nbRestartNogoods=22
31.32 => wckTime=0.482 cpuTime=0.46 mem=16M554
31.52
31.52 search
31.52 run=7 nbConstraintChecks=1594842 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1494
31.52 nbFailedAssignments=928 nbBacktracks=491 nbVisitedNodes=2904 nbRestartNogoods=35
31.52 => wckTime=0.69 cpuTime=0.65 mem=16M554
31.79
31.79 search
31.79 run=8 nbConstraintChecks=2338082 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2174
31.79 nbFailedAssignments=1344 nbBacktracks=747 nbVisitedNodes=4254 nbRestartNogoods=38
31.79 => wckTime=0.958 cpuTime=0.91 mem=16M554
32.22
32.22 search
32.22 run=9 nbConstraintChecks=3462815 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3279
32.22 nbFailedAssignments=2057 nbBacktracks=1132 nbVisitedNodes=6438 nbRestartNogoods=43
32.22 => wckTime=1.383 cpuTime=1.33 mem=16M554
32.80
32.81 search
32.81 run=10 nbConstraintChecks=5141100 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4762
32.81 nbFailedAssignments=2954 nbBacktracks=1708 nbVisitedNodes=9390 nbRestartNogoods=47
32.81 => wckTime=1.972 cpuTime=1.91 mem=16M554
33.67
33.67 search
33.67 run=11 nbConstraintChecks=7805273 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7169
33.67 nbFailedAssignments=4488 nbBacktracks=2572 nbVisitedNodes=14175 nbRestartNogoods=60
33.67 => wckTime=2.833 cpuTime=2.78 mem=16M554
34.92
34.92 search
34.92 run=12 nbConstraintChecks=11582022 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10511
34.92 nbFailedAssignments=6523 nbBacktracks=3869 nbVisitedNodes=20817 nbRestartNogoods=69
34.92 => wckTime=4.09 cpuTime=4.03 mem=16M554
36.76
36.76 search
36.76 run=13 nbConstraintChecks=16951310 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15531
36.76 nbFailedAssignments=9589 nbBacktracks=5815 nbVisitedNodes=30831 nbRestartNogoods=85
36.76 => wckTime=5.924 cpuTime=5.86 mem=16M554
39.42
39.42 search
39.42 run=14 nbConstraintChecks=24980326 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22626
39.42 nbFailedAssignments=13757 nbBacktracks=8734 nbVisitedNodes=44980 nbRestartNogoods=93
39.42 => wckTime=8.589 cpuTime=8.53 mem=16M554
43.71
43.71 search
43.71 run=15 nbConstraintChecks=37881763 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33303
43.71 nbFailedAssignments=20049 nbBacktracks=13112 nbVisitedNodes=66287 nbRestartNogoods=104
43.71 => wckTime=12.88 cpuTime=12.81 mem=16M554
49.54
49.54 search
49.54 run=16 nbConstraintChecks=55090645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48185
49.54 nbFailedAssignments=28353 nbBacktracks=19680 nbVisitedNodes=95774 nbRestartNogoods=113
49.54 => wckTime=18.703 cpuTime=18.62 mem=16M554
58.32
58.32 search
58.32 run=17 nbConstraintChecks=80260058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=70711
58.32 nbFailedAssignments=41020 nbBacktracks=29532 nbVisitedNodes=140041 nbRestartNogoods=124
58.32 => wckTime=27.489 cpuTime=27.38 mem=16M554
64.79
64.79 search
64.79 run=18 nbConstraintChecks=98578933 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87025
64.79 nbFailedAssignments=49655 nbBacktracks=37212 nbVisitedNodes=171629 nbRestartNogoods=138
64.79 => wckTime=33.954 cpuTime=33.84 mem=16M554
64.79
64.79 global
64.79 nbConstraintChecks=98590360 nbRestartNogoods=138 solvingWckTime=33.955 solvingCpuTime=33.84 expiredTime=no
64.79 totalExploration=yes nbFoundSolutions=0 globalCpuTime=64.21
64.79 => wckTime=64.474 cpuTime=64.17 mem=16M554
64.79
64.79 s OPTIMUM FOUND
64.79 v 4 2 1 2 1 4 3 4 1 4 0 3 0 3 3 2 0 0 3 4 3 1 3 0 3 3 4 2
64.79
64.79 totalWckTime=64.551 totalCpuTime=64.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-278641-1169289043 -o ROOT/results/node44/solver-278641-1169289043 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278641-1169289043/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.60 1.46 1.75 3/68 18460
/proc/meminfo: memFree=1281544/2055920 swapFree=4191892/4192956
[pid=18459] ppid=18457 vsize=292 CPUtime=0
/proc/18459/stat : 18459 (java) R 18457 18459 18172 0 -1 0 48 0 0 0 0 0 0 0 21 0 1 0 277303809 299008 32 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 11285511 0 0 4096 0 0 0 0 17 1 0 0
/proc/18459/statm: 73 35 27 14 0 5 0
[startup+0.105802 s]
/proc/loadavg: 0.60 1.46 1.75 3/68 18460
/proc/meminfo: memFree=1281544/2055920 swapFree=4191892/4192956
[pid=18459] ppid=18457 vsize=913612 CPUtime=0.07
/proc/18459/stat : 18459 (java) R 18457 18459 18172 0 -1 0 2752 0 1 0 6 1 0 0 18 0 8 0 277303809 935538688 2498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18459/statm: 228403 2498 1382 14 0 215347 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913612
[startup+0.513841 s]
/proc/loadavg: 0.60 1.46 1.75 3/68 18460
/proc/meminfo: memFree=1281544/2055920 swapFree=4191892/4192956
[pid=18459] ppid=18457 vsize=916356 CPUtime=0.46
/proc/18459/stat : 18459 (java) R 18457 18459 18172 0 -1 0 6492 0 1 0 43 3 0 0 16 0 8 0 277303809 938348544 6231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18459/statm: 229089 6232 2152 14 0 215559 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 916356
[startup+1.33492 s]
/proc/loadavg: 0.60 1.46 1.75 2/75 18473
/proc/meminfo: memFree=1263568/2055920 swapFree=4191892/4192956
[pid=18459] ppid=18457 vsize=916484 CPUtime=1.28
/proc/18459/stat : 18459 (java) R 18457 18459 18172 0 -1 0 7157 0 1 0 103 25 0 0 20 0 8 0 277303809 938479616 6895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18459/statm: 229121 6895 2479 14 0 215591 0
[pid=18459/tid=18465] ppid=18457 vsize=916484 CPUtime=0.02
/proc/18459/task/18465/stat : 18465 (java) S 18457 18459 18172 0 -1 64 162 0 0 0 2 0 0 0 17 0 8 0 277303814 938479616 6895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18466] ppid=18457 vsize=916488 CPUtime=0
/proc/18459/task/18466/stat : 18466 (java) S 18457 18459 18172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277303815 938483712 6895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18467] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18467/stat : 18467 (java) S 18457 18459 18172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277303815 938479616 6895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18470] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18470/stat : 18470 (java) S 18457 18459 18172 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277303818 938479616 6895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18471] ppid=18457 vsize=916488 CPUtime=0.12
/proc/18459/task/18471/stat : 18471 (java) S 18457 18459 18172 0 -1 64 343 0 0 0 12 0 0 0 16 0 8 0 277303818 938483712 6895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18472] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18472/stat : 18472 (java) S 18457 18459 18172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277303818 938479616 6895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18473] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18473/stat : 18473 (java) S 18457 18459 18172 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277303818 938479616 6895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 916484
[startup+2.97209 s]
/proc/loadavg: 0.60 1.46 1.75 2/75 18473
/proc/meminfo: memFree=1263376/2055920 swapFree=4191892/4192956
[pid=18459] ppid=18457 vsize=916488 CPUtime=2.92
/proc/18459/stat : 18459 (java) R 18457 18459 18172 0 -1 0 7162 0 1 0 216 76 0 0 25 0 8 0 277303809 938483712 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18459/statm: 229121 6899 2480 14 0 215591 0
[pid=18459/tid=18465] ppid=18457 vsize=916484 CPUtime=0.02
/proc/18459/task/18465/stat : 18465 (java) S 18457 18459 18172 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277303814 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18466] ppid=18457 vsize=916488 CPUtime=0
/proc/18459/task/18466/stat : 18466 (java) S 18457 18459 18172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277303815 938483712 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18467] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18467/stat : 18467 (java) S 18457 18459 18172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277303815 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18470] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18470/stat : 18470 (java) S 18457 18459 18172 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277303818 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18471] ppid=18457 vsize=916484 CPUtime=0.12
/proc/18459/task/18471/stat : 18471 (java) S 18457 18459 18172 0 -1 64 346 0 0 0 12 0 0 0 16 0 8 0 277303818 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18472] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18472/stat : 18472 (java) S 18457 18459 18172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277303818 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18473] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18473/stat : 18473 (java) S 18457 18459 18172 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277303818 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 916488
[startup+6.17242 s]
/proc/loadavg: 0.63 1.45 1.75 3/82 18495
/proc/meminfo: memFree=1261912/2055920 swapFree=4191892/4192956
[pid=18459] ppid=18457 vsize=916484 CPUtime=6.12
/proc/18459/stat : 18459 (java) R 18457 18459 18172 0 -1 0 7162 0 1 0 441 171 0 0 25 0 8 0 277303809 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18459/statm: 229121 6899 2480 14 0 215591 0
[pid=18459/tid=18465] ppid=18457 vsize=916484 CPUtime=0.02
/proc/18459/task/18465/stat : 18465 (java) S 18457 18459 18172 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277303814 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18466] ppid=18457 vsize=916488 CPUtime=0
/proc/18459/task/18466/stat : 18466 (java) S 18457 18459 18172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277303815 938483712 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18467] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18467/stat : 18467 (java) S 18457 18459 18172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277303815 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18470] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18470/stat : 18470 (java) S 18457 18459 18172 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277303818 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18471] ppid=18457 vsize=916484 CPUtime=0.13
/proc/18459/task/18471/stat : 18471 (java) S 18457 18459 18172 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 277303818 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18472] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18472/stat : 18472 (java) S 18457 18459 18172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277303818 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18473] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18473/stat : 18473 (java) S 18457 18459 18172 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277303818 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 916484
[startup+12.6391 s]
/proc/loadavg: 0.76 1.45 1.74 2/75 18518
/proc/meminfo: memFree=1263192/2055920 swapFree=4191892/4192956
[pid=18459] ppid=18457 vsize=916484 CPUtime=12.57
/proc/18459/stat : 18459 (java) R 18457 18459 18172 0 -1 0 7162 0 1 0 880 377 0 0 25 0 8 0 277303809 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18459/statm: 229121 6899 2480 14 0 215591 0
[pid=18459/tid=18465] ppid=18457 vsize=916488 CPUtime=0.02
/proc/18459/task/18465/stat : 18465 (java) S 18457 18459 18172 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277303814 938483712 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18466] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18466/stat : 18466 (java) S 18457 18459 18172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277303815 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18467] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18467/stat : 18467 (java) S 18457 18459 18172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277303815 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18470] ppid=18457 vsize=916488 CPUtime=0
/proc/18459/task/18470/stat : 18470 (java) S 18457 18459 18172 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277303818 938483712 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18471] ppid=18457 vsize=916484 CPUtime=0.13
/proc/18459/task/18471/stat : 18471 (java) S 18457 18459 18172 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 277303818 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18472] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18472/stat : 18472 (java) S 18457 18459 18172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277303818 938479616 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18473] ppid=18457 vsize=916488 CPUtime=0
/proc/18459/task/18473/stat : 18473 (java) S 18457 18459 18172 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277303818 938483712 6899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 916484
[startup+25.4994 s]
/proc/loadavg: 0.80 1.43 1.73 2/75 18519
/proc/meminfo: memFree=1266016/2055920 swapFree=4191892/4192956
[pid=18459] ppid=18457 vsize=916484 CPUtime=25.43
/proc/18459/stat : 18459 (java) R 18457 18459 18172 0 -1 0 7163 0 1 0 1767 776 0 0 25 0 8 0 277303809 938479616 6900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18459/statm: 229121 6900 2480 14 0 215591 0
[pid=18459/tid=18465] ppid=18457 vsize=916488 CPUtime=0.02
/proc/18459/task/18465/stat : 18465 (java) S 18457 18459 18172 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277303814 938483712 6900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18466] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18466/stat : 18466 (java) S 18457 18459 18172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277303815 938479616 6900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18467] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18467/stat : 18467 (java) S 18457 18459 18172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277303815 938479616 6900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18470] ppid=18457 vsize=916488 CPUtime=0
/proc/18459/task/18470/stat : 18470 (java) S 18457 18459 18172 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277303818 938483712 6900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18471] ppid=18457 vsize=916484 CPUtime=0.13
/proc/18459/task/18471/stat : 18471 (java) S 18457 18459 18172 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 277303818 938479616 6900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18472] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18472/stat : 18472 (java) S 18457 18459 18172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277303818 938479616 6900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18473] ppid=18457 vsize=916488 CPUtime=0
/proc/18459/task/18473/stat : 18473 (java) S 18457 18459 18172 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277303818 938483712 6900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 916484
[startup+51.118 s]
/proc/loadavg: 1.15 1.46 1.73 3/81 18598
/proc/meminfo: memFree=1226160/2055920 swapFree=4191892/4192956
[pid=18459] ppid=18457 vsize=916484 CPUtime=51.02
/proc/18459/stat : 18459 (java) R 18457 18459 18172 0 -1 0 9069 0 1 0 4163 939 0 0 25 0 8 0 277303809 938479616 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18459/statm: 229121 8802 2533 14 0 215591 0
[pid=18459/tid=18465] ppid=18457 vsize=916484 CPUtime=0.02
/proc/18459/task/18465/stat : 18465 (java) S 18457 18459 18172 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277303814 938479616 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18466] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18466/stat : 18466 (java) S 18457 18459 18172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277303815 938479616 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18467] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18467/stat : 18467 (java) S 18457 18459 18172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277303815 938479616 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18459/tid=18470] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18470/stat : 18470 (java) S 18457 18459 18172 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277303818 938479616 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18471] ppid=18457 vsize=916484 CPUtime=0.22
/proc/18459/task/18471/stat : 18471 (java) S 18457 18459 18172 0 -1 64 401 0 0 0 22 0 0 0 16 0 8 0 277303818 938479616 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18472] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18472/stat : 18472 (java) S 18457 18459 18172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277303818 938479616 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18459/tid=18473] ppid=18457 vsize=916484 CPUtime=0
/proc/18459/task/18473/stat : 18473 (java) S 18457 18459 18172 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277303818 938479616 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 916484
Child status: 0
Real time (s): 64.8367
CPU time (s): 64.6852
CPU user time (s): 55.2826
CPU system time (s): 9.40257
CPU usage (%): 99.7663
Max. virtual memory (cumulated for all children) (KiB): 917000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.2826
system time used= 9.40257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9170
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= 2227
involuntary context switches= 770
runsolver used 0.098984 s user time and 0.185971 s system time
The end
Begin job on node44 on Sat Jan 20 10:30:44 UTC 2007
IDJOB= 278641
IDBENCH= 8589
IDSOLVER= 68
FILE ID= node44/278641-1169289043
PBS_JOBID= 3609706
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-30/kbtree-9-7-3-5-30-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278641-1169289043/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-278641-1169289043 -o ROOT/results/node44/solver-278641-1169289043 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278641-1169289043/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b5bd010ab2b38e6399d243218d3f49a8
RANDOM SEED= 653149977
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.213
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.213
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: 1282024 kB
Buffers: 55372 kB
Cached: 621164 kB
SwapCached: 268 kB
Active: 192660 kB
Inactive: 503508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1282024 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4608 kB
Writeback: 0 kB
Mapped: 28568 kB
Slab: 63468 kB
Committed_AS: 5041612 kB
PageTables: 1596 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 node44 on Sat Jan 20 10:31:54 UTC 2007