0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/277787-1169270625/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.101 cpuTime=0.09 mem=6M910
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.46 nbConstraints=196 nbRelationTypes=7 nbExtensionStructures=7 nbSharedExtensionStructures=189
0.47 nbConflictsStructures=7 nbSharedConflictsStructures=189 nbSharedBinaryRepresentations=24 maxDegree=10
0.47 maxArity=2
0.47 => wckTime=0.168 cpuTime=0.14 mem=7M893
0.50
0.51 solver LocalSearchSolver being built...
0.54 => wckTime=0.245 cpuTime=0.19 mem=5M475
0.54
0.54 s SATISFIABLE
0.54 o 153
0.54 c 43
0.54 o 156
0.54 c 40
0.54 o 158
0.54 c 38
0.54 o 160
0.54 c 36
0.54 o 161
0.54 c 35
0.55 o 162
0.55 c 34
0.55 o 164
0.55 c 32
0.55 o 165
0.55 c 31
0.55 o 167
0.55 c 29
0.55 o 169
0.55 c 27
0.55 o 171
0.55 c 25
0.55 o 172
0.55 c 24
0.55 o 173
0.55 c 23
0.55 o 174
0.55 c 22
0.56 o 175
0.56 c 21
0.56 o 177
0.56 c 19
0.56 o 178
0.56 c 18
0.56 o 179
0.56 c 17
0.56 o 180
0.56 c 16
0.56 o 181
0.56 c 15
0.56 o 182
0.56 c 14
0.57 o 183
0.57 c 13
0.57 o 186
0.57 c 10
0.60 o 187
0.60 c 9
0.60 o 188
0.60 c 8
1.41
1.41 search
1.41 run=0 nbConstraintChecks=1568137 nbAssignments=10000
1.41 => wckTime=0.868 cpuTime=0.84 mem=5M475
2.27
2.27 search
2.27 run=1 nbConstraintChecks=3383168 nbAssignments=20000
2.27 => wckTime=1.727 cpuTime=1.7 mem=5M475
3.08
3.08 search
3.08 run=2 nbConstraintChecks=4970452 nbAssignments=30000
3.08 => wckTime=2.539 cpuTime=2.5 mem=5M475
3.38 o 189
3.38 c 7
3.97
3.97 search
3.97 run=3 nbConstraintChecks=6738659 nbAssignments=40000
3.97 => wckTime=3.432 cpuTime=3.38 mem=5M475
4.84
4.84 search
4.84 run=4 nbConstraintChecks=8329485 nbAssignments=50000
4.84 => wckTime=4.303 cpuTime=4.26 mem=5M475
5.71
5.71 search
5.71 run=5 nbConstraintChecks=10156647 nbAssignments=60000
5.71 => wckTime=5.175 cpuTime=5.13 mem=5M475
6.59
6.59 search
6.59 run=6 nbConstraintChecks=11756160 nbAssignments=70000
6.59 => wckTime=6.05 cpuTime=5.99 mem=5M475
7.49
7.49 search
7.49 run=7 nbConstraintChecks=13487755 nbAssignments=80000
7.49 => wckTime=6.954 cpuTime=6.9 mem=5M475
8.36
8.36 search
8.36 run=8 nbConstraintChecks=15026935 nbAssignments=90000
8.36 => wckTime=7.821 cpuTime=7.76 mem=5M475
9.25
9.25 search
9.25 run=9 nbConstraintChecks=16699164 nbAssignments=100000
9.25 => wckTime=8.71 cpuTime=8.65 mem=5M475
10.06
10.06 search
10.06 run=10 nbConstraintChecks=18245277 nbAssignments=110000
10.06 => wckTime=9.523 cpuTime=9.46 mem=5M475
10.91
10.91 search
10.91 run=11 nbConstraintChecks=19957354 nbAssignments=120000
10.91 => wckTime=10.367 cpuTime=10.3 mem=5M475
11.72
11.72 search
11.72 run=12 nbConstraintChecks=21456768 nbAssignments=130000
11.72 => wckTime=11.181 cpuTime=11.1 mem=5M475
12.58
12.58 search
12.58 run=13 nbConstraintChecks=23220344 nbAssignments=140000
12.58 => wckTime=12.039 cpuTime=11.96 mem=5M475
13.44
13.44 search
13.44 run=14 nbConstraintChecks=24778696 nbAssignments=150000
13.44 => wckTime=12.899 cpuTime=12.82 mem=5M475
14.34
14.34 search
14.34 run=15 nbConstraintChecks=26557421 nbAssignments=160000
14.34 => wckTime=13.805 cpuTime=13.72 mem=5M475
15.20
15.20 search
15.20 run=16 nbConstraintChecks=28110725 nbAssignments=170000
15.20 => wckTime=14.662 cpuTime=14.57 mem=5M475
16.06
16.06 search
16.06 run=17 nbConstraintChecks=29883233 nbAssignments=180000
16.06 => wckTime=15.521 cpuTime=15.42 mem=5M475
16.88
16.88 search
16.88 run=18 nbConstraintChecks=31474786 nbAssignments=190000
16.88 => wckTime=16.341 cpuTime=16.24 mem=5M475
17.72
17.72 search
17.72 run=19 nbConstraintChecks=33143433 nbAssignments=200000
17.72 => wckTime=17.184 cpuTime=17.08 mem=5M475
18.56
18.56 search
18.56 run=20 nbConstraintChecks=34686100 nbAssignments=210000
18.56 => wckTime=18.02 cpuTime=17.89 mem=5M475
19.41
19.41 search
19.41 run=21 nbConstraintChecks=36411164 nbAssignments=220000
19.41 => wckTime=18.87 cpuTime=18.73 mem=5M475
20.22
20.22 search
20.22 run=22 nbConstraintChecks=37982632 nbAssignments=230000
20.22 => wckTime=19.686 cpuTime=19.54 mem=5M475
21.06
21.06 search
21.06 run=23 nbConstraintChecks=39661339 nbAssignments=240000
21.06 => wckTime=20.52 cpuTime=20.37 mem=5M475
21.87
21.87 search
21.87 run=24 nbConstraintChecks=41224466 nbAssignments=250000
21.87 => wckTime=21.331 cpuTime=21.18 mem=5M475
22.72
22.72 search
22.72 run=25 nbConstraintChecks=42975220 nbAssignments=260000
22.72 => wckTime=22.179 cpuTime=22.03 mem=5M475
23.52
23.52 search
23.52 run=26 nbConstraintChecks=44491951 nbAssignments=270000
23.52 => wckTime=22.977 cpuTime=22.82 mem=5M475
24.38
24.38 search
24.38 run=27 nbConstraintChecks=46322626 nbAssignments=280000
24.38 => wckTime=23.842 cpuTime=23.68 mem=5M475
25.20
25.20 search
25.20 run=28 nbConstraintChecks=47914828 nbAssignments=290000
25.20 => wckTime=24.664 cpuTime=24.5 mem=5M475
26.02
26.02 search
26.02 run=29 nbConstraintChecks=49502553 nbAssignments=300000
26.02 => wckTime=25.484 cpuTime=25.32 mem=5M475
26.83
26.83 search
26.83 run=30 nbConstraintChecks=51061999 nbAssignments=310000
26.83 => wckTime=26.29 cpuTime=26.12 mem=5M475
27.66
27.66 search
27.66 run=31 nbConstraintChecks=52748812 nbAssignments=320000
27.66 => wckTime=27.125 cpuTime=26.95 mem=5M475
28.48
28.48 search
28.48 run=32 nbConstraintChecks=54327312 nbAssignments=330000
28.48 => wckTime=27.94 cpuTime=27.76 mem=5M475
29.32
29.32 search
29.32 run=33 nbConstraintChecks=56039565 nbAssignments=340000
29.32 => wckTime=28.777 cpuTime=28.6 mem=5M475
30.12
30.12 search
30.12 run=34 nbConstraintChecks=57570074 nbAssignments=350000
30.12 => wckTime=29.582 cpuTime=29.4 mem=5M475
30.98
30.98 search
30.98 run=35 nbConstraintChecks=59366480 nbAssignments=360000
30.98 => wckTime=30.444 cpuTime=30.26 mem=5M475
31.80
31.80 search
31.80 run=36 nbConstraintChecks=60934596 nbAssignments=370000
31.80 => wckTime=31.263 cpuTime=31.07 mem=5M475
32.66
32.66 search
32.66 run=37 nbConstraintChecks=62709031 nbAssignments=380000
32.66 => wckTime=32.119 cpuTime=31.92 mem=5M475
33.47
33.47 search
33.48 run=38 nbConstraintChecks=64257205 nbAssignments=390000
33.48 => wckTime=32.936 cpuTime=32.74 mem=5M475
33.54
33.54 search
33.54 run=39 nbConstraintChecks=64385172 nbAssignments=390827
33.54 => wckTime=33.004 cpuTime=32.81 mem=5M475
33.55
33.55 global
33.55 nbConstraintChecks=64385172 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.55 solvingWckTime=33.003 solvingCpuTime=32.8 expiredTime=no totalExploration=no nbFoundSolutions=0
33.55 globalCpuTime=33.04
33.55 => wckTime=33.25 cpuTime=32.99 mem=5M475
33.55
33.55 solver IterativeSystematicSolver being built...
33.69 => wckTime=33.39 cpuTime=33.1 mem=16M415
33.69
33.69 preprocessing
33.69 nbConstraintChecks=4 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.69 detectedInconsistency=no
33.69 => wckTime=0.0030 cpuTime=0.0 mem=16M415
33.74
33.74 search
33.74 run=0 nbConstraintChecks=13208 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44
33.74 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=59 nbRestartNogoods=0
33.74 => wckTime=0.057 cpuTime=0.03 mem=17M456
33.77
33.77 search
33.77 run=1 nbConstraintChecks=28584 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=99
33.77 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=130 nbRestartNogoods=6
33.77 => wckTime=0.081 cpuTime=0.05 mem=17M456
33.79
33.79 search
33.79 run=2 nbConstraintChecks=42282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=148
33.79 nbFailedAssignments=32 nbBacktracks=52 nbVisitedNodes=206 nbRestartNogoods=11
33.79 => wckTime=0.105 cpuTime=0.07 mem=17M456
33.82
33.82 search
33.82 run=3 nbConstraintChecks=65885 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=219
33.82 nbFailedAssignments=56 nbBacktracks=85 nbVisitedNodes=312 nbRestartNogoods=13
33.82 => wckTime=0.136 cpuTime=0.1 mem=17M456
33.86
33.86 search
33.86 run=4 nbConstraintChecks=105420 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=311
33.86 nbFailedAssignments=67 nbBacktracks=147 nbVisitedNodes=462 nbRestartNogoods=15
33.86 => wckTime=0.177 cpuTime=0.14 mem=17M456
33.92
33.92 search
33.92 run=5 nbConstraintChecks=162359 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=440
33.92 nbFailedAssignments=92 nbBacktracks=233 nbVisitedNodes=675 nbRestartNogoods=19
33.92 => wckTime=0.239 cpuTime=0.19 mem=17M456
33.97
33.97 search
33.97 run=6 nbConstraintChecks=232906 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=625
33.97 nbFailedAssignments=130 nbBacktracks=352 nbVisitedNodes=951 nbRestartNogoods=23
33.98 => wckTime=0.289 cpuTime=0.24 mem=17M456
34.05
34.05 search
34.05 run=7 nbConstraintChecks=338558 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=887
34.05 nbFailedAssignments=186 nbBacktracks=528 nbVisitedNodes=1394 nbRestartNogoods=30
34.05 => wckTime=0.367 cpuTime=0.32 mem=17M456
34.18
34.18 search
34.18 run=8 nbConstraintChecks=498129 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1270
34.18 nbFailedAssignments=277 nbBacktracks=793 nbVisitedNodes=2024 nbRestartNogoods=39
34.18 => wckTime=0.495 cpuTime=0.44 mem=17M456
34.40
34.40 search
34.40 run=9 nbConstraintChecks=747189 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1912
34.40 nbFailedAssignments=508 nbBacktracks=1177 nbVisitedNodes=3055 nbRestartNogoods=45
34.40 => wckTime=0.718 cpuTime=0.65 mem=17M456
34.64
34.64 search
34.64 run=10 nbConstraintChecks=1105488 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2707
34.64 nbFailedAssignments=696 nbBacktracks=1763 nbVisitedNodes=4377 nbRestartNogoods=52
34.64 => wckTime=0.951 cpuTime=0.88 mem=17M456
35.02
35.02 search
35.02 run=11 nbConstraintChecks=1629876 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3861
35.02 nbFailedAssignments=955 nbBacktracks=2630 nbVisitedNodes=6411 nbRestartNogoods=56
35.02 => wckTime=1.336 cpuTime=1.26 mem=17M456
35.48
35.48 search
35.48 run=12 nbConstraintChecks=2397184 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5545
35.48 nbFailedAssignments=1308 nbBacktracks=3928 nbVisitedNodes=9268 nbRestartNogoods=63
35.48 => wckTime=1.798 cpuTime=1.72 mem=17M456
36.41
36.41 search
36.41 run=13 nbConstraintChecks=3741971 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8377
36.41 nbFailedAssignments=2158 nbBacktracks=5875 nbVisitedNodes=14316 nbRestartNogoods=71
36.41 => wckTime=2.719 cpuTime=2.63 mem=17M456
37.73
37.73 search
37.74 run=14 nbConstraintChecks=6015003 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12933
37.74 nbFailedAssignments=3754 nbBacktracks=8794 nbVisitedNodes=22444 nbRestartNogoods=85
37.74 => wckTime=4.049 cpuTime=3.95 mem=17M456
39.19
39.19 search
39.19 run=15 nbConstraintChecks=8655316 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18512
39.19 nbFailedAssignments=4924 nbBacktracks=13175 nbVisitedNodes=32318 nbRestartNogoods=100
39.19 => wckTime=5.505 cpuTime=5.4 mem=17M456
41.86
41.86 search
41.86 run=16 nbConstraintChecks=12855500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26979
41.86 nbFailedAssignments=6786 nbBacktracks=19744 nbVisitedNodes=47261 nbRestartNogoods=109
41.86 => wckTime=8.179 cpuTime=8.06 mem=17M456
45.38
45.38 search
45.38 run=17 nbConstraintChecks=19151897 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41160
45.38 nbFailedAssignments=11072 nbBacktracks=29596 nbVisitedNodes=71295 nbRestartNogoods=121
45.38 => wckTime=11.694 cpuTime=11.57 mem=17M456
51.81
51.81 search
51.81 run=18 nbConstraintChecks=27615759 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62281
51.81 nbFailedAssignments=17373 nbBacktracks=44376 nbVisitedNodes=106497 nbRestartNogoods=133
51.81 => wckTime=18.125 cpuTime=17.97 mem=17M456
61.87
61.88 search
61.88 run=19 nbConstraintChecks=41424691 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93254
61.88 nbFailedAssignments=26169 nbBacktracks=66544 nbVisitedNodes=159341 nbRestartNogoods=144
61.88 => wckTime=28.189 cpuTime=27.98 mem=17M456
76.68
76.68 search
76.68 run=20 nbConstraintChecks=59252110 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=140601
76.68 nbFailedAssignments=40234 nbBacktracks=99802 nbVisitedNodes=239338 nbRestartNogoods=150
76.68 => wckTime=42.994 cpuTime=42.71 mem=17M456
83.03
83.03 search
83.03 run=21 nbConstraintChecks=65691841 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=159575
83.03 nbFailedAssignments=45784 nbBacktracks=113227 nbVisitedNodes=271132 nbRestartNogoods=158
83.03 => wckTime=49.339 cpuTime=49.03 mem=17M456
83.03
83.03 global
83.03 nbConstraintChecks=65691845 nbRestartNogoods=158 solvingWckTime=49.341 solvingCpuTime=49.03 expiredTime=no
83.03 totalExploration=yes nbFoundSolutions=0 globalCpuTime=82.18
83.03 => wckTime=82.732 cpuTime=82.13 mem=17M456
83.03
83.03 s OPTIMUM FOUND
83.03 v 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0
83.03
83.03 totalWckTime=82.808 totalCpuTime=82.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-277787-1169270625 -o ROOT/results/node1/solver-277787-1169270625 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277787-1169270625/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.61 1.91 1.96 3/81 11850
/proc/meminfo: memFree=1307296/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=220 CPUtime=0
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 224 0 0 0 0 0 0 0 18 0 1 0 275458319 225280 31 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5829412 0 0 4096 0 0 0 0 17 1 0 0
/proc/11849/statm: 73 35 27 14 0 5 0
[startup+0.103263 s]
/proc/loadavg: 1.61 1.91 1.96 3/81 11850
/proc/meminfo: memFree=1307296/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=914988 CPUtime=0.09
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 3047 0 1 0 8 1 0 0 17 0 8 0 275458319 936947712 2793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11849/statm: 228747 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51131 s]
/proc/loadavg: 1.61 1.91 1.96 3/81 11850
/proc/meminfo: memFree=1307296/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915332 CPUtime=0.49
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6630 0 1 0 46 3 0 0 17 0 8 0 275458319 937299968 6368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11849/statm: 228833 6368 2228 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3324 s]
/proc/loadavg: 1.61 1.91 1.96 3/95 11922
/proc/meminfo: memFree=1286384/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915336 CPUtime=1.31
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6907 0 1 0 97 34 0 0 23 0 8 0 275458319 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11849/statm: 228834 6645 2476 14 0 215304 0
[pid=11849/tid=11851] ppid=11847 vsize=915336 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275458322 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915336 CPUtime=0.09
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 315 0 0 0 9 0 0 0 16 0 8 0 275458326 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915336
[startup+2.9846 s]
/proc/loadavg: 1.64 1.91 1.96 3/95 11922
/proc/meminfo: memFree=1286320/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915332 CPUtime=2.96
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6910 0 1 0 186 110 0 0 25 0 8 0 275458319 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6154243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11849/statm: 228833 6647 2476 14 0 215303 0
[pid=11849/tid=11851] ppid=11847 vsize=915332 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275458322 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915332 CPUtime=0.09
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 275458326 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915332
[startup+6.27398 s]
/proc/loadavg: 1.64 1.91 1.96 2/88 12051
/proc/meminfo: memFree=1288240/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915332 CPUtime=6.23
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6911 0 1 0 374 249 0 0 20 0 8 0 275458319 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11849/statm: 228834 6648 2476 14 0 215304 0
[pid=11849/tid=11851] ppid=11847 vsize=915332 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275458322 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937304064 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915332 CPUtime=0.09
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915332
[startup+12.7557 s]
/proc/loadavg: 1.54 1.88 1.95 2/88 12141
/proc/meminfo: memFree=1286896/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915332 CPUtime=12.68
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6911 0 1 0 726 542 0 0 17 0 8 0 275458319 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11849/statm: 228833 6648 2476 14 0 215303 0
[pid=11849/tid=11851] ppid=11847 vsize=915332 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275458322 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937304064 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915332 CPUtime=0.1
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 318 0 0 0 10 0 0 0 16 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915332
[startup+25.5892 s]
/proc/loadavg: 1.61 1.88 1.95 3/93 12179
/proc/meminfo: memFree=1284760/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915468 CPUtime=25.44
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6918 0 1 0 1431 1113 0 0 25 0 8 0 275458319 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073597629 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11849/statm: 228867 6655 2476 14 0 215337 0
[pid=11849/tid=11851] ppid=11847 vsize=915468 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275458322 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915468 CPUtime=0.1
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 275458326 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915468
[startup+51.2863 s]
/proc/loadavg: 1.74 1.89 1.95 3/93 12179
/proc/meminfo: memFree=1276184/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915468 CPUtime=51.03
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 9167 0 1 0 3627 1476 0 0 25 0 8 0 275458319 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11849/statm: 228867 8902 2527 14 0 215337 0
[pid=11849/tid=11851] ppid=11847 vsize=915468 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 149 0 0 0 2 0 0 0 16 0 8 0 275458322 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915468 CPUtime=0.21
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 275458326 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915468
Child status: 0
Real time (s): 83.0698
CPU time (s): 82.6334
CPU user time (s): 67.8587
CPU system time (s): 14.7748
CPU usage (%): 99.4747
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.8587
system time used= 14.7748
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9275
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= 2728
involuntary context switches= 5133
runsolver used 0.093985 s user time and 0.229965 s system time
The end
Begin job on node1 on Sat Jan 20 05:23:45 UTC 2007
IDJOB= 277787
IDBENCH= 7669
IDSOLVER= 69
FILE ID= node1/277787-1169270625
PBS_JOBID= 3607440
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-80-100-1000/cnf-2-80-200-461241_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277787-1169270625/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-277787-1169270625 -o ROOT/results/node1/solver-277787-1169270625 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277787-1169270625/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5427dd1f7a236b3f3413b7e59a7c4ca0
RANDOM SEED= 755854304
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: 1307776 kB
Buffers: 52508 kB
Cached: 579736 kB
SwapCached: 4372 kB
Active: 283112 kB
Inactive: 388984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1307776 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 2116 kB
Writeback: 0 kB
Mapped: 49392 kB
Slab: 61088 kB
Committed_AS: 8078932 kB
PageTables: 2172 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 node1 on Sat Jan 20 05:25:09 UTC 2007