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/275828-1169227824/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=33 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.101 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=247 nbRelationTypes=247 nbExtensionStructures=247 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=247 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4349 maxDegree=21
0.57 maxArity=2
0.57 => wckTime=0.262 cpuTime=0.18 mem=9M868
0.61
0.61 solver LocalSearchSolver being built...
0.65 => wckTime=0.348 cpuTime=0.22 mem=5M629
0.66
0.66 s SATISFIABLE
0.66 o 209
0.66 c 38
0.66 o 213
0.66 c 34
0.66 o 217
0.66 c 30
0.66 o 221
0.66 c 26
0.66 o 224
0.66 c 23
0.66 o 227
0.66 c 20
0.66 o 229
0.66 c 18
0.66 o 231
0.66 c 16
0.67 o 232
0.67 c 15
0.67 o 233
0.67 c 14
0.67 o 235
0.67 c 12
0.67 o 237
0.67 c 10
0.67 o 238
0.67 c 9
0.67 o 239
0.67 c 8
0.67 o 240
0.67 c 7
0.67 o 241
0.67 c 6
0.67 o 242
0.67 c 5
0.67 o 243
0.67 c 4
0.67 o 244
0.67 c 3
0.69 o 245
0.69 c 2
3.05
3.05 search
3.05 run=0 nbConstraintChecks=15750691 nbAssignments=10000
3.05 => wckTime=2.395 cpuTime=2.38 mem=5M629
5.34
5.34 search
5.34 run=1 nbConstraintChecks=31266205 nbAssignments=20000
5.34 => wckTime=4.684 cpuTime=4.66 mem=5M629
7.70
7.70 search
7.70 run=2 nbConstraintChecks=47384331 nbAssignments=30000
7.70 => wckTime=7.045 cpuTime=7.02 mem=5M629
10.04
10.04 search
10.04 run=3 nbConstraintChecks=63468192 nbAssignments=40000
10.04 => wckTime=9.387 cpuTime=9.37 mem=5M629
12.09
12.09 search
12.09 run=4 nbConstraintChecks=77028907 nbAssignments=50000
12.09 => wckTime=11.44 cpuTime=11.41 mem=5M629
14.19
14.19 search
14.19 run=5 nbConstraintChecks=90991296 nbAssignments=60000
14.19 => wckTime=13.534 cpuTime=13.51 mem=5M629
16.46
16.46 search
16.46 run=6 nbConstraintChecks=106476360 nbAssignments=70000
16.46 => wckTime=15.805 cpuTime=15.77 mem=5M629
18.75
18.75 search
18.75 run=7 nbConstraintChecks=122154034 nbAssignments=80000
18.75 => wckTime=18.092 cpuTime=18.06 mem=5M629
21.02
21.02 search
21.02 run=8 nbConstraintChecks=137569006 nbAssignments=90000
21.02 => wckTime=20.37 cpuTime=20.34 mem=5M629
23.37
23.37 search
23.37 run=9 nbConstraintChecks=153650905 nbAssignments=100000
23.37 => wckTime=22.72 cpuTime=22.69 mem=5M629
25.70
25.70 search
25.70 run=10 nbConstraintChecks=169451132 nbAssignments=110000
25.70 => wckTime=25.043 cpuTime=25.01 mem=5M629
28.03
28.03 search
28.03 run=11 nbConstraintChecks=185359896 nbAssignments=120000
28.03 => wckTime=27.377 cpuTime=27.35 mem=5M629
30.31
30.31 search
30.31 run=12 nbConstraintChecks=200920133 nbAssignments=130000
30.31 => wckTime=29.656 cpuTime=29.62 mem=5M629
30.71
30.71 search
30.71 run=13 nbConstraintChecks=203639089 nbAssignments=131712
30.71 => wckTime=30.053 cpuTime=30.03 mem=5M629
30.71
30.71 global
30.71 nbConstraintChecks=203639089 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.71 solvingWckTime=30.051 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.71 globalCpuTime=30.3
30.71 => wckTime=30.401 cpuTime=30.25 mem=5M629
30.71
30.71 solver IterativeSystematicSolver being built...
30.84 => wckTime=30.533 cpuTime=30.35 mem=16M635
30.85
30.85 preprocessing
30.85 nbConstraintChecks=30 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.85 detectedInconsistency=no
30.85 => wckTime=0.0060 cpuTime=0.0 mem=16M635
30.92
30.92 search
30.92 run=0 nbConstraintChecks=100830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59
30.92 nbFailedAssignments=38 nbBacktracks=10 nbVisitedNodes=105 nbRestartNogoods=0
30.92 => wckTime=0.079 cpuTime=0.05 mem=16M635
30.97
30.97 search
30.97 run=1 nbConstraintChecks=202958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128
30.97 nbFailedAssignments=72 nbBacktracks=26 nbVisitedNodes=224 nbRestartNogoods=7
30.97 => wckTime=0.131 cpuTime=0.09 mem=16M635
31.01
31.01 search
31.01 run=2 nbConstraintChecks=315860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=187
31.01 nbFailedAssignments=98 nbBacktracks=48 nbVisitedNodes=331 nbRestartNogoods=16
31.01 => wckTime=0.174 cpuTime=0.13 mem=16M635
31.06
31.06 search
31.06 run=3 nbConstraintChecks=433924 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=272
31.06 nbFailedAssignments=128 nbBacktracks=84 nbVisitedNodes=476 nbRestartNogoods=22
31.06 => wckTime=0.216 cpuTime=0.17 mem=16M635
31.17
31.17 search
31.17 run=4 nbConstraintChecks=689537 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=454
31.17 nbFailedAssignments=249 nbBacktracks=134 nbVisitedNodes=828 nbRestartNogoods=35
31.17 => wckTime=0.334 cpuTime=0.29 mem=16M635
31.23
31.23 search
31.23 run=5 nbConstraintChecks=878318 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=593
31.23 nbFailedAssignments=287 nbBacktracks=216 nbVisitedNodes=1080 nbRestartNogoods=43
31.23 => wckTime=0.392 cpuTime=0.34 mem=16M635
31.37
31.37 search
31.37 run=6 nbConstraintChecks=1313468 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=812
31.37 nbFailedAssignments=378 nbBacktracks=330 nbVisitedNodes=1504 nbRestartNogoods=47
31.37 => wckTime=0.527 cpuTime=0.48 mem=16M635
31.52
31.52 search
31.52 run=7 nbConstraintChecks=1846684 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1264
31.52 nbFailedAssignments=635 nbBacktracks=500 nbVisitedNodes=2361 nbRestartNogoods=55
31.52 => wckTime=0.675 cpuTime=0.62 mem=16M635
31.64
31.64 search
31.64 run=8 nbConstraintChecks=2285253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1669
31.64 nbFailedAssignments=762 nbBacktracks=757 nbVisitedNodes=3146 nbRestartNogoods=65
31.64 => wckTime=0.804 cpuTime=0.74 mem=16M635
31.84
31.84 search
31.84 run=9 nbConstraintChecks=3035914 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2263
31.84 nbFailedAssignments=946 nbBacktracks=1145 nbVisitedNodes=4312 nbRestartNogoods=81
31.84 => wckTime=0.996 cpuTime=0.93 mem=16M635
32.18
32.18 search
32.18 run=10 nbConstraintChecks=4357770 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3219
32.18 nbFailedAssignments=1302 nbBacktracks=1721 nbVisitedNodes=6196 nbRestartNogoods=92
32.18 => wckTime=1.341 cpuTime=1.26 mem=16M635
32.61
32.61 search
32.61 run=11 nbConstraintChecks=6339202 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4985
32.61 nbFailedAssignments=2182 nbBacktracks=2587 nbVisitedNodes=9703 nbRestartNogoods=106
32.61 => wckTime=1.771 cpuTime=1.69 mem=16M635
33.36
33.36 search
33.36 run=12 nbConstraintChecks=9404022 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7039
33.36 nbFailedAssignments=2921 nbBacktracks=3886 nbVisitedNodes=13787 nbRestartNogoods=114
33.36 => wckTime=2.519 cpuTime=2.44 mem=16M635
34.69
34.70 search
34.70 run=13 nbConstraintChecks=14446162 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10839
34.70 nbFailedAssignments=4760 nbBacktracks=5832 nbVisitedNodes=21363 nbRestartNogoods=123
34.70 => wckTime=3.855 cpuTime=3.77 mem=16M635
36.30
36.30 search
36.30 run=14 nbConstraintChecks=21826380 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17966
36.30 nbFailedAssignments=8953 nbBacktracks=8753 nbVisitedNodes=35598 nbRestartNogoods=134
36.30 => wckTime=5.463 cpuTime=5.38 mem=16M635
38.13
38.13 search
38.13 run=15 nbConstraintChecks=29692967 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25137
38.13 nbFailedAssignments=11719 nbBacktracks=13132 nbVisitedNodes=49890 nbRestartNogoods=140
38.13 => wckTime=7.29 cpuTime=7.21 mem=16M635
39.08
39.08 search
39.08 run=16 nbConstraintChecks=33741744 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29326
39.08 nbFailedAssignments=13108 nbBacktracks=15933 nbVisitedNodes=58252 nbRestartNogoods=151
39.08 => wckTime=8.242 cpuTime=8.16 mem=16M635
39.08
39.08 global
39.08 nbConstraintChecks=33741774 nbRestartNogoods=151 solvingWckTime=8.243 solvingCpuTime=8.16 expiredTime=no
39.08 totalExploration=yes nbFoundSolutions=0 globalCpuTime=38.56
39.08 => wckTime=38.776 cpuTime=38.51 mem=16M635
39.09
39.09 s OPTIMUM FOUND
39.09 v 9 9 0 9 6 1 0 6 9 3 6 2 2 5 2 7 8 0 2 5 4 5 0 9 0 2 5 2 2 6 9 7 5
39.09
39.09 totalWckTime=38.854 totalCpuTime=38.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-275828-1169227824 -o ROOT/results/node58/solver-275828-1169227824 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275828-1169227824/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.97 2.02 1.91 5/81 26254
/proc/meminfo: memFree=1365712/2055920 swapFree=4184236/4192956
[pid=26253] ppid=26251 vsize=168 CPUtime=0
/proc/26253/stat : 26253 (java) R 26251 26253 25687 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 271180400 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4870443 0 0 4096 0 0 0 0 17 1 0 0
/proc/26253/statm: 42 23 18 14 0 2 0
[startup+0.106692 s]
/proc/loadavg: 1.97 2.02 1.91 5/81 26254
/proc/meminfo: memFree=1365712/2055920 swapFree=4184236/4192956
[pid=26253] ppid=26251 vsize=914988 CPUtime=0.09
/proc/26253/stat : 26253 (java) R 26251 26253 25687 0 -1 0 3022 0 1 0 8 1 0 0 20 0 8 0 271180400 936947712 2768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26253/statm: 228747 2769 1436 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514727 s]
/proc/loadavg: 1.97 2.02 1.91 5/81 26254
/proc/meminfo: memFree=1365712/2055920 swapFree=4184236/4192956
[pid=26253] ppid=26251 vsize=915332 CPUtime=0.5
/proc/26253/stat : 26253 (java) R 26251 26253 25687 0 -1 0 6391 0 1 0 47 3 0 0 18 0 8 0 271180400 937299968 6130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26253/statm: 228833 6134 2144 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.3358 s]
/proc/loadavg: 1.97 2.02 1.91 3/88 26261
/proc/meminfo: memFree=1347352/2055920 swapFree=4184236/4192956
[pid=26253] ppid=26251 vsize=915464 CPUtime=1.31
/proc/26253/stat : 26253 (java) R 26251 26253 25687 0 -1 0 7326 0 1 0 115 16 0 0 25 0 8 0 271180400 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26253/statm: 228867 7064 2476 14 0 215337 0
[pid=26253/tid=26255] ppid=26251 vsize=915464 CPUtime=0.02
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 25687 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 271180404 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26256] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271180405 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26257] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271180405 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26258] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271180408 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26259] ppid=26251 vsize=915464 CPUtime=0.13
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 25687 0 -1 64 344 0 0 0 13 0 0 0 16 0 8 0 271180408 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26260] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271180408 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26261] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 25687 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271180408 937435136 7064 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) 915464
[startup+2.97294 s]
/proc/loadavg: 1.97 2.02 1.91 3/88 26261
/proc/meminfo: memFree=1347224/2055920 swapFree=4184236/4192956
[pid=26253] ppid=26251 vsize=915464 CPUtime=2.95
/proc/26253/stat : 26253 (java) R 26251 26253 25687 0 -1 0 7327 0 1 0 250 45 0 0 25 0 8 0 271180400 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26253/statm: 228866 7064 2476 14 0 215336 0
[pid=26253/tid=26255] ppid=26251 vsize=915464 CPUtime=0.02
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 25687 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 271180404 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26256] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271180405 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26257] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271180405 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26258] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271180408 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26259] ppid=26251 vsize=915464 CPUtime=0.13
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 25687 0 -1 64 344 0 0 0 13 0 0 0 15 0 8 0 271180408 937435136 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26260] ppid=26251 vsize=915468 CPUtime=0
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271180408 937439232 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26261] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 25687 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271180408 937435136 7064 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) 915464
[startup+6.27523 s]
/proc/loadavg: 1.97 2.02 1.91 3/88 26261
/proc/meminfo: memFree=1347224/2055920 swapFree=4184236/4192956
[pid=26253] ppid=26251 vsize=915464 CPUtime=6.25
/proc/26253/stat : 26253 (java) R 26251 26253 25687 0 -1 0 7329 0 1 0 520 105 0 0 25 0 8 0 271180400 937435136 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26253/statm: 228867 7066 2476 14 0 215337 0
[pid=26253/tid=26255] ppid=26251 vsize=915464 CPUtime=0.02
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 25687 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 271180404 937435136 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26256] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271180405 937435136 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26257] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271180405 937435136 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26258] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271180408 937435136 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26259] ppid=26251 vsize=915464 CPUtime=0.14
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 25687 0 -1 64 346 0 0 0 14 0 0 0 16 0 8 0 271180408 937435136 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26260] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271180408 937435136 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26261] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 25687 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271180408 937435136 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915464
[startup+12.7398 s]
/proc/loadavg: 1.97 2.02 1.91 3/88 26261
/proc/meminfo: memFree=1347224/2055920 swapFree=4184236/4192956
[pid=26253] ppid=26251 vsize=915464 CPUtime=12.71
/proc/26253/stat : 26253 (java) R 26251 26253 25687 0 -1 0 7330 0 1 0 1048 223 0 0 25 0 8 0 271180400 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26253/statm: 228866 7067 2476 14 0 215336 0
[pid=26253/tid=26255] ppid=26251 vsize=915464 CPUtime=0.02
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 25687 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 271180404 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26256] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271180405 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26257] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271180405 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26258] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271180408 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26259] ppid=26251 vsize=915464 CPUtime=0.14
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 25687 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 271180408 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26260] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271180408 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26261] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 25687 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271180408 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915464
[startup+25.5979 s]
/proc/loadavg: 1.98 2.01 1.91 3/88 26261
/proc/meminfo: memFree=1347224/2055920 swapFree=4184236/4192956
[pid=26253] ppid=26251 vsize=915464 CPUtime=25.57
/proc/26253/stat : 26253 (java) R 26251 26253 25687 0 -1 0 7330 0 1 0 2114 443 0 0 25 0 8 0 271180400 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26253/statm: 228866 7067 2476 14 0 215336 0
[pid=26253/tid=26255] ppid=26251 vsize=915464 CPUtime=0.02
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 25687 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 271180404 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26256] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271180405 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26257] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271180405 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26258] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271180408 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26259] ppid=26251 vsize=915464 CPUtime=0.14
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 25687 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 271180408 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26260] ppid=26251 vsize=915468 CPUtime=0
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271180408 937439232 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26253/tid=26261] ppid=26251 vsize=915464 CPUtime=0
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 25687 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271180408 937435136 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 39.1506
CPU time (s): 39.0661
CPU user time (s): 33.6989
CPU system time (s): 5.36718
CPU usage (%): 99.784
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.6989
system time used= 5.36718
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9172
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= 1969
involuntary context switches= 3183
runsolver used 0.035994 s user time and 0.118981 s system time
The end
Begin job on node58 on Fri Jan 19 17:30:24 UTC 2007
IDJOB= 275828
IDBENCH= 5102
IDSOLVER= 69
FILE ID= node58/275828-1169227824
PBS_JOBID= 3589230
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-1-25/composed-25-1-25-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275828-1169227824/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-275828-1169227824 -o ROOT/results/node58/solver-275828-1169227824 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275828-1169227824/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 97fbca78c8dfc5f513428faf36f901a4
RANDOM SEED= 259451738
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.223
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.223
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: 1366128 kB
Buffers: 48840 kB
Cached: 547108 kB
SwapCached: 2792 kB
Active: 113504 kB
Inactive: 506036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1366128 kB
SwapTotal: 4192956 kB
SwapFree: 4184236 kB
Dirty: 1784 kB
Writeback: 0 kB
Mapped: 37192 kB
Slab: 55388 kB
Committed_AS: 4320564 kB
PageTables: 1820 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 node58 on Fri Jan 19 17:31:03 UTC 2007