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/280909-1169308438/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.098 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.47
0.47 constraints being loaded...
0.53 nbConstraints=109 nbRelationTypes=109 nbDisconnectedVariables=1 nbExtensionStructures=109
0.53 nbSharedExtensionStructures=0 nbConflictsStructures=109 nbSharedConflictsStructures=0
0.53 nbSharedBinaryRepresentations=1277 maxDegree=12 maxArity=2
0.53 => wckTime=0.21 cpuTime=0.15 mem=8M854
0.56
0.57 solver LocalSearchSolver being built...
0.61 => wckTime=0.294 cpuTime=0.19 mem=5M497
0.61
0.61 s SATISFIABLE
0.61 o 68
0.61 c 41
0.61 o 71
0.62 c 38
0.62 o 73
0.62 c 36
0.62 o 74
0.62 c 35
0.62 o 77
0.62 c 32
0.62 o 79
0.62 c 30
0.62 o 81
0.62 c 28
0.62 o 83
0.62 c 26
0.62 o 85
0.62 c 24
0.62 o 87
0.62 c 22
0.62 o 88
0.62 c 21
0.63 o 89
0.63 c 20
0.63 o 91
0.63 c 18
0.63 o 92
0.63 c 17
0.63 o 93
0.63 c 16
0.63 o 95
0.63 c 14
0.63 o 96
0.63 c 13
0.63 o 98
0.63 c 11
0.63 o 99
0.63 c 10
0.64 o 100
0.64 c 9
0.64 o 101
0.64 c 8
0.64 o 102
0.64 c 7
0.65 o 103
0.65 c 6
0.66 o 104
0.66 c 5
0.69 o 105
0.69 c 4
0.95 o 106
0.95 c 3
1.99
1.99 search
1.99 run=0 nbConstraintChecks=6076128 nbAssignments=10000
1.99 => wckTime=1.385 cpuTime=1.36 mem=5M497
3.37
3.37 search
3.37 run=1 nbConstraintChecks=12589711 nbAssignments=20000
3.37 => wckTime=2.765 cpuTime=2.74 mem=5M497
4.70
4.70 search
4.70 run=2 nbConstraintChecks=18604727 nbAssignments=30000
4.70 => wckTime=4.09 cpuTime=4.05 mem=5M497
6.07
6.07 search
6.07 run=3 nbConstraintChecks=24982295 nbAssignments=40000
6.07 => wckTime=5.462 cpuTime=5.42 mem=5M497
7.39
7.39 search
7.39 run=4 nbConstraintChecks=30901203 nbAssignments=50000
7.39 => wckTime=6.778 cpuTime=6.73 mem=5M497
8.77
8.77 search
8.77 run=5 nbConstraintChecks=37310131 nbAssignments=60000
8.77 => wckTime=8.158 cpuTime=8.1 mem=5M497
10.11
10.11 search
10.11 run=6 nbConstraintChecks=43457359 nbAssignments=70000
10.11 => wckTime=9.501 cpuTime=9.44 mem=5M497
11.46
11.46 search
11.46 run=7 nbConstraintChecks=49549241 nbAssignments=80000
11.46 => wckTime=10.849 cpuTime=10.78 mem=5M497
12.79
12.79 search
12.79 run=8 nbConstraintChecks=55563774 nbAssignments=90000
12.79 => wckTime=12.179 cpuTime=12.1 mem=5M497
14.14
14.14 search
14.14 run=9 nbConstraintChecks=61838815 nbAssignments=100000
14.14 => wckTime=13.534 cpuTime=13.45 mem=5M497
15.46
15.46 search
15.46 run=10 nbConstraintChecks=67836901 nbAssignments=110000
15.46 => wckTime=14.852 cpuTime=14.77 mem=5M497
16.83
16.83 search
16.83 run=11 nbConstraintChecks=74326722 nbAssignments=120000
16.83 => wckTime=16.221 cpuTime=16.12 mem=5M497
18.14
18.14 search
18.14 run=12 nbConstraintChecks=80236869 nbAssignments=130000
18.14 => wckTime=17.531 cpuTime=17.43 mem=5M497
19.52
19.52 search
19.52 run=13 nbConstraintChecks=86713640 nbAssignments=140000
19.52 => wckTime=18.91 cpuTime=18.8 mem=5M497
20.83
20.83 search
20.83 run=14 nbConstraintChecks=92670256 nbAssignments=150000
20.83 => wckTime=20.222 cpuTime=20.11 mem=5M497
22.19
22.19 search
22.19 run=15 nbConstraintChecks=99002162 nbAssignments=160000
22.19 => wckTime=21.585 cpuTime=21.47 mem=5M497
23.51
23.51 search
23.51 run=16 nbConstraintChecks=104953460 nbAssignments=170000
23.51 => wckTime=22.899 cpuTime=22.77 mem=5M497
24.88
24.88 search
24.88 run=17 nbConstraintChecks=111308858 nbAssignments=180000
24.88 => wckTime=24.274 cpuTime=24.14 mem=5M497
26.24
26.24 search
26.24 run=18 nbConstraintChecks=117512604 nbAssignments=190000
26.24 => wckTime=25.634 cpuTime=25.49 mem=5M497
27.62
27.62 search
27.62 run=19 nbConstraintChecks=123886307 nbAssignments=200000
27.62 => wckTime=27.013 cpuTime=26.86 mem=5M497
28.93
28.93 search
28.93 run=20 nbConstraintChecks=129723888 nbAssignments=210000
28.93 => wckTime=28.324 cpuTime=28.17 mem=5M497
30.28
30.28 search
30.28 run=21 nbConstraintChecks=135876229 nbAssignments=220000
30.28 => wckTime=29.672 cpuTime=29.51 mem=5M497
31.11
31.11 search
31.11 run=22 nbConstraintChecks=139567350 nbAssignments=226322
31.11 => wckTime=30.501 cpuTime=30.34 mem=5M497
31.11
31.11 global
31.11 nbConstraintChecks=139567350 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.11 solvingWckTime=30.498 solvingCpuTime=30.33 expiredTime=no totalExploration=no nbFoundSolutions=0
31.11 globalCpuTime=30.58
31.11 => wckTime=30.795 cpuTime=30.53 mem=5M497
31.11
31.11 solver IterativeSystematicSolver being built...
31.24 => wckTime=30.928 cpuTime=30.63 mem=16M519
31.29
31.29 preprocessing
31.29 nbConstraintChecks=18679 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.29 detectedInconsistency=no
31.29 => wckTime=0.046 cpuTime=0.03 mem=16M519
31.32
31.32 search
31.32 run=0 nbConstraintChecks=59104 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41
31.32 nbFailedAssignments=25 nbBacktracks=10 nbVisitedNodes=77 nbRestartNogoods=0
31.32 => wckTime=0.079 cpuTime=0.06 mem=16M519
31.38
31.38 search
31.38 run=1 nbConstraintChecks=166433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=118
31.38 nbFailedAssignments=78 nbBacktracks=26 nbVisitedNodes=223 nbRestartNogoods=15
31.38 => wckTime=0.136 cpuTime=0.11 mem=16M519
31.45
31.45 search
31.45 run=2 nbConstraintChecks=351415 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=236
31.45 nbFailedAssignments=171 nbBacktracks=48 nbVisitedNodes=456 nbRestartNogoods=25
31.45 => wckTime=0.205 cpuTime=0.17 mem=16M519
31.53
31.53 search
31.53 run=3 nbConstraintChecks=610821 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=395
31.53 nbFailedAssignments=293 nbBacktracks=81 nbVisitedNodes=769 nbRestartNogoods=26
31.53 => wckTime=0.284 cpuTime=0.25 mem=16M519
31.66
31.66 search
31.66 run=4 nbConstraintChecks=1067860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=673
31.66 nbFailedAssignments=516 nbBacktracks=132 nbVisitedNodes=1314 nbRestartNogoods=43
31.66 => wckTime=0.414 cpuTime=0.38 mem=16M519
31.89
31.89 search
31.89 run=5 nbConstraintChecks=1700456 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1050
31.89 nbFailedAssignments=811 nbBacktracks=207 nbVisitedNodes=2060 nbRestartNogoods=63
31.89 => wckTime=0.648 cpuTime=0.61 mem=16M519
32.08
32.08 search
32.08 run=6 nbConstraintChecks=2297261 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1440
32.08 nbFailedAssignments=1078 nbBacktracks=320 nbVisitedNodes=2830 nbRestartNogoods=80
32.08 => wckTime=0.832 cpuTime=0.79 mem=16M519
32.37
32.37 search
32.37 run=7 nbConstraintChecks=3285707 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2080
32.37 nbFailedAssignments=1542 nbBacktracks=490 nbVisitedNodes=4104 nbRestartNogoods=94
32.37 => wckTime=1.124 cpuTime=1.06 mem=16M519
32.81
32.81 search
32.81 run=8 nbConstraintChecks=4922607 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3117
32.81 nbFailedAssignments=2316 nbBacktracks=746 nbVisitedNodes=6168 nbRestartNogoods=108
32.81 => wckTime=1.57 cpuTime=1.5 mem=16M519
33.68
33.68 search
33.68 run=9 nbConstraintChecks=7746113 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4849
33.68 nbFailedAssignments=3658 nbBacktracks=1131 nbVisitedNodes=9586 nbRestartNogoods=122
33.68 => wckTime=2.439 cpuTime=2.37 mem=16M519
34.76
34.76 search
34.76 run=10 nbConstraintChecks=11464314 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7362
34.76 nbFailedAssignments=5587 nbBacktracks=1707 nbVisitedNodes=14591 nbRestartNogoods=148
34.76 => wckTime=3.513 cpuTime=3.43 mem=16M519
36.15
36.15 search
36.15 run=11 nbConstraintChecks=16245258 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10538
36.15 nbFailedAssignments=7890 nbBacktracks=2571 nbVisitedNodes=20923 nbRestartNogoods=160
36.15 => wckTime=4.905 cpuTime=4.82 mem=16M519
38.25
38.25 search
38.25 run=12 nbConstraintChecks=23017893 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15061
38.25 nbFailedAssignments=11103 nbBacktracks=3868 nbVisitedNodes=29904 nbRestartNogoods=170
38.25 => wckTime=7.005 cpuTime=6.9 mem=16M519
40.86
40.87 search
40.87 run=13 nbConstraintChecks=30921653 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20817
40.87 nbFailedAssignments=14907 nbBacktracks=5814 nbVisitedNodes=41320 nbRestartNogoods=189
40.87 => wckTime=9.621 cpuTime=9.5 mem=16M519
44.51
44.51 search
44.51 run=14 nbConstraintChecks=41109830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28039
44.51 nbFailedAssignments=19193 nbBacktracks=8733 nbVisitedNodes=55501 nbRestartNogoods=203
44.51 => wckTime=13.27 cpuTime=13.13 mem=16M519
49.81
49.81 search
49.81 run=15 nbConstraintChecks=55797872 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38498
49.81 nbFailedAssignments=25270 nbBacktracks=13112 nbVisitedNodes=76051 nbRestartNogoods=218
49.81 => wckTime=18.565 cpuTime=18.4 mem=16M519
57.81
57.81 search
57.81 run=16 nbConstraintChecks=78340219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54409
57.81 nbFailedAssignments=34607 nbBacktracks=19683 nbVisitedNodes=107397 nbRestartNogoods=225
57.81 => wckTime=26.564 cpuTime=26.36 mem=16M519
69.40
69.40 search
69.40 run=17 nbConstraintChecks=111512983 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77684
69.40 nbFailedAssignments=48025 nbBacktracks=29535 nbVisitedNodes=153036 nbRestartNogoods=228
69.40 => wckTime=38.153 cpuTime=37.89 mem=16M519
73.50
73.50 search
73.50 run=18 nbConstraintChecks=123028930 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85522
73.50 nbFailedAssignments=52457 nbBacktracks=32942 nbVisitedNodes=168408 nbRestartNogoods=242
73.50 => wckTime=42.257 cpuTime=41.98 mem=16M519
73.50
73.50 global
73.50 nbConstraintChecks=123047609 nbRestartNogoods=242 solvingWckTime=42.258 solvingCpuTime=41.98 expiredTime=no
73.50 totalExploration=yes nbFoundSolutions=0 globalCpuTime=72.66
73.50 => wckTime=73.187 cpuTime=72.61 mem=16M519
73.51
73.51 s OPTIMUM FOUND
73.51 v 4 2 1 3 5 5 1 5 5 5 0 7 3 6 8 0 7 7 1 6 6 2 2 0 3 8 3 3 3 0
73.51
73.51 totalWckTime=73.27 totalCpuTime=72.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-280909-1169308438 -o ROOT/results/node17/solver-280909-1169308438 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280909-1169308438/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.94 1.99 1.99 4/86 23015
/proc/meminfo: memFree=1341720/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=18540 CPUtime=0
/proc/23014/stat : 23014 (runsolver) R 23012 23014 22656 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279238667 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23014/statm: 4635 279 244 17 0 2626 0
[startup+0.107856 s]
/proc/loadavg: 1.94 1.99 1.99 4/86 23015
/proc/meminfo: memFree=1341720/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=914988 CPUtime=0.09
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 279238667 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515897 s]
/proc/loadavg: 1.94 1.99 1.99 4/86 23015
/proc/meminfo: memFree=1341720/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915332 CPUtime=0.49
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 6564 0 1 0 45 4 0 0 18 0 8 0 279238667 937299968 6303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228833 6303 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33698 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 23022
/proc/meminfo: memFree=1323808/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=1.3
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 7138 0 1 0 106 24 0 0 25 0 8 0 279238667 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 6876 2479 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.12
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279238675 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 6876 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) 915444
[startup+2.97515 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 23022
/proc/meminfo: memFree=1323744/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=2.94
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 7141 0 1 0 223 71 0 0 25 0 8 0 279238667 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3228638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 6878 2479 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.13
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 6878 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.1825 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 23022
/proc/meminfo: memFree=1323744/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=6.13
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 7141 0 1 0 450 163 0 0 25 0 8 0 279238667 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 6878 2479 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.13
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915444
[startup+12.6502 s]
/proc/loadavg: 1.95 1.99 1.99 3/93 23022
/proc/meminfo: memFree=1323760/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=12.57
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 7141 0 1 0 897 360 0 0 25 0 8 0 279238667 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 6878 2479 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.13
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915444
[startup+25.5075 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 23022
/proc/meminfo: memFree=1323760/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=25.37
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 7142 0 1 0 1806 731 0 0 25 0 8 0 279238667 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3185076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 6879 2479 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.13
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 335 0 0 0 13 0 0 0 16 0 8 0 279238675 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 6879 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) 915444
[startup+51.1152 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 23022
/proc/meminfo: memFree=1316528/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=50.85
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 9038 0 1 0 4188 897 0 0 25 0 8 0 279238667 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 8770 2532 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.23
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 279238675 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 73.5473
CPU time (s): 73.1589
CPU user time (s): 64.1792
CPU system time (s): 8.97963
CPU usage (%): 99.4719
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.1792
system time used= 8.97963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9142
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= 2598
involuntary context switches= 3779
runsolver used 0.105983 s user time and 0.233964 s system time
The end
Begin job on node17 on Sat Jan 20 15:53:59 UTC 2007
IDJOB= 280909
IDBENCH= 11989
IDSOLVER= 68
FILE ID= node17/280909-1169308438
PBS_JOBID= 3609928
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280909-1169308438/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-280909-1169308438 -o ROOT/results/node17/solver-280909-1169308438 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280909-1169308438/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6a23201799764f9ab5945e86632e379a
RANDOM SEED= 95136902
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.236
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.236
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: 1342136 kB
Buffers: 48852 kB
Cached: 512148 kB
SwapCached: 0 kB
Active: 283380 kB
Inactive: 353660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1342136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 96448 kB
Slab: 61684 kB
Committed_AS: 8877320 kB
PageTables: 2228 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= 66559 MiB
End job on node17 on Sat Jan 20 15:55:13 UTC 2007