0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/282359-1169318944/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.098 cpuTime=0.07 mem=6M903
0.42
0.42 relations being loaded...
0.46
0.46 constraints being loaded...
0.50 nbConstraints=53 nbRelationTypes=53 nbExtensionStructures=53 nbSharedExtensionStructures=0
0.50 nbConflictsStructures=53 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=638 maxDegree=9 maxArity=2
0.51 => wckTime=0.188 cpuTime=0.12 mem=7M911
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.267 cpuTime=0.16 mem=5M422
0.59
0.59 s SATISFIABLE
0.59 o 19
0.59 c 34
0.59 o 21
0.59 c 32
0.59 o 24
0.59 c 29
0.59 o 26
0.59 c 27
0.59 o 28
0.59 c 25
0.59 o 29
0.59 c 24
0.59 o 30
0.59 c 23
0.59 o 31
0.59 c 22
0.59 o 32
0.59 c 21
0.60 o 33
0.60 c 20
0.60 o 35
0.60 c 18
0.60 o 36
0.60 c 17
0.60 o 37
0.60 c 16
0.60 o 38
0.60 c 15
0.60 o 39
0.60 c 14
0.60 o 40
0.60 c 13
0.60 o 41
0.60 c 12
0.61 o 42
0.61 c 11
0.61 o 43
0.61 c 10
0.61 o 44
0.61 c 9
0.63 o 45
0.63 c 8
0.63 o 46
0.63 c 7
1.69
1.69 search
1.69 run=0 nbConstraintChecks=3991138 nbAssignments=10000
1.69 => wckTime=1.106 cpuTime=1.08 mem=5M422
2.76
2.76 search
2.76 run=1 nbConstraintChecks=8239579 nbAssignments=20000
2.76 => wckTime=2.175 cpuTime=2.14 mem=5M422
3.80
3.80 search
3.80 run=2 nbConstraintChecks=12331201 nbAssignments=30000
3.80 => wckTime=3.214 cpuTime=3.17 mem=5M422
4.84
4.84 search
4.84 run=3 nbConstraintChecks=16446918 nbAssignments=40000
4.84 => wckTime=4.256 cpuTime=4.2 mem=5M422
5.89
5.89 search
5.89 run=4 nbConstraintChecks=20653165 nbAssignments=50000
5.89 => wckTime=5.311 cpuTime=5.25 mem=5M422
6.93
6.93 search
6.93 run=5 nbConstraintChecks=24690509 nbAssignments=60000
6.93 => wckTime=6.345 cpuTime=6.27 mem=5M422
7.96
7.96 search
7.96 run=6 nbConstraintChecks=28733263 nbAssignments=70000
7.96 => wckTime=7.38 cpuTime=7.3 mem=5M422
9.01
9.01 search
9.01 run=7 nbConstraintChecks=32911922 nbAssignments=80000
9.01 => wckTime=8.427 cpuTime=8.35 mem=5M422
10.04
10.04 search
10.04 run=8 nbConstraintChecks=36916399 nbAssignments=90000
10.04 => wckTime=9.457 cpuTime=9.36 mem=5M422
11.07
11.07 search
11.07 run=9 nbConstraintChecks=40954709 nbAssignments=100000
11.07 => wckTime=10.491 cpuTime=10.38 mem=5M422
12.12
12.12 search
12.12 run=10 nbConstraintChecks=45067590 nbAssignments=110000
12.12 => wckTime=11.534 cpuTime=11.42 mem=5M422
13.17
13.17 search
13.17 run=11 nbConstraintChecks=49181720 nbAssignments=120000
13.17 => wckTime=12.587 cpuTime=12.46 mem=5M422
14.23
14.23 search
14.23 run=12 nbConstraintChecks=53356421 nbAssignments=130000
14.23 => wckTime=13.647 cpuTime=13.52 mem=5M422
15.29
15.29 search
15.29 run=13 nbConstraintChecks=57493511 nbAssignments=140000
15.29 => wckTime=14.704 cpuTime=14.56 mem=5M422
16.34
16.34 search
16.34 run=14 nbConstraintChecks=61655873 nbAssignments=150000
16.34 => wckTime=15.761 cpuTime=15.6 mem=5M422
17.39
17.39 search
17.39 run=15 nbConstraintChecks=65695769 nbAssignments=160000
17.39 => wckTime=16.806 cpuTime=16.65 mem=5M422
18.45
18.45 search
18.45 run=16 nbConstraintChecks=69863060 nbAssignments=170000
18.45 => wckTime=17.865 cpuTime=17.7 mem=5M422
19.48
19.48 search
19.48 run=17 nbConstraintChecks=73878703 nbAssignments=180000
19.48 => wckTime=18.9 cpuTime=18.72 mem=5M422
20.53
20.53 search
20.53 run=18 nbConstraintChecks=77943338 nbAssignments=190000
20.53 => wckTime=19.947 cpuTime=19.76 mem=5M422
21.57
21.57 search
21.57 run=19 nbConstraintChecks=81894800 nbAssignments=200000
21.57 => wckTime=20.985 cpuTime=20.79 mem=5M422
22.62
22.62 search
22.62 run=20 nbConstraintChecks=85969556 nbAssignments=210000
22.62 => wckTime=22.033 cpuTime=21.83 mem=5M422
23.67
23.67 search
23.67 run=21 nbConstraintChecks=90129494 nbAssignments=220000
23.67 => wckTime=23.084 cpuTime=22.87 mem=5M422
24.70
24.70 search
24.70 run=22 nbConstraintChecks=94151222 nbAssignments=230000
24.70 => wckTime=24.121 cpuTime=23.9 mem=5M422
25.73
25.73 search
25.73 run=23 nbConstraintChecks=98067205 nbAssignments=240000
25.73 => wckTime=25.145 cpuTime=24.91 mem=5M422
26.76
26.76 search
26.76 run=24 nbConstraintChecks=102026358 nbAssignments=250000
26.76 => wckTime=26.174 cpuTime=25.93 mem=5M422
27.81
27.81 search
27.81 run=25 nbConstraintChecks=106150063 nbAssignments=260000
27.81 => wckTime=27.226 cpuTime=26.97 mem=5M422
28.85
28.85 search
28.85 run=26 nbConstraintChecks=110195912 nbAssignments=270000
28.85 => wckTime=28.266 cpuTime=28.0 mem=5M422
29.90
29.90 search
29.90 run=27 nbConstraintChecks=114328451 nbAssignments=280000
29.90 => wckTime=29.316 cpuTime=29.04 mem=5M422
30.91
30.91 search
30.91 run=28 nbConstraintChecks=118254865 nbAssignments=289807
30.91 => wckTime=30.33 cpuTime=30.05 mem=5M422
30.91
30.92 global
30.92 nbConstraintChecks=118254865 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.92 solvingWckTime=30.329 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
30.92 globalCpuTime=30.27
30.92 => wckTime=30.598 cpuTime=30.21 mem=5M422
30.92
30.92 solver IterativeSystematicSolver being built...
31.05 => wckTime=30.738 cpuTime=30.31 mem=16M458
31.06
31.06 preprocessing
31.06 nbConstraintChecks=180 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.06 detectedInconsistency=no
31.06 => wckTime=0.0020 cpuTime=0.0 mem=16M458
31.11
31.11 search
31.11 run=0 nbConstraintChecks=35747 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41
31.11 nbFailedAssignments=27 nbBacktracks=10 nbVisitedNodes=79 nbRestartNogoods=0
31.11 => wckTime=0.056 cpuTime=0.03 mem=16M458
31.16
31.16 search
31.16 run=1 nbConstraintChecks=102622 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=116
31.16 nbFailedAssignments=84 nbBacktracks=25 nbVisitedNodes=225 nbRestartNogoods=11
31.16 => wckTime=0.101 cpuTime=0.07 mem=16M458
31.20
31.20 search
31.20 run=2 nbConstraintChecks=203716 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=217
31.20 nbFailedAssignments=160 nbBacktracks=47 nbVisitedNodes=424 nbRestartNogoods=17
31.20 => wckTime=0.139 cpuTime=0.1 mem=16M458
31.24
31.24 search
31.24 run=3 nbConstraintChecks=329210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=352
31.24 nbFailedAssignments=257 nbBacktracks=80 nbVisitedNodes=687 nbRestartNogoods=29
31.24 => wckTime=0.182 cpuTime=0.14 mem=16M458
31.31
31.31 search
31.31 run=4 nbConstraintChecks=529222 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=576
31.31 nbFailedAssignments=427 nbBacktracks=130 nbVisitedNodes=1130 nbRestartNogoods=44
31.31 => wckTime=0.256 cpuTime=0.21 mem=16M458
31.40
31.40 search
31.40 run=5 nbConstraintChecks=812678 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=870
31.40 nbFailedAssignments=642 nbBacktracks=205 nbVisitedNodes=1713 nbRestartNogoods=59
31.40 => wckTime=0.347 cpuTime=0.3 mem=16M458
31.58
31.58 search
31.58 run=6 nbConstraintChecks=1353049 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1437
31.58 nbFailedAssignments=1092 nbBacktracks=320 nbVisitedNodes=2837 nbRestartNogoods=69
31.58 => wckTime=0.523 cpuTime=0.47 mem=16M458
31.81
31.81 search
31.81 run=7 nbConstraintChecks=1968147 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2129
31.81 nbFailedAssignments=1611 nbBacktracks=490 nbVisitedNodes=4196 nbRestartNogoods=74
31.81 => wckTime=0.753 cpuTime=0.68 mem=16M458
32.12
32.12 search
32.12 run=8 nbConstraintChecks=3028310 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3150
32.12 nbFailedAssignments=2369 nbBacktracks=746 nbVisitedNodes=6221 nbRestartNogoods=81
32.12 => wckTime=1.069 cpuTime=0.99 mem=16M458
32.49
32.49 search
32.49 run=9 nbConstraintChecks=4377421 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4489
32.49 nbFailedAssignments=3319 nbBacktracks=1130 nbVisitedNodes=8866 nbRestartNogoods=102
32.49 => wckTime=1.431 cpuTime=1.35 mem=16M458
33.25
33.25 search
33.25 run=10 nbConstraintChecks=6924208 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7030
33.25 nbFailedAssignments=5280 nbBacktracks=1707 nbVisitedNodes=13899 nbRestartNogoods=122
33.25 => wckTime=2.196 cpuTime=2.1 mem=16M458
34.14
34.14 search
34.14 run=11 nbConstraintChecks=10028393 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10099
34.14 nbFailedAssignments=7482 nbBacktracks=2571 nbVisitedNodes=20025 nbRestartNogoods=128
34.14 => wckTime=3.082 cpuTime=2.98 mem=16M458
35.68
35.68 search
35.68 run=12 nbConstraintChecks=15196196 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15345
35.68 nbFailedAssignments=11427 nbBacktracks=3868 nbVisitedNodes=30450 nbRestartNogoods=140
35.68 => wckTime=4.629 cpuTime=4.51 mem=16M458
37.77
37.77 search
37.77 run=13 nbConstraintChecks=22219334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23143
37.77 nbFailedAssignments=17276 nbBacktracks=5814 nbVisitedNodes=45919 nbRestartNogoods=152
37.77 => wckTime=6.715 cpuTime=6.58 mem=16M458
40.74
40.74 search
40.74 run=14 nbConstraintChecks=31281044 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33610
40.74 nbFailedAssignments=24819 nbBacktracks=8733 nbVisitedNodes=66702 nbRestartNogoods=161
40.74 => wckTime=9.682 cpuTime=9.52 mem=16M458
44.57
44.57 search
44.57 run=15 nbConstraintChecks=43005311 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47685
44.57 nbFailedAssignments=34975 nbBacktracks=12653 nbVisitedNodes=94588 nbRestartNogoods=178
44.57 => wckTime=13.512 cpuTime=13.32 mem=16M458
44.57
44.57 global
44.57 nbConstraintChecks=43005491 nbRestartNogoods=178 solvingWckTime=13.513 solvingCpuTime=13.32 expiredTime=no
44.57 totalExploration=yes nbFoundSolutions=0 globalCpuTime=43.69
44.57 => wckTime=44.252 cpuTime=43.63 mem=16M458
44.57
44.57 s OPTIMUM FOUND
44.57 v 9 4 10 4 5 1 6 9 3 5 6 4 1 2 9 9 4 7 8 10
44.57
44.57 totalWckTime=44.332 totalCpuTime=43.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-282359-1169318944 -o ROOT/results/node43/solver-282359-1169318944 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282359-1169318944/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
/proc/loadavg: 1.21 1.38 1.68 4/74 7382
/proc/meminfo: memFree=1330504/2055920 swapFree=4190672/4192956
[pid=7381] ppid=7379 vsize=18540 CPUtime=0
/proc/7381/stat : 7381 (runsolver) R 7379 6809 6809 0 -1 4194368 12 0 0 0 0 0 0 0 21 0 1 0 280293552 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216849438135 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7381/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108313 s]
/proc/loadavg: 1.21 1.38 1.68 4/74 7382
/proc/meminfo: memFree=1330504/2055920 swapFree=4190672/4192956
[pid=7381] ppid=7379 vsize=914988 CPUtime=0.09
/proc/7381/stat : 7381 (java) D 7379 7381 6809 0 -1 0 2988 0 1 0 8 1 0 0 17 0 8 0 280293552 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7381/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518386 s]
/proc/loadavg: 1.21 1.38 1.68 4/74 7382
/proc/meminfo: memFree=1330504/2055920 swapFree=4190672/4192956
[pid=7381] ppid=7379 vsize=915332 CPUtime=0.48
/proc/7381/stat : 7381 (java) R 7379 7381 6809 0 -1 0 6387 0 1 0 45 3 0 0 18 0 8 0 280293552 937299968 6125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7381/statm: 228833 6125 2160 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.34451 s]
/proc/loadavg: 1.21 1.38 1.68 3/81 7389
/proc/meminfo: memFree=1313680/2055920 swapFree=4190672/4192956
[pid=7381] ppid=7379 vsize=915448 CPUtime=1.31
/proc/7381/stat : 7381 (java) R 7379 7381 6809 0 -1 0 6864 0 1 0 100 31 0 0 25 0 8 0 280293552 937418752 6602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7381/statm: 228862 6602 2476 14 0 215332 0
[pid=7381/tid=7383] ppid=7379 vsize=915448 CPUtime=0.02
/proc/7381/task/7383/stat : 7383 (java) S 7379 7381 6809 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 280293556 937418752 6602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7384] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7384/stat : 7384 (java) S 7379 7381 6809 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280293556 937418752 6602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7385] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7385/stat : 7385 (java) S 7379 7381 6809 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280293556 937418752 6602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7386] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7386/stat : 7386 (java) S 7379 7381 6809 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280293560 937418752 6602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7387] ppid=7379 vsize=915448 CPUtime=0.11
/proc/7381/task/7387/stat : 7387 (java) S 7379 7381 6809 0 -1 64 323 0 0 0 10 1 0 0 16 0 8 0 280293560 937418752 6602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7388] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7388/stat : 7388 (java) S 7379 7381 6809 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280293560 937418752 6602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7389] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7389/stat : 7389 (java) S 7379 7381 6809 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280293560 937418752 6602 18446744073709551615 134512640 134570532 4294956480 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) 915448
[startup+2.98178 s]
/proc/loadavg: 1.21 1.38 1.68 3/81 7389
/proc/meminfo: memFree=1313680/2055920 swapFree=4190672/4192956
[pid=7381] ppid=7379 vsize=915448 CPUtime=2.93
/proc/7381/stat : 7381 (java) R 7379 7381 6809 0 -1 0 6867 0 1 0 202 91 0 0 25 0 8 0 280293552 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7381/statm: 228862 6604 2476 14 0 215332 0
[pid=7381/tid=7383] ppid=7379 vsize=915448 CPUtime=0.02
/proc/7381/task/7383/stat : 7383 (java) S 7379 7381 6809 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 280293556 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7384] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7384/stat : 7384 (java) S 7379 7381 6809 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280293556 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7385] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7385/stat : 7385 (java) S 7379 7381 6809 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280293556 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7386] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7386/stat : 7386 (java) S 7379 7381 6809 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7387] ppid=7379 vsize=915448 CPUtime=0.12
/proc/7381/task/7387/stat : 7387 (java) S 7379 7381 6809 0 -1 64 325 0 0 0 11 1 0 0 16 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7388] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7388/stat : 7388 (java) S 7379 7381 6809 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7389] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7389/stat : 7389 (java) S 7379 7381 6809 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915448
[startup+6.27734 s]
/proc/loadavg: 1.27 1.39 1.68 3/81 7389
/proc/meminfo: memFree=1313624/2055920 swapFree=4190672/4192956
[pid=7381] ppid=7379 vsize=915448 CPUtime=6.19
/proc/7381/stat : 7381 (java) R 7379 7381 6809 0 -1 0 6867 0 1 0 405 214 0 0 25 0 8 0 280293552 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643165 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7381/statm: 228862 6604 2476 14 0 215332 0
[pid=7381/tid=7383] ppid=7379 vsize=915448 CPUtime=0.02
/proc/7381/task/7383/stat : 7383 (java) S 7379 7381 6809 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 280293556 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7384] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7384/stat : 7384 (java) S 7379 7381 6809 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280293556 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7385] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7385/stat : 7385 (java) S 7379 7381 6809 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280293556 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7386] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7386/stat : 7386 (java) S 7379 7381 6809 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7387] ppid=7379 vsize=915448 CPUtime=0.12
/proc/7381/task/7387/stat : 7387 (java) S 7379 7381 6809 0 -1 64 325 0 0 0 11 1 0 0 16 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7388] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7388/stat : 7388 (java) S 7379 7381 6809 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7389] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7389/stat : 7389 (java) S 7379 7381 6809 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915448
[startup+12.7524 s]
/proc/loadavg: 1.38 1.41 1.68 3/81 7389
/proc/meminfo: memFree=1313624/2055920 swapFree=4190672/4192956
[pid=7381] ppid=7379 vsize=915448 CPUtime=12.62
/proc/7381/stat : 7381 (java) R 7379 7381 6809 0 -1 0 6867 0 1 0 803 459 0 0 25 0 8 0 280293552 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7381/statm: 228862 6604 2476 14 0 215332 0
[pid=7381/tid=7383] ppid=7379 vsize=915448 CPUtime=0.02
/proc/7381/task/7383/stat : 7383 (java) S 7379 7381 6809 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 280293556 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7384] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7384/stat : 7384 (java) S 7379 7381 6809 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280293556 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7385] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7385/stat : 7385 (java) S 7379 7381 6809 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280293556 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7386] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7386/stat : 7386 (java) S 7379 7381 6809 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7387] ppid=7379 vsize=915448 CPUtime=0.12
/proc/7381/task/7387/stat : 7387 (java) S 7379 7381 6809 0 -1 64 325 0 0 0 11 1 0 0 16 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7388] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7388/stat : 7388 (java) S 7379 7381 6809 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7389] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7389/stat : 7389 (java) S 7379 7381 6809 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280293560 937418752 6604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915448
[startup+25.6025 s]
/proc/loadavg: 1.48 1.43 1.68 3/81 7389
/proc/meminfo: memFree=1313688/2055920 swapFree=4190672/4192956
[pid=7381] ppid=7379 vsize=915448 CPUtime=25.35
/proc/7381/stat : 7381 (java) R 7379 7381 6809 0 -1 0 6868 0 1 0 1594 941 0 0 25 0 8 0 280293552 937418752 6605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7381/statm: 228862 6605 2476 14 0 215332 0
[pid=7381/tid=7383] ppid=7379 vsize=915448 CPUtime=0.02
/proc/7381/task/7383/stat : 7383 (java) S 7379 7381 6809 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 280293556 937418752 6605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7384] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7384/stat : 7384 (java) S 7379 7381 6809 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280293556 937418752 6605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7385] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7385/stat : 7385 (java) S 7379 7381 6809 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280293556 937418752 6605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7386] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7386/stat : 7386 (java) S 7379 7381 6809 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280293560 937418752 6605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7387] ppid=7379 vsize=915448 CPUtime=0.12
/proc/7381/task/7387/stat : 7387 (java) S 7379 7381 6809 0 -1 64 326 0 0 0 11 1 0 0 16 0 8 0 280293560 937418752 6605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7388] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7388/stat : 7388 (java) S 7379 7381 6809 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280293560 937418752 6605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7381/tid=7389] ppid=7379 vsize=915448 CPUtime=0
/proc/7381/task/7389/stat : 7389 (java) S 7379 7381 6809 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280293560 937418752 6605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915448
Child status: 0
Real time (s): 44.59
CPU time (s): 44.1743
CPU user time (s): 32.662
CPU system time (s): 11.5122
CPU usage (%): 99.0676
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.662
system time used= 11.5122
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9166
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= 1945
involuntary context switches= 3259
runsolver used 0.049992 s user time and 0.167974 s system time
The end
Begin job on node43 on Sat Jan 20 18:49:04 UTC 2007
IDJOB= 282359
IDBENCH= 12750
IDSOLVER= 69
FILE ID= node43/282359-1169318944
PBS_JOBID= 3610412
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-20-10-20-t70/pi-20-10-20-30-61.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282359-1169318944/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-282359-1169318944 -o ROOT/results/node43/solver-282359-1169318944 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282359-1169318944/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 40839c8da665f8df94c3c86f608f36d5
RANDOM SEED= 821212540
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.278
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.278
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: 1330984 kB
Buffers: 50284 kB
Cached: 539684 kB
SwapCached: 612 kB
Active: 193380 kB
Inactive: 457012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1330984 kB
SwapTotal: 4192956 kB
SwapFree: 4190672 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 70324 kB
Slab: 59932 kB
Committed_AS: 5843284 kB
PageTables: 1832 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 node43 on Sat Jan 20 18:49:50 UTC 2007