0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/280937-1169308614/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M910
0.42
0.42 relations being loaded...
0.47
0.47 constraints being loaded...
0.53 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.53 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1284 maxDegree=13
0.53 maxArity=2
0.53 => wckTime=0.215 cpuTime=0.15 mem=8M893
0.58
0.58 solver LocalSearchSolver being built...
0.62 => wckTime=0.305 cpuTime=0.19 mem=5M496
0.62
0.62 s SATISFIABLE
0.62 o 65
0.62 c 44
0.63 o 69
0.63 c 40
0.63 o 73
0.63 c 36
0.63 o 77
0.63 c 32
0.63 o 80
0.63 c 29
0.63 o 83
0.63 c 26
0.63 o 84
0.63 c 25
0.63 o 85
0.63 c 24
0.63 o 87
0.63 c 22
0.63 o 88
0.63 c 21
0.63 o 89
0.63 c 20
0.63 o 90
0.63 c 19
0.63 o 91
0.63 c 18
0.63 o 93
0.64 c 16
0.64 o 94
0.64 c 15
0.64 o 95
0.64 c 14
0.64 o 96
0.64 c 13
0.64 o 97
0.64 c 12
0.64 o 98
0.64 c 11
0.64 o 99
0.64 c 10
0.64 o 100
0.64 c 9
0.64 o 101
0.64 c 8
0.65 o 102
0.65 c 7
0.65 o 103
0.65 c 6
0.66 o 104
0.66 c 5
0.73 o 105
0.73 c 4
0.73 o 106
0.74 c 3
1.95
1.95 search
1.95 run=0 nbConstraintChecks=5561744 nbAssignments=10000
1.95 => wckTime=1.331 cpuTime=1.3 mem=5M496
3.26
3.26 search
3.26 run=1 nbConstraintChecks=11311329 nbAssignments=20000
3.26 => wckTime=2.637 cpuTime=2.59 mem=5M496
4.51
4.51 search
4.51 run=2 nbConstraintChecks=16684603 nbAssignments=30000
4.51 => wckTime=3.891 cpuTime=3.83 mem=5M496
5.81
5.81 search
5.81 run=3 nbConstraintChecks=22383162 nbAssignments=40000
5.81 => wckTime=5.186 cpuTime=5.12 mem=5M496
5.83 o 107
5.83 c 2
7.08
7.08 search
7.08 run=4 nbConstraintChecks=27907755 nbAssignments=50000
7.08 => wckTime=6.46 cpuTime=6.39 mem=5M496
8.38
8.38 search
8.38 run=5 nbConstraintChecks=33652038 nbAssignments=60000
8.38 => wckTime=7.761 cpuTime=7.68 mem=5M496
9.66
9.66 search
9.66 run=6 nbConstraintChecks=39227094 nbAssignments=70000
9.66 => wckTime=9.042 cpuTime=8.94 mem=5M496
10.95
10.95 search
10.95 run=7 nbConstraintChecks=44929769 nbAssignments=80000
10.95 => wckTime=10.327 cpuTime=10.22 mem=5M496
12.20
12.20 search
12.20 run=8 nbConstraintChecks=50398895 nbAssignments=90000
12.20 => wckTime=11.584 cpuTime=11.47 mem=5M496
13.48
13.48 search
13.48 run=9 nbConstraintChecks=56048087 nbAssignments=100000
13.48 => wckTime=12.863 cpuTime=12.73 mem=5M496
14.74
14.74 search
14.74 run=10 nbConstraintChecks=61522134 nbAssignments=110000
14.74 => wckTime=14.125 cpuTime=13.98 mem=5M496
16.02
16.02 search
16.02 run=11 nbConstraintChecks=67118370 nbAssignments=120000
16.02 => wckTime=15.397 cpuTime=15.25 mem=5M496
17.28
17.28 search
17.28 run=12 nbConstraintChecks=72672585 nbAssignments=130000
17.28 => wckTime=16.664 cpuTime=16.5 mem=5M496
18.55
18.55 search
18.55 run=13 nbConstraintChecks=78220755 nbAssignments=140000
18.55 => wckTime=17.93 cpuTime=17.76 mem=5M496
19.80
19.80 search
19.80 run=14 nbConstraintChecks=83572012 nbAssignments=150000
19.80 => wckTime=19.182 cpuTime=18.99 mem=5M496
21.08
21.08 search
21.08 run=15 nbConstraintChecks=89057212 nbAssignments=160000
21.08 => wckTime=20.457 cpuTime=20.26 mem=5M496
22.37
22.37 search
22.37 run=16 nbConstraintChecks=94773082 nbAssignments=170000
22.37 => wckTime=21.755 cpuTime=21.54 mem=5M496
23.71
23.71 search
23.71 run=17 nbConstraintChecks=100750164 nbAssignments=180000
23.71 => wckTime=23.086 cpuTime=22.87 mem=5M496
25.01
25.01 search
25.01 run=18 nbConstraintChecks=106483869 nbAssignments=190000
25.01 => wckTime=24.394 cpuTime=24.16 mem=5M496
26.29
26.29 search
26.29 run=19 nbConstraintChecks=112030223 nbAssignments=200000
26.29 => wckTime=25.674 cpuTime=25.42 mem=5M496
27.57
27.57 search
27.57 run=20 nbConstraintChecks=117539087 nbAssignments=210000
27.57 => wckTime=26.95 cpuTime=26.69 mem=5M496
28.90
28.90 search
28.90 run=21 nbConstraintChecks=123423498 nbAssignments=220000
28.90 => wckTime=28.278 cpuTime=28.0 mem=5M496
30.20
30.20 search
30.20 run=22 nbConstraintChecks=129196352 nbAssignments=230000
30.20 => wckTime=29.578 cpuTime=29.3 mem=5M496
31.50
31.50 search
31.50 run=23 nbConstraintChecks=135020565 nbAssignments=240000
31.50 => wckTime=30.88 cpuTime=30.59 mem=5M496
32.77
32.77 search
32.77 run=24 nbConstraintChecks=140587275 nbAssignments=250000
32.77 => wckTime=32.151 cpuTime=31.85 mem=5M496
34.07
34.07 search
34.07 run=25 nbConstraintChecks=146357750 nbAssignments=260000
34.07 => wckTime=33.455 cpuTime=33.14 mem=5M496
35.35
35.35 search
35.35 run=26 nbConstraintChecks=151976007 nbAssignments=270000
35.35 => wckTime=34.735 cpuTime=34.41 mem=5M496
36.11
36.11 search
36.11 run=27 nbConstraintChecks=155375199 nbAssignments=275646
36.11 => wckTime=35.487 cpuTime=35.16 mem=5M496
36.11
36.11 global
36.11 nbConstraintChecks=155375199 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.11 solvingWckTime=35.485 solvingCpuTime=35.16 expiredTime=no totalExploration=no nbFoundSolutions=0
36.11 globalCpuTime=35.4
36.11 => wckTime=35.792 cpuTime=35.36 mem=5M496
36.11
36.11 solver IterativeSystematicSolver being built...
36.25 => wckTime=35.929 cpuTime=35.46 mem=16M518
36.25
36.25 preprocessing
36.25 nbConstraintChecks=10 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
36.25 detectedInconsistency=no
36.25 => wckTime=0.0040 cpuTime=0.0 mem=16M518
36.31
36.32 search
36.32 run=0 nbConstraintChecks=69204 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48
36.32 nbFailedAssignments=33 nbBacktracks=10 nbVisitedNodes=92 nbRestartNogoods=0
36.32 => wckTime=0.068 cpuTime=0.05 mem=16M518
36.37
36.37 search
36.37 run=1 nbConstraintChecks=167909 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111
36.37 nbFailedAssignments=77 nbBacktracks=25 nbVisitedNodes=214 nbRestartNogoods=5
36.37 => wckTime=0.12 cpuTime=0.09 mem=16M518
36.46
36.46 search
36.46 run=2 nbConstraintChecks=387420 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=259
36.46 nbFailedAssignments=201 nbBacktracks=47 nbVisitedNodes=508 nbRestartNogoods=12
36.46 => wckTime=0.214 cpuTime=0.18 mem=16M518
36.55
36.55 search
36.56 run=3 nbConstraintChecks=677156 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=462
36.56 nbFailedAssignments=366 nbBacktracks=81 nbVisitedNodes=910 nbRestartNogoods=18
36.56 => wckTime=0.309 cpuTime=0.27 mem=16M518
36.67
36.67 search
36.67 run=4 nbConstraintChecks=1091633 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=715
36.67 nbFailedAssignments=563 nbBacktracks=131 nbVisitedNodes=1410 nbRestartNogoods=26
36.67 => wckTime=0.422 cpuTime=0.39 mem=16M518
36.82
36.82 search
36.82 run=5 nbConstraintChecks=1548600 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=994
36.82 nbFailedAssignments=758 nbBacktracks=206 nbVisitedNodes=1959 nbRestartNogoods=45
36.82 => wckTime=0.569 cpuTime=0.53 mem=16M518
37.04
37.04 search
37.04 run=6 nbConstraintChecks=2255239 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1410
37.04 nbFailedAssignments=1056 nbBacktracks=319 nbVisitedNodes=2785 nbRestartNogoods=64
37.04 => wckTime=0.79 cpuTime=0.74 mem=16M518
37.36
37.36 search
37.36 run=7 nbConstraintChecks=3302122 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2058
37.36 nbFailedAssignments=1526 nbBacktracks=489 nbVisitedNodes=4073 nbRestartNogoods=68
37.36 => wckTime=1.116 cpuTime=1.05 mem=16M518
37.95
37.95 search
37.95 run=8 nbConstraintChecks=5417457 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3418
37.95 nbFailedAssignments=2621 nbBacktracks=745 nbVisitedNodes=6783 nbRestartNogoods=85
37.95 => wckTime=1.708 cpuTime=1.63 mem=16M518
39.02
39.02 search
39.02 run=9 nbConstraintChecks=8874397 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5540
39.02 nbFailedAssignments=4354 nbBacktracks=1129 nbVisitedNodes=11013 nbRestartNogoods=108
39.02 => wckTime=2.776 cpuTime=2.69 mem=16M518
40.37
40.37 search
40.37 run=10 nbConstraintChecks=13624486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8559
40.37 nbFailedAssignments=6785 nbBacktracks=1708 nbVisitedNodes=17029 nbRestartNogoods=123
40.38 => wckTime=4.129 cpuTime=4.03 mem=16M518
42.33
42.33 search
42.33 run=11 nbConstraintChecks=20525475 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12927
42.33 nbFailedAssignments=10284 nbBacktracks=2572 nbVisitedNodes=25747 nbRestartNogoods=150
42.33 => wckTime=6.088 cpuTime=5.97 mem=16M518
44.82
44.82 search
44.82 run=12 nbConstraintChecks=29251718 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18480
44.82 nbFailedAssignments=14533 nbBacktracks=3869 nbVisitedNodes=36834 nbRestartNogoods=167
44.82 => wckTime=8.57 cpuTime=8.43 mem=16M518
48.72
48.72 search
48.72 run=13 nbConstraintChecks=42039851 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26948
48.72 nbFailedAssignments=21046 nbBacktracks=5816 nbVisitedNodes=53712 nbRestartNogoods=185
48.72 => wckTime=12.471 cpuTime=12.3 mem=16M518
54.06
54.06 search
54.06 run=14 nbConstraintChecks=61250945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39573
54.06 nbFailedAssignments=30742 nbBacktracks=8735 nbVisitedNodes=78898 nbRestartNogoods=208
54.06 => wckTime=17.813 cpuTime=17.59 mem=16M518
60.54
60.54 search
60.54 run=15 nbConstraintChecks=80773646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53058
60.54 nbFailedAssignments=39845 nbBacktracks=13113 nbVisitedNodes=105707 nbRestartNogoods=235
60.54 => wckTime=24.292 cpuTime=24.01 mem=16M518
66.28
66.28 search
66.28 run=16 nbConstraintChecks=96859843 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64859
66.28 nbFailedAssignments=47706 nbBacktracks=17054 nbVisitedNodes=128904 nbRestartNogoods=252
66.28 => wckTime=30.033 cpuTime=29.7 mem=16M518
66.28
66.28 global
66.28 nbConstraintChecks=96859853 nbRestartNogoods=252 solvingWckTime=30.034 solvingCpuTime=29.7 expiredTime=no
66.28 totalExploration=yes nbFoundSolutions=0 globalCpuTime=65.2
66.28 => wckTime=65.964 cpuTime=65.16 mem=16M518
66.28
66.28 s OPTIMUM FOUND
66.28 v 1 5 3 9 8 5 4 2 6 3 2 2 6 0 0 7 1 8 1 3 0 3 8 3 3 7 6 8 6 9
66.28
66.28 totalWckTime=66.045 totalCpuTime=65.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-280937-1169308614 -o ROOT/results/node14/solver-280937-1169308614 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280937-1169308614/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 2.00 4/87 720
/proc/meminfo: memFree=1264776/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=18540 CPUtime=0
/proc/719/stat : 719 (runsolver) R 717 719 32259 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 279256353 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/719/statm: 4635 279 244 17 0 2626 0
[startup+0.107786 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 720
/proc/meminfo: memFree=1264776/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=914988 CPUtime=0.09
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 2989 0 1 0 7 2 0 0 18 0 8 0 279256353 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515825 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 720
/proc/meminfo: memFree=1264776/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915332 CPUtime=0.49
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 6525 0 1 0 45 4 0 0 18 0 8 0 279256353 937299968 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228833 6264 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3369 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 727
/proc/meminfo: memFree=1246928/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915448 CPUtime=1.29
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 7131 0 1 0 101 28 0 0 25 0 8 0 279256353 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228862 6869 2476 14 0 215332 0
[pid=719/tid=721] ppid=717 vsize=915448 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279256357 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915448 CPUtime=0.12
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 279256361 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937418752 6869 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.97405 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 727
/proc/meminfo: memFree=1246864/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915444 CPUtime=2.92
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 7134 0 1 0 217 75 0 0 25 0 8 0 279256353 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228861 6871 2476 14 0 215331 0
[pid=719/tid=721] ppid=717 vsize=915444 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279256357 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915444 CPUtime=0.13
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 333 0 0 0 13 0 0 0 16 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.26837 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 727
/proc/meminfo: memFree=1246864/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915448 CPUtime=6.19
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 7134 0 1 0 439 180 0 0 25 0 8 0 279256353 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228862 6871 2476 14 0 215332 0
[pid=719/tid=721] ppid=717 vsize=915448 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279256357 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915448 CPUtime=0.13
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 333 0 0 0 13 0 0 0 16 0 8 0 279256361 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937418752 6871 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.739 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 727
/proc/meminfo: memFree=1246928/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915444 CPUtime=12.61
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 7134 0 1 0 877 384 0 0 25 0 8 0 279256353 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228861 6871 2476 14 0 215331 0
[pid=719/tid=721] ppid=717 vsize=915444 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279256357 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915444 CPUtime=0.13
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 333 0 0 0 13 0 0 0 16 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915444
[startup+25.6102 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 727
/proc/meminfo: memFree=1247056/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915444 CPUtime=25.36
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 7135 0 1 0 1757 779 0 0 25 0 8 0 279256353 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228861 6872 2476 14 0 215331 0
[pid=719/tid=721] ppid=717 vsize=915444 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279256357 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915444 CPUtime=0.13
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279256361 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937414656 6872 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
[startup+51.2166 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 727
/proc/meminfo: memFree=1239696/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915444 CPUtime=50.74
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 9024 0 1 0 3971 1103 0 0 25 0 8 0 279256353 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228861 8757 2527 14 0 215331 0
[pid=719/tid=721] ppid=717 vsize=915444 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 154 0 0 0 2 0 0 0 17 0 8 0 279256357 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915444 CPUtime=0.23
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 279256361 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 66.2987
CPU time (s): 65.707
CPU user time (s): 54.6607
CPU system time (s): 11.0463
CPU usage (%): 99.1075
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.6607
system time used= 11.0463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9128
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= 2433
involuntary context switches= 4152
runsolver used 0.097985 s user time and 0.214967 s system time
The end
Begin job on node14 on Sat Jan 20 15:56:54 UTC 2007
IDJOB= 280937
IDBENCH= 12000
IDSOLVER= 69
FILE ID= node14/280937-1169308614
PBS_JOBID= 3609910
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280937-1169308614/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-280937-1169308614 -o ROOT/results/node14/solver-280937-1169308614 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280937-1169308614/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4f3bc5c215021acc80005241fd74bcdd
RANDOM SEED= 320237744
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.227
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.227
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: 1265256 kB
Buffers: 54640 kB
Cached: 611564 kB
SwapCached: 9104 kB
Active: 218968 kB
Inactive: 493412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1265256 kB
SwapTotal: 4192956 kB
SwapFree: 4158792 kB
Dirty: 1716 kB
Writeback: 0 kB
Mapped: 55080 kB
Slab: 63064 kB
Committed_AS: 9492236 kB
PageTables: 2208 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= 66558 MiB
End job on node14 on Sat Jan 20 15:58:01 UTC 2007