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/280999-1169309388/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.46
0.46 constraints being loaded...
0.52 nbConstraints=101 nbRelationTypes=101 nbExtensionStructures=101 nbSharedExtensionStructures=0
0.52 nbConflictsStructures=101 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1228 maxDegree=9
0.52 maxArity=2
0.52 => wckTime=0.209 cpuTime=0.15 mem=8M846
0.56
0.56 solver LocalSearchSolver being built...
0.61 => wckTime=0.293 cpuTime=0.2 mem=5M493
0.61
0.61 s SATISFIABLE
0.61 o 41
0.61 c 60
0.61 o 45
0.61 c 56
0.62 o 49
0.62 c 52
0.62 o 53
0.62 c 48
0.62 o 56
0.62 c 45
0.62 o 59
0.62 c 42
0.62 o 61
0.62 c 40
0.62 o 64
0.62 c 37
0.62 o 67
0.62 c 34
0.62 o 68
0.62 c 33
0.62 o 70
0.62 c 31
0.63 o 72
0.63 c 29
0.63 o 73
0.63 c 28
0.63 o 74
0.63 c 27
0.63 o 75
0.63 c 26
0.63 o 76
0.63 c 25
0.63 o 78
0.63 c 23
0.63 o 79
0.63 c 22
0.63 o 80
0.63 c 21
0.63 o 81
0.63 c 20
0.63 o 82
0.63 c 19
0.63 o 83
0.63 c 18
0.64 o 84
0.64 c 17
0.64 o 85
0.64 c 16
0.64 o 86
0.64 c 15
0.64 o 87
0.64 c 14
0.64 o 88
0.64 c 13
0.64 o 89
0.64 c 12
0.64 o 90
0.64 c 11
0.64 o 91
0.64 c 10
0.64 o 92
0.64 c 9
0.64 o 93
0.64 c 8
0.64 o 94
0.64 c 7
0.66 o 95
0.66 c 6
0.67 o 96
0.67 c 5
0.75 o 97
0.75 c 4
1.53 o 98
1.53 c 3
2.05
2.05 search
2.05 run=0 nbConstraintChecks=5555284 nbAssignments=10000
2.05 => wckTime=1.439 cpuTime=1.4 mem=5M493
3.36
3.36 search
3.36 run=1 nbConstraintChecks=11154593 nbAssignments=20000
3.36 => wckTime=2.754 cpuTime=2.7 mem=5M493
3.43 o 99
3.43 c 2
4.70
4.70 search
4.70 run=2 nbConstraintChecks=16905371 nbAssignments=30000
4.70 => wckTime=4.097 cpuTime=4.02 mem=5M493
6.03
6.03 search
6.03 run=3 nbConstraintChecks=22505447 nbAssignments=40000
6.03 => wckTime=5.421 cpuTime=5.34 mem=5M493
7.35
7.35 search
7.35 run=4 nbConstraintChecks=28088187 nbAssignments=50000
7.35 => wckTime=6.739 cpuTime=6.64 mem=5M493
8.78
8.78 search
8.78 run=5 nbConstraintChecks=34493316 nbAssignments=60000
8.78 => wckTime=8.171 cpuTime=8.07 mem=5M493
10.10
10.10 search
10.10 run=6 nbConstraintChecks=40071090 nbAssignments=70000
10.10 => wckTime=9.494 cpuTime=9.38 mem=5M493
11.48
11.48 search
11.48 run=7 nbConstraintChecks=46102387 nbAssignments=80000
11.48 => wckTime=10.875 cpuTime=10.75 mem=5M493
12.85
12.85 search
12.85 run=8 nbConstraintChecks=51994017 nbAssignments=90000
12.85 => wckTime=12.242 cpuTime=12.1 mem=5M493
14.24
14.24 search
14.24 run=9 nbConstraintChecks=58212872 nbAssignments=100000
14.24 => wckTime=13.637 cpuTime=13.49 mem=5M493
15.56
15.56 search
15.56 run=10 nbConstraintChecks=63762819 nbAssignments=110000
15.56 => wckTime=14.953 cpuTime=14.79 mem=5M493
16.89
16.89 search
16.89 run=11 nbConstraintChecks=69447390 nbAssignments=120000
16.89 => wckTime=16.287 cpuTime=16.11 mem=5M493
18.19
18.19 search
18.19 run=12 nbConstraintChecks=74894115 nbAssignments=130000
18.19 => wckTime=17.587 cpuTime=17.4 mem=5M493
19.57
19.57 search
19.57 run=13 nbConstraintChecks=80957857 nbAssignments=140000
19.57 => wckTime=18.96 cpuTime=18.77 mem=5M493
20.87
20.87 search
20.87 run=14 nbConstraintChecks=86471680 nbAssignments=150000
20.87 => wckTime=20.261 cpuTime=20.06 mem=5M493
22.15
22.15 search
22.15 run=15 nbConstraintChecks=91807680 nbAssignments=160000
22.15 => wckTime=21.542 cpuTime=21.32 mem=5M493
23.45
23.45 search
23.45 run=16 nbConstraintChecks=97277887 nbAssignments=170000
23.45 => wckTime=22.849 cpuTime=22.62 mem=5M493
24.81
24.81 search
24.81 run=17 nbConstraintChecks=103040882 nbAssignments=180000
24.81 => wckTime=24.201 cpuTime=23.96 mem=5M493
26.12
26.12 search
26.12 run=18 nbConstraintChecks=108497158 nbAssignments=190000
26.12 => wckTime=25.514 cpuTime=25.26 mem=5M493
27.40
27.40 search
27.40 run=19 nbConstraintChecks=113657209 nbAssignments=200000
27.40 => wckTime=26.791 cpuTime=26.52 mem=5M493
28.74
28.74 search
28.74 run=20 nbConstraintChecks=119320634 nbAssignments=210000
28.74 => wckTime=28.13 cpuTime=27.85 mem=5M493
30.10
30.10 search
30.10 run=21 nbConstraintChecks=125138745 nbAssignments=220000
30.10 => wckTime=29.496 cpuTime=29.21 mem=5M493
31.46
31.46 search
31.46 run=22 nbConstraintChecks=130972088 nbAssignments=230000
31.46 => wckTime=30.854 cpuTime=30.55 mem=5M493
32.91
32.91 search
32.91 run=23 nbConstraintChecks=137464063 nbAssignments=240000
32.91 => wckTime=32.306 cpuTime=31.99 mem=5M493
33.70
33.70 search
33.70 run=24 nbConstraintChecks=140780909 nbAssignments=246034
33.70 => wckTime=33.092 cpuTime=32.78 mem=5M493
33.70
33.70 global
33.70 nbConstraintChecks=140780909 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.70 solvingWckTime=33.09 solvingCpuTime=32.78 expiredTime=no totalExploration=no nbFoundSolutions=0
33.70 globalCpuTime=33.03
33.70 => wckTime=33.386 cpuTime=32.98 mem=5M493
33.70
33.70 solver IterativeSystematicSolver being built...
33.84 => wckTime=33.521 cpuTime=33.09 mem=16M548
33.89
33.89 preprocessing
33.89 nbConstraintChecks=19951 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=1
33.89 detectedInconsistency=no
33.89 => wckTime=0.055 cpuTime=0.04 mem=16M548
33.95
33.95 search
33.95 run=0 nbConstraintChecks=83935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73
33.95 nbFailedAssignments=54 nbBacktracks=10 nbVisitedNodes=137 nbRestartNogoods=0
33.95 => wckTime=0.11 cpuTime=0.08 mem=16M548
34.02
34.03 search
34.03 run=1 nbConstraintChecks=216393 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=162
34.03 nbFailedAssignments=125 nbBacktracks=25 nbVisitedNodes=312 nbRestartNogoods=34
34.03 => wckTime=0.189 cpuTime=0.15 mem=16M548
34.09
34.09 search
34.09 run=2 nbConstraintChecks=349128 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=244
34.09 nbFailedAssignments=178 nbBacktracks=49 nbVisitedNodes=471 nbRestartNogoods=47
34.09 => wckTime=0.249 cpuTime=0.2 mem=16M548
34.22
34.22 search
34.22 run=3 nbConstraintChecks=658540 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=436
34.22 nbFailedAssignments=332 nbBacktracks=82 nbVisitedNodes=846 nbRestartNogoods=54
34.22 => wckTime=0.378 cpuTime=0.33 mem=16M548
34.43
34.43 search
34.43 run=4 nbConstraintChecks=1227350 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=768
34.43 nbFailedAssignments=608 nbBacktracks=133 nbVisitedNodes=1498 nbRestartNogoods=64
34.43 => wckTime=0.594 cpuTime=0.54 mem=16M548
34.76
34.76 search
34.76 run=5 nbConstraintChecks=1959241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1276
34.76 nbFailedAssignments=1037 nbBacktracks=208 nbVisitedNodes=2499 nbRestartNogoods=94
34.76 => wckTime=0.924 cpuTime=0.86 mem=16M548
35.04
35.04 search
35.04 run=6 nbConstraintChecks=2680671 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1778
35.04 nbFailedAssignments=1417 nbBacktracks=322 nbVisitedNodes=3492 nbRestartNogoods=106
35.04 => wckTime=1.208 cpuTime=1.13 mem=16M548
35.50
35.51 search
35.51 run=7 nbConstraintChecks=3893696 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2537
35.51 nbFailedAssignments=2000 nbBacktracks=492 nbVisitedNodes=4995 nbRestartNogoods=114
35.51 => wckTime=1.669 cpuTime=1.58 mem=16M548
36.21
36.21 search
36.21 run=8 nbConstraintChecks=5619886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3597
36.21 nbFailedAssignments=2798 nbBacktracks=748 nbVisitedNodes=7107 nbRestartNogoods=127
36.21 => wckTime=2.371 cpuTime=2.28 mem=16M548
37.25
37.25 search
37.25 run=9 nbConstraintChecks=8601880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5377
37.25 nbFailedAssignments=4185 nbBacktracks=1133 nbVisitedNodes=10643 nbRestartNogoods=145
37.25 => wckTime=3.413 cpuTime=3.31 mem=16M548
38.80
38.80 search
38.80 run=10 nbConstraintChecks=13028184 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8065
38.80 nbFailedAssignments=6293 nbBacktracks=1709 nbVisitedNodes=15968 nbRestartNogoods=178
38.80 => wckTime=4.96 cpuTime=4.84 mem=16M548
40.85
40.85 search
40.85 run=11 nbConstraintChecks=18156413 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11396
40.85 nbFailedAssignments=8759 nbBacktracks=2573 nbVisitedNodes=22582 nbRestartNogoods=191
40.85 => wckTime=7.018 cpuTime=6.88 mem=16M548
43.94
43.94 search
43.94 run=12 nbConstraintChecks=25588866 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16309
43.94 nbFailedAssignments=12372 nbBacktracks=3870 nbVisitedNodes=32330 nbRestartNogoods=214
43.94 => wckTime=10.1 cpuTime=9.94 mem=16M548
48.06
48.06 search
48.06 run=13 nbConstraintChecks=34462957 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22427
48.06 nbFailedAssignments=16536 nbBacktracks=5818 nbVisitedNodes=44367 nbRestartNogoods=225
48.06 => wckTime=14.221 cpuTime=14.02 mem=16M548
50.26
50.26 search
50.26 run=14 nbConstraintChecks=39101892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25544
50.26 nbFailedAssignments=18405 nbBacktracks=7067 nbVisitedNodes=50461 nbRestartNogoods=244
50.26 => wckTime=16.424 cpuTime=16.21 mem=16M548
50.26
50.26 global
50.26 nbConstraintChecks=39121843 nbRestartNogoods=244 solvingWckTime=16.425 solvingCpuTime=16.21 expiredTime=no
50.26 totalExploration=yes nbFoundSolutions=0 globalCpuTime=49.35
50.26 => wckTime=49.947 cpuTime=49.3 mem=16M548
50.27
50.27 s OPTIMUM FOUND
50.27 v 2 2 0 5 6 5 0 8 1 6 8 9 6 4 0 7 6 1 3 9 2 9 8 9 5 2 6 3 0 8 7 8 1 6 6 3 5 0 9 8
50.27
50.27 totalWckTime=50.03 totalCpuTime=49.35
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-280999-1169309388 -o ROOT/results/node51/solver-280999-1169309388 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280999-1169309388/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: 2.00 2.00 1.91 4/74 31880
/proc/meminfo: memFree=1273920/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=9748 CPUtime=0
/proc/31879/stat : 31879 (java) D 31877 31879 31121 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 279337365 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2618148 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/31879/statm: 2437 412 333 14 0 1140 0
[startup+0.104075 s]
/proc/loadavg: 2.00 2.00 1.91 4/74 31880
/proc/meminfo: memFree=1273920/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=914988 CPUtime=0.09
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 2989 0 1 0 7 2 0 0 18 0 8 0 279337365 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512143 s]
/proc/loadavg: 2.00 2.00 1.91 4/74 31880
/proc/meminfo: memFree=1273920/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915332 CPUtime=0.49
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 6527 0 1 0 44 5 0 0 18 0 8 0 279337365 937299968 6266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155769996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228833 6266 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33328 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 31887
/proc/meminfo: memFree=1256200/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915448 CPUtime=1.29
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 7110 0 1 0 104 25 0 0 25 0 8 0 279337365 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228862 6848 2479 14 0 215332 0
[pid=31879/tid=31881] ppid=31877 vsize=915448 CPUtime=0.02
/proc/31879/task/31881/stat : 31881 (java) S 31877 31879 31121 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279337369 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31882] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31882/stat : 31882 (java) S 31877 31879 31121 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279337369 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31883] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31883/stat : 31883 (java) S 31877 31879 31121 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279337369 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31884] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31884/stat : 31884 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279337372 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31885] ppid=31877 vsize=915448 CPUtime=0.12
/proc/31879/task/31885/stat : 31885 (java) S 31877 31879 31121 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279337372 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31886] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31886/stat : 31886 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279337372 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31887] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31887/stat : 31887 (java) S 31877 31879 31121 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279337373 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448
[startup+2.97155 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 31887
/proc/meminfo: memFree=1256200/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915444 CPUtime=2.93
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 7113 0 1 0 219 74 0 0 25 0 8 0 279337365 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3087477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228861 6850 2479 14 0 215331 0
[pid=31879/tid=31881] ppid=31877 vsize=915444 CPUtime=0.02
/proc/31879/task/31881/stat : 31881 (java) S 31877 31879 31121 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279337369 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31882] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31882/stat : 31882 (java) S 31877 31879 31121 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279337369 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31883] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31883/stat : 31883 (java) S 31877 31879 31121 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279337369 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31884] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31884/stat : 31884 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279337372 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31885] ppid=31877 vsize=915444 CPUtime=0.12
/proc/31879/task/31885/stat : 31885 (java) S 31877 31879 31121 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 279337372 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31886] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31886/stat : 31886 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279337372 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31887] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31887/stat : 31887 (java) S 31877 31879 31121 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279337373 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915444
[startup+6.26612 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 31887
/proc/meminfo: memFree=1256200/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915448 CPUtime=6.19
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 7114 0 1 0 442 177 0 0 25 0 8 0 279337365 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228862 6851 2479 14 0 215332 0
[pid=31879/tid=31881] ppid=31877 vsize=915448 CPUtime=0.02
/proc/31879/task/31881/stat : 31881 (java) S 31877 31879 31121 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31882] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31882/stat : 31882 (java) S 31877 31879 31121 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31883] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31883/stat : 31883 (java) S 31877 31879 31121 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31884] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31884/stat : 31884 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31885] ppid=31877 vsize=915448 CPUtime=0.12
/proc/31879/task/31885/stat : 31885 (java) S 31877 31879 31121 0 -1 64 335 0 0 0 12 0 0 0 17 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31886] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31886/stat : 31886 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31887] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31887/stat : 31887 (java) S 31877 31879 31121 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279337373 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915448
[startup+12.7452 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 31887
/proc/meminfo: memFree=1256144/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915448 CPUtime=12.62
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 7114 0 1 0 894 368 0 0 25 0 8 0 279337365 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228862 6851 2479 14 0 215332 0
[pid=31879/tid=31881] ppid=31877 vsize=915448 CPUtime=0.02
/proc/31879/task/31881/stat : 31881 (java) S 31877 31879 31121 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31882] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31882/stat : 31882 (java) S 31877 31879 31121 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31883] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31883/stat : 31883 (java) S 31877 31879 31121 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31884] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31884/stat : 31884 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31885] ppid=31877 vsize=915448 CPUtime=0.12
/proc/31879/task/31885/stat : 31885 (java) S 31877 31879 31121 0 -1 64 335 0 0 0 12 0 0 0 17 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31886] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31886/stat : 31886 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31887] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31887/stat : 31887 (java) S 31877 31879 31121 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279337373 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915448
[startup+25.6034 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 31887
/proc/meminfo: memFree=1256208/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915444 CPUtime=25.36
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 7115 0 1 0 1783 753 0 0 25 0 8 0 279337365 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073671694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228861 6852 2479 14 0 215331 0
[pid=31879/tid=31881] ppid=31877 vsize=915444 CPUtime=0.02
/proc/31879/task/31881/stat : 31881 (java) S 31877 31879 31121 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279337369 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31882] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31882/stat : 31882 (java) S 31877 31879 31121 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279337369 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31883] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31883/stat : 31883 (java) S 31877 31879 31121 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279337369 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31884] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31884/stat : 31884 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279337372 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31885] ppid=31877 vsize=915444 CPUtime=0.13
/proc/31879/task/31885/stat : 31885 (java) S 31877 31879 31121 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 279337372 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31886] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31886/stat : 31886 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279337372 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31887] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31887/stat : 31887 (java) S 31877 31879 31121 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279337373 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 50.2889
CPU time (s): 49.8404
CPU user time (s): 39.8359
CPU system time (s): 10.0045
CPU usage (%): 99.1083
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.8359
system time used= 10.0045
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= 2137
involuntary context switches= 3579
runsolver used 0.050992 s user time and 0.183972 s system time
The end
Begin job on node51 on Sat Jan 20 16:09:48 UTC 2007
IDJOB= 280999
IDBENCH= 12026
IDSOLVER= 68
FILE ID= node51/280999-1169309388
PBS_JOBID= 3610177
Free space on /tmp= 66556 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseLoose/vcsp-40-10-13-60-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280999-1169309388/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-280999-1169309388 -o ROOT/results/node51/solver-280999-1169309388 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280999-1169309388/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9449e7de32449ed6fcd45c45b1785c56
RANDOM SEED= 446323354
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.277
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.277
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: 1274336 kB
Buffers: 50700 kB
Cached: 569356 kB
SwapCached: 512 kB
Active: 213440 kB
Inactive: 490924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1274336 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 94140 kB
Slab: 62532 kB
Committed_AS: 5637144 kB
PageTables: 1912 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= 66556 MiB
End job on node51 on Sat Jan 20 16:10:39 UTC 2007