0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=pfc.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/275330-1169220090/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.48 nbVariables=33 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.48 => wckTime=0.101 cpuTime=0.09 mem=6M910
0.48
0.48 relations being loaded...
0.55
0.55 constraints being loaded...
0.65 nbConstraints=302 nbRelationTypes=302 nbExtensionStructures=302 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=302 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5463 maxDegree=25
0.65 maxArity=2
0.65 => wckTime=0.276 cpuTime=0.19 mem=9M852
0.69
0.69 solver LocalSearchSolver being built...
0.74 => wckTime=0.366 cpuTime=0.23 mem=5M683
0.75
0.75 s SATISFIABLE
0.75 o 259
0.75 c 43
0.75 o 264
0.75 c 38
0.75 o 268
0.75 c 34
0.75 o 272
0.75 c 30
0.75 o 276
0.75 c 26
0.75 o 277
0.75 c 25
0.75 o 282
0.75 c 20
0.75 o 283
0.75 c 19
0.75 o 285
0.76 c 17
0.76 o 286
0.76 c 16
0.76 o 288
0.76 c 14
0.76 o 290
0.76 c 12
0.76 o 291
0.76 c 11
0.76 o 293
0.76 c 9
0.76 o 294
0.76 c 8
0.76 o 295
0.76 c 7
0.76 o 296
0.76 c 6
0.77 o 297
0.77 c 5
0.78 o 298
0.78 c 4
0.78 o 299
0.78 c 3
0.89 o 300
0.89 c 2
3.32
3.32 search
3.32 run=0 nbConstraintChecks=16933397 nbAssignments=10000
3.32 => wckTime=2.577 cpuTime=2.53 mem=5M683
6.08
6.08 search
6.08 run=1 nbConstraintChecks=36050277 nbAssignments=20000
6.08 => wckTime=5.336 cpuTime=5.27 mem=5M683
8.76
8.76 search
8.76 run=2 nbConstraintChecks=54533126 nbAssignments=30000
8.76 => wckTime=8.015 cpuTime=7.92 mem=5M683
11.32
11.32 search
11.32 run=3 nbConstraintChecks=71968403 nbAssignments=40000
11.32 => wckTime=10.578 cpuTime=10.46 mem=5M683
13.87
13.87 search
13.87 run=4 nbConstraintChecks=89363036 nbAssignments=50000
13.87 => wckTime=13.126 cpuTime=12.98 mem=5M683
16.53
16.53 search
16.53 run=5 nbConstraintChecks=107898868 nbAssignments=60000
16.53 => wckTime=15.788 cpuTime=15.62 mem=5M683
19.12
19.12 search
19.12 run=6 nbConstraintChecks=125751424 nbAssignments=70000
19.12 => wckTime=18.382 cpuTime=18.19 mem=5M683
21.82
21.82 search
21.82 run=7 nbConstraintChecks=144606525 nbAssignments=80000
21.82 => wckTime=21.081 cpuTime=20.87 mem=5M683
24.43
24.43 search
24.43 run=8 nbConstraintChecks=162518243 nbAssignments=90000
24.43 => wckTime=23.687 cpuTime=23.45 mem=5M683
27.04
27.04 search
27.04 run=9 nbConstraintChecks=180300338 nbAssignments=100000
27.04 => wckTime=26.294 cpuTime=26.04 mem=5M683
29.61
29.61 search
29.61 run=10 nbConstraintChecks=197833383 nbAssignments=110000
29.61 => wckTime=28.865 cpuTime=28.58 mem=5M683
31.19
31.19 search
31.19 run=11 nbConstraintChecks=208750561 nbAssignments=115969
31.19 => wckTime=30.444 cpuTime=30.15 mem=5M683
31.19
31.19 global
31.19 nbConstraintChecks=208750561 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.19 solvingWckTime=30.442 solvingCpuTime=30.15 expiredTime=no totalExploration=no nbFoundSolutions=0
31.19 globalCpuTime=30.43
31.19 => wckTime=30.81 cpuTime=30.38 mem=5M683
31.19
31.19 solver IterativeSystematicSolver being built...
31.32 => wckTime=30.947 cpuTime=30.48 mem=16M673
31.33
31.33 preprocessing
31.33 nbConstraintChecks=90 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.33 detectedInconsistency=no
31.33 => wckTime=0.0060 cpuTime=0.0 mem=16M673
31.41
31.41 search
31.41 run=0 nbConstraintChecks=107389 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48
31.41 nbFailedAssignments=27 nbBacktracks=10 nbVisitedNodes=86 nbRestartNogoods=0
31.41 => wckTime=0.077 cpuTime=0.05 mem=16M673
31.45
31.45 search
31.45 run=1 nbConstraintChecks=182252 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94
31.45 nbFailedAssignments=41 nbBacktracks=25 nbVisitedNodes=161 nbRestartNogoods=4
31.45 => wckTime=0.124 cpuTime=0.08 mem=16M673
31.54
31.54 search
31.54 run=2 nbConstraintChecks=395524 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=186
31.54 nbFailedAssignments=103 nbBacktracks=47 nbVisitedNodes=337 nbRestartNogoods=11
31.54 => wckTime=0.21 cpuTime=0.16 mem=16M673
31.61
31.61 search
31.61 run=3 nbConstraintChecks=663057 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=311
31.61 nbFailedAssignments=180 nbBacktracks=80 nbVisitedNodes=572 nbRestartNogoods=20
31.61 => wckTime=0.282 cpuTime=0.23 mem=16M673
31.72
31.72 search
31.72 run=4 nbConstraintChecks=1105520 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=496
31.72 nbFailedAssignments=302 nbBacktracks=130 nbVisitedNodes=929 nbRestartNogoods=29
31.72 => wckTime=0.394 cpuTime=0.34 mem=16M673
31.85
31.85 search
31.85 run=5 nbConstraintChecks=1587190 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=675
31.85 nbFailedAssignments=396 nbBacktracks=205 nbVisitedNodes=1277 nbRestartNogoods=33
31.85 => wckTime=0.528 cpuTime=0.47 mem=16M673
32.01
32.01 search
32.01 run=6 nbConstraintChecks=2203594 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=934
32.01 nbFailedAssignments=521 nbBacktracks=319 nbVisitedNodes=1775 nbRestartNogoods=40
32.01 => wckTime=0.685 cpuTime=0.63 mem=16M673
32.51
32.51 search
32.51 run=7 nbConstraintChecks=3126268 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1433
32.51 nbFailedAssignments=847 nbBacktracks=489 nbVisitedNodes=2768 nbRestartNogoods=50
32.51 => wckTime=1.183 cpuTime=1.12 mem=16M673
32.87
32.87 search
32.87 run=8 nbConstraintChecks=4371826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2080
32.87 nbFailedAssignments=1224 nbBacktracks=745 nbVisitedNodes=4048 nbRestartNogoods=56
32.87 => wckTime=1.549 cpuTime=1.47 mem=16M673
33.40
33.40 search
33.40 run=9 nbConstraintChecks=6290855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2838
33.40 nbFailedAssignments=1585 nbBacktracks=1129 nbVisitedNodes=5551 nbRestartNogoods=75
33.40 => wckTime=2.078 cpuTime=2.0 mem=16M673
34.24
34.24 search
34.24 run=10 nbConstraintChecks=9226878 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4207
34.24 nbFailedAssignments=2367 nbBacktracks=1705 nbVisitedNodes=8278 nbRestartNogoods=82
34.24 => wckTime=2.911 cpuTime=2.82 mem=16M673
35.10
35.10 search
35.10 run=11 nbConstraintChecks=12983940 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5910
35.10 nbFailedAssignments=3187 nbBacktracks=2570 nbVisitedNodes=11657 nbRestartNogoods=92
35.10 => wckTime=3.777 cpuTime=3.69 mem=16M673
36.28
36.28 search
36.28 run=12 nbConstraintChecks=18010253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8141
36.28 nbFailedAssignments=4099 nbBacktracks=3868 nbVisitedNodes=16090 nbRestartNogoods=109
36.28 => wckTime=4.951 cpuTime=4.86 mem=16M673
38.37
38.37 search
38.37 run=13 nbConstraintChecks=25542708 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11649
38.37 nbFailedAssignments=5649 nbBacktracks=5814 nbVisitedNodes=23078 nbRestartNogoods=125
38.37 => wckTime=7.049 cpuTime=6.95 mem=16M673
40.11
40.11 search
40.11 run=14 nbConstraintChecks=33554077 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16283
40.11 nbFailedAssignments=7343 nbBacktracks=8734 nbVisitedNodes=32183 nbRestartNogoods=136
40.11 => wckTime=8.783 cpuTime=8.68 mem=16M673
43.36
43.36 search
43.36 run=15 nbConstraintChecks=47483553 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23588
43.37 nbFailedAssignments=10246 nbBacktracks=13112 nbVisitedNodes=46746 nbRestartNogoods=154
43.37 => wckTime=12.04 cpuTime=11.94 mem=16M673
43.37
43.37 search
43.37 run=16 nbConstraintChecks=47487999 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23592
43.37 nbFailedAssignments=10249 nbBacktracks=13114 nbVisitedNodes=46754 nbRestartNogoods=171
43.37 => wckTime=12.043 cpuTime=11.94 mem=16M673
43.37
43.37 global
43.37 nbConstraintChecks=47488089 nbRestartNogoods=171 solvingWckTime=12.045 solvingCpuTime=11.94 expiredTime=no
43.37 totalExploration=yes nbFoundSolutions=0 globalCpuTime=42.47
43.37 => wckTime=42.992 cpuTime=42.42 mem=16M673
43.37
43.37 s OPTIMUM FOUND
43.37 v 4 9 4 6 5 0 4 9 4 4 8 6 2 4 0 6 1 0 7 7 7 0 5 2 4 4 3 3 9 8 4 3 8
43.37
43.37 totalWckTime=43.07 totalCpuTime=42.48
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-275330-1169220090 -o ROOT/results/node65/solver-275330-1169220090 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275330-1169220090/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 5/80 17629
/proc/meminfo: memFree=1388020/2055920 swapFree=4191892/4192956
[pid=17628] ppid=17626 vsize=1784 CPUtime=0
/proc/17628/stat : 17628 (java) D 17626 17628 16697 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 69506206 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17628/statm: 446 140 106 14 0 91 0
[startup+0.104864 s]
/proc/loadavg: 2.00 2.00 2.00 5/80 17629
/proc/meminfo: memFree=1388020/2055920 swapFree=4191892/4192956
[pid=17628] ppid=17626 vsize=906128 CPUtime=0.01
/proc/17628/stat : 17628 (java) R 17626 17628 16697 0 -1 0 1980 0 1 0 1 0 0 0 17 0 1 0 69506206 927875072 1729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160642522 0 4 0 7368 0 0 0 17 1 0 0
/proc/17628/statm: 226532 1729 993 14 0 214115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 906128
[startup+0.512928 s]
/proc/loadavg: 2.00 2.00 2.00 5/80 17629
/proc/meminfo: memFree=1388020/2055920 swapFree=4191892/4192956
[pid=17628] ppid=17626 vsize=915332 CPUtime=0.43
/proc/17628/stat : 17628 (java) R 17626 17628 16697 0 -1 0 6159 0 1 0 40 3 0 0 18 0 8 0 69506206 937299968 5898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 228833 5898 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332
[startup+1.33606 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 17636
/proc/meminfo: memFree=1369084/2055920 swapFree=4191892/4192956
[pid=17628] ppid=17626 vsize=915464 CPUtime=1.24
/proc/17628/stat : 17628 (java) R 17626 17628 16697 0 -1 0 7414 0 1 0 111 13 0 0 24 0 8 0 69506206 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 228866 7152 2476 14 0 215336 0
[pid=17628/tid=17630] ppid=17626 vsize=915464 CPUtime=0.02
/proc/17628/task/17630/stat : 17630 (java) S 17626 17628 16697 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 69506217 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 16697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69506218 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17632] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 16697 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69506218 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 16697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69506221 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=915464 CPUtime=0.14
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 16697 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 69506221 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 16697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69506221 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 16697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69506221 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915464
[startup+2.97936 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 17636
/proc/meminfo: memFree=1369020/2055920 swapFree=4191892/4192956
[pid=17628] ppid=17626 vsize=915464 CPUtime=2.87
/proc/17628/stat : 17628 (java) R 17626 17628 16697 0 -1 0 7415 0 1 0 245 42 0 0 25 0 8 0 69506206 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 228866 7152 2476 14 0 215336 0
[pid=17628/tid=17630] ppid=17626 vsize=915464 CPUtime=0.02
/proc/17628/task/17630/stat : 17630 (java) S 17626 17628 16697 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 69506217 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 16697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69506218 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17632] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 16697 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69506218 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 16697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69506221 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=915464 CPUtime=0.14
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 16697 0 -1 64 347 0 0 0 14 0 0 0 15 0 8 0 69506221 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 16697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69506221 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 16697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69506221 937435136 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915464
[startup+6.26987 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 17636
/proc/meminfo: memFree=1369020/2055920 swapFree=4191892/4192956
[pid=17628] ppid=17626 vsize=915464 CPUtime=6.13
/proc/17628/stat : 17628 (java) R 17626 17628 16697 0 -1 0 7417 0 1 0 521 92 0 0 25 0 8 0 69506206 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 228866 7154 2476 14 0 215336 0
[pid=17628/tid=17630] ppid=17626 vsize=915464 CPUtime=0.02
/proc/17628/task/17630/stat : 17630 (java) S 17626 17628 16697 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 69506217 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 16697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69506218 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17632] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 16697 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69506218 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 16697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=915464 CPUtime=0.15
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 16697 0 -1 64 349 0 0 0 15 0 0 0 17 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 16697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 16697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915464
[startup+12.7499 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 17636
/proc/meminfo: memFree=1369020/2055920 swapFree=4191892/4192956
[pid=17628] ppid=17626 vsize=915464 CPUtime=12.54
/proc/17628/stat : 17628 (java) R 17626 17628 16697 0 -1 0 7417 0 1 0 1062 192 0 0 25 0 8 0 69506206 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 228866 7154 2476 14 0 215336 0
[pid=17628/tid=17630] ppid=17626 vsize=915464 CPUtime=0.02
/proc/17628/task/17630/stat : 17630 (java) S 17626 17628 16697 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 69506217 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 16697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69506218 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17632] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 16697 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69506218 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 16697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=915464 CPUtime=0.15
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 16697 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 16697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 16697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915464
[startup+25.5921 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 17636
/proc/meminfo: memFree=1369212/2055920 swapFree=4191892/4192956
[pid=17628] ppid=17626 vsize=915464 CPUtime=25.27
/proc/17628/stat : 17628 (java) R 17626 17628 16697 0 -1 0 7417 0 1 0 2143 384 0 0 25 0 8 0 69506206 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 228866 7154 2476 14 0 215336 0
[pid=17628/tid=17630] ppid=17626 vsize=915464 CPUtime=0.02
/proc/17628/task/17630/stat : 17630 (java) S 17626 17628 16697 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 69506217 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 16697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69506218 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17632] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 16697 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69506218 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 16697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=915464 CPUtime=0.15
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 16697 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 16697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=915464 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 16697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69506221 937435136 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 43.4057
CPU time (s): 42.9865
CPU user time (s): 38.2212
CPU system time (s): 4.76527
CPU usage (%): 99.034
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.2212
system time used= 4.76527
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9186
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= 2002
involuntary context switches= 3369
runsolver used 0.050992 s user time and 0.155976 s system time
The end
Begin job on node65 on Fri Jan 19 15:21:30 UTC 2007
IDJOB= 275330
IDBENCH= 3795
IDSOLVER= 69
FILE ID= node65/275330-1169220090
PBS_JOBID= 3589117
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-1-80/composed-25-1-80-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275330-1169220090/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-275330-1169220090 -o ROOT/results/node65/solver-275330-1169220090 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275330-1169220090/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0dc2ed579145e6e5c4ce41e948f22a65
RANDOM SEED= 8865297
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.263
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.263
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: 1388500 kB
Buffers: 40780 kB
Cached: 515948 kB
SwapCached: 396 kB
Active: 127120 kB
Inactive: 471196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1388500 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3552 kB
Writeback: 0 kB
Mapped: 60496 kB
Slab: 54384 kB
Committed_AS: 1301468 kB
PageTables: 1936 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 node65 on Fri Jan 19 15:22:13 UTC 2007