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/280946-1169308852/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M910
0.42
0.42 relations being loaded...
0.47
0.47 constraints being loaded...
0.53 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.53 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1296 maxDegree=14
0.53 maxArity=2
0.53 => wckTime=0.214 cpuTime=0.15 mem=8M893
0.57
0.57 solver LocalSearchSolver being built...
0.61 => wckTime=0.297 cpuTime=0.2 mem=5M496
0.61
0.61 s SATISFIABLE
0.61 o 55
0.61 c 54
0.61 o 61
0.61 c 48
0.62 o 66
0.62 c 43
0.62 o 68
0.62 c 41
0.62 o 72
0.62 c 37
0.62 o 74
0.62 c 35
0.62 o 75
0.62 c 34
0.62 o 78
0.62 c 31
0.62 o 79
0.62 c 30
0.62 o 81
0.62 c 28
0.62 o 83
0.62 c 26
0.62 o 86
0.62 c 23
0.63 o 88
0.63 c 21
0.63 o 89
0.63 c 20
0.63 o 92
0.63 c 17
0.63 o 93
0.63 c 16
0.63 o 94
0.63 c 15
0.63 o 95
0.63 c 14
0.63 o 97
0.63 c 12
0.63 o 98
0.63 c 11
0.63 o 100
0.63 c 9
0.63 o 101
0.63 c 8
0.63 o 102
0.63 c 7
0.63 o 103
0.64 c 6
0.64 o 104
0.64 c 5
0.64 o 105
0.64 c 4
0.64 o 106
0.64 c 3
1.92
1.92 search
1.92 run=0 nbConstraintChecks=5418498 nbAssignments=10000
1.92 => wckTime=1.314 cpuTime=1.28 mem=5M496
3.23
3.23 search
3.23 run=1 nbConstraintChecks=11330038 nbAssignments=20000
3.23 => wckTime=2.617 cpuTime=2.56 mem=5M496
4.49
4.49 search
4.49 run=2 nbConstraintChecks=17026978 nbAssignments=30000
4.49 => wckTime=3.884 cpuTime=3.81 mem=5M496
5.79
5.79 search
5.79 run=3 nbConstraintChecks=22858615 nbAssignments=40000
5.79 => wckTime=5.177 cpuTime=5.09 mem=5M496
7.07
7.07 search
7.07 run=4 nbConstraintChecks=28704764 nbAssignments=50000
7.07 => wckTime=6.465 cpuTime=6.37 mem=5M496
8.39
8.39 search
8.39 run=5 nbConstraintChecks=34758728 nbAssignments=60000
8.39 => wckTime=7.783 cpuTime=7.68 mem=5M496
9.71
9.71 search
9.71 run=6 nbConstraintChecks=40585815 nbAssignments=70000
9.71 => wckTime=9.102 cpuTime=8.96 mem=5M496
11.01
11.01 search
11.02 run=7 nbConstraintChecks=46439220 nbAssignments=80000
11.02 => wckTime=10.405 cpuTime=10.25 mem=5M496
12.31
12.31 search
12.31 run=8 nbConstraintChecks=52103782 nbAssignments=90000
12.31 => wckTime=11.705 cpuTime=11.52 mem=5M496
13.66
13.66 search
13.66 run=9 nbConstraintChecks=58015888 nbAssignments=100000
13.66 => wckTime=13.049 cpuTime=12.83 mem=5M496
14.95
14.95 search
14.95 run=10 nbConstraintChecks=63774020 nbAssignments=110000
14.95 => wckTime=14.341 cpuTime=14.11 mem=5M496
16.27
16.28 search
16.28 run=11 nbConstraintChecks=69802989 nbAssignments=120000
16.28 => wckTime=15.665 cpuTime=15.42 mem=5M496
17.55
17.55 search
17.55 run=12 nbConstraintChecks=75406447 nbAssignments=130000
17.55 => wckTime=16.937 cpuTime=16.68 mem=5M496
18.88
18.88 search
18.88 run=13 nbConstraintChecks=81356282 nbAssignments=140000
18.88 => wckTime=18.266 cpuTime=17.99 mem=5M496
20.14
20.14 search
20.14 run=14 nbConstraintChecks=86957552 nbAssignments=150000
20.14 => wckTime=19.533 cpuTime=19.25 mem=5M496
21.41
21.41 search
21.41 run=15 nbConstraintChecks=92570744 nbAssignments=160000
21.41 => wckTime=20.8 cpuTime=20.5 mem=5M496
22.67
22.67 search
22.67 run=16 nbConstraintChecks=98101674 nbAssignments=170000
22.67 => wckTime=22.063 cpuTime=21.75 mem=5M496
23.95
23.95 search
23.95 run=17 nbConstraintChecks=103828400 nbAssignments=180000
23.95 => wckTime=23.338 cpuTime=23.01 mem=5M496
25.22
25.22 search
25.22 run=18 nbConstraintChecks=109480588 nbAssignments=190000
25.22 => wckTime=24.612 cpuTime=24.26 mem=5M496
26.53
26.53 search
26.53 run=19 nbConstraintChecks=115383063 nbAssignments=200000
26.53 => wckTime=25.915 cpuTime=25.56 mem=5M496
27.80
27.80 search
27.80 run=20 nbConstraintChecks=121076952 nbAssignments=210000
27.80 => wckTime=27.189 cpuTime=26.82 mem=5M496
29.11
29.11 search
29.11 run=21 nbConstraintChecks=127103926 nbAssignments=220000
29.11 => wckTime=28.501 cpuTime=28.12 mem=5M496
30.40
30.40 search
30.40 run=22 nbConstraintChecks=132809512 nbAssignments=230000
30.40 => wckTime=29.787 cpuTime=29.39 mem=5M496
31.04
31.04 search
31.04 run=23 nbConstraintChecks=135653034 nbAssignments=234717
31.04 => wckTime=30.432 cpuTime=30.02 mem=5M496
31.04
31.04 global
31.04 nbConstraintChecks=135653034 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.04 solvingWckTime=30.43 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
31.04 globalCpuTime=30.28
31.04 => wckTime=30.73 cpuTime=30.22 mem=5M496
31.04
31.04 solver IterativeSystematicSolver being built...
31.18 => wckTime=30.862 cpuTime=30.32 mem=16M518
31.18
31.18 preprocessing
31.18 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.18 detectedInconsistency=no
31.18 => wckTime=0.0030 cpuTime=0.0 mem=16M518
31.28
31.28 search
31.28 run=0 nbConstraintChecks=140172 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=100
31.28 nbFailedAssignments=85 nbBacktracks=12 nbVisitedNodes=197 nbRestartNogoods=0
31.28 => wckTime=0.103 cpuTime=0.07 mem=16M518
31.34
31.34 search
31.34 run=1 nbConstraintChecks=296013 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=195
31.34 nbFailedAssignments=156 nbBacktracks=27 nbVisitedNodes=378 nbRestartNogoods=2
31.34 => wckTime=0.164 cpuTime=0.12 mem=16M518
31.43
31.43 search
31.43 run=2 nbConstraintChecks=545547 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=359
31.43 nbFailedAssignments=289 nbBacktracks=49 nbVisitedNodes=697 nbRestartNogoods=23
31.43 => wckTime=0.251 cpuTime=0.21 mem=16M518
31.50
31.50 search
31.50 run=3 nbConstraintChecks=793402 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=510
31.50 nbFailedAssignments=400 nbBacktracks=82 nbVisitedNodes=992 nbRestartNogoods=40
31.50 => wckTime=0.319 cpuTime=0.28 mem=16M518
31.64
31.64 search
31.64 run=4 nbConstraintChecks=1288078 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=829
31.64 nbFailedAssignments=661 nbBacktracks=132 nbVisitedNodes=1622 nbRestartNogoods=60
31.64 => wckTime=0.468 cpuTime=0.42 mem=16M518
31.81
31.81 search
31.81 run=5 nbConstraintChecks=1842880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1159
31.81 nbFailedAssignments=910 nbBacktracks=207 nbVisitedNodes=2274 nbRestartNogoods=79
31.81 => wckTime=0.628 cpuTime=0.57 mem=16M518
32.13
32.13 search
32.13 run=6 nbConstraintChecks=2838451 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1806
32.13 nbFailedAssignments=1436 nbBacktracks=320 nbVisitedNodes=3554 nbRestartNogoods=92
32.13 => wckTime=0.952 cpuTime=0.88 mem=16M518
32.44
32.44 search
32.44 run=7 nbConstraintChecks=4003755 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2619
32.44 nbFailedAssignments=2072 nbBacktracks=490 nbVisitedNodes=5171 nbRestartNogoods=107
32.44 => wckTime=1.261 cpuTime=1.18 mem=16M518
32.88
32.88 search
32.88 run=8 nbConstraintChecks=5655051 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3737
32.88 nbFailedAssignments=2923 nbBacktracks=746 nbVisitedNodes=7393 nbRestartNogoods=131
32.88 => wckTime=1.701 cpuTime=1.61 mem=16M518
33.70
33.70 search
33.70 run=9 nbConstraintChecks=8838444 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5765
33.70 nbFailedAssignments=4559 nbBacktracks=1130 nbVisitedNodes=11435 nbRestartNogoods=154
33.70 => wckTime=2.523 cpuTime=2.43 mem=16M518
34.52
34.52 search
34.52 run=10 nbConstraintChecks=11735455 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7978
34.52 nbFailedAssignments=6188 nbBacktracks=1706 nbVisitedNodes=15845 nbRestartNogoods=171
34.52 => wckTime=3.344 cpuTime=3.22 mem=16M518
36.58
36.58 search
36.58 run=11 nbConstraintChecks=19284512 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12880
36.58 nbFailedAssignments=10219 nbBacktracks=2570 nbVisitedNodes=25587 nbRestartNogoods=187
36.58 => wckTime=5.404 cpuTime=5.26 mem=16M518
39.33
39.33 search
39.33 run=12 nbConstraintChecks=28806254 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19060
39.33 nbFailedAssignments=15092 nbBacktracks=3867 nbVisitedNodes=37921 nbRestartNogoods=196
39.33 => wckTime=8.149 cpuTime=7.98 mem=16M518
41.82
41.82 search
41.82 run=13 nbConstraintChecks=37976059 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25423
41.82 nbFailedAssignments=19501 nbBacktracks=5813 nbVisitedNodes=50635 nbRestartNogoods=216
41.82 => wckTime=10.647 cpuTime=10.45 mem=16M518
47.63
47.63 search
47.63 run=14 nbConstraintChecks=56700294 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37889
47.63 nbFailedAssignments=29041 nbBacktracks=8733 nbVisitedNodes=75448 nbRestartNogoods=223
47.63 => wckTime=16.454 cpuTime=16.18 mem=16M518
53.90
53.90 search
53.90 run=15 nbConstraintChecks=75397053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50814
53.90 nbFailedAssignments=37577 nbBacktracks=13111 nbVisitedNodes=101151 nbRestartNogoods=239
53.90 => wckTime=22.723 cpuTime=22.38 mem=16M518
62.35
62.35 search
62.35 run=16 nbConstraintChecks=99410928 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68143
62.35 nbFailedAssignments=48333 nbBacktracks=19679 nbVisitedNodes=135301 nbRestartNogoods=261
62.35 => wckTime=31.175 cpuTime=30.74 mem=16M518
73.68
73.68 search
73.68 run=17 nbConstraintChecks=129157387 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89138
73.68 nbFailedAssignments=59474 nbBacktracks=29531 nbVisitedNodes=176429 nbRestartNogoods=276
73.68 => wckTime=42.501 cpuTime=41.96 mem=16M518
85.22
85.22 search
85.22 run=18 nbConstraintChecks=159271531 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110708
85.22 nbFailedAssignments=71111 nbBacktracks=39465 nbVisitedNodes=218927 nbRestartNogoods=282
85.22 => wckTime=54.047 cpuTime=53.38 mem=16M518
85.23
85.23 global
85.23 nbConstraintChecks=159271531 nbRestartNogoods=282 solvingWckTime=54.049 solvingCpuTime=53.38 expiredTime=no
85.23 totalExploration=yes nbFoundSolutions=0 globalCpuTime=83.76
85.23 => wckTime=84.912 cpuTime=83.7 mem=16M518
85.23
85.23 s OPTIMUM FOUND
85.23 v 6 0 0 3 1 8 9 5 4 4 4 8 0 1 7 7 9 0 0 3 0 1 5 3 2 4 0 8 2 6
85.23
85.23 totalWckTime=84.991 totalCpuTime=83.76
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-280946-1169308852 -o ROOT/results/node35/solver-280946-1169308852 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280946-1169308852/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.72 1.25 1.09 4/81 672
/proc/meminfo: memFree=1378304/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=18540 CPUtime=0
/proc/671/stat : 671 (runsolver) R 669 671 32673 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 279278877 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/671/statm: 4635 279 244 17 0 2626 0
[startup+0.107849 s]
/proc/loadavg: 1.72 1.25 1.09 4/81 672
/proc/meminfo: memFree=1378304/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=914988 CPUtime=0.09
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 279278877 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516898 s]
/proc/loadavg: 1.72 1.25 1.09 4/81 672
/proc/meminfo: memFree=1378304/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915332 CPUtime=0.49
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 6554 0 1 0 45 4 0 0 18 0 8 0 279278877 937299968 6293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228833 6293 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33999 s]
/proc/loadavg: 1.72 1.25 1.09 4/88 679
/proc/meminfo: memFree=1360456/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=1.3
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 7130 0 1 0 105 25 0 0 25 0 8 0 279278877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 6868 2476 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.11
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 279278885 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.98419 s]
/proc/loadavg: 1.72 1.25 1.09 3/88 679
/proc/meminfo: memFree=1360392/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=2.93
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 7133 0 1 0 217 76 0 0 25 0 8 0 279278877 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 6870 2476 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.12
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 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) 2.93
Current children cumulated vsize (KiB) 915444
[startup+6.26358 s]
/proc/loadavg: 1.74 1.26 1.09 3/88 679
/proc/meminfo: memFree=1360328/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=6.19
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 7133 0 1 0 446 173 0 0 25 0 8 0 279278877 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 6870 2476 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.12
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 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) 6.19
Current children cumulated vsize (KiB) 915444
[startup+12.7514 s]
/proc/loadavg: 1.76 1.28 1.10 5/93 719
/proc/meminfo: memFree=1358864/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=12.55
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 7133 0 1 0 894 361 0 0 25 0 8 0 279278877 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 6870 2476 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.12
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 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) 12.55
Current children cumulated vsize (KiB) 915444
[startup+25.6049 s]
/proc/loadavg: 1.81 1.31 1.11 3/94 761
/proc/meminfo: memFree=1359048/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=25.27
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 7134 0 1 0 1781 746 0 0 25 0 8 0 279278877 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 6871 2476 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.12
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 279278885 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915444
[startup+51.222 s]
/proc/loadavg: 1.88 1.37 1.13 3/94 817
/proc/meminfo: memFree=1351688/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=50.58
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 9026 0 1 0 4147 911 0 0 25 0 8 0 279278877 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 8760 2527 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.23
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 279278885 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 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) 50.58
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 85.2604
CPU time (s): 84.2482
CPU user time (s): 75.1196
CPU system time (s): 9.12861
CPU usage (%): 98.8129
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.1196
system time used= 9.12861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9132
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= 2817
involuntary context switches= 6817
runsolver used 0.113982 s user time and 0.275958 s system time
The end
Begin job on node35 on Sat Jan 20 16:00:52 UTC 2007
IDJOB= 280946
IDBENCH= 12002
IDSOLVER= 69
FILE ID= node35/280946-1169308852
PBS_JOBID= 3610132
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280946-1169308852/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-280946-1169308852 -o ROOT/results/node35/solver-280946-1169308852 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280946-1169308852/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 87f5aa1220054fda273b57978016554f
RANDOM SEED= 918411005
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: 1378784 kB
Buffers: 42180 kB
Cached: 542136 kB
SwapCached: 2184 kB
Active: 145328 kB
Inactive: 461360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1378784 kB
SwapTotal: 4192956 kB
SwapFree: 4184640 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 36840 kB
Slab: 55760 kB
Committed_AS: 5600388 kB
PageTables: 1880 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 node35 on Sat Jan 20 16:02:18 UTC 2007