0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/282935-1169324156/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4
0.41 => wckTime=0.1 cpuTime=0.1 mem=6M910
0.41
0.41 relations being loaded...
0.41
0.41 constraints being loaded...
0.46 nbConstraints=78 nbRelationTypes=1 nbDisconnectedVariables=1 nbExtensionStructures=1
0.46 nbSharedExtensionStructures=77 nbConflictsStructures=1 nbSharedConflictsStructures=77
0.46 nbSharedBinaryRepresentations=4 maxDegree=6 maxArity=2
0.46 => wckTime=0.154 cpuTime=0.13 mem=7M901
0.50
0.50 solver LocalSearchSolver being built...
0.54 => wckTime=0.236 cpuTime=0.17 mem=5M404
0.54
0.54 s SATISFIABLE
0.54 o 61
0.54 c 17
0.54 o 64
0.54 c 14
0.55 o 66
0.55 c 12
0.55 o 68
0.55 c 10
0.55 o 70
0.55 c 8
0.55 o 71
0.55 c 7
0.55 o 72
0.55 c 6
0.55 o 73
0.55 c 5
0.55 o 74
0.55 c 4
0.55 o 75
0.55 c 3
1.25
1.25 search
1.25 run=0 nbConstraintChecks=606693 nbAssignments=10000
1.25 => wckTime=0.705 cpuTime=0.68 mem=5M404
1.88
1.88 search
1.88 run=1 nbConstraintChecks=1211151 nbAssignments=20000
1.88 => wckTime=1.343 cpuTime=1.31 mem=5M404
2.52
2.52 search
2.52 run=2 nbConstraintChecks=1816779 nbAssignments=30000
2.52 => wckTime=1.979 cpuTime=1.94 mem=5M404
3.15
3.15 search
3.15 run=3 nbConstraintChecks=2419542 nbAssignments=40000
3.15 => wckTime=2.615 cpuTime=2.58 mem=5M404
3.79
3.79 search
3.79 run=4 nbConstraintChecks=3027606 nbAssignments=50000
3.79 => wckTime=3.251 cpuTime=3.21 mem=5M404
4.43
4.43 search
4.43 run=5 nbConstraintChecks=3635511 nbAssignments=60000
4.43 => wckTime=3.887 cpuTime=3.84 mem=5M404
5.07
5.07 search
5.07 run=6 nbConstraintChecks=4244966 nbAssignments=70000
5.07 => wckTime=4.529 cpuTime=4.47 mem=5M404
5.71
5.71 search
5.71 run=7 nbConstraintChecks=4851682 nbAssignments=80000
5.71 => wckTime=5.167 cpuTime=5.11 mem=5M404
6.35
6.35 search
6.35 run=8 nbConstraintChecks=5457313 nbAssignments=90000
6.35 => wckTime=5.806 cpuTime=5.74 mem=5M404
6.99
6.99 search
6.99 run=9 nbConstraintChecks=6061753 nbAssignments=100000
6.99 => wckTime=6.446 cpuTime=6.37 mem=5M404
7.63
7.63 search
7.63 run=10 nbConstraintChecks=6669200 nbAssignments=110000
7.63 => wckTime=7.086 cpuTime=7.01 mem=5M404
8.27
8.27 search
8.27 run=11 nbConstraintChecks=7271869 nbAssignments=120000
8.27 => wckTime=7.725 cpuTime=7.64 mem=5M404
8.90
8.90 search
8.90 run=12 nbConstraintChecks=7877780 nbAssignments=130000
8.90 => wckTime=8.364 cpuTime=8.28 mem=5M404
9.55
9.55 search
9.55 run=13 nbConstraintChecks=8490756 nbAssignments=140000
9.55 => wckTime=9.009 cpuTime=8.91 mem=5M404
10.19
10.19 search
10.19 run=14 nbConstraintChecks=9097901 nbAssignments=150000
10.19 => wckTime=9.65 cpuTime=9.55 mem=5M404
10.83
10.83 search
10.83 run=15 nbConstraintChecks=9708709 nbAssignments=160000
10.83 => wckTime=10.29 cpuTime=10.19 mem=5M404
11.47
11.47 search
11.47 run=16 nbConstraintChecks=10318380 nbAssignments=170000
11.47 => wckTime=10.93 cpuTime=10.81 mem=5M404
12.11
12.11 search
12.11 run=17 nbConstraintChecks=10927622 nbAssignments=180000
12.11 => wckTime=11.568 cpuTime=11.45 mem=5M404
12.74
12.74 search
12.74 run=18 nbConstraintChecks=11531371 nbAssignments=190000
12.74 => wckTime=12.202 cpuTime=12.08 mem=5M404
13.38
13.38 search
13.38 run=19 nbConstraintChecks=12134670 nbAssignments=200000
13.38 => wckTime=12.837 cpuTime=12.71 mem=5M404
14.02
14.02 search
14.02 run=20 nbConstraintChecks=12738599 nbAssignments=210000
14.02 => wckTime=13.476 cpuTime=13.34 mem=5M404
14.64
14.64 search
14.64 run=21 nbConstraintChecks=13339588 nbAssignments=220000
14.64 => wckTime=14.103 cpuTime=13.96 mem=5M404
15.28
15.28 search
15.28 run=22 nbConstraintChecks=13944374 nbAssignments=230000
15.28 => wckTime=14.74 cpuTime=14.59 mem=5M404
15.91
15.91 search
15.91 run=23 nbConstraintChecks=14551904 nbAssignments=240000
15.91 => wckTime=15.374 cpuTime=15.22 mem=5M404
16.55
16.55 search
16.55 run=24 nbConstraintChecks=15157894 nbAssignments=250000
16.55 => wckTime=16.008 cpuTime=15.85 mem=5M404
17.18
17.18 search
17.18 run=25 nbConstraintChecks=15767497 nbAssignments=260000
17.18 => wckTime=16.643 cpuTime=16.48 mem=5M404
17.82
17.82 search
17.82 run=26 nbConstraintChecks=16377204 nbAssignments=270000
17.82 => wckTime=17.278 cpuTime=17.11 mem=5M404
18.45
18.45 search
18.45 run=27 nbConstraintChecks=16980715 nbAssignments=280000
18.45 => wckTime=17.911 cpuTime=17.74 mem=5M404
19.09
19.09 search
19.09 run=28 nbConstraintChecks=17591725 nbAssignments=290000
19.09 => wckTime=18.546 cpuTime=18.37 mem=5M404
19.73
19.73 search
19.73 run=29 nbConstraintChecks=18200120 nbAssignments=300000
19.73 => wckTime=19.186 cpuTime=19.0 mem=5M404
20.36
20.36 search
20.36 run=30 nbConstraintChecks=18804554 nbAssignments=310000
20.36 => wckTime=19.815 cpuTime=19.63 mem=5M404
20.99
21.00 search
21.00 run=31 nbConstraintChecks=19412511 nbAssignments=320000
21.00 => wckTime=20.455 cpuTime=20.26 mem=5M404
21.63
21.63 search
21.63 run=32 nbConstraintChecks=20019048 nbAssignments=330000
21.63 => wckTime=21.089 cpuTime=20.89 mem=5M404
22.27
22.27 search
22.27 run=33 nbConstraintChecks=20624638 nbAssignments=340000
22.27 => wckTime=21.727 cpuTime=21.51 mem=5M404
22.91
22.91 search
22.91 run=34 nbConstraintChecks=21232299 nbAssignments=350000
22.91 => wckTime=22.367 cpuTime=22.15 mem=5M404
23.55
23.55 search
23.55 run=35 nbConstraintChecks=21834337 nbAssignments=360000
23.55 => wckTime=23.006 cpuTime=22.79 mem=5M404
24.19
24.19 search
24.19 run=36 nbConstraintChecks=22445862 nbAssignments=370000
24.19 => wckTime=23.651 cpuTime=23.43 mem=5M404
24.83
24.83 search
24.83 run=37 nbConstraintChecks=23052633 nbAssignments=380000
24.83 => wckTime=24.293 cpuTime=24.06 mem=5M404
25.48
25.48 search
25.48 run=38 nbConstraintChecks=23656542 nbAssignments=390000
25.48 => wckTime=24.938 cpuTime=24.69 mem=5M404
26.12
26.12 search
26.12 run=39 nbConstraintChecks=24266069 nbAssignments=400000
26.12 => wckTime=25.58 cpuTime=25.33 mem=5M404
26.76
26.76 search
26.76 run=40 nbConstraintChecks=24871912 nbAssignments=410000
26.76 => wckTime=26.221 cpuTime=25.97 mem=5M404
27.40
27.40 search
27.40 run=41 nbConstraintChecks=25485722 nbAssignments=420000
27.40 => wckTime=26.863 cpuTime=26.61 mem=5M404
28.05
28.05 search
28.05 run=42 nbConstraintChecks=26096247 nbAssignments=430000
28.05 => wckTime=27.504 cpuTime=27.24 mem=5M404
28.69
28.69 search
28.69 run=43 nbConstraintChecks=26704225 nbAssignments=440000
28.69 => wckTime=28.151 cpuTime=27.88 mem=5M404
29.33
29.33 search
29.33 run=44 nbConstraintChecks=27316509 nbAssignments=450000
29.33 => wckTime=28.788 cpuTime=28.51 mem=5M404
29.97
29.97 search
29.97 run=45 nbConstraintChecks=27919966 nbAssignments=460000
29.97 => wckTime=29.433 cpuTime=29.15 mem=5M404
30.61
30.61 search
30.61 run=46 nbConstraintChecks=28527267 nbAssignments=470000
30.62 => wckTime=30.074 cpuTime=29.79 mem=5M404
30.84
30.84 search
30.84 run=47 nbConstraintChecks=28745983 nbAssignments=473584
30.84 => wckTime=30.303 cpuTime=30.02 mem=5M404
30.85
30.85 global
30.85 nbConstraintChecks=28745983 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.85 solvingWckTime=30.301 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.85 globalCpuTime=30.23
30.85 => wckTime=30.539 cpuTime=30.19 mem=5M404
30.85
30.85 solver IterativeSystematicSolver being built...
30.99 => wckTime=30.68 cpuTime=30.29 mem=16M312
30.99
30.99 preprocessing
30.99 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.99 detectedInconsistency=no
30.99 => wckTime=0.0010 cpuTime=0.0 mem=16M312
31.02
31.02 search
31.02 run=0 nbConstraintChecks=8568 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53
31.02 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=73 nbRestartNogoods=0
31.02 => wckTime=0.035 cpuTime=0.03 mem=16M312
31.05
31.05 search
31.05 run=1 nbConstraintChecks=19359 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=116
31.05 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=165 nbRestartNogoods=5
31.05 => wckTime=0.061 cpuTime=0.05 mem=16M312
31.06
31.06 search
31.06 run=2 nbConstraintChecks=33323 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=194
31.06 nbFailedAssignments=44 nbBacktracks=48 nbVisitedNodes=287 nbRestartNogoods=8
31.06 => wckTime=0.076 cpuTime=0.06 mem=16M312
31.08
31.08 search
31.08 run=3 nbConstraintChecks=51235 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=292
31.08 nbFailedAssignments=74 nbBacktracks=81 nbVisitedNodes=448 nbRestartNogoods=14
31.08 => wckTime=0.097 cpuTime=0.08 mem=16M312
31.10
31.10 search
31.10 run=4 nbConstraintChecks=75324 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=420
31.10 nbFailedAssignments=118 nbBacktracks=131 nbVisitedNodes=670 nbRestartNogoods=17
31.10 => wckTime=0.112 cpuTime=0.09 mem=16M312
31.12
31.12 search
31.12 run=5 nbConstraintChecks=107652 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=590
31.12 nbFailedAssignments=179 nbBacktracks=206 nbVisitedNodes=976 nbRestartNogoods=23
31.12 => wckTime=0.129 cpuTime=0.11 mem=16M312
31.15
31.15 search
31.15 run=6 nbConstraintChecks=157113 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=847
31.15 nbFailedAssignments=289 nbBacktracks=319 nbVisitedNodes=1456 nbRestartNogoods=29
31.15 => wckTime=0.157 cpuTime=0.13 mem=16M312
31.18
31.18 search
31.18 run=7 nbConstraintChecks=225248 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1199
31.18 nbFailedAssignments=437 nbBacktracks=489 nbVisitedNodes=2126 nbRestartNogoods=34
31.18 => wckTime=0.19 cpuTime=0.16 mem=16M312
31.23
31.23 search
31.23 run=8 nbConstraintChecks=330182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1734
31.23 nbFailedAssignments=684 nbBacktracks=745 nbVisitedNodes=3164 nbRestartNogoods=42
31.23 => wckTime=0.245 cpuTime=0.21 mem=16M312
31.30
31.30 search
31.30 run=9 nbConstraintChecks=498381 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2578
31.30 nbFailedAssignments=1111 nbBacktracks=1129 nbVisitedNodes=4817 nbRestartNogoods=49
31.30 => wckTime=0.313 cpuTime=0.27 mem=16M312
31.39
31.39 search
31.39 run=10 nbConstraintChecks=752139 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3801
31.39 nbFailedAssignments=1725 nbBacktracks=1705 nbVisitedNodes=7230 nbRestartNogoods=57
31.39 => wckTime=0.4 cpuTime=0.35 mem=16M312
31.51
31.51 search
31.51 run=11 nbConstraintChecks=1121574 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5577
31.51 nbFailedAssignments=2604 nbBacktracks=2570 nbVisitedNodes=10743 nbRestartNogoods=66
31.51 => wckTime=0.522 cpuTime=0.47 mem=16M312
31.71
31.71 search
31.71 run=12 nbConstraintChecks=1722667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8354
31.71 nbFailedAssignments=4051 nbBacktracks=3867 nbVisitedNodes=16240 nbRestartNogoods=73
31.71 => wckTime=0.72 cpuTime=0.66 mem=16M312
31.98
31.98 search
31.98 run=13 nbConstraintChecks=2550342 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12209
31.98 nbFailedAssignments=5928 nbBacktracks=5813 nbVisitedNodes=23807 nbRestartNogoods=80
31.98 => wckTime=0.996 cpuTime=0.94 mem=16M312
32.37
32.37 search
32.37 run=14 nbConstraintChecks=3778857 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17886
32.37 nbFailedAssignments=8653 nbBacktracks=8732 nbVisitedNodes=34928 nbRestartNogoods=89
32.37 => wckTime=1.38 cpuTime=1.32 mem=16M312
32.91
32.91 search
32.91 run=15 nbConstraintChecks=5526797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25982
32.91 nbFailedAssignments=12338 nbBacktracks=13111 nbVisitedNodes=50750 nbRestartNogoods=96
32.91 => wckTime=1.926 cpuTime=1.86 mem=16M312
33.59
33.59 search
33.59 run=16 nbConstraintChecks=7724854 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37026
33.59 nbFailedAssignments=16779 nbBacktracks=19679 nbVisitedNodes=71503 nbRestartNogoods=104
33.59 => wckTime=2.605 cpuTime=2.53 mem=16M312
34.46
34.46 search
34.46 run=17 nbConstraintChecks=10538388 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53046
34.46 nbFailedAssignments=22914 nbBacktracks=29531 nbVisitedNodes=100065 nbRestartNogoods=111
34.46 => wckTime=3.47 cpuTime=3.39 mem=16M312
36.63
36.63 search
36.63 run=18 nbConstraintChecks=14292332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79015
36.63 nbFailedAssignments=34099 nbBacktracks=44309 nbVisitedNodes=145352 nbRestartNogoods=119
36.63 => wckTime=5.647 cpuTime=5.54 mem=16M312
37.54
37.54 search
37.54 run=19 nbConstraintChecks=14884571 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85973
37.54 nbFailedAssignments=36683 nbBacktracks=48684 nbVisitedNodes=157477 nbRestartNogoods=126
37.54 => wckTime=6.557 cpuTime=6.45 mem=16M312
37.55
37.55 global
37.55 nbConstraintChecks=14884571 nbRestartNogoods=126 solvingWckTime=6.558 solvingCpuTime=6.45 expiredTime=no
37.55 totalExploration=yes nbFoundSolutions=0 globalCpuTime=36.78
37.55 => wckTime=37.239 cpuTime=36.74 mem=16M312
37.55
37.55 s OPTIMUM FOUND
37.55 v 2 3 1 2 2 1 2 0 1 3 3 1 1 2 3 2 3 0 3 0 1 1 0 1 3 3 3 0 2 2 0 0 0 1 2 1 1 0 3 3
37.55
37.55 totalWckTime=37.319 totalCpuTime=36.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-282935-1169324156 -o ROOT/results/node14/solver-282935-1169324156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282935-1169324156/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.97 1.96 1.98 4/86 4409
/proc/meminfo: memFree=1262600/2055920 swapFree=4158792/4192956
[pid=4408] ppid=4406 vsize=906644 CPUtime=0.02
/proc/4408/stat : 4408 (java) S 4406 4408 4234 0 -1 0 2068 0 1 0 2 0 0 0 18 0 2 0 280810578 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/4408/statm: 226661 1817 1036 14 0 214244 0
[pid=4408/tid=4410] ppid=4406 vsize=906644 CPUtime=0
/proc/4408/task/4410/stat : 4410 (java) R 4406 4408 4234 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 280810582 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.105814 s]
/proc/loadavg: 1.97 1.96 1.98 4/86 4409
/proc/meminfo: memFree=1262600/2055920 swapFree=4158792/4192956
[pid=4408] ppid=4406 vsize=914988 CPUtime=0.09
/proc/4408/stat : 4408 (java) R 4406 4408 4234 0 -1 0 3024 0 1 0 8 1 0 0 17 0 8 0 280810578 936947712 2770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153548820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4408/statm: 228747 2770 1437 14 0 215242 0
[pid=4408/tid=4410] ppid=4406 vsize=914988 CPUtime=0
/proc/4408/task/4410/stat : 4410 (java) S 4406 4408 4234 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 280810582 936947712 2770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513854 s]
/proc/loadavg: 1.97 1.96 1.98 4/86 4409
/proc/meminfo: memFree=1262600/2055920 swapFree=4158792/4192956
[pid=4408] ppid=4406 vsize=915332 CPUtime=0.49
/proc/4408/stat : 4408 (java) R 4406 4408 4234 0 -1 0 6678 0 1 0 46 3 0 0 19 0 8 0 280810578 937299968 6416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4408/statm: 228833 6416 2291 14 0 215303 0
[pid=4408/tid=4410] ppid=4406 vsize=915332 CPUtime=0.02
/proc/4408/task/4410/stat : 4410 (java) S 4406 4408 4234 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280810582 937299968 6416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33793 s]
/proc/loadavg: 1.97 1.96 1.98 3/93 4416
/proc/meminfo: memFree=1245712/2055920 swapFree=4158792/4192956
[pid=4408] ppid=4406 vsize=915336 CPUtime=1.31
/proc/4408/stat : 4408 (java) R 4406 4408 4234 0 -1 0 6888 0 1 0 84 47 0 0 25 0 8 0 280810578 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4408/statm: 228834 6626 2476 14 0 215304 0
[pid=4408/tid=4410] ppid=4406 vsize=915336 CPUtime=0.02
/proc/4408/task/4410/stat : 4410 (java) S 4406 4408 4234 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280810582 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4411] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4411/stat : 4411 (java) S 4406 4408 4234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280810583 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4412] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4412/stat : 4412 (java) S 4406 4408 4234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280810583 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4413] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4413/stat : 4413 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4414] ppid=4406 vsize=915336 CPUtime=0.09
/proc/4408/task/4414/stat : 4414 (java) S 4406 4408 4234 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4415] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4415/stat : 4415 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4416] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4416/stat : 4416 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915336
[startup+2.99109 s]
/proc/loadavg: 1.97 1.96 1.98 3/93 4416
/proc/meminfo: memFree=1245648/2055920 swapFree=4158792/4192956
[pid=4408] ppid=4406 vsize=915336 CPUtime=2.95
/proc/4408/stat : 4408 (java) R 4406 4408 4234 0 -1 0 6889 0 1 0 147 148 0 0 25 0 8 0 280810578 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4408/statm: 228834 6626 2476 14 0 215304 0
[pid=4408/tid=4410] ppid=4406 vsize=915336 CPUtime=0.02
/proc/4408/task/4410/stat : 4410 (java) S 4406 4408 4234 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280810582 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4411] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4411/stat : 4411 (java) S 4406 4408 4234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280810583 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4412] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4412/stat : 4412 (java) S 4406 4408 4234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280810583 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4413] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4413/stat : 4413 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4414] ppid=4406 vsize=915336 CPUtime=0.09
/proc/4408/task/4414/stat : 4414 (java) S 4406 4408 4234 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4415] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4415/stat : 4415 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4416] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4416/stat : 4416 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915336
[startup+6.2714 s]
/proc/loadavg: 1.97 1.96 1.98 3/93 4416
/proc/meminfo: memFree=1245712/2055920 swapFree=4158792/4192956
[pid=4408] ppid=4406 vsize=915336 CPUtime=6.2
/proc/4408/stat : 4408 (java) R 4406 4408 4234 0 -1 0 6889 0 1 0 267 353 0 0 25 0 8 0 280810578 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4408/statm: 228834 6626 2476 14 0 215304 0
[pid=4408/tid=4410] ppid=4406 vsize=915336 CPUtime=0.02
/proc/4408/task/4410/stat : 4410 (java) S 4406 4408 4234 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280810582 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4411] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4411/stat : 4411 (java) S 4406 4408 4234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280810583 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4412] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4412/stat : 4412 (java) S 4406 4408 4234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280810583 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4413] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4413/stat : 4413 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4414] ppid=4406 vsize=915336 CPUtime=0.09
/proc/4408/task/4414/stat : 4414 (java) S 4406 4408 4234 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4415] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4415/stat : 4415 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4416] ppid=4406 vsize=915336 CPUtime=0
/proc/4408/task/4416/stat : 4416 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280810586 937304064 6626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915336
[startup+12.76 s]
/proc/loadavg: 1.97 1.96 1.98 3/93 4416
/proc/meminfo: memFree=1245776/2055920 swapFree=4158792/4192956
[pid=4408] ppid=4406 vsize=915332 CPUtime=12.64
/proc/4408/stat : 4408 (java) R 4406 4408 4234 0 -1 0 6890 0 1 0 505 759 0 0 25 0 8 0 280810578 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073606165 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4408/statm: 228833 6627 2476 14 0 215303 0
[pid=4408/tid=4410] ppid=4406 vsize=915332 CPUtime=0.02
/proc/4408/task/4410/stat : 4410 (java) S 4406 4408 4234 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280810582 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4411] ppid=4406 vsize=915332 CPUtime=0
/proc/4408/task/4411/stat : 4411 (java) S 4406 4408 4234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280810583 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4412] ppid=4406 vsize=915332 CPUtime=0
/proc/4408/task/4412/stat : 4412 (java) S 4406 4408 4234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280810583 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4413] ppid=4406 vsize=915332 CPUtime=0
/proc/4408/task/4413/stat : 4413 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280810586 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4414] ppid=4406 vsize=915332 CPUtime=0.09
/proc/4408/task/4414/stat : 4414 (java) S 4406 4408 4234 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 280810586 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4415] ppid=4406 vsize=915332 CPUtime=0
/proc/4408/task/4415/stat : 4415 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280810586 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4416] ppid=4406 vsize=915332 CPUtime=0
/proc/4408/task/4416/stat : 4416 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280810586 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915332
[startup+25.5972 s]
/proc/loadavg: 1.98 1.96 1.98 3/93 4416
/proc/meminfo: memFree=1245840/2055920 swapFree=4158792/4192956
[pid=4408] ppid=4406 vsize=915468 CPUtime=25.36
/proc/4408/stat : 4408 (java) R 4406 4408 4234 0 -1 0 6896 0 1 0 985 1551 0 0 25 0 8 0 280810578 937439232 6633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7360466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4408/statm: 228867 6633 2476 14 0 215337 0
[pid=4408/tid=4410] ppid=4406 vsize=915468 CPUtime=0.02
/proc/4408/task/4410/stat : 4410 (java) S 4406 4408 4234 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280810582 937439232 6633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4411] ppid=4406 vsize=915468 CPUtime=0
/proc/4408/task/4411/stat : 4411 (java) S 4406 4408 4234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280810583 937439232 6633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4412] ppid=4406 vsize=915468 CPUtime=0
/proc/4408/task/4412/stat : 4412 (java) S 4406 4408 4234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280810583 937439232 6633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4413] ppid=4406 vsize=915468 CPUtime=0
/proc/4408/task/4413/stat : 4413 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280810586 937439232 6633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4414] ppid=4406 vsize=915468 CPUtime=0.1
/proc/4408/task/4414/stat : 4414 (java) S 4406 4408 4234 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 280810586 937439232 6633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4415] ppid=4406 vsize=915468 CPUtime=0
/proc/4408/task/4415/stat : 4415 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280810586 937439232 6633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4408/tid=4416] ppid=4406 vsize=915468 CPUtime=0
/proc/4408/task/4416/stat : 4416 (java) S 4406 4408 4234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280810586 937439232 6633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915468
Child status: 0
Real time (s): 37.5636
CPU time (s): 37.2343
CPU user time (s): 18.4162
CPU system time (s): 18.8181
CPU usage (%): 99.1234
Max. virtual memory (cumulated for all children) (KiB): 915472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4162
system time used= 18.8181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9135
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= 1715
involuntary context switches= 3796
runsolver used 0.054991 s user time and 0.12998 s system time
The end
Begin job on node14 on Sat Jan 20 20:15:56 UTC 2007
IDJOB= 282935
IDBENCH= 12967
IDSOLVER= 69
FILE ID= node14/282935-1169324156
PBS_JOBID= 3610478
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/geom-40-4-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282935-1169324156/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-282935-1169324156 -o ROOT/results/node14/solver-282935-1169324156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282935-1169324156/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 64606531f4553ea248cad0209b5e8ed2
RANDOM SEED= 244758499
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.227
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.227
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: 1263080 kB
Buffers: 55468 kB
Cached: 618284 kB
SwapCached: 9104 kB
Active: 216704 kB
Inactive: 497640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1263080 kB
SwapTotal: 4192956 kB
SwapFree: 4158792 kB
Dirty: 1660 kB
Writeback: 0 kB
Mapped: 49732 kB
Slab: 63272 kB
Committed_AS: 9723664 kB
PageTables: 2136 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 node14 on Sat Jan 20 20:16:34 UTC 2007