0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278408-1169287919/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.091 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.42
0.42 constraints being loaded...
0.50 nbConstraints=246 nbRelationTypes=11 nbExtensionStructures=11 nbSharedExtensionStructures=235
0.50 nbConflictsStructures=11 nbSharedConflictsStructures=235 nbSharedBinaryRepresentations=40 maxDegree=18
0.50 maxArity=2
0.50 => wckTime=0.187 cpuTime=0.14 mem=7M901
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.268 cpuTime=0.18 mem=5M486
0.58
0.58 s SATISFIABLE
0.58 o 184
0.58 c 62
0.58 o 187
0.58 c 59
0.58 o 192
0.58 c 54
0.58 o 194
0.58 c 52
0.58 o 197
0.58 c 49
0.58 o 198
0.58 c 48
0.58 o 200
0.58 c 46
0.58 o 202
0.58 c 44
0.59 o 203
0.59 c 43
0.59 o 205
0.59 c 41
0.59 o 207
0.59 c 39
0.62 o 208
0.62 c 38
0.64 o 209
0.64 c 37
0.68 o 210
0.68 c 36
0.68 o 211
0.68 c 35
1.68
1.68 search
1.68 run=0 nbConstraintChecks=3064307 nbAssignments=10000
1.69 => wckTime=1.11 cpuTime=1.08 mem=5M486
2.73
2.73 search
2.73 run=1 nbConstraintChecks=6180793 nbAssignments=20000
2.73 => wckTime=2.157 cpuTime=2.11 mem=5M486
3.76
3.76 search
3.76 run=2 nbConstraintChecks=9239571 nbAssignments=30000
3.76 => wckTime=3.187 cpuTime=3.14 mem=5M486
4.80
4.80 search
4.80 run=3 nbConstraintChecks=12352594 nbAssignments=40000
4.80 => wckTime=4.229 cpuTime=4.17 mem=5M486
5.84
5.84 search
5.84 run=4 nbConstraintChecks=15403283 nbAssignments=50000
5.84 => wckTime=5.265 cpuTime=5.19 mem=5M486
6.88
6.88 search
6.88 run=5 nbConstraintChecks=18522195 nbAssignments=60000
6.88 => wckTime=6.306 cpuTime=6.22 mem=5M486
7.91
7.91 search
7.91 run=6 nbConstraintChecks=21576974 nbAssignments=70000
7.91 => wckTime=7.338 cpuTime=7.24 mem=5M486
8.95
8.95 search
8.95 run=7 nbConstraintChecks=24696545 nbAssignments=80000
8.95 => wckTime=8.372 cpuTime=8.27 mem=5M486
9.98
9.98 search
9.98 run=8 nbConstraintChecks=27754429 nbAssignments=90000
9.98 => wckTime=9.403 cpuTime=9.29 mem=5M486
11.02
11.02 search
11.02 run=9 nbConstraintChecks=30887616 nbAssignments=100000
11.02 => wckTime=10.444 cpuTime=10.32 mem=5M486
12.05
12.05 search
12.05 run=10 nbConstraintChecks=33954168 nbAssignments=110000
12.05 => wckTime=11.479 cpuTime=11.34 mem=5M486
13.09
13.09 search
13.09 run=11 nbConstraintChecks=37078999 nbAssignments=120000
13.09 => wckTime=12.519 cpuTime=12.38 mem=5M486
14.12
14.12 search
14.12 run=12 nbConstraintChecks=40136680 nbAssignments=130000
14.12 => wckTime=13.549 cpuTime=13.39 mem=5M486
15.16
15.16 search
15.16 run=13 nbConstraintChecks=43253421 nbAssignments=140000
15.16 => wckTime=14.586 cpuTime=14.42 mem=5M486
16.19
16.19 search
16.19 run=14 nbConstraintChecks=46315982 nbAssignments=150000
16.19 => wckTime=15.619 cpuTime=15.45 mem=5M486
17.24
17.24 search
17.24 run=15 nbConstraintChecks=49433082 nbAssignments=160000
17.24 => wckTime=16.667 cpuTime=16.49 mem=5M486
18.28
18.28 search
18.28 run=16 nbConstraintChecks=52494582 nbAssignments=170000
18.28 => wckTime=17.707 cpuTime=17.51 mem=5M486
19.33
19.33 search
19.33 run=17 nbConstraintChecks=55613449 nbAssignments=180000
19.33 => wckTime=18.755 cpuTime=18.55 mem=5M486
20.37
20.37 search
20.37 run=18 nbConstraintChecks=58668938 nbAssignments=190000
20.37 => wckTime=19.795 cpuTime=19.58 mem=5M486
21.42
21.42 search
21.42 run=19 nbConstraintChecks=61797966 nbAssignments=200000
21.42 => wckTime=20.84 cpuTime=20.62 mem=5M486
22.46
22.46 search
22.46 run=20 nbConstraintChecks=64859911 nbAssignments=210000
22.46 => wckTime=21.882 cpuTime=21.65 mem=5M486
23.50
23.51 search
23.51 run=21 nbConstraintChecks=67975073 nbAssignments=220000
23.51 => wckTime=22.93 cpuTime=22.69 mem=5M486
24.55
24.55 search
24.55 run=22 nbConstraintChecks=71041326 nbAssignments=230000
24.55 => wckTime=23.972 cpuTime=23.72 mem=5M486
25.60
25.60 search
25.60 run=23 nbConstraintChecks=74151316 nbAssignments=240000
25.60 => wckTime=25.022 cpuTime=24.76 mem=5M486
26.63
26.63 search
26.63 run=24 nbConstraintChecks=77208898 nbAssignments=250000
26.63 => wckTime=26.058 cpuTime=25.79 mem=5M486
27.67
27.67 search
27.67 run=25 nbConstraintChecks=80339526 nbAssignments=260000
27.67 => wckTime=27.099 cpuTime=26.81 mem=5M486
28.70
28.70 search
28.70 run=26 nbConstraintChecks=83395948 nbAssignments=270000
28.70 => wckTime=28.13 cpuTime=27.84 mem=5M486
29.74
29.74 search
29.74 run=27 nbConstraintChecks=86534484 nbAssignments=280000
29.74 => wckTime=29.167 cpuTime=28.86 mem=5M486
30.77
30.77 search
30.77 run=28 nbConstraintChecks=89587091 nbAssignments=290000
30.77 => wckTime=30.193 cpuTime=29.88 mem=5M486
31.00
31.00 search
31.00 run=29 nbConstraintChecks=90280336 nbAssignments=292216
31.00 => wckTime=30.425 cpuTime=30.11 mem=5M486
31.00
31.00 global
31.00 nbConstraintChecks=90280336 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.00 solvingWckTime=30.424 solvingCpuTime=30.11 expiredTime=no totalExploration=no nbFoundSolutions=0
31.00 globalCpuTime=30.34
31.00 => wckTime=30.693 cpuTime=30.29 mem=5M486
31.00
31.00 solver IterativeSystematicSolver being built...
31.14 => wckTime=30.835 cpuTime=30.4 mem=16M539
31.15
31.15 preprocessing
31.15 nbConstraintChecks=46 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.15 detectedInconsistency=no
31.15 => wckTime=0.0040 cpuTime=0.01 mem=16M539
31.20
31.20 search
31.20 run=0 nbConstraintChecks=15223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30
31.20 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=49 nbRestartNogoods=0
31.20 => wckTime=0.051 cpuTime=0.03 mem=16M539
31.23
31.23 search
31.23 run=1 nbConstraintChecks=39625 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71
31.23 nbFailedAssignments=19 nbBacktracks=27 nbVisitedNodes=117 nbRestartNogoods=2
31.23 => wckTime=0.085 cpuTime=0.05 mem=16M539
31.26
31.26 search
31.26 run=2 nbConstraintChecks=70385 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=123
31.26 nbFailedAssignments=38 nbBacktracks=49 nbVisitedNodes=210 nbRestartNogoods=3
31.26 => wckTime=0.112 cpuTime=0.08 mem=16M539
31.28
31.28 search
31.28 run=3 nbConstraintChecks=106260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=186
31.28 nbFailedAssignments=55 nbBacktracks=82 nbVisitedNodes=317 nbRestartNogoods=6
31.28 => wckTime=0.137 cpuTime=0.1 mem=16M539
31.31
31.31 search
31.31 run=4 nbConstraintChecks=166852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=281
31.31 nbFailedAssignments=81 nbBacktracks=132 nbVisitedNodes=488 nbRestartNogoods=10
31.31 => wckTime=0.17 cpuTime=0.13 mem=16M539
31.37
31.37 search
31.37 run=5 nbConstraintChecks=260586 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=416
31.37 nbFailedAssignments=127 nbBacktracks=207 nbVisitedNodes=738 nbRestartNogoods=12
31.37 => wckTime=0.223 cpuTime=0.18 mem=16M539
31.44
31.44 search
31.44 run=6 nbConstraintChecks=398768 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=605
31.44 nbFailedAssignments=190 nbBacktracks=320 nbVisitedNodes=1102 nbRestartNogoods=15
31.44 => wckTime=0.299 cpuTime=0.26 mem=16M539
31.55
31.55 search
31.55 run=7 nbConstraintChecks=580979 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=886
31.55 nbFailedAssignments=292 nbBacktracks=491 nbVisitedNodes=1638 nbRestartNogoods=17
31.55 => wckTime=0.41 cpuTime=0.37 mem=16M539
31.74
31.74 search
31.74 run=8 nbConstraintChecks=886812 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1326
31.74 nbFailedAssignments=456 nbBacktracks=747 nbVisitedNodes=2478 nbRestartNogoods=21
31.74 => wckTime=0.594 cpuTime=0.54 mem=16M539
32.03
32.03 search
32.03 run=9 nbConstraintChecks=1326592 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1987
32.03 nbFailedAssignments=723 nbBacktracks=1131 nbVisitedNodes=3767 nbRestartNogoods=24
32.03 => wckTime=0.884 cpuTime=0.83 mem=16M539
32.36
32.36 search
32.36 run=10 nbConstraintChecks=1918148 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2832
32.36 nbFailedAssignments=981 nbBacktracks=1709 nbVisitedNodes=5414 nbRestartNogoods=29
32.36 => wckTime=1.213 cpuTime=1.14 mem=16M539
32.91
32.91 search
32.91 run=11 nbConstraintChecks=2939355 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4267
32.91 nbFailedAssignments=1541 nbBacktracks=2574 nbVisitedNodes=8220 nbRestartNogoods=33
32.91 => wckTime=1.763 cpuTime=1.68 mem=16M539
33.69
33.69 search
33.69 run=12 nbConstraintChecks=4351570 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6282
33.69 nbFailedAssignments=2249 nbBacktracks=3871 nbVisitedNodes=12071 nbRestartNogoods=38
33.69 => wckTime=2.547 cpuTime=2.46 mem=16M539
34.90
34.90 search
34.90 run=13 nbConstraintChecks=6647331 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9512
34.90 nbFailedAssignments=3522 nbBacktracks=5819 nbVisitedNodes=18379 nbRestartNogoods=44
34.90 => wckTime=3.752 cpuTime=3.66 mem=16M539
36.46
36.46 search
36.46 run=14 nbConstraintChecks=9723982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13899
36.47 nbFailedAssignments=4974 nbBacktracks=8740 nbVisitedNodes=26475 nbRestartNogoods=47
36.47 => wckTime=5.321 cpuTime=5.21 mem=16M539
38.99
38.99 search
38.99 run=15 nbConstraintChecks=14285859 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20567
38.99 nbFailedAssignments=7254 nbBacktracks=13118 nbVisitedNodes=39341 nbRestartNogoods=54
38.99 => wckTime=7.845 cpuTime=7.71 mem=16M539
42.91
42.91 search
42.91 run=16 nbConstraintChecks=21422123 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31075
42.91 nbFailedAssignments=11183 nbBacktracks=19687 nbVisitedNodes=59446 nbRestartNogoods=58
42.91 => wckTime=11.767 cpuTime=11.6 mem=16M539
48.01
48.01 search
48.01 run=17 nbConstraintChecks=30877042 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=45478
48.01 nbFailedAssignments=15724 nbBacktracks=29540 nbVisitedNodes=85090 nbRestartNogoods=65
48.01 => wckTime=16.866 cpuTime=16.65 mem=16M539
56.64
56.64 search
56.64 run=18 nbConstraintChecks=45945393 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67686
56.64 nbFailedAssignments=23142 nbBacktracks=44320 nbVisitedNodes=127448 nbRestartNogoods=73
56.64 => wckTime=25.492 cpuTime=25.19 mem=16M539
66.01
66.01 search
66.01 run=19 nbConstraintChecks=64368161 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94599
66.01 nbFailedAssignments=32582 nbBacktracks=61794 nbVisitedNodes=179590 nbRestartNogoods=78
66.01 => wckTime=34.863 cpuTime=34.55 mem=16M539
66.01
66.01 global
66.01 nbConstraintChecks=64368207 nbRestartNogoods=78 solvingWckTime=34.864 solvingCpuTime=34.55 expiredTime=no
66.01 totalExploration=yes nbFoundSolutions=0 globalCpuTime=65.0
66.01 => wckTime=65.699 cpuTime=64.95 mem=16M539
66.01
66.01 s OPTIMUM FOUND
66.01 v 1 0 0 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1
66.01
66.01 totalWckTime=65.778 totalCpuTime=65.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-278408-1169287919 -o ROOT/results/node3/solver-278408-1169287919 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278408-1169287919/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.70 1.95 1.91 2/93 30453
/proc/meminfo: memFree=1286056/2055920 swapFree=4191880/4192956
[pid=30452] ppid=30450 vsize=18540 CPUtime=0
/proc/30452/stat : 30452 (runsolver) R 30450 30452 29690 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 277187544 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30452/statm: 4635 279 244 17 0 2626 0
[startup+0.102447 s]
/proc/loadavg: 1.70 1.95 1.91 2/93 30453
/proc/meminfo: memFree=1286056/2055920 swapFree=4191880/4192956
[pid=30452] ppid=30450 vsize=914988 CPUtime=0.08
/proc/30452/stat : 30452 (java) R 30450 30452 29690 0 -1 0 2994 0 1 0 7 1 0 0 20 0 8 0 277187544 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30452/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511518 s]
/proc/loadavg: 1.70 1.95 1.91 2/93 30453
/proc/meminfo: memFree=1286056/2055920 swapFree=4191880/4192956
[pid=30452] ppid=30450 vsize=915332 CPUtime=0.48
/proc/30452/stat : 30452 (java) R 30450 30452 29690 0 -1 0 6435 0 1 0 44 4 0 0 22 0 8 0 277187544 937299968 6173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30452/statm: 228833 6173 2160 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33364 s]
/proc/loadavg: 1.70 1.95 1.91 4/100 30460
/proc/meminfo: memFree=1269104/2055920 swapFree=4191880/4192956
[pid=30452] ppid=30450 vsize=915332 CPUtime=1.3
/proc/30452/stat : 30452 (java) R 30450 30452 29690 0 -1 0 6923 0 1 0 99 31 0 0 25 0 8 0 277187544 937299968 6661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073608323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30452/statm: 228833 6661 2476 14 0 215303 0
[pid=30452/tid=30454] ppid=30450 vsize=915332 CPUtime=0.02
/proc/30452/task/30454/stat : 30454 (java) S 30450 30452 29690 0 -1 64 149 0 0 0 2 0 0 0 16 0 8 0 277187548 937299968 6661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30455] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30455/stat : 30455 (java) S 30450 30452 29690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277187548 937299968 6661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30456] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30456/stat : 30456 (java) S 30450 30452 29690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277187548 937299968 6661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30457] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30457/stat : 30457 (java) S 30450 30452 29690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277187552 937299968 6661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30458] ppid=30450 vsize=915332 CPUtime=0.1
/proc/30452/task/30458/stat : 30458 (java) S 30450 30452 29690 0 -1 64 314 0 0 0 10 0 0 0 16 0 8 0 277187552 937299968 6661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30459] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30459/stat : 30459 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277187552 937299968 6661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30460] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30460/stat : 30460 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277187552 937299968 6661 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) 915332
[startup+2.97491 s]
/proc/loadavg: 1.70 1.95 1.91 3/100 30460
/proc/meminfo: memFree=1268976/2055920 swapFree=4191880/4192956
[pid=30452] ppid=30450 vsize=915332 CPUtime=2.92
/proc/30452/stat : 30452 (java) R 30450 30452 29690 0 -1 0 6927 0 1 0 198 94 0 0 25 0 8 0 277187544 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073614490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30452/statm: 228833 6664 2476 14 0 215303 0
[pid=30452/tid=30454] ppid=30450 vsize=915332 CPUtime=0.02
/proc/30452/task/30454/stat : 30454 (java) S 30450 30452 29690 0 -1 64 149 0 0 0 2 0 0 0 16 0 8 0 277187548 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30455] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30455/stat : 30455 (java) S 30450 30452 29690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277187548 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30456] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30456/stat : 30456 (java) S 30450 30452 29690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277187548 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30457] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30457/stat : 30457 (java) S 30450 30452 29690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30458] ppid=30450 vsize=915332 CPUtime=0.11
/proc/30452/task/30458/stat : 30458 (java) S 30450 30452 29690 0 -1 64 317 0 0 0 11 0 0 0 16 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30459] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30459/stat : 30459 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30460] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30460/stat : 30460 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915332
[startup+6.27044 s]
/proc/loadavg: 1.73 1.95 1.91 3/100 30460
/proc/meminfo: memFree=1268976/2055920 swapFree=4191880/4192956
[pid=30452] ppid=30450 vsize=915332 CPUtime=6.19
/proc/30452/stat : 30452 (java) R 30450 30452 29690 0 -1 0 6927 0 1 0 394 225 0 0 25 0 8 0 277187544 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30452/statm: 228833 6664 2476 14 0 215303 0
[pid=30452/tid=30454] ppid=30450 vsize=915332 CPUtime=0.02
/proc/30452/task/30454/stat : 30454 (java) S 30450 30452 29690 0 -1 64 149 0 0 0 2 0 0 0 16 0 8 0 277187548 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30455] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30455/stat : 30455 (java) S 30450 30452 29690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277187548 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30456] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30456/stat : 30456 (java) S 30450 30452 29690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277187548 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30457] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30457/stat : 30457 (java) S 30450 30452 29690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30458] ppid=30450 vsize=915332 CPUtime=0.11
/proc/30452/task/30458/stat : 30458 (java) S 30450 30452 29690 0 -1 64 317 0 0 0 11 0 0 0 16 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30459] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30459/stat : 30459 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30460] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30460/stat : 30460 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 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) 915332
[startup+12.7465 s]
/proc/loadavg: 1.75 1.95 1.91 3/100 30460
/proc/meminfo: memFree=1268976/2055920 swapFree=4191880/4192956
[pid=30452] ppid=30450 vsize=915332 CPUtime=12.61
/proc/30452/stat : 30452 (java) R 30450 30452 29690 0 -1 0 6927 0 1 0 791 470 0 0 25 0 8 0 277187544 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073612522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30452/statm: 228833 6664 2476 14 0 215303 0
[pid=30452/tid=30454] ppid=30450 vsize=915332 CPUtime=0.02
/proc/30452/task/30454/stat : 30454 (java) S 30450 30452 29690 0 -1 64 149 0 0 0 2 0 0 0 16 0 8 0 277187548 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30455] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30455/stat : 30455 (java) S 30450 30452 29690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277187548 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30456] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30456/stat : 30456 (java) S 30450 30452 29690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277187548 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30457] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30457/stat : 30457 (java) S 30450 30452 29690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30458] ppid=30450 vsize=915332 CPUtime=0.11
/proc/30452/task/30458/stat : 30458 (java) S 30450 30452 29690 0 -1 64 317 0 0 0 11 0 0 0 16 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30459] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30459/stat : 30459 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30460] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30460/stat : 30460 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277187552 937299968 6664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915332
[startup+25.6076 s]
/proc/loadavg: 1.80 1.95 1.91 3/100 30460
/proc/meminfo: memFree=1269040/2055920 swapFree=4191880/4192956
[pid=30452] ppid=30450 vsize=915336 CPUtime=25.34
/proc/30452/stat : 30452 (java) R 30450 30452 29690 0 -1 0 6928 0 1 0 1559 975 0 0 25 0 8 0 277187544 937304064 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30452/statm: 228834 6665 2476 14 0 215304 0
[pid=30452/tid=30454] ppid=30450 vsize=915336 CPUtime=0.02
/proc/30452/task/30454/stat : 30454 (java) S 30450 30452 29690 0 -1 64 149 0 0 0 2 0 0 0 16 0 8 0 277187548 937304064 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30455] ppid=30450 vsize=915336 CPUtime=0
/proc/30452/task/30455/stat : 30455 (java) S 30450 30452 29690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277187548 937304064 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30456] ppid=30450 vsize=915336 CPUtime=0
/proc/30452/task/30456/stat : 30456 (java) S 30450 30452 29690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277187548 937304064 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30457] ppid=30450 vsize=915336 CPUtime=0
/proc/30452/task/30457/stat : 30457 (java) S 30450 30452 29690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277187552 937304064 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30458] ppid=30450 vsize=915336 CPUtime=0.11
/proc/30452/task/30458/stat : 30458 (java) S 30450 30452 29690 0 -1 64 318 0 0 0 11 0 0 0 16 0 8 0 277187552 937304064 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30459] ppid=30450 vsize=915336 CPUtime=0
/proc/30452/task/30459/stat : 30459 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277187552 937304064 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30460] ppid=30450 vsize=915336 CPUtime=0
/proc/30452/task/30460/stat : 30460 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277187552 937304064 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915336
[startup+51.2117 s]
/proc/loadavg: 1.87 1.96 1.91 3/100 30460
/proc/meminfo: memFree=1252208/2055920 swapFree=4191880/4192956
[pid=30452] ppid=30450 vsize=915332 CPUtime=50.71
/proc/30452/stat : 30452 (java) R 30450 30452 29690 0 -1 0 9109 0 1 0 3886 1185 0 0 25 0 8 0 277187544 937299968 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30452/statm: 228833 8842 2527 14 0 215303 0
[pid=30452/tid=30454] ppid=30450 vsize=915332 CPUtime=0.02
/proc/30452/task/30454/stat : 30454 (java) S 30450 30452 29690 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 277187548 937299968 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30455] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30455/stat : 30455 (java) S 30450 30452 29690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277187548 937299968 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30456] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30456/stat : 30456 (java) S 30450 30452 29690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277187548 937299968 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30457] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30457/stat : 30457 (java) S 30450 30452 29690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277187552 937299968 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30458] ppid=30450 vsize=915332 CPUtime=0.2
/proc/30452/task/30458/stat : 30458 (java) S 30450 30452 29690 0 -1 64 377 0 0 0 20 0 0 0 16 0 8 0 277187552 937299968 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30459] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30459/stat : 30459 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277187552 937299968 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30452/tid=30460] ppid=30450 vsize=915332 CPUtime=0
/proc/30452/task/30460/stat : 30460 (java) S 30450 30452 29690 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277187552 937299968 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915332
Child status: 0
Real time (s): 66.0648
CPU time (s): 65.466
CPU user time (s): 53.5969
CPU system time (s): 11.8692
CPU usage (%): 99.0937
Max. virtual memory (cumulated for all children) (KiB): 915848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.5969
system time used= 11.8692
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9206
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= 2405
involuntary context switches= 5135
runsolver used 0.078987 s user time and 0.232964 s system time
The end
Begin job on node3 on Sat Jan 20 10:11:59 UTC 2007
IDJOB= 278408
IDBENCH= 8349
IDSOLVER= 69
FILE ID= node3/278408-1169287919
PBS_JOBID= 3609512
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-100-1000/cnf-2-40-300-182021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278408-1169287919/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-278408-1169287919 -o ROOT/results/node3/solver-278408-1169287919 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278408-1169287919/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c1f329cd8fff4c106209a719bf5f5913
RANDOM SEED= 323776117
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.279
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.279
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: 1286536 kB
Buffers: 56512 kB
Cached: 562480 kB
SwapCached: 284 kB
Active: 211944 kB
Inactive: 481760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1286536 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3672 kB
Writeback: 0 kB
Mapped: 96296 kB
Slab: 60608 kB
Committed_AS: 8301836 kB
PageTables: 2144 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 node3 on Sat Jan 20 10:13:05 UTC 2007