0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/282934-1169324155/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4
0.42 => wckTime=0.101 cpuTime=0.1 mem=6M887
0.42
0.42 relations being loaded...
0.42
0.42 constraints being loaded...
0.47 nbConstraints=78 nbRelationTypes=1 nbDisconnectedVariables=1 nbExtensionStructures=1
0.47 nbSharedExtensionStructures=77 nbConflictsStructures=1 nbSharedConflictsStructures=77
0.47 nbSharedBinaryRepresentations=4 maxDegree=6 maxArity=2
0.47 => wckTime=0.151 cpuTime=0.13 mem=7M895
0.50
0.50 solver LocalSearchSolver being built...
0.56 => wckTime=0.24 cpuTime=0.18 mem=5M404
0.56
0.56 s SATISFIABLE
0.56 o 61
0.56 c 17
0.56 o 64
0.56 c 14
0.56 o 66
0.56 c 12
0.56 o 68
0.56 c 10
0.56 o 70
0.56 c 8
0.56 o 71
0.56 c 7
0.56 o 72
0.56 c 6
0.56 o 73
0.56 c 5
0.56 o 74
0.56 c 4
0.56 o 75
0.56 c 3
1.26
1.26 search
1.26 run=0 nbConstraintChecks=606693 nbAssignments=10000
1.26 => wckTime=0.711 cpuTime=0.69 mem=5M404
1.90
1.90 search
1.90 run=1 nbConstraintChecks=1211151 nbAssignments=20000
1.90 => wckTime=1.351 cpuTime=1.31 mem=5M404
2.53
2.53 search
2.53 run=2 nbConstraintChecks=1816779 nbAssignments=30000
2.53 => wckTime=1.979 cpuTime=1.94 mem=5M404
3.16
3.16 search
3.16 run=3 nbConstraintChecks=2419542 nbAssignments=40000
3.16 => wckTime=2.609 cpuTime=2.56 mem=5M404
3.79
3.79 search
3.79 run=4 nbConstraintChecks=3027606 nbAssignments=50000
3.79 => wckTime=3.24 cpuTime=3.19 mem=5M404
4.42
4.42 search
4.42 run=5 nbConstraintChecks=3635511 nbAssignments=60000
4.42 => wckTime=3.871 cpuTime=3.81 mem=5M404
5.05
5.05 search
5.05 run=6 nbConstraintChecks=4244966 nbAssignments=70000
5.05 => wckTime=4.504 cpuTime=4.43 mem=5M404
5.69
5.69 search
5.69 run=7 nbConstraintChecks=4851682 nbAssignments=80000
5.69 => wckTime=5.142 cpuTime=5.06 mem=5M404
6.32
6.32 search
6.32 run=8 nbConstraintChecks=5457313 nbAssignments=90000
6.32 => wckTime=5.777 cpuTime=5.69 mem=5M404
6.96
6.96 search
6.96 run=9 nbConstraintChecks=6061753 nbAssignments=100000
6.96 => wckTime=6.41 cpuTime=6.32 mem=5M404
7.59
7.59 search
7.59 run=10 nbConstraintChecks=6669200 nbAssignments=110000
7.59 => wckTime=7.044 cpuTime=6.96 mem=5M404
8.22
8.22 search
8.22 run=11 nbConstraintChecks=7271869 nbAssignments=120000
8.22 => wckTime=7.677 cpuTime=7.58 mem=5M404
8.86
8.86 search
8.86 run=12 nbConstraintChecks=7877780 nbAssignments=130000
8.86 => wckTime=8.31 cpuTime=8.22 mem=5M404
9.49
9.49 search
9.49 run=13 nbConstraintChecks=8490756 nbAssignments=140000
9.49 => wckTime=8.944 cpuTime=8.84 mem=5M404
10.13
10.13 search
10.13 run=14 nbConstraintChecks=9097901 nbAssignments=150000
10.13 => wckTime=9.579 cpuTime=9.46 mem=5M404
10.76
10.76 search
10.76 run=15 nbConstraintChecks=9708709 nbAssignments=160000
10.76 => wckTime=10.217 cpuTime=10.1 mem=5M404
11.40
11.40 search
11.40 run=16 nbConstraintChecks=10318380 nbAssignments=170000
11.40 => wckTime=10.85 cpuTime=10.72 mem=5M404
12.03
12.03 search
12.03 run=17 nbConstraintChecks=10927622 nbAssignments=180000
12.03 => wckTime=11.487 cpuTime=11.36 mem=5M404
12.67
12.67 search
12.67 run=18 nbConstraintChecks=11531371 nbAssignments=190000
12.67 => wckTime=12.125 cpuTime=11.98 mem=5M404
13.31
13.31 search
13.31 run=19 nbConstraintChecks=12134670 nbAssignments=200000
13.31 => wckTime=12.763 cpuTime=12.62 mem=5M404
13.95
13.95 search
13.95 run=20 nbConstraintChecks=12738599 nbAssignments=210000
13.95 => wckTime=13.402 cpuTime=13.26 mem=5M404
14.59
14.59 search
14.59 run=21 nbConstraintChecks=13339588 nbAssignments=220000
14.59 => wckTime=14.041 cpuTime=13.88 mem=5M404
15.23
15.23 search
15.23 run=22 nbConstraintChecks=13944374 nbAssignments=230000
15.23 => wckTime=14.68 cpuTime=14.52 mem=5M404
15.87
15.87 search
15.87 run=23 nbConstraintChecks=14551904 nbAssignments=240000
15.87 => wckTime=15.321 cpuTime=15.15 mem=5M404
16.51
16.51 search
16.51 run=24 nbConstraintChecks=15157894 nbAssignments=250000
16.51 => wckTime=15.96 cpuTime=15.78 mem=5M404
17.15
17.15 search
17.15 run=25 nbConstraintChecks=15767497 nbAssignments=260000
17.15 => wckTime=16.6 cpuTime=16.41 mem=5M404
17.79
17.79 search
17.79 run=26 nbConstraintChecks=16377204 nbAssignments=270000
17.79 => wckTime=17.24 cpuTime=17.05 mem=5M404
18.43
18.43 search
18.43 run=27 nbConstraintChecks=16980715 nbAssignments=280000
18.43 => wckTime=17.879 cpuTime=17.68 mem=5M404
19.07
19.07 search
19.07 run=28 nbConstraintChecks=17591725 nbAssignments=290000
19.07 => wckTime=18.52 cpuTime=18.33 mem=5M404
19.71
19.71 search
19.71 run=29 nbConstraintChecks=18200120 nbAssignments=300000
19.71 => wckTime=19.16 cpuTime=18.96 mem=5M404
20.35
20.35 search
20.35 run=30 nbConstraintChecks=18804554 nbAssignments=310000
20.35 => wckTime=19.805 cpuTime=19.59 mem=5M404
20.99
20.99 search
20.99 run=31 nbConstraintChecks=19412511 nbAssignments=320000
20.99 => wckTime=20.445 cpuTime=20.23 mem=5M404
21.63
21.63 search
21.63 run=32 nbConstraintChecks=20019048 nbAssignments=330000
21.63 => wckTime=21.084 cpuTime=20.86 mem=5M404
22.27
22.27 search
22.27 run=33 nbConstraintChecks=20624638 nbAssignments=340000
22.27 => wckTime=21.719 cpuTime=21.49 mem=5M404
22.90
22.90 search
22.90 run=34 nbConstraintChecks=21232299 nbAssignments=350000
22.90 => wckTime=22.353 cpuTime=22.12 mem=5M404
23.53
23.53 search
23.53 run=35 nbConstraintChecks=21834337 nbAssignments=360000
23.53 => wckTime=22.987 cpuTime=22.75 mem=5M404
24.17
24.17 search
24.17 run=36 nbConstraintChecks=22445862 nbAssignments=370000
24.17 => wckTime=23.622 cpuTime=23.38 mem=5M404
24.81
24.81 search
24.81 run=37 nbConstraintChecks=23052633 nbAssignments=380000
24.81 => wckTime=24.262 cpuTime=24.01 mem=5M404
25.45
25.45 search
25.45 run=38 nbConstraintChecks=23656542 nbAssignments=390000
25.45 => wckTime=24.9 cpuTime=24.63 mem=5M404
26.08
26.08 search
26.08 run=39 nbConstraintChecks=24266069 nbAssignments=400000
26.08 => wckTime=25.535 cpuTime=25.26 mem=5M404
26.72
26.72 search
26.72 run=40 nbConstraintChecks=24871912 nbAssignments=410000
26.72 => wckTime=26.169 cpuTime=25.89 mem=5M404
27.35
27.35 search
27.35 run=41 nbConstraintChecks=25485722 nbAssignments=420000
27.35 => wckTime=26.806 cpuTime=26.52 mem=5M404
27.99
27.99 search
27.99 run=42 nbConstraintChecks=26096247 nbAssignments=430000
27.99 => wckTime=27.44 cpuTime=27.15 mem=5M404
28.62
28.62 search
28.62 run=43 nbConstraintChecks=26704225 nbAssignments=440000
28.62 => wckTime=28.074 cpuTime=27.79 mem=5M404
29.25
29.25 search
29.25 run=44 nbConstraintChecks=27316509 nbAssignments=450000
29.25 => wckTime=28.707 cpuTime=28.42 mem=5M404
29.89
29.89 search
29.89 run=45 nbConstraintChecks=27919966 nbAssignments=460000
29.89 => wckTime=29.341 cpuTime=29.04 mem=5M404
30.52
30.52 search
30.52 run=46 nbConstraintChecks=28527267 nbAssignments=470000
30.52 => wckTime=29.975 cpuTime=29.67 mem=5M404
30.87
30.87 search
30.87 run=47 nbConstraintChecks=28858873 nbAssignments=475425
30.87 => wckTime=30.323 cpuTime=30.02 mem=5M404
30.87
30.87 global
30.87 nbConstraintChecks=28858873 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.87 solvingWckTime=30.314 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.87 globalCpuTime=30.25
30.87 => wckTime=30.556 cpuTime=30.2 mem=5M404
30.87
30.87 solver IterativeSystematicSolver being built...
31.01 => wckTime=30.693 cpuTime=30.3 mem=16M312
31.05
31.05 preprocessing
31.05 nbConstraintChecks=6937 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.05 detectedInconsistency=no
31.05 => wckTime=0.038 cpuTime=0.03 mem=16M312
31.06
31.06 search
31.06 run=0 nbConstraintChecks=8715 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54
31.06 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=75 nbRestartNogoods=0
31.06 => wckTime=0.05 cpuTime=0.04 mem=16M312
31.08
31.08 search
31.08 run=1 nbConstraintChecks=19849 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=119
31.08 nbFailedAssignments=25 nbBacktracks=25 nbVisitedNodes=170 nbRestartNogoods=5
31.08 => wckTime=0.073 cpuTime=0.05 mem=16M312
31.10
31.10 search
31.10 run=2 nbConstraintChecks=33705 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=197
31.10 nbFailedAssignments=47 nbBacktracks=47 nbVisitedNodes=291 nbRestartNogoods=9
31.10 => wckTime=0.092 cpuTime=0.06 mem=16M312
31.12
31.12 search
31.12 run=3 nbConstraintChecks=52189 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=298
31.12 nbFailedAssignments=80 nbBacktracks=81 nbVisitedNodes=459 nbRestartNogoods=14
31.12 => wckTime=0.112 cpuTime=0.08 mem=16M312
31.14
31.14 search
31.14 run=4 nbConstraintChecks=76165 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=426
31.14 nbFailedAssignments=124 nbBacktracks=131 nbVisitedNodes=681 nbRestartNogoods=19
31.14 => wckTime=0.126 cpuTime=0.09 mem=16M312
31.15
31.15 search
31.15 run=5 nbConstraintChecks=110362 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=603
31.15 nbFailedAssignments=191 nbBacktracks=206 nbVisitedNodes=1000 nbRestartNogoods=25
31.15 => wckTime=0.144 cpuTime=0.11 mem=16M312
31.18
31.18 search
31.18 run=6 nbConstraintChecks=163700 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=872
31.18 nbFailedAssignments=313 nbBacktracks=319 nbVisitedNodes=1503 nbRestartNogoods=30
31.18 => wckTime=0.17 cpuTime=0.13 mem=16M312
31.22
31.22 search
31.22 run=7 nbConstraintChecks=239479 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1251
31.22 nbFailedAssignments=489 nbBacktracks=489 nbVisitedNodes=2226 nbRestartNogoods=38
31.22 => wckTime=0.207 cpuTime=0.16 mem=16M312
31.27
31.27 search
31.28 run=8 nbConstraintChecks=347564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1784
31.28 nbFailedAssignments=731 nbBacktracks=745 nbVisitedNodes=3256 nbRestartNogoods=46
31.28 => wckTime=0.265 cpuTime=0.2 mem=16M312
31.33
31.33 search
31.33 run=9 nbConstraintChecks=509304 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2583
31.33 nbFailedAssignments=1112 nbBacktracks=1129 nbVisitedNodes=4813 nbRestartNogoods=54
31.33 => wckTime=0.325 cpuTime=0.26 mem=16M312
31.42
31.42 search
31.42 run=10 nbConstraintChecks=752965 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3765
31.42 nbFailedAssignments=1684 nbBacktracks=1705 nbVisitedNodes=7141 nbRestartNogoods=59
31.42 => wckTime=0.408 cpuTime=0.34 mem=16M312
31.53
31.53 search
31.53 run=11 nbConstraintChecks=1104234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5484
31.53 nbFailedAssignments=2507 nbBacktracks=2569 nbVisitedNodes=10491 nbRestartNogoods=68
31.53 => wckTime=0.524 cpuTime=0.46 mem=16M312
31.71
31.71 search
31.71 run=12 nbConstraintChecks=1644238 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8026
31.71 nbFailedAssignments=3720 nbBacktracks=3866 nbVisitedNodes=15468 nbRestartNogoods=72
31.71 => wckTime=0.701 cpuTime=0.63 mem=16M312
31.98
31.98 search
31.99 run=13 nbConstraintChecks=2496887 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11835
31.99 nbFailedAssignments=5552 nbBacktracks=5812 nbVisitedNodes=22769 nbRestartNogoods=76
31.99 => wckTime=0.976 cpuTime=0.9 mem=16M312
32.41
32.41 search
32.41 run=14 nbConstraintChecks=3796957 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17344
32.41 nbFailedAssignments=8109 nbBacktracks=8731 nbVisitedNodes=33632 nbRestartNogoods=87
32.41 => wckTime=1.402 cpuTime=1.32 mem=16M312
33.03
33.03 search
33.03 run=15 nbConstraintChecks=5605830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25092
33.03 nbFailedAssignments=11449 nbBacktracks=13110 nbVisitedNodes=48596 nbRestartNogoods=94
33.03 => wckTime=2.022 cpuTime=1.93 mem=16M312
33.87
33.87 search
33.87 run=16 nbConstraintChecks=8023789 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35682
33.87 nbFailedAssignments=15439 nbBacktracks=19678 nbVisitedNodes=68474 nbRestartNogoods=100
33.87 => wckTime=2.86 cpuTime=2.77 mem=16M312
35.05
35.05 search
35.05 run=17 nbConstraintChecks=11273798 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52043
35.05 nbFailedAssignments=21922 nbBacktracks=29530 nbVisitedNodes=97627 nbRestartNogoods=107
35.05 => wckTime=4.037 cpuTime=3.93 mem=16M312
36.93
36.93 search
36.93 run=18 nbConstraintChecks=15770421 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75739
36.93 nbFailedAssignments=30812 nbBacktracks=44308 nbVisitedNodes=137939 nbRestartNogoods=118
36.93 => wckTime=5.92 cpuTime=5.8 mem=16M312
41.36
41.36 search
41.36 run=19 nbConstraintChecks=20096914 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111705
41.36 nbFailedAssignments=46110 nbBacktracks=64977 nbVisitedNodes=202180 nbRestartNogoods=129
41.36 => wckTime=10.352 cpuTime=10.2 mem=16M312
41.36
41.36 global
41.36 nbConstraintChecks=20103851 nbRestartNogoods=129 solvingWckTime=10.353 solvingCpuTime=10.2 expiredTime=no
41.36 totalExploration=yes nbFoundSolutions=0 globalCpuTime=40.55
41.36 => wckTime=41.047 cpuTime=40.5 mem=16M312
41.37
41.37 s OPTIMUM FOUND
41.37 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
41.37
41.37 totalWckTime=41.13 totalCpuTime=40.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-282934-1169324155 -o ROOT/results/node35/solver-282934-1169324155 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282934-1169324155/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.92 1.90 1.52 4/80 4614
/proc/meminfo: memFree=1349216/2055920 swapFree=4184640/4192956
[pid=4613] ppid=4611 vsize=47892 CPUtime=0
/proc/4613/stat : 4613 (java) D 4611 4613 4545 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 280809175 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/4613/statm: 11973 968 766 14 0 1707 0
[startup+0.103681 s]
/proc/loadavg: 1.92 1.90 1.52 4/80 4614
/proc/meminfo: memFree=1349216/2055920 swapFree=4184640/4192956
[pid=4613] ppid=4611 vsize=914988 CPUtime=0.08
/proc/4613/stat : 4613 (java) R 4611 4613 4545 0 -1 0 2988 0 1 0 6 2 0 0 17 0 8 0 280809175 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4613/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511726 s]
/proc/loadavg: 1.92 1.90 1.52 4/80 4614
/proc/meminfo: memFree=1349216/2055920 swapFree=4184640/4192956
[pid=4613] ppid=4611 vsize=915332 CPUtime=0.48
/proc/4613/stat : 4613 (java) R 4611 4613 4545 0 -1 0 6557 0 1 0 44 4 0 0 18 0 8 0 280809175 937299968 6295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155839970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4613/statm: 228833 6295 2175 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33282 s]
/proc/loadavg: 1.93 1.90 1.52 3/87 4621
/proc/meminfo: memFree=1332328/2055920 swapFree=4184640/4192956
[pid=4613] ppid=4611 vsize=915336 CPUtime=1.3
/proc/4613/stat : 4613 (java) R 4611 4613 4545 0 -1 0 6895 0 1 0 84 46 0 0 25 0 8 0 280809175 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4613/statm: 228834 6633 2479 14 0 215304 0
[pid=4613/tid=4615] ppid=4611 vsize=915336 CPUtime=0.02
/proc/4613/task/4615/stat : 4615 (java) S 4611 4613 4545 0 -1 64 130 0 0 0 2 0 0 0 16 0 8 0 280809179 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4616] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4616/stat : 4616 (java) S 4611 4613 4545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280809179 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4617] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4617/stat : 4617 (java) S 4611 4613 4545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280809179 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4618] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4618/stat : 4618 (java) S 4611 4613 4545 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280809183 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4619] ppid=4611 vsize=915336 CPUtime=0.08
/proc/4613/task/4619/stat : 4619 (java) S 4611 4613 4545 0 -1 64 315 0 0 0 8 0 0 0 16 0 8 0 280809183 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4620] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4620/stat : 4620 (java) S 4611 4613 4545 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280809183 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4621] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4621/stat : 4621 (java) S 4611 4613 4545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280809183 937304064 6633 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) 915336
[startup+2.97202 s]
/proc/loadavg: 1.93 1.90 1.52 3/87 4621
/proc/meminfo: memFree=1332264/2055920 swapFree=4184640/4192956
[pid=4613] ppid=4611 vsize=915336 CPUtime=2.92
/proc/4613/stat : 4613 (java) R 4611 4613 4545 0 -1 0 6896 0 1 0 145 147 0 0 25 0 8 0 280809175 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4613/statm: 228834 6633 2479 14 0 215304 0
[pid=4613/tid=4615] ppid=4611 vsize=915336 CPUtime=0.02
/proc/4613/task/4615/stat : 4615 (java) S 4611 4613 4545 0 -1 64 130 0 0 0 2 0 0 0 16 0 8 0 280809179 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4616] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4616/stat : 4616 (java) S 4611 4613 4545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280809179 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4617] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4617/stat : 4617 (java) S 4611 4613 4545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280809179 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4618] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4618/stat : 4618 (java) S 4611 4613 4545 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280809183 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4619] ppid=4611 vsize=915336 CPUtime=0.08
/proc/4613/task/4619/stat : 4619 (java) S 4611 4613 4545 0 -1 64 315 0 0 0 8 0 0 0 16 0 8 0 280809183 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4620] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4620/stat : 4620 (java) S 4611 4613 4545 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280809183 937304064 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4621] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4621/stat : 4621 (java) S 4611 4613 4545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280809183 937304064 6633 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) 915336
[startup+6.17641 s]
/proc/loadavg: 1.93 1.90 1.52 3/87 4621
/proc/meminfo: memFree=1332208/2055920 swapFree=4184640/4192956
[pid=4613] ppid=4611 vsize=915332 CPUtime=6.1
/proc/4613/stat : 4613 (java) R 4611 4613 4545 0 -1 0 6896 0 1 0 265 345 0 0 25 0 8 0 280809175 937299968 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4613/statm: 228833 6633 2479 14 0 215303 0
[pid=4613/tid=4615] ppid=4611 vsize=915332 CPUtime=0.02
/proc/4613/task/4615/stat : 4615 (java) S 4611 4613 4545 0 -1 64 130 0 0 0 2 0 0 0 16 0 8 0 280809179 937299968 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4616] ppid=4611 vsize=915332 CPUtime=0
/proc/4613/task/4616/stat : 4616 (java) S 4611 4613 4545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280809179 937299968 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4617] ppid=4611 vsize=915332 CPUtime=0
/proc/4613/task/4617/stat : 4617 (java) S 4611 4613 4545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280809179 937299968 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4618] ppid=4611 vsize=915332 CPUtime=0
/proc/4613/task/4618/stat : 4618 (java) S 4611 4613 4545 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280809183 937299968 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4619] ppid=4611 vsize=915332 CPUtime=0.08
/proc/4613/task/4619/stat : 4619 (java) S 4611 4613 4545 0 -1 64 315 0 0 0 8 0 0 0 16 0 8 0 280809183 937299968 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4620] ppid=4611 vsize=915332 CPUtime=0
/proc/4613/task/4620/stat : 4620 (java) S 4611 4613 4545 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280809183 937299968 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4621] ppid=4611 vsize=915332 CPUtime=0
/proc/4613/task/4621/stat : 4621 (java) S 4611 4613 4545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280809183 937299968 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915332
[startup+12.6442 s]
/proc/loadavg: 1.94 1.90 1.53 3/87 4621
/proc/meminfo: memFree=1332208/2055920 swapFree=4184640/4192956
[pid=4613] ppid=4611 vsize=915336 CPUtime=12.5
/proc/4613/stat : 4613 (java) R 4611 4613 4545 0 -1 0 6897 0 1 0 501 749 0 0 25 0 8 0 280809175 937304064 6634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4613/statm: 228834 6634 2479 14 0 215304 0
[pid=4613/tid=4615] ppid=4611 vsize=915336 CPUtime=0.02
/proc/4613/task/4615/stat : 4615 (java) S 4611 4613 4545 0 -1 64 130 0 0 0 2 0 0 0 16 0 8 0 280809179 937304064 6634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4616] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4616/stat : 4616 (java) S 4611 4613 4545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280809179 937304064 6634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4617] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4617/stat : 4617 (java) S 4611 4613 4545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280809179 937304064 6634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4618] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4618/stat : 4618 (java) S 4611 4613 4545 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280809183 937304064 6634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4619] ppid=4611 vsize=915336 CPUtime=0.08
/proc/4613/task/4619/stat : 4619 (java) S 4611 4613 4545 0 -1 64 316 0 0 0 8 0 0 0 16 0 8 0 280809183 937304064 6634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4620] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4620/stat : 4620 (java) S 4611 4613 4545 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280809183 937304064 6634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4621] ppid=4611 vsize=915336 CPUtime=0
/proc/4613/task/4621/stat : 4621 (java) S 4611 4613 4545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280809183 937304064 6634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915336
[startup+25.4987 s]
/proc/loadavg: 1.95 1.91 1.53 3/87 4621
/proc/meminfo: memFree=1332208/2055920 swapFree=4184640/4192956
[pid=4613] ppid=4611 vsize=915472 CPUtime=25.24
/proc/4613/stat : 4613 (java) R 4611 4613 4545 0 -1 0 6903 0 1 0 996 1528 0 0 25 0 8 0 280809175 937443328 6640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4613/statm: 228868 6640 2479 14 0 215338 0
[pid=4613/tid=4615] ppid=4611 vsize=915472 CPUtime=0.02
/proc/4613/task/4615/stat : 4615 (java) S 4611 4613 4545 0 -1 64 130 0 0 0 2 0 0 0 16 0 8 0 280809179 937443328 6640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4616] ppid=4611 vsize=915472 CPUtime=0
/proc/4613/task/4616/stat : 4616 (java) S 4611 4613 4545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280809179 937443328 6640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4617] ppid=4611 vsize=915472 CPUtime=0
/proc/4613/task/4617/stat : 4617 (java) S 4611 4613 4545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280809179 937443328 6640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4618] ppid=4611 vsize=915472 CPUtime=0
/proc/4613/task/4618/stat : 4618 (java) S 4611 4613 4545 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280809183 937443328 6640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4619] ppid=4611 vsize=915472 CPUtime=0.09
/proc/4613/task/4619/stat : 4619 (java) S 4611 4613 4545 0 -1 64 322 0 0 0 9 0 0 0 17 0 8 0 280809183 937443328 6640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4620] ppid=4611 vsize=915472 CPUtime=0
/proc/4613/task/4620/stat : 4620 (java) S 4611 4613 4545 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280809183 937443328 6640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4613/tid=4621] ppid=4611 vsize=915472 CPUtime=0
/proc/4613/task/4621/stat : 4621 (java) S 4611 4613 4545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280809183 937443328 6640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915472
Child status: 0
Real time (s): 41.4019
CPU time (s): 40.9888
CPU user time (s): 22.3596
CPU system time (s): 18.6292
CPU usage (%): 99.0022
Max. virtual memory (cumulated for all children) (KiB): 915472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.3596
system time used= 18.6292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9139
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= 1848
involuntary context switches= 4060
runsolver used 0.058991 s user time and 0.140978 s system time
The end
Begin job on node35 on Sat Jan 20 20:15:55 UTC 2007
IDJOB= 282934
IDBENCH= 12967
IDSOLVER= 68
FILE ID= node35/282934-1169324155
PBS_JOBID= 3610481
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/282934-1169324155/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-282934-1169324155 -o ROOT/results/node35/solver-282934-1169324155 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282934-1169324155/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 64606531f4553ea248cad0209b5e8ed2
RANDOM SEED= 54942603
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1349696 kB
Buffers: 43696 kB
Cached: 550140 kB
SwapCached: 2184 kB
Active: 174208 kB
Inactive: 461608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1349696 kB
SwapTotal: 4192956 kB
SwapFree: 4184640 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 58964 kB
Slab: 55780 kB
Committed_AS: 6662872 kB
PageTables: 1888 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 node35 on Sat Jan 20 20:16:37 UTC 2007