0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=epfc.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/282169-1169318514/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=40 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.47 => wckTime=0.093 cpuTime=0.08 mem=6M885
0.47
0.47 relations being loaded...
0.51
0.51 constraints being loaded...
0.58 nbConstraints=98 nbRelationTypes=98 nbExtensionStructures=98 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=98 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1196 maxDegree=9
0.58 maxArity=2
0.58 => wckTime=0.204 cpuTime=0.15 mem=7M910
0.62
0.62 solver LocalSearchSolver being built...
0.66 => wckTime=0.288 cpuTime=0.19 mem=5M493
0.66
0.66 s SATISFIABLE
0.66 o 45
0.66 c 53
0.67 o 49
0.67 c 49
0.67 o 53
0.67 c 45
0.67 o 56
0.67 c 42
0.67 o 58
0.67 c 40
0.67 o 60
0.67 c 38
0.67 o 62
0.67 c 36
0.67 o 64
0.67 c 34
0.67 o 65
0.67 c 33
0.67 o 67
0.67 c 31
0.67 o 70
0.67 c 28
0.68 o 72
0.68 c 26
0.68 o 74
0.68 c 24
0.68 o 76
0.68 c 22
0.68 o 77
0.68 c 21
0.68 o 78
0.68 c 20
0.68 o 79
0.68 c 19
0.68 o 80
0.68 c 18
0.68 o 81
0.68 c 17
0.68 o 82
0.68 c 16
0.68 o 83
0.68 c 15
0.68 o 84
0.68 c 14
0.69 o 85
0.69 c 13
0.69 o 86
0.69 c 12
0.69 o 87
0.69 c 11
0.69 o 88
0.69 c 10
0.69 o 89
0.69 c 9
0.69 o 90
0.69 c 8
0.69 o 91
0.69 c 7
0.71 o 92
0.71 c 6
0.72 o 93
0.72 c 5
0.74 o 94
0.74 c 4
1.08 o 95
1.08 c 3
1.98
1.98 search
1.98 run=0 nbConstraintChecks=5311617 nbAssignments=10000
1.98 => wckTime=1.319 cpuTime=1.28 mem=5M493
3.31
3.31 search
3.31 run=1 nbConstraintChecks=11162551 nbAssignments=20000
3.31 => wckTime=2.653 cpuTime=2.6 mem=5M493
3.57 o 96
3.57 c 2
4.57
4.57 search
4.57 run=2 nbConstraintChecks=16378736 nbAssignments=30000
4.57 => wckTime=3.906 cpuTime=3.84 mem=5M493
5.88
5.88 search
5.88 run=3 nbConstraintChecks=22058213 nbAssignments=40000
5.88 => wckTime=5.216 cpuTime=5.14 mem=5M493
7.17
7.17 search
7.17 run=4 nbConstraintChecks=27606187 nbAssignments=50000
7.17 => wckTime=6.508 cpuTime=6.42 mem=5M493
8.48
8.48 search
8.48 run=5 nbConstraintChecks=33358536 nbAssignments=60000
8.49 => wckTime=7.824 cpuTime=7.73 mem=5M493
9.77
9.77 search
9.77 run=6 nbConstraintChecks=38743772 nbAssignments=70000
9.77 => wckTime=9.108 cpuTime=9.0 mem=5M493
11.08
11.08 search
11.08 run=7 nbConstraintChecks=44488220 nbAssignments=80000
11.08 => wckTime=10.42 cpuTime=10.3 mem=5M493
12.31
12.31 search
12.31 run=8 nbConstraintChecks=49577680 nbAssignments=90000
12.31 => wckTime=11.647 cpuTime=11.52 mem=5M493
13.62
13.62 search
13.62 run=9 nbConstraintChecks=55292043 nbAssignments=100000
13.62 => wckTime=12.964 cpuTime=12.82 mem=5M493
14.90
14.90 search
14.90 run=10 nbConstraintChecks=60751515 nbAssignments=110000
14.90 => wckTime=14.237 cpuTime=14.09 mem=5M493
16.23
16.23 search
16.23 run=11 nbConstraintChecks=66652985 nbAssignments=120000
16.23 => wckTime=15.566 cpuTime=15.4 mem=5M493
17.51
17.51 search
17.51 run=12 nbConstraintChecks=72217795 nbAssignments=130000
17.51 => wckTime=16.85 cpuTime=16.68 mem=5M493
18.88
18.88 search
18.88 run=13 nbConstraintChecks=78408865 nbAssignments=140000
18.88 => wckTime=18.22 cpuTime=18.03 mem=5M493
20.15
20.15 search
20.15 run=14 nbConstraintChecks=83778879 nbAssignments=150000
20.15 => wckTime=19.486 cpuTime=19.29 mem=5M493
21.46
21.46 search
21.46 run=15 nbConstraintChecks=89534443 nbAssignments=160000
21.46 => wckTime=20.799 cpuTime=20.59 mem=5M493
22.74
22.74 search
22.74 run=16 nbConstraintChecks=94878276 nbAssignments=170000
22.74 => wckTime=22.078 cpuTime=21.86 mem=5M493
23.98
23.98 search
23.98 run=17 nbConstraintChecks=99945753 nbAssignments=180000
23.98 => wckTime=23.315 cpuTime=23.08 mem=5M493
25.23
25.23 search
25.23 run=18 nbConstraintChecks=105161240 nbAssignments=190000
25.23 => wckTime=24.57 cpuTime=24.32 mem=5M493
26.51
26.51 search
26.51 run=19 nbConstraintChecks=110563956 nbAssignments=200000
26.51 => wckTime=25.846 cpuTime=25.59 mem=5M493
27.80
27.80 search
27.80 run=20 nbConstraintChecks=116000721 nbAssignments=210000
27.80 => wckTime=27.138 cpuTime=26.87 mem=5M493
29.18
29.18 search
29.18 run=21 nbConstraintChecks=122199282 nbAssignments=220000
29.18 => wckTime=28.521 cpuTime=28.24 mem=5M493
30.45
30.45 search
30.45 run=22 nbConstraintChecks=127520450 nbAssignments=230000
30.45 => wckTime=29.788 cpuTime=29.5 mem=5M493
31.78
31.78 search
31.78 run=23 nbConstraintChecks=133244231 nbAssignments=240000
31.78 => wckTime=31.118 cpuTime=30.82 mem=5M493
33.02
33.02 search
33.02 run=24 nbConstraintChecks=138475528 nbAssignments=250000
33.02 => wckTime=32.36 cpuTime=32.05 mem=5M493
33.84
33.84 search
33.84 run=25 nbConstraintChecks=142046857 nbAssignments=256438
33.84 => wckTime=33.184 cpuTime=32.87 mem=5M493
33.85
33.85 global
33.85 nbConstraintChecks=142046857 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.85 solvingWckTime=33.181 solvingCpuTime=32.87 expiredTime=no totalExploration=no nbFoundSolutions=0
33.85 globalCpuTime=33.11
33.85 => wckTime=33.472 cpuTime=33.06 mem=5M493
33.85
33.85 solver IterativeSystematicSolver being built...
33.99 => wckTime=33.62 cpuTime=33.18 mem=16M633
34.05
34.05 preprocessing
34.05 nbConstraintChecks=18497 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
34.05 detectedInconsistency=no
34.05 => wckTime=0.056 cpuTime=0.03 mem=16M633
34.09
34.09 search
34.09 run=0 nbConstraintChecks=40197 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
34.09 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=68 nbRestartNogoods=0
34.09 => wckTime=0.09 cpuTime=0.07 mem=16M633
34.16
34.16 search
34.16 run=1 nbConstraintChecks=184431 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142
34.16 nbFailedAssignments=106 nbBacktracks=25 nbVisitedNodes=273 nbRestartNogoods=12
34.16 => wckTime=0.164 cpuTime=0.13 mem=16M633
34.25
34.25 search
34.25 run=2 nbConstraintChecks=414072 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=318
34.25 nbFailedAssignments=252 nbBacktracks=47 nbVisitedNodes=615 nbRestartNogoods=39
34.25 => wckTime=0.251 cpuTime=0.21 mem=16M633
34.36
34.36 search
34.36 run=3 nbConstraintChecks=676614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=490
34.36 nbFailedAssignments=384 nbBacktracks=81 nbVisitedNodes=953 nbRestartNogoods=47
34.36 => wckTime=0.36 cpuTime=0.31 mem=16M633
34.50
34.50 search
34.50 run=4 nbConstraintChecks=1078180 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=753
34.50 nbFailedAssignments=589 nbBacktracks=131 nbVisitedNodes=1470 nbRestartNogoods=71
34.50 => wckTime=0.504 cpuTime=0.46 mem=16M633
34.70
34.70 search
34.70 run=5 nbConstraintChecks=1562988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1095
34.70 nbFailedAssignments=847 nbBacktracks=206 nbVisitedNodes=2141 nbRestartNogoods=91
34.70 => wckTime=0.709 cpuTime=0.65 mem=16M633
35.02
35.02 search
35.02 run=6 nbConstraintChecks=2368266 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1652
35.02 nbFailedAssignments=1280 nbBacktracks=319 nbVisitedNodes=3242 nbRestartNogoods=133
35.02 => wckTime=1.021 cpuTime=0.95 mem=16M633
35.37
35.37 search
35.37 run=7 nbConstraintChecks=3306429 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2205
35.37 nbFailedAssignments=1655 nbBacktracks=490 nbVisitedNodes=4339 nbRestartNogoods=171
35.37 => wckTime=1.373 cpuTime=1.29 mem=16M633
36.19
36.19 search
36.19 run=8 nbConstraintChecks=5710664 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3753
36.19 nbFailedAssignments=2940 nbBacktracks=746 nbVisitedNodes=7420 nbRestartNogoods=196
36.19 => wckTime=2.199 cpuTime=2.11 mem=16M633
37.22
37.22 search
37.22 run=9 nbConstraintChecks=8661783 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5750
37.22 nbFailedAssignments=4543 nbBacktracks=1131 nbVisitedNodes=11390 nbRestartNogoods=214
37.22 => wckTime=3.222 cpuTime=3.12 mem=16M633
39.01
39.01 search
39.01 run=10 nbConstraintChecks=13876322 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9026
39.01 nbFailedAssignments=7236 nbBacktracks=1707 nbVisitedNodes=17909 nbRestartNogoods=231
39.01 => wckTime=5.019 cpuTime=4.9 mem=16M633
41.43
41.43 search
41.43 run=11 nbConstraintChecks=20819362 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13445
41.43 nbFailedAssignments=10781 nbBacktracks=2575 nbVisitedNodes=26701 nbRestartNogoods=246
41.43 => wckTime=7.435 cpuTime=7.29 mem=16M633
43.98
43.98 search
43.98 run=12 nbConstraintChecks=27922343 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18310
43.99 nbFailedAssignments=14338 nbBacktracks=3872 nbVisitedNodes=36366 nbRestartNogoods=270
43.99 => wckTime=9.99 cpuTime=9.83 mem=16M633
48.46
48.46 search
48.46 run=13 nbConstraintChecks=40348813 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26477
48.46 nbFailedAssignments=20554 nbBacktracks=5818 nbVisitedNodes=52625 nbRestartNogoods=309
48.46 => wckTime=14.464 cpuTime=14.26 mem=16M633
54.74
54.74 search
54.74 run=14 nbConstraintChecks=56778141 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37766
54.74 nbFailedAssignments=28914 nbBacktracks=8738 nbVisitedNodes=75080 nbRestartNogoods=345
54.74 => wckTime=20.748 cpuTime=20.49 mem=16M633
62.93
62.93 search
62.93 run=15 nbConstraintChecks=77996601 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52423
62.93 nbFailedAssignments=39186 nbBacktracks=13117 nbVisitedNodes=104200 nbRestartNogoods=369
62.93 => wckTime=28.94 cpuTime=28.61 mem=16M633
74.78
74.78 search
74.78 run=16 nbConstraintChecks=105086128 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72108
74.78 nbFailedAssignments=52300 nbBacktracks=19685 nbVisitedNodes=143133 nbRestartNogoods=395
74.78 => wckTime=40.788 cpuTime=40.36 mem=16M633
79.39
79.39 search
79.39 run=17 nbConstraintChecks=114870987 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79448
79.39 nbFailedAssignments=56918 nbBacktracks=22408 nbVisitedNodes=157542 nbRestartNogoods=399
79.39 => wckTime=45.393 cpuTime=44.92 mem=16M633
79.39
79.39 global
79.39 nbConstraintChecks=114889484 nbRestartNogoods=399 solvingWckTime=45.395 solvingCpuTime=44.92 expiredTime=no
79.39 totalExploration=yes nbFoundSolutions=0 globalCpuTime=78.15
79.39 => wckTime=79.016 cpuTime=78.1 mem=16M633
79.39
79.39 s OPTIMUM FOUND
79.39 v 2 5 8 4 2 8 10 5 4 8 6 9 4 3 2 4 5 3 9 2 10 2 7 2 3 7 4 8 1 10 4 4 9 10 8 2 1 1 9 10
79.39
79.39 totalWckTime=79.098 totalCpuTime=78.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-282169-1169318514 -o ROOT/results/node13/solver-282169-1169318514 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282169-1169318514/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.80 1.94 1.98 4/87 968
/proc/meminfo: memFree=1274904/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=47976 CPUtime=0
/proc/967/stat : 967 (java) D 965 967 899 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 280246366 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/967/statm: 22444 1022 811 14 0 10027 0
[startup+0.102848 s]
/proc/loadavg: 1.80 1.94 1.98 4/87 968
/proc/meminfo: memFree=1274904/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=914988 CPUtime=0.08
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 2989 0 1 0 7 1 0 0 19 0 8 0 280246366 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153794801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510899 s]
/proc/loadavg: 1.80 1.94 1.98 4/87 968
/proc/meminfo: memFree=1274904/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915332 CPUtime=0.43
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 6115 0 1 0 40 3 0 0 18 0 8 0 280246366 937299968 5854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228833 5854 2144 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332
[startup+1.33301 s]
/proc/loadavg: 1.80 1.94 1.98 3/94 975
/proc/meminfo: memFree=1257504/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915444 CPUtime=1.24
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 7010 0 1 0 98 26 0 0 25 0 8 0 280246366 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228861 6748 2479 14 0 215331 0
[pid=967/tid=969] ppid=965 vsize=915444 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280246370 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915444 CPUtime=0.12
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 280246374 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915444
[startup+2.98623 s]
/proc/loadavg: 1.81 1.94 1.98 3/94 975
/proc/meminfo: memFree=1257504/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915448 CPUtime=2.87
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 7013 0 1 0 213 74 0 0 25 0 8 0 280246366 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228862 6750 2479 14 0 215332 0
[pid=967/tid=969] ppid=965 vsize=915448 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915448 CPUtime=0.12
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 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) 2.87
Current children cumulated vsize (KiB) 915448
[startup+6.28167 s]
/proc/loadavg: 1.81 1.94 1.98 3/94 975
/proc/meminfo: memFree=1257504/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915448 CPUtime=6.15
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 7013 0 1 0 445 170 0 0 25 0 8 0 280246366 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228862 6750 2479 14 0 215332 0
[pid=967/tid=969] ppid=965 vsize=915448 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915448 CPUtime=0.12
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 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) 6.15
Current children cumulated vsize (KiB) 915448
[startup+12.7645 s]
/proc/loadavg: 1.84 1.94 1.98 3/94 975
/proc/meminfo: memFree=1257504/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915444 CPUtime=12.57
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 7013 0 1 0 889 368 0 0 25 0 8 0 280246366 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073652582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228861 6750 2479 14 0 215331 0
[pid=967/tid=969] ppid=965 vsize=915444 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280246370 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915444 CPUtime=0.12
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280246374 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 937414656 6750 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.6103 s]
/proc/loadavg: 1.87 1.94 1.98 3/94 975
/proc/meminfo: memFree=1257568/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915448 CPUtime=25.3
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 7014 0 1 0 1780 750 0 0 25 0 8 0 280246366 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228862 6751 2479 14 0 215332 0
[pid=967/tid=969] ppid=965 vsize=915448 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280246370 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915448 CPUtime=0.12
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 280246374 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915448
[startup+51.2197 s]
/proc/loadavg: 1.91 1.94 1.98 3/94 975
/proc/meminfo: memFree=1249376/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915444 CPUtime=50.69
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 9129 0 1 0 4063 1006 0 0 25 0 8 0 280246366 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228861 8860 2532 14 0 215331 0
[pid=967/tid=969] ppid=965 vsize=915444 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280246370 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915444 CPUtime=0.24
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 280246374 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 79.4133
CPU time (s): 78.648
CPU user time (s): 68.5686
CPU system time (s): 10.0795
CPU usage (%): 99.0364
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.5686
system time used= 10.0795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9233
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= 2773
involuntary context switches= 5801
runsolver used 0.084987 s user time and 0.290955 s system time
The end
Begin job on node13 on Sat Jan 20 18:41:54 UTC 2007
IDJOB= 282169
IDBENCH= 12500
IDSOLVER= 68
FILE ID= node13/282169-1169318514
PBS_JOBID= 3610049
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-71.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282169-1169318514/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-282169-1169318514 -o ROOT/results/node13/solver-282169-1169318514 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282169-1169318514/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 124325bbcf362afbc6397d99c0e4883a
RANDOM SEED= 941777817
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.247
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.247
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: 1275384 kB
Buffers: 64860 kB
Cached: 547316 kB
SwapCached: 8664 kB
Active: 366920 kB
Inactive: 333480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1275384 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 2056 kB
Writeback: 0 kB
Mapped: 96212 kB
Slab: 64784 kB
Committed_AS: 8638276 kB
PageTables: 2500 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node13 on Sat Jan 20 18:43:13 UTC 2007