0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=pfc.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/280892-1169308380/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.38 => wckTime=0.095 cpuTime=0.08 mem=6M910
0.38
0.38 relations being loaded...
0.43
0.43 constraints being loaded...
0.48 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.48 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1280 maxDegree=11
0.48 maxArity=2
0.48 => wckTime=0.2 cpuTime=0.14 mem=8M893
0.52
0.52 solver LocalSearchSolver being built...
0.56 => wckTime=0.279 cpuTime=0.18 mem=5M496
0.57
0.57 s SATISFIABLE
0.57 o 55
0.57 c 54
0.57 o 60
0.57 c 49
0.57 o 65
0.57 c 44
0.57 o 69
0.57 c 40
0.57 o 73
0.57 c 36
0.57 o 75
0.57 c 34
0.57 o 78
0.57 c 31
0.57 o 81
0.57 c 28
0.57 o 83
0.57 c 26
0.57 o 85
0.57 c 24
0.58 o 86
0.58 c 23
0.58 o 87
0.58 c 22
0.58 o 88
0.58 c 21
0.58 o 89
0.58 c 20
0.58 o 90
0.58 c 19
0.58 o 91
0.58 c 18
0.58 o 92
0.58 c 17
0.58 o 93
0.58 c 16
0.58 o 94
0.58 c 15
0.59 o 95
0.59 c 14
0.59 o 96
0.59 c 13
0.59 o 97
0.59 c 12
0.59 o 99
0.59 c 10
0.59 o 100
0.59 c 9
0.59 o 101
0.59 c 8
0.59 o 102
0.59 c 7
0.61 o 103
0.61 c 6
0.61 o 104
0.61 c 5
0.61 o 105
0.61 c 4
0.61 o 106
0.61 c 3
0.61 o 107
0.61 c 2
1.81
1.81 search
1.81 run=0 nbConstraintChecks=5609486 nbAssignments=10000
1.81 => wckTime=1.245 cpuTime=1.23 mem=5M496
3.02
3.02 search
3.02 run=1 nbConstraintChecks=11587866 nbAssignments=20000
3.02 => wckTime=2.456 cpuTime=2.44 mem=5M496
4.20
4.20 search
4.20 run=2 nbConstraintChecks=17397180 nbAssignments=30000
4.20 => wckTime=3.641 cpuTime=3.62 mem=5M496
5.34
5.34 search
5.34 run=3 nbConstraintChecks=22819452 nbAssignments=40000
5.34 => wckTime=4.783 cpuTime=4.76 mem=5M496
6.48
6.48 search
6.48 run=4 nbConstraintChecks=28178757 nbAssignments=50000
6.48 => wckTime=5.919 cpuTime=5.89 mem=5M496
7.68
7.68 search
7.68 run=5 nbConstraintChecks=34082193 nbAssignments=60000
7.68 => wckTime=7.115 cpuTime=7.09 mem=5M496
8.82
8.82 search
8.82 run=6 nbConstraintChecks=39468846 nbAssignments=70000
8.82 => wckTime=8.257 cpuTime=8.23 mem=5M496
10.00
10.00 search
10.00 run=7 nbConstraintChecks=45151708 nbAssignments=80000
10.00 => wckTime=9.436 cpuTime=9.41 mem=5M496
11.13
11.13 search
11.13 run=8 nbConstraintChecks=50454568 nbAssignments=90000
11.13 => wckTime=10.567 cpuTime=10.55 mem=5M496
12.32
12.32 search
12.32 run=9 nbConstraintChecks=56290942 nbAssignments=100000
12.32 => wckTime=11.757 cpuTime=11.73 mem=5M496
13.48
13.48 search
13.48 run=10 nbConstraintChecks=61778766 nbAssignments=110000
13.48 => wckTime=12.918 cpuTime=12.89 mem=5M496
14.74
14.74 search
14.74 run=11 nbConstraintChecks=68083013 nbAssignments=120000
14.74 => wckTime=14.174 cpuTime=14.15 mem=5M496
15.90
15.90 search
15.90 run=12 nbConstraintChecks=73580045 nbAssignments=130000
15.90 => wckTime=15.334 cpuTime=15.31 mem=5M496
17.08
17.08 search
17.08 run=13 nbConstraintChecks=79305089 nbAssignments=140000
17.08 => wckTime=16.521 cpuTime=16.49 mem=5M496
18.24
18.24 search
18.24 run=14 nbConstraintChecks=84698899 nbAssignments=150000
18.24 => wckTime=17.674 cpuTime=17.65 mem=5M496
19.39
19.39 search
19.39 run=15 nbConstraintChecks=90136111 nbAssignments=160000
19.39 => wckTime=18.831 cpuTime=18.8 mem=5M496
20.58
20.58 search
20.58 run=16 nbConstraintChecks=95826578 nbAssignments=170000
20.58 => wckTime=20.016 cpuTime=19.99 mem=5M496
21.81
21.81 search
21.81 run=17 nbConstraintChecks=101850537 nbAssignments=180000
21.81 => wckTime=21.243 cpuTime=21.21 mem=5M496
22.97
22.97 search
22.97 run=18 nbConstraintChecks=107435398 nbAssignments=190000
22.97 => wckTime=22.412 cpuTime=22.38 mem=5M496
24.16
24.16 search
24.16 run=19 nbConstraintChecks=113211375 nbAssignments=200000
24.16 => wckTime=23.599 cpuTime=23.56 mem=5M496
25.31
25.31 search
25.31 run=20 nbConstraintChecks=118653119 nbAssignments=210000
25.31 => wckTime=24.748 cpuTime=24.71 mem=5M496
26.47
26.47 search
26.47 run=21 nbConstraintChecks=124209327 nbAssignments=220000
26.47 => wckTime=25.911 cpuTime=25.88 mem=5M496
27.67
27.67 search
27.67 run=22 nbConstraintChecks=130096963 nbAssignments=230000
27.67 => wckTime=27.107 cpuTime=27.07 mem=5M496
28.84
28.84 search
28.84 run=23 nbConstraintChecks=135746033 nbAssignments=240000
28.84 => wckTime=28.279 cpuTime=28.25 mem=5M496
30.00
30.00 search
30.00 run=24 nbConstraintChecks=141293882 nbAssignments=250000
30.00 => wckTime=29.437 cpuTime=29.4 mem=5M496
30.63
30.63 search
30.63 run=25 nbConstraintChecks=144343164 nbAssignments=255361
30.63 => wckTime=30.068 cpuTime=30.04 mem=5M496
30.63
30.63 global
30.63 nbConstraintChecks=144343164 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.63 solvingWckTime=30.066 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
30.63 globalCpuTime=30.27
30.63 => wckTime=30.347 cpuTime=30.22 mem=5M496
30.63
30.63 solver IterativeSystematicSolver being built...
30.75 => wckTime=30.47 cpuTime=30.31 mem=16M519
30.76
30.76 preprocessing
30.76 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.76 detectedInconsistency=no
30.76 => wckTime=0.0030 cpuTime=0.0 mem=16M519
30.83
30.83 search
30.83 run=0 nbConstraintChecks=79052 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64
30.83 nbFailedAssignments=46 nbBacktracks=10 nbVisitedNodes=121 nbRestartNogoods=0
30.83 => wckTime=0.069 cpuTime=0.05 mem=16M519
30.86
30.86 search
30.86 run=1 nbConstraintChecks=137884 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109
30.86 nbFailedAssignments=69 nbBacktracks=25 nbVisitedNodes=204 nbRestartNogoods=19
30.86 => wckTime=0.105 cpuTime=0.07 mem=16M519
30.92
30.92 search
30.92 run=2 nbConstraintChecks=321974 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=232
30.92 nbFailedAssignments=165 nbBacktracks=47 nbVisitedNodes=445 nbRestartNogoods=28
30.92 => wckTime=0.167 cpuTime=0.13 mem=16M519
30.97
30.97 search
30.97 run=3 nbConstraintChecks=511386 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=348
30.97 nbFailedAssignments=241 nbBacktracks=80 nbVisitedNodes=670 nbRestartNogoods=33
30.97 => wckTime=0.217 cpuTime=0.18 mem=16M519
31.09
31.09 search
31.09 run=4 nbConstraintChecks=905332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=583
31.09 nbFailedAssignments=420 nbBacktracks=130 nbVisitedNodes=1134 nbRestartNogoods=40
31.09 => wckTime=0.33 cpuTime=0.29 mem=16M519
31.24
31.24 search
31.24 run=5 nbConstraintChecks=1531781 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=945
31.24 nbFailedAssignments=701 nbBacktracks=205 nbVisitedNodes=1837 nbRestartNogoods=59
31.24 => wckTime=0.487 cpuTime=0.44 mem=16M519
31.58
31.58 search
31.58 run=6 nbConstraintChecks=2680540 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1709
31.58 nbFailedAssignments=1344 nbBacktracks=319 nbVisitedNodes=3344 nbRestartNogoods=64
31.58 => wckTime=0.824 cpuTime=0.76 mem=16M519
31.86
31.86 search
31.86 run=7 nbConstraintChecks=3806661 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2386
31.86 nbFailedAssignments=1847 nbBacktracks=489 nbVisitedNodes=4690 nbRestartNogoods=88
31.86 => wckTime=1.108 cpuTime=1.05 mem=16M519
32.40
32.40 search
32.41 run=8 nbConstraintChecks=5957447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3768
32.41 nbFailedAssignments=2967 nbBacktracks=745 nbVisitedNodes=7434 nbRestartNogoods=96
32.41 => wckTime=1.649 cpuTime=1.59 mem=16M519
33.27
33.27 search
33.27 run=9 nbConstraintChecks=9493704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5922
33.27 nbFailedAssignments=4730 nbBacktracks=1129 nbVisitedNodes=11727 nbRestartNogoods=108
33.27 => wckTime=2.517 cpuTime=2.44 mem=16M519
34.28
34.28 search
34.28 run=10 nbConstraintChecks=13213060 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8581
34.28 nbFailedAssignments=6808 nbBacktracks=1705 nbVisitedNodes=17023 nbRestartNogoods=125
34.28 => wckTime=3.523 cpuTime=3.44 mem=16M519
35.96
35.96 search
35.96 run=11 nbConstraintChecks=19398247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12173
35.96 nbFailedAssignments=9530 nbBacktracks=2570 nbVisitedNodes=24168 nbRestartNogoods=139
35.96 => wckTime=5.199 cpuTime=5.1 mem=16M519
38.49
38.49 search
38.49 run=12 nbConstraintChecks=29891547 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18451
38.49 nbFailedAssignments=14503 nbBacktracks=3867 nbVisitedNodes=36630 nbRestartNogoods=151
38.49 => wckTime=7.734 cpuTime=7.64 mem=16M519
41.88
41.88 search
41.88 run=13 nbConstraintChecks=42607721 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26553
41.88 nbFailedAssignments=20651 nbBacktracks=5813 nbVisitedNodes=52729 nbRestartNogoods=168
41.88 => wckTime=11.126 cpuTime=11.03 mem=16M519
46.44
46.44 search
46.44 run=14 nbConstraintChecks=58683719 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38022
46.44 nbFailedAssignments=29193 nbBacktracks=8732 nbVisitedNodes=75484 nbRestartNogoods=186
46.44 => wckTime=15.682 cpuTime=15.58 mem=16M519
50.68
50.68 search
50.68 run=15 nbConstraintChecks=72123044 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47959
50.68 nbFailedAssignments=36020 nbBacktracks=11843 nbVisitedNodes=95003 nbRestartNogoods=210
50.68 => wckTime=19.92 cpuTime=19.82 mem=16M519
50.68
50.68 global
50.68 nbConstraintChecks=72123044 nbRestartNogoods=210 solvingWckTime=19.921 solvingCpuTime=19.82 expiredTime=no
50.68 totalExploration=yes nbFoundSolutions=0 globalCpuTime=50.18
50.68 => wckTime=50.393 cpuTime=50.13 mem=16M519
50.68
50.68 s OPTIMUM FOUND
50.68 v 9 6 7 0 0 8 7 3 2 1 3 7 6 4 1 9 1 9 3 1 2 2 9 5 1 4 4 3 9 5
50.68
50.68 totalWckTime=50.468 totalCpuTime=50.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-280892-1169308380 -o ROOT/results/node59/solver-280892-1169308380 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280892-1169308380/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.67 1.24 1.39 4/81 22641
/proc/meminfo: memFree=1396384/2055920 swapFree=4192680/4192956
[pid=22640] ppid=22638 vsize=1788 CPUtime=0
/proc/22640/stat : 22640 (java) R 22638 22640 22254 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 279235914 1830912 158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/22640/statm: 446 158 123 14 0 91 0
[startup+0.108632 s]
/proc/loadavg: 1.67 1.24 1.39 4/81 22641
/proc/meminfo: memFree=1396384/2055920 swapFree=4192680/4192956
[pid=22640] ppid=22638 vsize=914988 CPUtime=0.1
/proc/22640/stat : 22640 (java) R 22638 22640 22254 0 -1 0 3138 0 1 0 8 2 0 0 22 0 8 0 279235914 936947712 2884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153561568 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22640/statm: 228747 2884 1476 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.516673 s]
/proc/loadavg: 1.67 1.24 1.39 4/81 22641
/proc/meminfo: memFree=1396384/2055920 swapFree=4192680/4192956
[pid=22640] ppid=22638 vsize=915332 CPUtime=0.5
/proc/22640/stat : 22640 (java) R 22638 22640 22254 0 -1 0 6672 0 1 0 45 5 0 0 25 0 8 0 279235914 937299968 6411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22640/statm: 228833 6416 2163 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33777 s]
/proc/loadavg: 1.67 1.24 1.39 3/88 22648
/proc/meminfo: memFree=1378600/2055920 swapFree=4192680/4192956
[pid=22640] ppid=22638 vsize=915444 CPUtime=1.32
/proc/22640/stat : 22640 (java) R 22638 22640 22254 0 -1 0 7130 0 1 0 104 28 0 0 25 0 8 0 279235914 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22640/statm: 228861 6868 2476 14 0 215331 0
[pid=22640/tid=22642] ppid=22638 vsize=915444 CPUtime=0.02
/proc/22640/task/22642/stat : 22642 (java) S 22638 22640 22254 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279235917 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22643] ppid=22638 vsize=915448 CPUtime=0
/proc/22640/task/22643/stat : 22643 (java) S 22638 22640 22254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279235918 937418752 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22644] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22644/stat : 22644 (java) S 22638 22640 22254 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279235918 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22645] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22645/stat : 22645 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279235921 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22646] ppid=22638 vsize=915448 CPUtime=0.1
/proc/22640/task/22646/stat : 22646 (java) S 22638 22640 22254 0 -1 64 331 0 0 0 10 0 0 0 16 0 8 0 279235921 937418752 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22647] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22647/stat : 22647 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279235921 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22648] ppid=22638 vsize=915448 CPUtime=0
/proc/22640/task/22648/stat : 22648 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279235921 937418752 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444
[startup+2.97494 s]
/proc/loadavg: 1.69 1.25 1.40 3/88 22648
/proc/meminfo: memFree=1378600/2055920 swapFree=4192680/4192956
[pid=22640] ppid=22638 vsize=915444 CPUtime=2.96
/proc/22640/stat : 22640 (java) R 22638 22640 22254 0 -1 0 7133 0 1 0 219 77 0 0 25 0 8 0 279235914 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22640/statm: 228862 6870 2476 14 0 215332 0
[pid=22640/tid=22642] ppid=22638 vsize=915444 CPUtime=0.02
/proc/22640/task/22642/stat : 22642 (java) S 22638 22640 22254 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279235917 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22643] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22643/stat : 22643 (java) S 22638 22640 22254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279235918 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22644] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22644/stat : 22644 (java) S 22638 22640 22254 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279235918 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22645] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22645/stat : 22645 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279235921 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22646] ppid=22638 vsize=915448 CPUtime=0.1
/proc/22640/task/22646/stat : 22646 (java) S 22638 22640 22254 0 -1 64 333 0 0 0 10 0 0 0 16 0 8 0 279235921 937418752 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22647] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22647/stat : 22647 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279235921 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22648] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22648/stat : 22648 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279235921 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915444
[startup+6.26431 s]
/proc/loadavg: 1.69 1.25 1.40 3/88 22648
/proc/meminfo: memFree=1378600/2055920 swapFree=4192680/4192956
[pid=22640] ppid=22638 vsize=915444 CPUtime=6.24
/proc/22640/stat : 22640 (java) R 22638 22640 22254 0 -1 0 7133 0 1 0 442 182 0 0 25 0 8 0 279235914 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22640/statm: 228862 6870 2476 14 0 215332 0
[pid=22640/tid=22642] ppid=22638 vsize=915444 CPUtime=0.02
/proc/22640/task/22642/stat : 22642 (java) S 22638 22640 22254 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279235917 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22643] ppid=22638 vsize=915448 CPUtime=0
/proc/22640/task/22643/stat : 22643 (java) S 22638 22640 22254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279235918 937418752 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22644] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22644/stat : 22644 (java) S 22638 22640 22254 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279235918 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22645] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22645/stat : 22645 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279235921 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22646] ppid=22638 vsize=915448 CPUtime=0.1
/proc/22640/task/22646/stat : 22646 (java) S 22638 22640 22254 0 -1 64 333 0 0 0 10 0 0 0 16 0 8 0 279235921 937418752 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22647] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22647/stat : 22647 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279235921 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22648] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22648/stat : 22648 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279235921 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915444
[startup+12.747 s]
/proc/loadavg: 1.74 1.27 1.40 3/88 22648
/proc/meminfo: memFree=1378600/2055920 swapFree=4192680/4192956
[pid=22640] ppid=22638 vsize=915444 CPUtime=12.72
/proc/22640/stat : 22640 (java) R 22638 22640 22254 0 -1 0 7133 0 1 0 883 389 0 0 25 0 8 0 279235914 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22640/statm: 228861 6870 2476 14 0 215331 0
[pid=22640/tid=22642] ppid=22638 vsize=915444 CPUtime=0.02
/proc/22640/task/22642/stat : 22642 (java) S 22638 22640 22254 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279235917 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22643] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22643/stat : 22643 (java) S 22638 22640 22254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279235918 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22644] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22644/stat : 22644 (java) S 22638 22640 22254 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279235918 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22645] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22645/stat : 22645 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279235921 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22646] ppid=22638 vsize=915444 CPUtime=0.1
/proc/22640/task/22646/stat : 22646 (java) S 22638 22640 22254 0 -1 64 333 0 0 0 10 0 0 0 16 0 8 0 279235921 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22647] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22647/stat : 22647 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279235921 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22648] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22648/stat : 22648 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279235921 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915444
[startup+25.6308 s]
/proc/loadavg: 1.78 1.30 1.41 3/88 22648
/proc/meminfo: memFree=1378536/2055920 swapFree=4192680/4192956
[pid=22640] ppid=22638 vsize=915444 CPUtime=25.6
/proc/22640/stat : 22640 (java) R 22638 22640 22254 0 -1 0 7134 0 1 0 1775 785 0 0 25 0 8 0 279235914 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22640/statm: 228861 6871 2476 14 0 215331 0
[pid=22640/tid=22642] ppid=22638 vsize=915448 CPUtime=0.02
/proc/22640/task/22642/stat : 22642 (java) S 22638 22640 22254 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279235917 937418752 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22643] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22643/stat : 22643 (java) S 22638 22640 22254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279235918 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22644] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22644/stat : 22644 (java) S 22638 22640 22254 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279235918 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22645] ppid=22638 vsize=915448 CPUtime=0
/proc/22640/task/22645/stat : 22645 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279235921 937418752 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22646] ppid=22638 vsize=915444 CPUtime=0.11
/proc/22640/task/22646/stat : 22646 (java) S 22638 22640 22254 0 -1 64 334 0 0 0 11 0 0 0 16 0 8 0 279235921 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22647] ppid=22638 vsize=915444 CPUtime=0
/proc/22640/task/22647/stat : 22647 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279235921 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22640/tid=22648] ppid=22638 vsize=915448 CPUtime=0
/proc/22640/task/22648/stat : 22648 (java) S 22638 22640 22254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279235921 937418752 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 50.7414
CPU time (s): 50.6303
CPU user time (s): 41.2067
CPU system time (s): 9.42357
CPU usage (%): 99.7811
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.2067
system time used= 9.42357
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9123
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= 2125
involuntary context switches= 2798
runsolver used 0.06299 s user time and 0.175973 s system time
The end
Begin job on node59 on Sat Jan 20 15:53:00 UTC 2007
IDJOB= 280892
IDBENCH= 11985
IDSOLVER= 69
FILE ID= node59/280892-1169308380
PBS_JOBID= 3610202
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280892-1169308380/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-280892-1169308380 -o ROOT/results/node59/solver-280892-1169308380 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280892-1169308380/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e5bf3861c13c08d7b1864f6a10ce7db7
RANDOM SEED= 30186097
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.239
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.239
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: 1396864 kB
Buffers: 49544 kB
Cached: 505064 kB
SwapCached: 0 kB
Active: 130768 kB
Inactive: 452168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1396864 kB
SwapTotal: 4192956 kB
SwapFree: 4192680 kB
Dirty: 2272 kB
Writeback: 0 kB
Mapped: 46096 kB
Slab: 61380 kB
Committed_AS: 5491852 kB
PageTables: 1964 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= 66563 MiB
End job on node59 on Sat Jan 20 15:53:51 UTC 2007