0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/281107-1169310025/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.47
0.47 constraints being loaded...
0.53 nbConstraints=101 nbRelationTypes=101 nbExtensionStructures=101 nbSharedExtensionStructures=0
0.53 nbConflictsStructures=101 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1244 maxDegree=12
0.53 maxArity=2
0.53 => wckTime=0.21 cpuTime=0.16 mem=8M846
0.57
0.57 solver LocalSearchSolver being built...
0.61 => wckTime=0.294 cpuTime=0.2 mem=5M493
0.62
0.62 s SATISFIABLE
0.62 o 44
0.62 c 57
0.62 o 47
0.62 c 54
0.62 o 51
0.62 c 50
0.62 o 53
0.62 c 48
0.62 o 56
0.62 c 45
0.62 o 58
0.62 c 43
0.62 o 60
0.62 c 41
0.63 o 63
0.63 c 38
0.63 o 65
0.63 c 36
0.63 o 66
0.63 c 35
0.63 o 68
0.63 c 33
0.63 o 69
0.63 c 32
0.63 o 70
0.63 c 31
0.63 o 73
0.63 c 28
0.63 o 74
0.63 c 27
0.63 o 76
0.63 c 25
0.63 o 77
0.63 c 24
0.63 o 78
0.63 c 23
0.63 o 80
0.63 c 21
0.64 o 82
0.64 c 19
0.64 o 83
0.64 c 18
0.64 o 85
0.64 c 16
0.64 o 86
0.64 c 15
0.64 o 87
0.64 c 14
0.64 o 88
0.64 c 13
0.65 o 89
0.65 c 12
0.65 o 90
0.65 c 11
0.65 o 91
0.65 c 10
0.65 o 92
0.65 c 9
0.66 o 93
0.66 c 8
0.66 o 94
0.66 c 7
0.68 o 95
0.68 c 6
0.68 o 96
0.68 c 5
1.67 o 97
1.67 c 4
2.08
2.08 search
2.08 run=0 nbConstraintChecks=5930596 nbAssignments=10000
2.08 => wckTime=1.472 cpuTime=1.44 mem=5M493
3.46
3.46 search
3.46 run=1 nbConstraintChecks=11972957 nbAssignments=20000
3.46 => wckTime=2.844 cpuTime=2.78 mem=5M493
4.75
4.75 search
4.75 run=2 nbConstraintChecks=17453537 nbAssignments=30000
4.75 => wckTime=4.141 cpuTime=4.07 mem=5M493
6.08
6.08 search
6.08 run=3 nbConstraintChecks=23254902 nbAssignments=40000
6.08 => wckTime=5.469 cpuTime=5.39 mem=5M493
7.41
7.41 search
7.41 run=4 nbConstraintChecks=29042942 nbAssignments=50000
7.41 => wckTime=6.794 cpuTime=6.7 mem=5M493
8.71
8.71 search
8.71 run=5 nbConstraintChecks=34666089 nbAssignments=60000
8.71 => wckTime=8.101 cpuTime=8.0 mem=5M493
10.03
10.03 search
10.03 run=6 nbConstraintChecks=40406907 nbAssignments=70000
10.03 => wckTime=9.42 cpuTime=9.3 mem=5M493
11.40
11.40 search
11.40 run=7 nbConstraintChecks=46473032 nbAssignments=80000
11.40 => wckTime=10.785 cpuTime=10.65 mem=5M493
12.71
12.71 search
12.71 run=8 nbConstraintChecks=52122608 nbAssignments=90000
12.71 => wckTime=12.095 cpuTime=11.95 mem=5M493
13.04 o 98
13.04 c 3
14.00
14.00 search
14.00 run=9 nbConstraintChecks=57661802 nbAssignments=100000
14.00 => wckTime=13.385 cpuTime=13.23 mem=5M493
15.35
15.35 search
15.35 run=10 nbConstraintChecks=63658294 nbAssignments=110000
15.35 => wckTime=14.739 cpuTime=14.57 mem=5M493
16.76
16.76 search
16.76 run=11 nbConstraintChecks=70000471 nbAssignments=120000
16.76 => wckTime=16.147 cpuTime=15.97 mem=5M493
18.05
18.05 search
18.05 run=12 nbConstraintChecks=75466680 nbAssignments=130000
18.05 => wckTime=17.439 cpuTime=17.25 mem=5M493
19.41
19.41 search
19.41 run=13 nbConstraintChecks=81390639 nbAssignments=140000
19.41 => wckTime=18.803 cpuTime=18.59 mem=5M493
20.69
20.69 search
20.69 run=14 nbConstraintChecks=86767166 nbAssignments=150000
20.69 => wckTime=20.08 cpuTime=19.86 mem=5M493
22.06
22.06 search
22.06 run=15 nbConstraintChecks=92805432 nbAssignments=160000
22.06 => wckTime=21.444 cpuTime=21.22 mem=5M493
23.34
23.34 search
23.34 run=16 nbConstraintChecks=98178681 nbAssignments=170000
23.34 => wckTime=22.729 cpuTime=22.48 mem=5M493
24.68
24.68 search
24.68 run=17 nbConstraintChecks=103993053 nbAssignments=180000
24.68 => wckTime=24.068 cpuTime=23.82 mem=5M493
25.99
25.99 search
25.99 run=18 nbConstraintChecks=109640863 nbAssignments=190000
25.99 => wckTime=25.374 cpuTime=25.11 mem=5M493
27.32
27.32 search
27.32 run=19 nbConstraintChecks=115416614 nbAssignments=200000
27.32 => wckTime=26.707 cpuTime=26.43 mem=5M493
28.60
28.60 search
28.60 run=20 nbConstraintChecks=120918756 nbAssignments=210000
28.60 => wckTime=27.992 cpuTime=27.7 mem=5M493
29.91
29.91 search
29.91 run=21 nbConstraintChecks=126568164 nbAssignments=220000
29.91 => wckTime=29.299 cpuTime=29.0 mem=5M493
31.21
31.21 search
31.21 run=22 nbConstraintChecks=132189321 nbAssignments=230000
31.21 => wckTime=30.596 cpuTime=30.28 mem=5M493
32.51
32.51 search
32.51 run=23 nbConstraintChecks=137828508 nbAssignments=240000
32.51 => wckTime=31.899 cpuTime=31.57 mem=5M493
33.80
33.80 search
33.80 run=24 nbConstraintChecks=143350797 nbAssignments=250000
33.80 => wckTime=33.19 cpuTime=32.85 mem=5M493
35.14
35.14 search
35.14 run=25 nbConstraintChecks=149176714 nbAssignments=260000
35.14 => wckTime=34.533 cpuTime=34.18 mem=5M493
36.44
36.44 search
36.44 run=26 nbConstraintChecks=154652507 nbAssignments=270000
36.44 => wckTime=35.829 cpuTime=35.46 mem=5M493
37.74
37.74 search
37.74 run=27 nbConstraintChecks=160131441 nbAssignments=280000
37.74 => wckTime=37.125 cpuTime=36.74 mem=5M493
39.05
39.05 search
39.05 run=28 nbConstraintChecks=165771830 nbAssignments=290000
39.05 => wckTime=38.439 cpuTime=38.04 mem=5M493
40.39
40.39 search
40.39 run=29 nbConstraintChecks=171638584 nbAssignments=300000
40.39 => wckTime=39.779 cpuTime=39.38 mem=5M493
41.68
41.68 search
41.68 run=30 nbConstraintChecks=177045238 nbAssignments=310000
41.68 => wckTime=41.066 cpuTime=40.65 mem=5M493
43.02
43.03 search
43.03 run=31 nbConstraintChecks=182904483 nbAssignments=320000
43.03 => wckTime=42.413 cpuTime=41.98 mem=5M493
43.34
43.34 search
43.34 run=32 nbConstraintChecks=184174896 nbAssignments=322471
43.34 => wckTime=42.725 cpuTime=42.29 mem=5M493
43.34
43.34 global
43.34 nbConstraintChecks=184174896 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.34 solvingWckTime=42.723 solvingCpuTime=42.28 expiredTime=no totalExploration=no nbFoundSolutions=0
43.34 globalCpuTime=42.55
43.34 => wckTime=43.02 cpuTime=42.5 mem=5M493
43.34
43.34 solver IterativeSystematicSolver being built...
43.47 => wckTime=43.155 cpuTime=42.61 mem=16M597
43.53
43.53 preprocessing
43.53 nbConstraintChecks=19585 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
43.53 detectedInconsistency=no
43.53 => wckTime=0.054 cpuTime=0.03 mem=16M597
43.57
43.57 search
43.57 run=0 nbConstraintChecks=74850 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50
43.57 nbFailedAssignments=34 nbBacktracks=10 nbVisitedNodes=95 nbRestartNogoods=0
43.57 => wckTime=0.091 cpuTime=0.06 mem=16M597
43.65
43.65 search
43.65 run=1 nbConstraintChecks=251686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=153
43.66 nbFailedAssignments=118 nbBacktracks=25 nbVisitedNodes=295 nbRestartNogoods=12
43.66 => wckTime=0.179 cpuTime=0.14 mem=16M597
43.75
43.75 search
43.75 run=2 nbConstraintChecks=449758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=292
43.75 nbFailedAssignments=232 nbBacktracks=47 nbVisitedNodes=568 nbRestartNogoods=26
43.75 => wckTime=0.276 cpuTime=0.22 mem=16M597
43.84
43.84 search
43.84 run=3 nbConstraintChecks=678806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=438
43.84 nbFailedAssignments=336 nbBacktracks=80 nbVisitedNodes=851 nbRestartNogoods=46
43.84 => wckTime=0.366 cpuTime=0.31 mem=16M597
44.05
44.05 search
44.05 run=4 nbConstraintChecks=1245230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=777
44.05 nbFailedAssignments=616 nbBacktracks=130 nbVisitedNodes=1518 nbRestartNogoods=64
44.05 => wckTime=0.575 cpuTime=0.52 mem=16M597
44.32
44.32 search
44.32 run=5 nbConstraintChecks=1878886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1154
44.32 nbFailedAssignments=911 nbBacktracks=205 nbVisitedNodes=2260 nbRestartNogoods=78
44.32 => wckTime=0.847 cpuTime=0.78 mem=16M597
44.62
44.62 search
44.62 run=6 nbConstraintChecks=2602677 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1641
44.62 nbFailedAssignments=1280 nbBacktracks=318 nbVisitedNodes=3226 nbRestartNogoods=93
44.62 => wckTime=1.147 cpuTime=1.06 mem=16M597
45.27
45.27 search
45.27 run=7 nbConstraintChecks=4140077 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2710
45.27 nbFailedAssignments=2176 nbBacktracks=488 nbVisitedNodes=5357 nbRestartNogoods=117
45.27 => wckTime=1.795 cpuTime=1.7 mem=16M597
46.02
46.02 search
46.02 run=8 nbConstraintChecks=6227831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3985
46.02 nbFailedAssignments=3188 nbBacktracks=744 nbVisitedNodes=7893 nbRestartNogoods=135
46.02 => wckTime=2.545 cpuTime=2.44 mem=16M597
47.18
47.18 search
47.18 run=9 nbConstraintChecks=9070330 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5815
47.18 nbFailedAssignments=4630 nbBacktracks=1128 nbVisitedNodes=11534 nbRestartNogoods=166
47.18 => wckTime=3.709 cpuTime=3.59 mem=16M597
48.59
48.59 search
48.59 run=10 nbConstraintChecks=12500633 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7995
48.59 nbFailedAssignments=6229 nbBacktracks=1704 nbVisitedNodes=15873 nbRestartNogoods=173
48.59 => wckTime=5.118 cpuTime=4.98 mem=16M597
50.19
50.19 search
50.19 run=11 nbConstraintChecks=16354070 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10649
50.19 nbFailedAssignments=8009 nbBacktracks=2572 nbVisitedNodes=21161 nbRestartNogoods=180
50.19 => wckTime=6.719 cpuTime=6.56 mem=16M597
52.57
52.57 search
52.57 run=12 nbConstraintChecks=21040285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14237
52.57 nbFailedAssignments=10290 nbBacktracks=3874 nbVisitedNodes=28271 nbRestartNogoods=190
52.57 => wckTime=9.1 cpuTime=8.92 mem=16M597
56.01
56.01 search
56.01 run=13 nbConstraintChecks=27786152 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19383
56.01 nbFailedAssignments=13487 nbBacktracks=5821 nbVisitedNodes=38416 nbRestartNogoods=208
56.01 => wckTime=12.534 cpuTime=12.32 mem=16M597
57.73
57.73 search
57.73 run=14 nbConstraintChecks=31179705 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21947
57.73 nbFailedAssignments=15069 nbBacktracks=6804 nbVisitedNodes=43449 nbRestartNogoods=221
57.73 => wckTime=14.254 cpuTime=14.03 mem=16M597
57.73
57.73 global
57.73 nbConstraintChecks=31199290 nbRestartNogoods=221 solvingWckTime=14.255 solvingCpuTime=14.03 expiredTime=no
57.73 totalExploration=yes nbFoundSolutions=0 globalCpuTime=56.69
57.73 => wckTime=57.411 cpuTime=56.64 mem=16M597
57.73
57.73 s OPTIMUM FOUND
57.73 v 6 9 6 2 4 4 8 7 2 8 0 3 1 6 2 3 5 6 6 1 6 3 2 9 6 1 2 7 7 4 4 5 5 0 8 9 6 1 8 4
57.73
57.73 totalWckTime=57.494 totalCpuTime=56.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-281107-1169310025 -o ROOT/results/node1/solver-281107-1169310025 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281107-1169310025/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.83 1.98 1.99 4/94 17699
/proc/meminfo: memFree=1286208/2055920 swapFree=4165612/4192956
[pid=17698] ppid=17696 vsize=18540 CPUtime=0
/proc/17698/stat : 17698 (runsolver) R 17696 17698 17093 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 279398246 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/17698/statm: 4635 279 244 17 0 2626 0
[startup+0.108074 s]
/proc/loadavg: 1.83 1.98 1.99 4/94 17699
/proc/meminfo: memFree=1286208/2055920 swapFree=4165612/4192956
[pid=17698] ppid=17696 vsize=914988 CPUtime=0.09
/proc/17698/stat : 17698 (java) R 17696 17698 17093 0 -1 0 3019 0 1 0 8 1 0 0 17 0 8 0 279398246 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155586173 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17698/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516122 s]
/proc/loadavg: 1.83 1.98 1.99 4/94 17699
/proc/meminfo: memFree=1286208/2055920 swapFree=4165612/4192956
[pid=17698] ppid=17696 vsize=915332 CPUtime=0.49
/proc/17698/stat : 17698 (java) R 17696 17698 17093 0 -1 0 6521 0 1 0 45 4 0 0 18 0 8 0 279398246 937299968 6260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17698/statm: 228833 6260 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33922 s]
/proc/loadavg: 1.83 1.98 1.99 3/101 17706
/proc/meminfo: memFree=1268424/2055920 swapFree=4165612/4192956
[pid=17698] ppid=17696 vsize=915444 CPUtime=1.3
/proc/17698/stat : 17698 (java) R 17696 17698 17093 0 -1 0 7110 0 1 0 109 21 0 0 25 0 8 0 279398246 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17698/statm: 228861 6848 2479 14 0 215331 0
[pid=17698/tid=17700] ppid=17696 vsize=915444 CPUtime=0.02
/proc/17698/task/17700/stat : 17700 (java) S 17696 17698 17093 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279398250 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17701] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17701/stat : 17701 (java) S 17696 17698 17093 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279398250 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17702] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17702/stat : 17702 (java) S 17696 17698 17093 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279398250 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17703] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17703/stat : 17703 (java) S 17696 17698 17093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279398253 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17704] ppid=17696 vsize=915444 CPUtime=0.12
/proc/17698/task/17704/stat : 17704 (java) S 17696 17698 17093 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279398253 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17705] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17705/stat : 17705 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279398253 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17706] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17706/stat : 17706 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279398253 937414656 6848 18446744073709551615 134512640 134570532 4294956464 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.99241 s]
/proc/loadavg: 1.85 1.98 1.99 3/101 17706
/proc/meminfo: memFree=1268424/2055920 swapFree=4165612/4192956
[pid=17698] ppid=17696 vsize=915444 CPUtime=2.94
/proc/17698/stat : 17698 (java) R 17696 17698 17093 0 -1 0 7113 0 1 0 225 69 0 0 25 0 8 0 279398246 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17698/statm: 228861 6850 2479 14 0 215331 0
[pid=17698/tid=17700] ppid=17696 vsize=915444 CPUtime=0.02
/proc/17698/task/17700/stat : 17700 (java) S 17696 17698 17093 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279398250 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17701] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17701/stat : 17701 (java) S 17696 17698 17093 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279398250 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17702] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17702/stat : 17702 (java) S 17696 17698 17093 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279398250 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17703] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17703/stat : 17703 (java) S 17696 17698 17093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279398253 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17704] ppid=17696 vsize=915444 CPUtime=0.12
/proc/17698/task/17704/stat : 17704 (java) S 17696 17698 17093 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 279398253 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17705] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17705/stat : 17705 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279398253 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17706] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17706/stat : 17706 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279398253 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.2868 s]
/proc/loadavg: 1.85 1.98 1.99 3/101 17706
/proc/meminfo: memFree=1268432/2055920 swapFree=4165612/4192956
[pid=17698] ppid=17696 vsize=915448 CPUtime=6.2
/proc/17698/stat : 17698 (java) R 17696 17698 17093 0 -1 0 7113 0 1 0 450 170 0 0 25 0 8 0 279398246 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17698/statm: 228862 6850 2479 14 0 215332 0
[pid=17698/tid=17700] ppid=17696 vsize=915448 CPUtime=0.02
/proc/17698/task/17700/stat : 17700 (java) S 17696 17698 17093 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279398250 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17701] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17701/stat : 17701 (java) S 17696 17698 17093 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279398250 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17702] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17702/stat : 17702 (java) S 17696 17698 17093 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279398250 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17703] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17703/stat : 17703 (java) S 17696 17698 17093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279398253 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17704] ppid=17696 vsize=915448 CPUtime=0.12
/proc/17698/task/17704/stat : 17704 (java) S 17696 17698 17093 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 279398253 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17705] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17705/stat : 17705 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279398253 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17706] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17706/stat : 17706 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279398253 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915448
[startup+12.7706 s]
/proc/loadavg: 1.87 1.98 1.99 3/101 17706
/proc/meminfo: memFree=1268440/2055920 swapFree=4165612/4192956
[pid=17698] ppid=17696 vsize=915448 CPUtime=12.63
/proc/17698/stat : 17698 (java) R 17696 17698 17093 0 -1 0 7113 0 1 0 904 359 0 0 25 0 8 0 279398246 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17698/statm: 228862 6850 2479 14 0 215332 0
[pid=17698/tid=17700] ppid=17696 vsize=915448 CPUtime=0.02
/proc/17698/task/17700/stat : 17700 (java) S 17696 17698 17093 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279398250 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17701] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17701/stat : 17701 (java) S 17696 17698 17093 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279398250 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17702] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17702/stat : 17702 (java) S 17696 17698 17093 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279398250 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17703] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17703/stat : 17703 (java) S 17696 17698 17093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279398253 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17704] ppid=17696 vsize=915448 CPUtime=0.12
/proc/17698/task/17704/stat : 17704 (java) S 17696 17698 17093 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 279398253 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17705] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17705/stat : 17705 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279398253 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17706] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17706/stat : 17706 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279398253 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915448
[startup+25.6111 s]
/proc/loadavg: 1.89 1.98 1.99 3/101 17706
/proc/meminfo: memFree=1268440/2055920 swapFree=4165612/4192956
[pid=17698] ppid=17696 vsize=915448 CPUtime=25.35
/proc/17698/stat : 17698 (java) R 17696 17698 17093 0 -1 0 7114 0 1 0 1793 742 0 0 25 0 8 0 279398246 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17698/statm: 228862 6851 2479 14 0 215332 0
[pid=17698/tid=17700] ppid=17696 vsize=915448 CPUtime=0.02
/proc/17698/task/17700/stat : 17700 (java) S 17696 17698 17093 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279398250 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17701] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17701/stat : 17701 (java) S 17696 17698 17093 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279398250 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17702] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17702/stat : 17702 (java) S 17696 17698 17093 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279398250 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17703] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17703/stat : 17703 (java) S 17696 17698 17093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279398253 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17704] ppid=17696 vsize=915448 CPUtime=0.12
/proc/17698/task/17704/stat : 17704 (java) S 17696 17698 17093 0 -1 64 335 0 0 0 12 0 0 0 16 0 8 0 279398253 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17705] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17705/stat : 17705 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279398253 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17706] ppid=17696 vsize=915448 CPUtime=0
/proc/17698/task/17706/stat : 17706 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279398253 937418752 6851 18446744073709551615 134512640 134570532 4294956464 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
[startup+51.2261 s]
/proc/loadavg: 1.93 1.98 1.99 3/101 17706
/proc/meminfo: memFree=1261016/2055920 swapFree=4165612/4192956
[pid=17698] ppid=17696 vsize=915444 CPUtime=50.72
/proc/17698/stat : 17698 (java) R 17696 17698 17093 0 -1 0 9053 0 1 0 3788 1284 0 0 25 0 8 0 279398246 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17698/statm: 228861 8785 2532 14 0 215331 0
[pid=17698/tid=17700] ppid=17696 vsize=915444 CPUtime=0.02
/proc/17698/task/17700/stat : 17700 (java) S 17696 17698 17093 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279398250 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17701] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17701/stat : 17701 (java) S 17696 17698 17093 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279398250 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17702] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17702/stat : 17702 (java) S 17696 17698 17093 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279398250 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17703] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17703/stat : 17703 (java) S 17696 17698 17093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279398253 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17704] ppid=17696 vsize=915444 CPUtime=0.23
/proc/17698/task/17704/stat : 17704 (java) S 17696 17698 17093 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 279398253 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17705] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17705/stat : 17705 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279398253 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17698/tid=17706] ppid=17696 vsize=915444 CPUtime=0
/proc/17698/task/17706/stat : 17706 (java) S 17696 17698 17093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279398253 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 57.7752
CPU time (s): 57.1843
CPU user time (s): 44.3353
CPU system time (s): 12.849
CPU usage (%): 98.9772
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.3353
system time used= 12.849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9155
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= 2246
involuntary context switches= 4474
runsolver used 0.079987 s user time and 0.201969 s system time
The end
Begin job on node1 on Sat Jan 20 16:20:25 UTC 2007
IDJOB= 281107
IDBENCH= 12081
IDSOLVER= 68
FILE ID= node1/281107-1169310025
PBS_JOBID= 3609943
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseLoose/vcsp-40-10-13-60-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281107-1169310025/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-281107-1169310025 -o ROOT/results/node1/solver-281107-1169310025 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281107-1169310025/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a5b6364f7961486618a0d3e6c2b3bd97
RANDOM SEED= 48994568
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: 1286624 kB
Buffers: 54396 kB
Cached: 588456 kB
SwapCached: 4372 kB
Active: 299404 kB
Inactive: 391692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1286624 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 2192 kB
Writeback: 0 kB
Mapped: 65404 kB
Slab: 62788 kB
Committed_AS: 8405800 kB
PageTables: 2436 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 node1 on Sat Jan 20 16:21:23 UTC 2007