0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278696-1169289125/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.41 => wckTime=0.1 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.46
0.46 constraints being loaded...
0.55 nbConstraints=189 nbRelationTypes=189 nbExtensionStructures=189 nbSharedExtensionStructures=0
0.55 nbConflictsStructures=189 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1860 maxDegree=27
0.55 maxArity=2
0.55 => wckTime=0.24 cpuTime=0.17 mem=8M860
0.58
0.58 solver LocalSearchSolver being built...
0.63 => wckTime=0.325 cpuTime=0.21 mem=5M532
0.63
0.63 s SATISFIABLE
0.63 o 151
0.63 c 38
0.63 o 155
0.63 c 34
0.63 o 159
0.63 c 30
0.63 o 161
0.63 c 28
0.64 o 163
0.64 c 26
0.64 o 167
0.64 c 22
0.64 o 169
0.64 c 20
0.64 o 170
0.64 c 19
0.64 o 171
0.64 c 18
0.64 o 174
0.64 c 15
0.64 o 175
0.64 c 14
0.64 o 177
0.64 c 12
0.64 o 178
0.64 c 11
0.64 o 179
0.64 c 10
0.64 o 180
0.64 c 9
0.64 o 182
0.64 c 7
0.65 o 183
0.65 c 6
0.65 o 184
0.65 c 5
0.65 o 185
0.65 c 4
0.66 o 186
0.66 c 3
1.84
1.84 search
1.84 run=0 nbConstraintChecks=4922933 nbAssignments=10000
1.84 => wckTime=1.212 cpuTime=1.19 mem=5M532
2.99
2.99 search
2.99 run=1 nbConstraintChecks=9917334 nbAssignments=20000
2.99 => wckTime=2.366 cpuTime=2.34 mem=5M532
4.14
4.14 search
4.14 run=2 nbConstraintChecks=14868240 nbAssignments=30000
4.14 => wckTime=3.512 cpuTime=3.49 mem=5M532
5.31
5.31 search
5.31 run=3 nbConstraintChecks=20005173 nbAssignments=40000
5.31 => wckTime=4.683 cpuTime=4.66 mem=5M532
6.45
6.45 search
6.45 run=4 nbConstraintChecks=24903310 nbAssignments=50000
6.45 => wckTime=5.825 cpuTime=5.8 mem=5M532
7.61
7.61 search
7.61 run=5 nbConstraintChecks=29907245 nbAssignments=60000
7.61 => wckTime=6.98 cpuTime=6.95 mem=5M532
8.75
8.75 search
8.75 run=6 nbConstraintChecks=34770043 nbAssignments=70000
8.75 => wckTime=8.119 cpuTime=8.08 mem=5M532
9.91
9.91 search
9.91 run=7 nbConstraintChecks=39821675 nbAssignments=80000
9.91 => wckTime=9.278 cpuTime=9.25 mem=5M532
11.06
11.06 search
11.06 run=8 nbConstraintChecks=44870009 nbAssignments=90000
11.06 => wckTime=10.437 cpuTime=10.41 mem=5M532
12.21
12.21 search
12.21 run=9 nbConstraintChecks=49845954 nbAssignments=100000
12.21 => wckTime=11.577 cpuTime=11.54 mem=5M532
13.35
13.35 search
13.35 run=10 nbConstraintChecks=54873170 nbAssignments=110000
13.35 => wckTime=12.726 cpuTime=12.7 mem=5M532
14.54
14.54 search
14.54 run=11 nbConstraintChecks=60257125 nbAssignments=120000
14.54 => wckTime=13.913 cpuTime=13.88 mem=5M532
15.67
15.67 search
15.67 run=12 nbConstraintChecks=65127336 nbAssignments=130000
15.67 => wckTime=15.044 cpuTime=15.01 mem=5M532
16.85
16.85 search
16.85 run=13 nbConstraintChecks=70419838 nbAssignments=140000
16.85 => wckTime=16.226 cpuTime=16.19 mem=5M532
18.00
18.00 search
18.00 run=14 nbConstraintChecks=75404020 nbAssignments=150000
18.00 => wckTime=17.371 cpuTime=17.34 mem=5M532
19.19
19.19 search
19.19 run=15 nbConstraintChecks=80754904 nbAssignments=160000
19.19 => wckTime=18.56 cpuTime=18.53 mem=5M532
20.32
20.32 search
20.32 run=16 nbConstraintChecks=85609553 nbAssignments=170000
20.32 => wckTime=19.689 cpuTime=19.65 mem=5M532
21.50
21.50 search
21.50 run=17 nbConstraintChecks=90867056 nbAssignments=180000
21.50 => wckTime=20.869 cpuTime=20.83 mem=5M532
22.66
22.66 search
22.66 run=18 nbConstraintChecks=95939658 nbAssignments=190000
22.66 => wckTime=22.034 cpuTime=21.99 mem=5M532
23.83
23.83 search
23.83 run=19 nbConstraintChecks=101045603 nbAssignments=200000
23.83 => wckTime=23.201 cpuTime=23.16 mem=5M532
24.97
24.97 search
24.97 run=20 nbConstraintChecks=105886317 nbAssignments=210000
24.97 => wckTime=24.34 cpuTime=24.29 mem=5M532
26.15
26.15 search
26.15 run=21 nbConstraintChecks=111138241 nbAssignments=220000
26.15 => wckTime=25.525 cpuTime=25.48 mem=5M532
27.29
27.29 search
27.29 run=22 nbConstraintChecks=116015774 nbAssignments=230000
27.29 => wckTime=26.666 cpuTime=26.63 mem=5M532
28.45
28.45 search
28.45 run=23 nbConstraintChecks=121041454 nbAssignments=240000
28.45 => wckTime=27.823 cpuTime=27.78 mem=5M532
29.60
29.60 search
29.60 run=24 nbConstraintChecks=125958103 nbAssignments=250000
29.60 => wckTime=28.97 cpuTime=28.93 mem=5M532
30.70
30.70 search
30.70 run=25 nbConstraintChecks=130747693 nbAssignments=259459
30.70 => wckTime=30.072 cpuTime=30.03 mem=5M532
30.70
30.70 global
30.70 nbConstraintChecks=130747693 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.70 solvingWckTime=30.071 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.70 globalCpuTime=30.3
30.70 => wckTime=30.397 cpuTime=30.24 mem=5M532
30.70
30.70 solver IterativeSystematicSolver being built...
30.83 => wckTime=30.527 cpuTime=30.34 mem=16M521
30.84
30.84 preprocessing
30.84 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.84 detectedInconsistency=no
30.84 => wckTime=0.0040 cpuTime=0.01 mem=16M521
30.89
30.89 search
30.89 run=0 nbConstraintChecks=28943 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
30.89 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=69 nbRestartNogoods=0
30.89 => wckTime=0.057 cpuTime=0.04 mem=16M521
30.94
30.94 search
30.94 run=1 nbConstraintChecks=65834 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=84
30.94 nbFailedAssignments=45 nbBacktracks=26 nbVisitedNodes=156 nbRestartNogoods=8
30.94 => wckTime=0.102 cpuTime=0.07 mem=16M521
30.98
30.98 search
30.98 run=2 nbConstraintChecks=149412 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=179
30.98 nbFailedAssignments=108 nbBacktracks=48 nbVisitedNodes=336 nbRestartNogoods=12
30.98 => wckTime=0.145 cpuTime=0.11 mem=16M521
31.02
31.02 search
31.02 run=3 nbConstraintChecks=234149 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=271
31.02 nbFailedAssignments=158 nbBacktracks=81 nbVisitedNodes=511 nbRestartNogoods=18
31.02 => wckTime=0.183 cpuTime=0.15 mem=16M521
31.09
31.09 search
31.09 run=4 nbConstraintChecks=406005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=453
31.09 nbFailedAssignments=282 nbBacktracks=131 nbVisitedNodes=867 nbRestartNogoods=27
31.09 => wckTime=0.256 cpuTime=0.22 mem=16M521
31.19
31.19 search
31.19 run=5 nbConstraintChecks=661626 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=717
31.19 nbFailedAssignments=462 nbBacktracks=206 nbVisitedNodes=1386 nbRestartNogoods=40
31.19 => wckTime=0.357 cpuTime=0.32 mem=16M521
31.29
31.29 search
31.29 run=6 nbConstraintChecks=926709 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=965
31.29 nbFailedAssignments=586 nbBacktracks=322 nbVisitedNodes=1874 nbRestartNogoods=47
31.29 => wckTime=0.46 cpuTime=0.42 mem=16M521
31.49
31.49 search
31.49 run=7 nbConstraintChecks=1403546 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1462
31.49 nbFailedAssignments=905 nbBacktracks=492 nbVisitedNodes=2860 nbRestartNogoods=53
31.49 => wckTime=0.653 cpuTime=0.61 mem=16M521
31.80
31.80 search
31.80 run=8 nbConstraintChecks=2262740 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2336
31.80 nbFailedAssignments=1509 nbBacktracks=749 nbVisitedNodes=4595 nbRestartNogoods=66
31.80 => wckTime=0.963 cpuTime=0.9 mem=16M521
32.18
32.18 search
32.18 run=9 nbConstraintChecks=3305361 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3329
32.18 nbFailedAssignments=2106 nbBacktracks=1133 nbVisitedNodes=6569 nbRestartNogoods=72
32.18 => wckTime=1.345 cpuTime=1.28 mem=16M521
32.67
32.67 search
32.67 run=10 nbConstraintChecks=4644354 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4660
32.67 nbFailedAssignments=2854 nbBacktracks=1709 nbVisitedNodes=9224 nbRestartNogoods=83
32.67 => wckTime=1.838 cpuTime=1.77 mem=16M521
33.64
33.64 search
33.64 run=11 nbConstraintChecks=6961950 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7091
33.64 nbFailedAssignments=4416 nbBacktracks=2573 nbVisitedNodes=14080 nbRestartNogoods=92
33.64 => wckTime=2.804 cpuTime=2.74 mem=16M521
35.00
35.00 search
35.00 run=12 nbConstraintChecks=10607824 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10774
35.00 nbFailedAssignments=6791 nbBacktracks=3872 nbVisitedNodes=21436 nbRestartNogoods=101
35.00 => wckTime=4.17 cpuTime=4.1 mem=16M521
36.96
36.96 search
36.96 run=13 nbConstraintChecks=15974795 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15982
36.96 nbFailedAssignments=10045 nbBacktracks=5819 nbVisitedNodes=31842 nbRestartNogoods=115
36.96 => wckTime=6.122 cpuTime=6.05 mem=16M521
39.84
39.84 search
39.84 run=14 nbConstraintChecks=23882451 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23704
39.84 nbFailedAssignments=14843 nbBacktracks=8738 nbVisitedNodes=47279 nbRestartNogoods=131
39.84 => wckTime=9.01 cpuTime=8.94 mem=16M521
43.57
43.57 search
43.57 run=15 nbConstraintChecks=34355510 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34139
43.57 nbFailedAssignments=20893 nbBacktracks=13116 nbVisitedNodes=68096 nbRestartNogoods=149
43.57 => wckTime=12.733 cpuTime=12.66 mem=16M521
44.00
44.00 search
44.00 run=16 nbConstraintChecks=35490345 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35321
44.00 nbFailedAssignments=21524 nbBacktracks=13668 nbVisitedNodes=70435 nbRestartNogoods=160
44.00 => wckTime=13.17 cpuTime=13.1 mem=16M521
44.00
44.00 global
44.00 nbConstraintChecks=35490345 nbRestartNogoods=160 solvingWckTime=13.171 solvingCpuTime=13.1 expiredTime=no
44.00 totalExploration=yes nbFoundSolutions=0 globalCpuTime=43.5
44.00 => wckTime=43.7 cpuTime=43.44 mem=16M521
44.01
44.01 s OPTIMUM FOUND
44.01 v 2 2 1 0 4 1 4 4 3 2 1 0 3 1 3 0 0 4 2 2 0 3 2 0 1 1 3 3
44.01
44.01 totalWckTime=43.779 totalCpuTime=43.5
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-278696-1169289125 -o ROOT/results/node21/solver-278696-1169289125 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278696-1169289125/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.07 1.44 1.71 3/86 19551
/proc/meminfo: memFree=1310120/2055920 swapFree=4156356/4192956
[pid=19550] ppid=19548 vsize=1784 CPUtime=0
/proc/19550/stat : 19550 (java) R 19548 19550 19072 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 277307514 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/19550/statm: 446 140 106 14 0 91 0
[startup+0.102569 s]
/proc/loadavg: 1.07 1.44 1.71 3/86 19551
/proc/meminfo: memFree=1310120/2055920 swapFree=4156356/4192956
[pid=19550] ppid=19548 vsize=914988 CPUtime=0.09
/proc/19550/stat : 19550 (java) S 19548 19550 19072 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 277307514 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19550/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510643 s]
/proc/loadavg: 1.07 1.44 1.71 3/86 19551
/proc/meminfo: memFree=1310120/2055920 swapFree=4156356/4192956
[pid=19550] ppid=19548 vsize=915332 CPUtime=0.49
/proc/19550/stat : 19550 (java) R 19548 19550 19072 0 -1 0 6444 0 1 0 44 5 0 0 18 0 8 0 277307514 937299968 6183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19550/statm: 228833 6183 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3328 s]
/proc/loadavg: 1.07 1.44 1.71 3/93 19558
/proc/meminfo: memFree=1292336/2055920 swapFree=4156356/4192956
[pid=19550] ppid=19548 vsize=915460 CPUtime=1.31
/proc/19550/stat : 19550 (java) R 19548 19550 19072 0 -1 0 7141 0 1 0 104 27 0 0 25 0 8 0 277307514 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19550/statm: 228866 6879 2476 14 0 215336 0
[pid=19550/tid=19552] ppid=19548 vsize=915460 CPUtime=0.02
/proc/19550/task/19552/stat : 19552 (java) S 19548 19550 19072 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277307517 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19553] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19553/stat : 19553 (java) S 19548 19550 19072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277307518 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19554] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19554/stat : 19554 (java) S 19548 19550 19072 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277307518 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19555] ppid=19548 vsize=915464 CPUtime=0
/proc/19550/task/19555/stat : 19555 (java) S 19548 19550 19072 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277307521 937435136 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19556] ppid=19548 vsize=915460 CPUtime=0.13
/proc/19550/task/19556/stat : 19556 (java) S 19548 19550 19072 0 -1 64 343 0 0 0 12 1 0 0 16 0 8 0 277307521 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19557] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19557/stat : 19557 (java) S 19548 19550 19072 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277307521 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19558] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19558/stat : 19558 (java) S 19548 19550 19072 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277307521 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98311 s]
/proc/loadavg: 1.14 1.45 1.71 3/93 19558
/proc/meminfo: memFree=1292208/2055920 swapFree=4156356/4192956
[pid=19550] ppid=19548 vsize=915460 CPUtime=2.95
/proc/19550/stat : 19550 (java) R 19548 19550 19072 0 -1 0 7145 0 1 0 211 84 0 0 25 0 8 0 277307514 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19550/statm: 228865 6882 2476 14 0 215335 0
[pid=19550/tid=19552] ppid=19548 vsize=915464 CPUtime=0.02
/proc/19550/task/19552/stat : 19552 (java) S 19548 19550 19072 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277307517 937435136 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19553] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19553/stat : 19553 (java) S 19548 19550 19072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277307518 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19554] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19554/stat : 19554 (java) S 19548 19550 19072 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277307518 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19555] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19555/stat : 19555 (java) S 19548 19550 19072 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19556] ppid=19548 vsize=915460 CPUtime=0.14
/proc/19550/task/19556/stat : 19556 (java) S 19548 19550 19072 0 -1 64 346 0 0 0 13 1 0 0 16 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19557] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19557/stat : 19557 (java) S 19548 19550 19072 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19558] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19558/stat : 19558 (java) S 19548 19550 19072 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.26773 s]
/proc/loadavg: 1.14 1.45 1.71 3/93 19558
/proc/meminfo: memFree=1292208/2055920 swapFree=4156356/4192956
[pid=19550] ppid=19548 vsize=915460 CPUtime=6.24
/proc/19550/stat : 19550 (java) R 19548 19550 19072 0 -1 0 7145 0 1 0 424 200 0 0 25 0 8 0 277307514 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19550/statm: 228866 6882 2476 14 0 215336 0
[pid=19550/tid=19552] ppid=19548 vsize=915460 CPUtime=0.02
/proc/19550/task/19552/stat : 19552 (java) S 19548 19550 19072 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277307517 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19553] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19553/stat : 19553 (java) S 19548 19550 19072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277307518 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19554] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19554/stat : 19554 (java) S 19548 19550 19072 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277307518 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19555] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19555/stat : 19555 (java) S 19548 19550 19072 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19556] ppid=19548 vsize=915460 CPUtime=0.14
/proc/19550/task/19556/stat : 19556 (java) S 19548 19550 19072 0 -1 64 346 0 0 0 13 1 0 0 16 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19557] ppid=19548 vsize=915464 CPUtime=0
/proc/19550/task/19557/stat : 19557 (java) S 19548 19550 19072 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277307521 937435136 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19558] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19558/stat : 19558 (java) S 19548 19550 19072 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460
[startup+12.756 s]
/proc/loadavg: 1.27 1.47 1.71 4/93 19558
/proc/meminfo: memFree=1292216/2055920 swapFree=4156356/4192956
[pid=19550] ppid=19548 vsize=915464 CPUtime=12.73
/proc/19550/stat : 19550 (java) R 19548 19550 19072 0 -1 0 7145 0 1 0 848 425 0 0 25 0 8 0 277307514 937435136 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19550/statm: 228865 6882 2476 14 0 215335 0
[pid=19550/tid=19552] ppid=19548 vsize=915460 CPUtime=0.02
/proc/19550/task/19552/stat : 19552 (java) S 19548 19550 19072 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277307517 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19553] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19553/stat : 19553 (java) S 19548 19550 19072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277307518 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19554] ppid=19548 vsize=915464 CPUtime=0
/proc/19550/task/19554/stat : 19554 (java) S 19548 19550 19072 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277307518 937435136 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19555] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19555/stat : 19555 (java) S 19548 19550 19072 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19556] ppid=19548 vsize=915460 CPUtime=0.14
/proc/19550/task/19556/stat : 19556 (java) S 19548 19550 19072 0 -1 64 346 0 0 0 13 1 0 0 17 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19557] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19557/stat : 19557 (java) S 19548 19550 19072 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19558] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19558/stat : 19558 (java) S 19548 19550 19072 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277307521 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915464
[startup+25.5984 s]
/proc/loadavg: 1.38 1.48 1.71 3/93 19558
/proc/meminfo: memFree=1292216/2055920 swapFree=4156356/4192956
[pid=19550] ppid=19548 vsize=915460 CPUtime=25.56
/proc/19550/stat : 19550 (java) R 19548 19550 19072 0 -1 0 7146 0 1 0 1689 867 0 0 25 0 8 0 277307514 937431040 6883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19550/statm: 228865 6883 2476 14 0 215335 0
[pid=19550/tid=19552] ppid=19548 vsize=915464 CPUtime=0.02
/proc/19550/task/19552/stat : 19552 (java) S 19548 19550 19072 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277307517 937435136 6883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19553] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19553/stat : 19553 (java) S 19548 19550 19072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277307518 937431040 6883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19554] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19554/stat : 19554 (java) S 19548 19550 19072 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277307518 937431040 6883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19555] ppid=19548 vsize=915464 CPUtime=0
/proc/19550/task/19555/stat : 19555 (java) S 19548 19550 19072 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277307521 937435136 6883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19556] ppid=19548 vsize=915460 CPUtime=0.14
/proc/19550/task/19556/stat : 19556 (java) S 19548 19550 19072 0 -1 64 347 0 0 0 13 1 0 0 16 0 8 0 277307521 937431040 6883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19557] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19557/stat : 19557 (java) S 19548 19550 19072 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277307521 937431040 6883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19550/tid=19558] ppid=19548 vsize=915460 CPUtime=0
/proc/19550/task/19558/stat : 19558 (java) S 19548 19550 19072 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277307521 937431040 6883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 44.0515
CPU time (s): 43.9823
CPU user time (s): 33.5599
CPU system time (s): 10.4224
CPU usage (%): 99.843
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.5599
system time used= 10.4224
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9148
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= 1997
involuntary context switches= 3404
runsolver used 0.058991 s user time and 0.147977 s system time
The end
Begin job on node21 on Sat Jan 20 10:32:06 UTC 2007
IDJOB= 278696
IDBENCH= 8689
IDSOLVER= 69
FILE ID= node21/278696-1169289125
PBS_JOBID= 3609659
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-20/kbtree-9-7-3-5-20-01_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278696-1169289125/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-278696-1169289125 -o ROOT/results/node21/solver-278696-1169289125 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278696-1169289125/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 23ec29b02bdc1e5d4dd1fd197977dd24
RANDOM SEED= 865832595
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.261
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.261
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: 1310664 kB
Buffers: 48168 kB
Cached: 586540 kB
SwapCached: 2928 kB
Active: 215396 kB
Inactive: 453900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1310664 kB
SwapTotal: 4192956 kB
SwapFree: 4156356 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 44876 kB
Slab: 60976 kB
Committed_AS: 5187632 kB
PageTables: 2104 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= 66561 MiB
End job on node21 on Sat Jan 20 10:32:54 UTC 2007