0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/282214-1169318665/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.40 => wckTime=0.092 cpuTime=0.09 mem=6M885
0.40
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.52 nbConstraints=98 nbRelationTypes=98 nbExtensionStructures=98 nbSharedExtensionStructures=0
0.52 nbConflictsStructures=98 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1187 maxDegree=9
0.52 maxArity=2
0.52 => wckTime=0.205 cpuTime=0.16 mem=7M975
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.285 cpuTime=0.21 mem=5M493
0.60
0.60 s SATISFIABLE
0.60 o 39
0.60 c 59
0.60 o 44
0.60 c 54
0.60 o 48
0.60 c 50
0.61 o 52
0.61 c 46
0.61 o 57
0.61 c 41
0.61 o 59
0.61 c 39
0.61 o 61
0.61 c 37
0.61 o 64
0.61 c 34
0.61 o 67
0.61 c 31
0.61 o 69
0.61 c 29
0.61 o 71
0.61 c 27
0.61 o 73
0.61 c 25
0.61 o 75
0.61 c 23
0.62 o 76
0.62 c 22
0.62 o 77
0.62 c 21
0.62 o 78
0.62 c 20
0.62 o 79
0.62 c 19
0.62 o 80
0.62 c 18
0.62 o 81
0.62 c 17
0.62 o 82
0.62 c 16
0.62 o 83
0.62 c 15
0.62 o 84
0.62 c 14
0.63 o 86
0.63 c 12
0.63 o 87
0.63 c 11
0.63 o 88
0.63 c 10
0.63 o 89
0.63 c 9
0.63 o 90
0.63 c 8
0.63 o 91
0.63 c 7
0.63 o 92
0.63 c 6
0.65 o 93
0.65 c 5
0.65 o 94
0.65 c 4
1.94
1.94 search
1.94 run=0 nbConstraintChecks=5508080 nbAssignments=10000
1.94 => wckTime=1.347 cpuTime=1.32 mem=5M493
3.25
3.25 search
3.25 run=1 nbConstraintChecks=11153669 nbAssignments=20000
3.25 => wckTime=2.654 cpuTime=2.61 mem=5M493
4.59
4.59 search
4.59 run=2 nbConstraintChecks=17107502 nbAssignments=30000
4.59 => wckTime=3.995 cpuTime=3.93 mem=5M493
5.97
5.97 search
5.97 run=3 nbConstraintChecks=23431009 nbAssignments=40000
5.97 => wckTime=5.374 cpuTime=5.3 mem=5M493
6.75 o 95
6.75 c 3
7.28
7.28 search
7.28 run=4 nbConstraintChecks=29173014 nbAssignments=50000
7.28 => wckTime=6.68 cpuTime=6.6 mem=5M493
8.54
8.54 search
8.54 run=5 nbConstraintChecks=34491927 nbAssignments=60000
8.54 => wckTime=7.942 cpuTime=7.86 mem=5M493
9.89
9.89 search
9.89 run=6 nbConstraintChecks=40520703 nbAssignments=70000
9.89 => wckTime=9.29 cpuTime=9.19 mem=5M493
11.29
11.29 search
11.29 run=7 nbConstraintChecks=46951713 nbAssignments=80000
11.29 => wckTime=10.695 cpuTime=10.58 mem=5M493
12.60
12.60 search
12.60 run=8 nbConstraintChecks=52603152 nbAssignments=90000
12.60 => wckTime=12.004 cpuTime=11.88 mem=5M493
13.83
13.83 search
13.83 run=9 nbConstraintChecks=57703454 nbAssignments=100000
13.83 => wckTime=13.237 cpuTime=13.09 mem=5M493
15.16
15.16 search
15.16 run=10 nbConstraintChecks=63454700 nbAssignments=110000
15.16 => wckTime=14.561 cpuTime=14.41 mem=5M493
16.56
16.57 search
16.57 run=11 nbConstraintChecks=69806565 nbAssignments=120000
16.57 => wckTime=15.969 cpuTime=15.8 mem=5M493
17.85
17.85 search
17.85 run=12 nbConstraintChecks=75287663 nbAssignments=130000
17.85 => wckTime=17.256 cpuTime=17.08 mem=5M493
19.17
19.17 search
19.17 run=13 nbConstraintChecks=80911396 nbAssignments=140000
19.17 => wckTime=18.573 cpuTime=18.39 mem=5M493
20.48
20.48 search
20.48 run=14 nbConstraintChecks=86501807 nbAssignments=150000
20.48 => wckTime=19.88 cpuTime=19.68 mem=5M493
21.90
21.90 search
21.90 run=15 nbConstraintChecks=93036890 nbAssignments=160000
21.90 => wckTime=21.304 cpuTime=21.1 mem=5M493
23.19
23.19 search
23.19 run=16 nbConstraintChecks=98645530 nbAssignments=170000
23.19 => wckTime=22.595 cpuTime=22.38 mem=5M493
24.57
24.57 search
24.57 run=17 nbConstraintChecks=104887675 nbAssignments=180000
24.57 => wckTime=23.971 cpuTime=23.75 mem=5M493
25.92
25.92 search
25.92 run=18 nbConstraintChecks=110908320 nbAssignments=190000
25.92 => wckTime=25.323 cpuTime=25.08 mem=5M493
27.28
27.28 search
27.28 run=19 nbConstraintChecks=116893653 nbAssignments=200000
27.28 => wckTime=26.68 cpuTime=26.43 mem=5M493
28.64
28.64 search
28.64 run=20 nbConstraintChecks=123089842 nbAssignments=210000
28.64 => wckTime=28.047 cpuTime=27.78 mem=5M493
30.02
30.02 search
30.02 run=21 nbConstraintChecks=129448506 nbAssignments=220000
30.02 => wckTime=29.428 cpuTime=29.16 mem=5M493
31.35
31.35 search
31.35 run=22 nbConstraintChecks=135336192 nbAssignments=230000
31.35 => wckTime=30.756 cpuTime=30.48 mem=5M493
32.74
32.74 search
32.74 run=23 nbConstraintChecks=141592853 nbAssignments=240000
32.74 => wckTime=32.145 cpuTime=31.85 mem=5M493
34.05
34.05 search
34.05 run=24 nbConstraintChecks=147179412 nbAssignments=250000
34.05 => wckTime=33.456 cpuTime=33.15 mem=5M493
35.46
35.46 search
35.46 run=25 nbConstraintChecks=153638327 nbAssignments=260000
35.46 => wckTime=34.869 cpuTime=34.55 mem=5M493
36.81
36.81 search
36.81 run=26 nbConstraintChecks=159583283 nbAssignments=270000
36.81 => wckTime=36.217 cpuTime=35.89 mem=5M493
37.01
37.01 search
37.01 run=27 nbConstraintChecks=160433221 nbAssignments=271572
37.01 => wckTime=36.417 cpuTime=36.09 mem=5M493
37.01
37.02 global
37.02 nbConstraintChecks=160433221 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.02 solvingWckTime=36.415 solvingCpuTime=36.08 expiredTime=no totalExploration=no nbFoundSolutions=0
37.02 globalCpuTime=36.34
37.02 => wckTime=36.703 cpuTime=36.29 mem=5M493
37.02
37.02 solver IterativeSystematicSolver being built...
37.16 => wckTime=36.851 cpuTime=36.4 mem=16M628
37.21
37.21 preprocessing
37.21 nbConstraintChecks=17983 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
37.21 detectedInconsistency=no
37.21 => wckTime=0.048 cpuTime=0.03 mem=16M628
37.28
37.28 search
37.28 run=0 nbConstraintChecks=113165 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80
37.28 nbFailedAssignments=64 nbBacktracks=10 nbVisitedNodes=155 nbRestartNogoods=0
37.28 => wckTime=0.112 cpuTime=0.08 mem=16M628
37.32
37.32 search
37.32 run=1 nbConstraintChecks=171808 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131
37.32 nbFailedAssignments=91 nbBacktracks=25 nbVisitedNodes=248 nbRestartNogoods=22
37.32 => wckTime=0.156 cpuTime=0.11 mem=16M628
37.42
37.42 search
37.42 run=2 nbConstraintChecks=381307 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=279
37.42 nbFailedAssignments=213 nbBacktracks=48 nbVisitedNodes=540 nbRestartNogoods=32
37.42 => wckTime=0.254 cpuTime=0.2 mem=16M628
37.50
37.50 search
37.50 run=3 nbConstraintChecks=535057 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=387
37.50 nbFailedAssignments=282 nbBacktracks=82 nbVisitedNodes=751 nbRestartNogoods=34
37.50 => wckTime=0.333 cpuTime=0.28 mem=16M628
37.67
37.67 search
37.67 run=4 nbConstraintChecks=964377 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=667
37.67 nbFailedAssignments=501 nbBacktracks=132 nbVisitedNodes=1299 nbRestartNogoods=51
37.67 => wckTime=0.503 cpuTime=0.45 mem=16M628
37.96
37.96 search
37.96 run=5 nbConstraintChecks=1731978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1162
37.96 nbFailedAssignments=913 nbBacktracks=207 nbVisitedNodes=2281 nbRestartNogoods=73
37.96 => wckTime=0.795 cpuTime=0.74 mem=16M628
38.33
38.33 search
38.33 run=6 nbConstraintChecks=2610502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1724
38.33 nbFailedAssignments=1354 nbBacktracks=320 nbVisitedNodes=3389 nbRestartNogoods=106
38.33 => wckTime=1.167 cpuTime=1.09 mem=16M628
38.76
38.76 search
38.76 run=7 nbConstraintChecks=3747297 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2457
38.76 nbFailedAssignments=1909 nbBacktracks=491 nbVisitedNodes=4842 nbRestartNogoods=126
38.76 => wckTime=1.598 cpuTime=1.51 mem=16M628
39.55
39.55 search
39.55 run=8 nbConstraintChecks=5885247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3794
39.55 nbFailedAssignments=2986 nbBacktracks=748 nbVisitedNodes=7498 nbRestartNogoods=136
39.55 => wckTime=2.381 cpuTime=2.29 mem=16M628
40.62
40.62 search
40.62 run=9 nbConstraintChecks=8742995 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5712
40.62 nbFailedAssignments=4513 nbBacktracks=1132 nbVisitedNodes=11303 nbRestartNogoods=154
40.62 => wckTime=3.454 cpuTime=3.35 mem=16M628
42.41
42.41 search
42.41 run=10 nbConstraintChecks=13637276 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9003
42.41 nbFailedAssignments=7213 nbBacktracks=1708 nbVisitedNodes=17826 nbRestartNogoods=164
42.41 => wckTime=5.244 cpuTime=5.12 mem=16M628
44.55
44.55 search
44.55 run=11 nbConstraintChecks=19139721 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12816
44.55 nbFailedAssignments=10153 nbBacktracks=2572 nbVisitedNodes=25416 nbRestartNogoods=195
44.56 => wckTime=7.391 cpuTime=7.25 mem=16M628
47.65
47.65 search
47.65 run=12 nbConstraintChecks=26697838 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18038
47.65 nbFailedAssignments=14070 nbBacktracks=3869 nbVisitedNodes=35824 nbRestartNogoods=216
47.65 => wckTime=10.483 cpuTime=10.31 mem=16M628
51.78
51.78 search
51.78 run=13 nbConstraintChecks=37870534 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25796
51.78 nbFailedAssignments=19875 nbBacktracks=5815 nbVisitedNodes=51247 nbRestartNogoods=227
51.78 => wckTime=14.613 cpuTime=14.41 mem=16M628
57.47
57.47 search
57.47 run=14 nbConstraintChecks=51612131 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34946
57.47 nbFailedAssignments=26098 nbBacktracks=8734 nbVisitedNodes=69473 nbRestartNogoods=247
57.47 => wckTime=20.305 cpuTime=20.05 mem=16M628
65.42
65.42 search
65.42 run=15 nbConstraintChecks=69954486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48493
65.42 nbFailedAssignments=35263 nbBacktracks=13112 nbVisitedNodes=96396 nbRestartNogoods=265
65.42 => wckTime=28.254 cpuTime=27.93 mem=16M628
76.48
76.48 search
76.48 run=16 nbConstraintChecks=95201553 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66253
76.48 nbFailedAssignments=46449 nbBacktracks=19680 nbVisitedNodes=131550 nbRestartNogoods=286
76.48 => wckTime=39.317 cpuTime=38.9 mem=16M628
92.17
92.17 search
92.17 run=17 nbConstraintChecks=129389058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=92065
92.17 nbFailedAssignments=62405 nbBacktracks=29534 nbVisitedNodes=182349 nbRestartNogoods=297
92.17 => wckTime=55.004 cpuTime=54.46 mem=16M628
99.53
99.53 search
99.53 run=18 nbConstraintChecks=145491035 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103970
99.53 nbFailedAssignments=69526 nbBacktracks=34319 nbVisitedNodes=205679 nbRestartNogoods=306
99.53 => wckTime=62.368 cpuTime=61.75 mem=16M628
99.53
99.53 global
99.53 nbConstraintChecks=145509018 nbRestartNogoods=306 solvingWckTime=62.369 solvingCpuTime=61.75 expiredTime=no
99.53 totalExploration=yes nbFoundSolutions=0 globalCpuTime=98.2
99.53 => wckTime=99.221 cpuTime=98.15 mem=16M628
99.54
99.54 s OPTIMUM FOUND
99.54 v 8 10 3 8 10 2 10 8 6 2 7 3 9 6 7 7 6 6 9 7 2 9 6 9 10 2 2 5 10 9 1 10 1 9 8 7 1 5 10 4
99.54
99.54 totalWckTime=99.304 totalCpuTime=98.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-282214-1169318665 -o ROOT/results/node6/solver-282214-1169318665 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282214-1169318665/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.98 1.99 4/86 714
/proc/meminfo: memFree=1243368/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=18540 CPUtime=0
/proc/713/stat : 713 (runsolver) R 711 713 573 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280261914 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/713/statm: 4635 279 244 17 0 2626 0
[startup+0.102596 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 714
/proc/meminfo: memFree=1243368/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=914988 CPUtime=0.09
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 2994 0 1 0 7 2 0 0 17 0 8 0 280261914 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514642 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 714
/proc/meminfo: memFree=1243368/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915332 CPUtime=0.49
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 6470 0 1 0 45 4 0 0 19 0 8 0 280261914 937299968 6209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228833 6209 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33974 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 721
/proc/meminfo: memFree=1225968/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915444 CPUtime=1.31
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 7009 0 1 0 103 28 0 0 25 0 8 0 280261914 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073662036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228861 6747 2479 14 0 215331 0
[pid=713/tid=715] ppid=711 vsize=915444 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280261918 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915444 CPUtime=0.11
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 280261922 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937414656 6747 18446744073709551615 134512640 134570532 4294956464 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) 915444
[startup+2.97693 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 721
/proc/meminfo: memFree=1225968/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915444 CPUtime=2.94
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 7012 0 1 0 219 75 0 0 25 0 8 0 280261914 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073657417 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228861 6749 2479 14 0 215331 0
[pid=713/tid=715] ppid=711 vsize=915444 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280261918 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915444 CPUtime=0.12
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.25631 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 721
/proc/meminfo: memFree=1225968/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915444 CPUtime=6.18
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 7012 0 1 0 447 171 0 0 25 0 8 0 280261914 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073657565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228861 6749 2479 14 0 215331 0
[pid=713/tid=715] ppid=711 vsize=915444 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280261918 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915444 CPUtime=0.12
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915444
[startup+12.7431 s]
/proc/loadavg: 1.94 1.98 1.99 3/93 721
/proc/meminfo: memFree=1225904/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915448 CPUtime=12.61
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 7012 0 1 0 907 354 0 0 25 0 8 0 280261914 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228862 6749 2479 14 0 215332 0
[pid=713/tid=715] ppid=711 vsize=915448 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280261918 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915448 CPUtime=0.12
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280261922 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915448
[startup+25.6006 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 721
/proc/meminfo: memFree=1225904/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915448 CPUtime=25.37
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 7013 0 1 0 1817 720 0 0 25 0 8 0 280261914 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228862 6750 2479 14 0 215332 0
[pid=713/tid=715] ppid=711 vsize=915448 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280261918 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915448 CPUtime=0.12
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 280261922 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915448
[startup+51.2026 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 721
/proc/meminfo: memFree=1217712/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915444 CPUtime=50.74
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 9123 0 1 0 4017 1057 0 0 25 0 8 0 280261914 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228861 8856 2532 14 0 215331 0
[pid=713/tid=715] ppid=711 vsize=915444 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280261918 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915444 CPUtime=0.22
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 280261922 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 99.6014
CPU time (s): 98.678
CPU user time (s): 88.0946
CPU system time (s): 10.5834
CPU usage (%): 99.0729
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.0946
system time used= 10.5834
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9234
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= 3087
involuntary context switches= 5476
runsolver used 0.119981 s user time and 0.341948 s system time
The end
Begin job on node6 on Sat Jan 20 18:44:25 UTC 2007
IDJOB= 282214
IDBENCH= 12547
IDSOLVER= 68
FILE ID= node6/282214-1169318665
PBS_JOBID= 3610055
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-40-10-08-t60/pi-40-10-07948-40-51.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282214-1169318665/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-282214-1169318665 -o ROOT/results/node6/solver-282214-1169318665 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282214-1169318665/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6d238ffd18ba65e6fcbc93dec51f04a3
RANDOM SEED= 113936015
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.240
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.240
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: 2055924 kB
MemFree: 1243848 kB
Buffers: 66308 kB
Cached: 612244 kB
SwapCached: 2944 kB
Active: 321740 kB
Inactive: 405464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1243848 kB
SwapTotal: 4192956 kB
SwapFree: 4165736 kB
Dirty: 1972 kB
Writeback: 0 kB
Mapped: 59364 kB
Slab: 69780 kB
Committed_AS: 9197228 kB
PageTables: 2340 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= 66560 MiB
End job on node6 on Sat Jan 20 18:46:06 UTC 2007