0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=pfc.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/276144-1169231850/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.37 nbVariables=25 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.37 => wckTime=0.084 cpuTime=0.07 mem=6M910
0.37
0.37 predicates being loaded...
0.37
0.37 constraints being loaded...
0.49 nbConstraints=100 nbConflictsStructures=1 nbSharedConflictsStructures=99 nbSharedBinaryRepresentations=0
0.49 nbEvaluationManagers=1 nbSharedEvaluationManagers=99 maxDegree=16 maxArity=4
0.49 => wckTime=0.203 cpuTime=0.15 mem=8M893
0.53
0.53 solver LocalSearchSolver being built...
0.56 => wckTime=0.279 cpuTime=0.19 mem=5M429
0.57
0.57 s SATISFIABLE
0.57 o 89
0.57 c 11
0.57 o 94
0.57 c 6
0.57 o 96
0.57 c 4
0.57 o 98
0.57 c 2
1.65
1.65 search
1.65 run=0 nbConstraintChecks=1121625 nbAssignments=10000
1.65 => wckTime=1.09 cpuTime=1.06 mem=5M429
2.66
2.66 search
2.66 run=1 nbConstraintChecks=2250671 nbAssignments=20000
2.66 => wckTime=2.101 cpuTime=2.07 mem=5M429
3.68
3.68 search
3.68 run=2 nbConstraintChecks=3376510 nbAssignments=30000
3.68 => wckTime=3.114 cpuTime=3.08 mem=5M429
4.69
4.69 search
4.69 run=3 nbConstraintChecks=4502501 nbAssignments=40000
4.69 => wckTime=4.126 cpuTime=4.09 mem=5M429
5.71
5.71 search
5.71 run=4 nbConstraintChecks=5624298 nbAssignments=50000
5.71 => wckTime=5.145 cpuTime=5.1 mem=5M429
6.73
6.73 search
6.73 run=5 nbConstraintChecks=6749040 nbAssignments=60000
6.73 => wckTime=6.166 cpuTime=6.11 mem=5M429
7.75
7.75 search
7.75 run=6 nbConstraintChecks=7873654 nbAssignments=70000
7.75 => wckTime=7.187 cpuTime=7.13 mem=5M429
8.77
8.77 search
8.77 run=7 nbConstraintChecks=8992167 nbAssignments=80000
8.77 => wckTime=8.204 cpuTime=8.15 mem=5M429
9.78
9.79 search
9.79 run=8 nbConstraintChecks=10112979 nbAssignments=90000
9.79 => wckTime=9.223 cpuTime=9.15 mem=5M429
10.80
10.80 search
10.80 run=9 nbConstraintChecks=11231507 nbAssignments=100000
10.80 => wckTime=10.24 cpuTime=10.17 mem=5M429
11.84
11.84 search
11.84 run=10 nbConstraintChecks=12347386 nbAssignments=110000
11.84 => wckTime=11.278 cpuTime=11.18 mem=5M429
12.86
12.86 search
12.86 run=11 nbConstraintChecks=13473494 nbAssignments=120000
12.86 => wckTime=12.295 cpuTime=12.2 mem=5M429
13.87
13.87 search
13.87 run=12 nbConstraintChecks=14589592 nbAssignments=130000
13.87 => wckTime=13.311 cpuTime=13.21 mem=5M429
14.89
14.89 search
14.89 run=13 nbConstraintChecks=15713104 nbAssignments=140000
14.89 => wckTime=14.327 cpuTime=14.22 mem=5M429
15.90
15.90 search
15.90 run=14 nbConstraintChecks=16833419 nbAssignments=150000
15.90 => wckTime=15.336 cpuTime=15.22 mem=5M429
16.91
16.91 search
16.91 run=15 nbConstraintChecks=17951108 nbAssignments=160000
16.91 => wckTime=16.345 cpuTime=16.23 mem=5M429
17.92
17.92 search
17.92 run=16 nbConstraintChecks=19076702 nbAssignments=170000
17.92 => wckTime=17.357 cpuTime=17.24 mem=5M429
18.94
18.94 search
18.94 run=17 nbConstraintChecks=20196670 nbAssignments=180000
18.94 => wckTime=18.378 cpuTime=18.24 mem=5M429
19.95
19.95 search
19.95 run=18 nbConstraintChecks=21310421 nbAssignments=190000
19.95 => wckTime=19.386 cpuTime=19.25 mem=5M429
20.96
20.96 search
20.96 run=19 nbConstraintChecks=22434797 nbAssignments=200000
20.96 => wckTime=20.399 cpuTime=20.26 mem=5M429
21.97
21.97 search
21.97 run=20 nbConstraintChecks=23550326 nbAssignments=210000
21.97 => wckTime=21.408 cpuTime=21.26 mem=5M429
22.98
22.98 search
22.98 run=21 nbConstraintChecks=24666205 nbAssignments=220000
22.98 => wckTime=22.413 cpuTime=22.26 mem=5M429
23.98
23.98 search
23.98 run=22 nbConstraintChecks=25782426 nbAssignments=230000
23.98 => wckTime=23.422 cpuTime=23.26 mem=5M429
25.00
25.00 search
25.00 run=23 nbConstraintChecks=26901166 nbAssignments=240000
25.00 => wckTime=24.437 cpuTime=24.28 mem=5M429
26.02
26.02 search
26.02 run=24 nbConstraintChecks=28019444 nbAssignments=250000
26.02 => wckTime=25.455 cpuTime=25.29 mem=5M429
27.04
27.04 search
27.04 run=25 nbConstraintChecks=29138243 nbAssignments=260000
27.04 => wckTime=26.474 cpuTime=26.31 mem=5M429
28.05
28.05 search
28.05 run=26 nbConstraintChecks=30256590 nbAssignments=270000
28.05 => wckTime=27.492 cpuTime=27.32 mem=5M429
29.08
29.08 search
29.08 run=27 nbConstraintChecks=31384705 nbAssignments=280000
29.08 => wckTime=28.514 cpuTime=28.34 mem=5M429
30.10
30.10 search
30.10 run=28 nbConstraintChecks=32508563 nbAssignments=290000
30.10 => wckTime=29.536 cpuTime=29.35 mem=5M429
30.76
30.76 search
30.76 run=29 nbConstraintChecks=33236473 nbAssignments=296478
30.76 => wckTime=30.194 cpuTime=30.02 mem=5M429
30.76
30.76 global
30.76 nbConstraintChecks=33236473 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.76 solvingWckTime=30.193 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.76 globalCpuTime=30.27
30.76 => wckTime=30.474 cpuTime=30.21 mem=5M429
30.76
30.76 solver IterativeSystematicSolver being built...
30.91 => wckTime=30.622 cpuTime=30.31 mem=17M427
30.91
30.91 preprocessing
30.91 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.91 detectedInconsistency=no
30.91 => wckTime=0.0040 cpuTime=0.0 mem=17M427
30.95
30.95 search
30.95 run=0 nbConstraintChecks=1137 nbValidityChecks=2037 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.95 nbAssignments=24 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=38 nbRestartNogoods=0
30.95 => wckTime=0.043 cpuTime=0.04 mem=17M427
30.98
30.98 search
30.98 run=1 nbConstraintChecks=2530 nbValidityChecks=6722 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.98 nbAssignments=58 nbFailedAssignments=8 nbBacktracks=31 nbVisitedNodes=95 nbRestartNogoods=3
30.98 => wckTime=0.071 cpuTime=0.05 mem=17M427
31.00
31.00 search
31.00 run=2 nbConstraintChecks=4487 nbValidityChecks=11667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.00 nbAssignments=94 nbFailedAssignments=13 nbBacktracks=53 nbVisitedNodes=157 nbRestartNogoods=4
31.00 => wckTime=0.087 cpuTime=0.06 mem=17M427
31.02
31.02 search
31.02 run=3 nbConstraintChecks=6612 nbValidityChecks=19892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.02 nbAssignments=148 nbFailedAssignments=24 nbBacktracks=87 nbVisitedNodes=247 nbRestartNogoods=8
31.02 => wckTime=0.11 cpuTime=0.08 mem=17M427
31.04
31.04 search
31.04 run=4 nbConstraintChecks=10421 nbValidityChecks=35303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.04 nbAssignments=233 nbFailedAssignments=47 nbBacktracks=137 nbVisitedNodes=397 nbRestartNogoods=10
31.04 => wckTime=0.133 cpuTime=0.1 mem=17M427
31.07
31.07 search
31.08 run=5 nbConstraintChecks=16821 nbValidityChecks=60609 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.08 nbAssignments=360 nbFailedAssignments=88 nbBacktracks=212 nbVisitedNodes=638 nbRestartNogoods=14
31.08 => wckTime=0.168 cpuTime=0.13 mem=17M427
31.12
31.12 search
31.12 run=6 nbConstraintChecks=24520 nbValidityChecks=94742 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.12 nbAssignments=534 nbFailedAssignments=139 nbBacktracks=326 nbVisitedNodes=945 nbRestartNogoods=18
31.12 => wckTime=0.208 cpuTime=0.17 mem=17M427
31.18
31.18 search
31.18 run=7 nbConstraintChecks=36889 nbValidityChecks=145443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.18 nbAssignments=801 nbFailedAssignments=227 nbBacktracks=496 nbVisitedNodes=1437 nbRestartNogoods=21
31.18 => wckTime=0.27 cpuTime=0.23 mem=17M427
31.28
31.28 search
31.28 run=8 nbConstraintChecks=58639 nbValidityChecks=227518 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.28 nbAssignments=1207 nbFailedAssignments=365 nbBacktracks=752 nbVisitedNodes=2218 nbRestartNogoods=23
31.28 => wckTime=0.375 cpuTime=0.33 mem=17M427
31.44
31.44 search
31.44 run=9 nbConstraintChecks=86665 nbValidityChecks=319961 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.44 nbAssignments=1774 nbFailedAssignments=539 nbBacktracks=1137 nbVisitedNodes=3301 nbRestartNogoods=27
31.44 => wckTime=0.529 cpuTime=0.46 mem=17M427
31.65
31.65 search
31.65 run=10 nbConstraintChecks=135049 nbValidityChecks=523097 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.65 nbAssignments=2678 nbFailedAssignments=855 nbBacktracks=1713 nbVisitedNodes=5043 nbRestartNogoods=30
31.65 => wckTime=0.746 cpuTime=0.67 mem=17M427
31.92
31.92 search
31.92 run=11 nbConstraintChecks=196216 nbValidityChecks=753284 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.92 nbAssignments=3914 nbFailedAssignments=1214 nbBacktracks=2577 nbVisitedNodes=7323 nbRestartNogoods=37
31.92 => wckTime=1.014 cpuTime=0.94 mem=17M427
32.40
32.40 search
32.40 run=12 nbConstraintChecks=310619 nbValidityChecks=1200883 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.40 nbAssignments=5999 nbFailedAssignments=1986 nbBacktracks=3874 nbVisitedNodes=11308 nbRestartNogoods=44
32.40 => wckTime=1.49 cpuTime=1.41 mem=17M427
33.04
33.04 search
33.04 run=13 nbConstraintChecks=460765 nbValidityChecks=1793481 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.04 nbAssignments=8977 nbFailedAssignments=3008 nbBacktracks=5821 nbVisitedNodes=16809 nbRestartNogoods=51
33.04 => wckTime=2.128 cpuTime=2.05 mem=17M427
33.96
33.96 search
33.96 run=14 nbConstraintChecks=698700 nbValidityChecks=2669077 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.96 nbAssignments=13405 nbFailedAssignments=4510 nbBacktracks=8741 nbVisitedNodes=24996 nbRestartNogoods=56
33.96 => wckTime=3.052 cpuTime=2.97 mem=17M427
35.28
35.28 search
35.28 run=15 nbConstraintChecks=1040567 nbValidityChecks=3890530 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.28 nbAssignments=20117 nbFailedAssignments=6832 nbBacktracks=13119 nbVisitedNodes=36859 nbRestartNogoods=60
35.28 => wckTime=4.373 cpuTime=4.28 mem=17M427
37.15
37.15 search
37.15 run=16 nbConstraintChecks=1555334 nbValidityChecks=5592608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.15 nbAssignments=30016 nbFailedAssignments=10157 nbBacktracks=19687 nbVisitedNodes=54042 nbRestartNogoods=65
37.15 => wckTime=6.245 cpuTime=6.14 mem=17M427
37.72
37.72 search
37.72 run=17 nbConstraintChecks=1706771 nbValidityChecks=6060097 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.72 nbAssignments=33263 nbFailedAssignments=11200 nbBacktracks=21892 nbVisitedNodes=59345 nbRestartNogoods=67
37.72 => wckTime=6.814 cpuTime=6.71 mem=17M427
37.72
37.72 global
37.72 nbConstraintChecks=1706771 nbValidityChecks=6060097 nbRestartNogoods=67 solvingWckTime=6.814
37.72 solvingCpuTime=6.71 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=37.08
37.72 => wckTime=37.438 cpuTime=37.02 mem=17M427
37.72
37.72 s OPTIMUM FOUND
37.72 v 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 0 1 1 0
37.72
37.72 totalWckTime=37.511 totalCpuTime=37.08
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-276144-1169231850 -o ROOT/results/node15/solver-276144-1169231850 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276144-1169231850/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: 2.02 2.00 2.00 4/93 7871
/proc/meminfo: memFree=1427472/2055920 swapFree=4173628/4192956
[pid=7870] ppid=7868 vsize=1784 CPUtime=0
/proc/7870/stat : 7870 (java) D 7868 7870 7744 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 271579875 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512868 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/7870/statm: 446 163 128 14 0 91 0
[startup+0.108357 s]
/proc/loadavg: 2.02 2.00 2.00 4/93 7871
/proc/meminfo: memFree=1427472/2055920 swapFree=4173628/4192956
[pid=7870] ppid=7868 vsize=914988 CPUtime=0.1
/proc/7870/stat : 7870 (java) R 7868 7870 7744 0 -1 0 3139 0 1 0 8 2 0 0 24 0 8 0 271579875 936947712 2885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153561568 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7870/statm: 228747 2885 1476 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.516426 s]
/proc/loadavg: 2.02 2.00 2.00 4/93 7871
/proc/meminfo: memFree=1427472/2055920 swapFree=4173628/4192956
[pid=7870] ppid=7868 vsize=915472 CPUtime=0.49
/proc/7870/stat : 7870 (java) R 7868 7870 7744 0 -1 0 6745 0 1 0 45 4 0 0 25 0 8 0 271579875 937443328 6483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7870/statm: 228868 6483 2182 14 0 215338 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915472
[startup+1.33957 s]
/proc/loadavg: 2.02 2.00 2.00 3/100 7878
/proc/meminfo: memFree=1409368/2055920 swapFree=4173628/4192956
[pid=7870] ppid=7868 vsize=915472 CPUtime=1.32
/proc/7870/stat : 7870 (java) R 7868 7870 7744 0 -1 0 7215 0 1 0 101 31 0 0 25 0 8 0 271579875 937443328 6953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7870/statm: 228868 6953 2495 14 0 215338 0
[pid=7870/tid=7872] ppid=7868 vsize=915472 CPUtime=0.02
/proc/7870/task/7872/stat : 7872 (java) S 7868 7870 7744 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 271579878 937443328 6953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7873] ppid=7868 vsize=915476 CPUtime=0
/proc/7870/task/7873/stat : 7873 (java) S 7868 7870 7744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271579879 937447424 6953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7874] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7874/stat : 7874 (java) S 7868 7870 7744 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271579879 937443328 6953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7875] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7875/stat : 7875 (java) S 7868 7870 7744 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271579882 937443328 6953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7876] ppid=7868 vsize=915472 CPUtime=0.1
/proc/7870/task/7876/stat : 7876 (java) S 7868 7870 7744 0 -1 64 324 0 0 0 10 0 0 0 16 0 8 0 271579882 937443328 6953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7877] ppid=7868 vsize=915476 CPUtime=0
/proc/7870/task/7877/stat : 7877 (java) S 7868 7870 7744 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271579882 937447424 6953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7878] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7878/stat : 7878 (java) S 7868 7870 7744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271579882 937443328 6953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915472
[startup+2.98485 s]
/proc/loadavg: 2.02 2.00 2.00 3/100 7878
/proc/meminfo: memFree=1409368/2055920 swapFree=4173628/4192956
[pid=7870] ppid=7868 vsize=915472 CPUtime=2.95
/proc/7870/stat : 7870 (java) R 7868 7870 7744 0 -1 0 7219 0 1 0 204 91 0 0 25 0 8 0 271579875 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7870/statm: 228869 6956 2495 14 0 215339 0
[pid=7870/tid=7872] ppid=7868 vsize=915472 CPUtime=0.02
/proc/7870/task/7872/stat : 7872 (java) S 7868 7870 7744 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 271579878 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7873] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7873/stat : 7873 (java) S 7868 7870 7744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271579879 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7874] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7874/stat : 7874 (java) S 7868 7870 7744 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271579879 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7875] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7875/stat : 7875 (java) S 7868 7870 7744 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271579882 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7876] ppid=7868 vsize=915472 CPUtime=0.1
/proc/7870/task/7876/stat : 7876 (java) S 7868 7870 7744 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 271579882 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7877] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7877/stat : 7877 (java) S 7868 7870 7744 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271579882 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7878] ppid=7868 vsize=915476 CPUtime=0
/proc/7870/task/7878/stat : 7878 (java) S 7868 7870 7744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271579882 937447424 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915472
[startup+6.27541 s]
/proc/loadavg: 2.02 2.00 2.00 3/100 7878
/proc/meminfo: memFree=1409304/2055920 swapFree=4173628/4192956
[pid=7870] ppid=7868 vsize=915472 CPUtime=6.23
/proc/7870/stat : 7870 (java) R 7868 7870 7744 0 -1 0 7219 0 1 0 417 206 0 0 25 0 8 0 271579875 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7870/statm: 228868 6956 2495 14 0 215338 0
[pid=7870/tid=7872] ppid=7868 vsize=915472 CPUtime=0.02
/proc/7870/task/7872/stat : 7872 (java) S 7868 7870 7744 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 271579878 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7873] ppid=7868 vsize=915476 CPUtime=0
/proc/7870/task/7873/stat : 7873 (java) S 7868 7870 7744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271579879 937447424 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7874] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7874/stat : 7874 (java) S 7868 7870 7744 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271579879 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7875] ppid=7868 vsize=915476 CPUtime=0
/proc/7870/task/7875/stat : 7875 (java) S 7868 7870 7744 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271579882 937447424 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7876] ppid=7868 vsize=915472 CPUtime=0.1
/proc/7870/task/7876/stat : 7876 (java) S 7868 7870 7744 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 271579882 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7877] ppid=7868 vsize=915476 CPUtime=0
/proc/7870/task/7877/stat : 7877 (java) S 7868 7870 7744 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271579882 937447424 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7878] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7878/stat : 7878 (java) S 7868 7870 7744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271579882 937443328 6956 18446744073709551615 134512640 134570532 4294956464 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) 915472
[startup+12.7625 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 7878
/proc/meminfo: memFree=1409304/2055920 swapFree=4173628/4192956
[pid=7870] ppid=7868 vsize=915476 CPUtime=12.67
/proc/7870/stat : 7870 (java) R 7868 7870 7744 0 -1 0 7219 0 1 0 835 432 0 0 25 0 8 0 271579875 937447424 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7870/statm: 228868 6956 2495 14 0 215338 0
[pid=7870/tid=7872] ppid=7868 vsize=915472 CPUtime=0.02
/proc/7870/task/7872/stat : 7872 (java) S 7868 7870 7744 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 271579878 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7873] ppid=7868 vsize=915476 CPUtime=0
/proc/7870/task/7873/stat : 7873 (java) S 7868 7870 7744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271579879 937447424 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7874] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7874/stat : 7874 (java) S 7868 7870 7744 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271579879 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7875] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7875/stat : 7875 (java) S 7868 7870 7744 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271579882 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7876] ppid=7868 vsize=915472 CPUtime=0.1
/proc/7870/task/7876/stat : 7876 (java) S 7868 7870 7744 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 271579882 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7877] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7877/stat : 7877 (java) S 7868 7870 7744 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271579882 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7878] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7878/stat : 7878 (java) S 7868 7870 7744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271579882 937443328 6956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915476
[startup+25.6087 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 7878
/proc/meminfo: memFree=1409304/2055920 swapFree=4173628/4192956
[pid=7870] ppid=7868 vsize=915472 CPUtime=25.45
/proc/7870/stat : 7870 (java) R 7868 7870 7744 0 -1 0 7220 0 1 0 1656 889 0 0 25 0 8 0 271579875 937443328 6957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7870/statm: 228869 6957 2495 14 0 215339 0
[pid=7870/tid=7872] ppid=7868 vsize=915472 CPUtime=0.02
/proc/7870/task/7872/stat : 7872 (java) S 7868 7870 7744 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 271579878 937443328 6957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7873] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7873/stat : 7873 (java) S 7868 7870 7744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271579879 937443328 6957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7874] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7874/stat : 7874 (java) S 7868 7870 7744 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271579879 937443328 6957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7875] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7875/stat : 7875 (java) S 7868 7870 7744 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271579882 937443328 6957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7876] ppid=7868 vsize=915476 CPUtime=0.1
/proc/7870/task/7876/stat : 7876 (java) S 7868 7870 7744 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 271579882 937447424 6957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7877] ppid=7868 vsize=915472 CPUtime=0
/proc/7870/task/7877/stat : 7877 (java) S 7868 7870 7744 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271579882 937443328 6957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7870/tid=7878] ppid=7868 vsize=915476 CPUtime=0
/proc/7870/task/7878/stat : 7878 (java) S 7868 7870 7744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271579882 937447424 6957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915472
Child status: 0
Real time (s): 37.7456
CPU time (s): 37.5333
CPU user time (s): 26.8079
CPU system time (s): 10.7254
CPU usage (%): 99.4375
Max. virtual memory (cumulated for all children) (KiB): 915476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.8079
system time used= 10.7254
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9399
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= 1908
involuntary context switches= 3704
runsolver used 0.056991 s user time and 0.124981 s system time
The end
Begin job on node15 on Fri Jan 19 18:37:30 UTC 2007
IDJOB= 276144
IDBENCH= 5271
IDSOLVER= 69
FILE ID= node15/276144-1169231850
PBS_JOBID= 3588998
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-5-5-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276144-1169231850/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-276144-1169231850 -o ROOT/results/node15/solver-276144-1169231850 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276144-1169231850/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 61ec0f20f1d4e5c1d642b82c6dce9718
RANDOM SEED= 219044674
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.276
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.276
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: 1427952 kB
Buffers: 50496 kB
Cached: 439492 kB
SwapCached: 5936 kB
Active: 204772 kB
Inactive: 349444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1427952 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 1820 kB
Writeback: 0 kB
Mapped: 83928 kB
Slab: 58268 kB
Committed_AS: 8905516 kB
PageTables: 2500 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 node15 on Fri Jan 19 18:38:08 UTC 2007