0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/279101-1169291381/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.40 => wckTime=0.098 cpuTime=0.09 mem=6M910
0.40
0.40 relations being loaded...
0.45
0.45 constraints being loaded...
0.55 nbConstraints=255 nbRelationTypes=255 nbExtensionStructures=255 nbSharedExtensionStructures=0
0.55 nbConflictsStructures=255 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2521 maxDegree=34
0.55 maxArity=2
0.55 => wckTime=0.246 cpuTime=0.17 mem=8M860
0.59
0.59 solver LocalSearchSolver being built...
0.63 => wckTime=0.328 cpuTime=0.22 mem=5M599
0.63
0.63 s SATISFIABLE
0.63 o 213
0.63 c 42
0.63 o 217
0.63 c 38
0.63 o 218
0.63 c 37
0.63 o 222
0.63 c 33
0.63 o 224
0.63 c 31
0.64 o 226
0.64 c 29
0.64 o 229
0.64 c 26
0.64 o 230
0.64 c 25
0.64 o 231
0.64 c 24
0.64 o 232
0.64 c 23
0.64 o 235
0.64 c 20
0.64 o 236
0.64 c 19
0.64 o 237
0.64 c 18
0.64 o 238
0.64 c 17
0.64 o 239
0.64 c 16
0.65 o 241
0.65 c 14
0.65 o 242
0.65 c 13
0.65 o 244
0.65 c 11
0.65 o 245
0.65 c 10
0.65 o 247
0.65 c 8
0.65 o 248
0.65 c 7
0.65 o 250
0.65 c 5
0.65 o 251
0.65 c 4
0.66 o 253
0.66 c 2
1.95
1.95 search
1.95 run=0 nbConstraintChecks=5809629 nbAssignments=10000
1.95 => wckTime=1.329 cpuTime=1.31 mem=5M599
3.39
3.39 search
3.39 run=1 nbConstraintChecks=13060580 nbAssignments=20000
3.39 => wckTime=2.764 cpuTime=2.74 mem=5M599
4.63
4.63 search
4.63 run=2 nbConstraintChecks=18710606 nbAssignments=30000
4.63 => wckTime=4.004 cpuTime=3.98 mem=5M599
5.96
5.96 search
5.96 run=3 nbConstraintChecks=25071667 nbAssignments=40000
5.96 => wckTime=5.332 cpuTime=5.31 mem=5M599
7.24
7.24 search
7.24 run=4 nbConstraintChecks=31046338 nbAssignments=50000
7.24 => wckTime=6.613 cpuTime=6.59 mem=5M599
8.57
8.57 search
8.57 run=5 nbConstraintChecks=37370417 nbAssignments=60000
8.57 => wckTime=7.94 cpuTime=7.92 mem=5M599
9.83
9.83 search
9.83 run=6 nbConstraintChecks=43206931 nbAssignments=70000
9.83 => wckTime=9.202 cpuTime=9.17 mem=5M599
11.13
11.13 search
11.14 run=7 nbConstraintChecks=49362618 nbAssignments=80000
11.14 => wckTime=10.509 cpuTime=10.49 mem=5M599
12.40
12.40 search
12.40 run=8 nbConstraintChecks=55122198 nbAssignments=90000
12.40 => wckTime=11.775 cpuTime=11.75 mem=5M599
13.81
13.81 search
13.81 run=9 nbConstraintChecks=62100841 nbAssignments=100000
13.81 => wckTime=13.186 cpuTime=13.16 mem=5M599
15.06
15.06 search
15.06 run=10 nbConstraintChecks=67698431 nbAssignments=110000
15.06 => wckTime=14.43 cpuTime=14.4 mem=5M599
16.43
16.43 search
16.43 run=11 nbConstraintChecks=74388586 nbAssignments=120000
16.44 => wckTime=15.809 cpuTime=15.78 mem=5M599
17.74
17.74 search
17.74 run=12 nbConstraintChecks=80493865 nbAssignments=130000
17.74 => wckTime=17.114 cpuTime=17.09 mem=5M599
19.08
19.08 search
19.08 run=13 nbConstraintChecks=86885284 nbAssignments=140000
19.08 => wckTime=18.455 cpuTime=18.42 mem=5M599
20.34
20.34 search
20.34 run=14 nbConstraintChecks=92644242 nbAssignments=150000
20.34 => wckTime=19.718 cpuTime=19.68 mem=5M599
21.67
21.67 search
21.67 run=15 nbConstraintChecks=98966035 nbAssignments=160000
21.67 => wckTime=21.043 cpuTime=21.01 mem=5M599
22.90
22.90 search
22.90 run=16 nbConstraintChecks=104555275 nbAssignments=170000
22.90 => wckTime=22.278 cpuTime=22.25 mem=5M599
24.21
24.21 search
24.21 run=17 nbConstraintChecks=110757080 nbAssignments=180000
24.21 => wckTime=23.587 cpuTime=23.56 mem=5M599
25.47
25.47 search
25.47 run=18 nbConstraintChecks=116489648 nbAssignments=190000
25.47 => wckTime=24.841 cpuTime=24.81 mem=5M599
26.77
26.77 search
26.77 run=19 nbConstraintChecks=122649369 nbAssignments=200000
26.77 => wckTime=26.147 cpuTime=26.11 mem=5M599
28.03
28.03 search
28.03 run=20 nbConstraintChecks=128430795 nbAssignments=210000
28.03 => wckTime=27.404 cpuTime=27.37 mem=5M599
29.34
29.34 search
29.34 run=21 nbConstraintChecks=134649890 nbAssignments=220000
29.34 => wckTime=28.716 cpuTime=28.67 mem=5M599
30.61
30.61 search
30.61 run=22 nbConstraintChecks=140508568 nbAssignments=230000
30.61 => wckTime=29.987 cpuTime=29.95 mem=5M599
30.69
30.69 search
30.69 run=23 nbConstraintChecks=140834070 nbAssignments=230581
30.69 => wckTime=30.06 cpuTime=30.03 mem=5M599
30.69
30.69 global
30.69 nbConstraintChecks=140834070 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.69 solvingWckTime=30.059 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.69 globalCpuTime=30.28
30.69 => wckTime=30.388 cpuTime=30.25 mem=5M599
30.69
30.69 solver IterativeSystematicSolver being built...
30.81 => wckTime=30.514 cpuTime=30.35 mem=16M687
30.82
30.82 preprocessing
30.82 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.82 detectedInconsistency=no
30.82 => wckTime=0.0050 cpuTime=0.01 mem=16M687
30.90
30.90 search
30.90 run=0 nbConstraintChecks=65829 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64
30.90 nbFailedAssignments=44 nbBacktracks=10 nbVisitedNodes=119 nbRestartNogoods=0
30.90 => wckTime=0.081 cpuTime=0.06 mem=16M687
30.94
30.94 search
30.94 run=1 nbConstraintChecks=139152 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=124
30.94 nbFailedAssignments=72 nbBacktracks=26 nbVisitedNodes=223 nbRestartNogoods=8
30.94 => wckTime=0.125 cpuTime=0.09 mem=16M687
30.99
30.99 search
30.99 run=2 nbConstraintChecks=234283 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=200
30.99 nbFailedAssignments=115 nbBacktracks=48 nbVisitedNodes=364 nbRestartNogoods=17
30.99 => wckTime=0.17 cpuTime=0.13 mem=16M687
31.08
31.08 search
31.08 run=3 nbConstraintChecks=405154 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=365
31.08 nbFailedAssignments=233 nbBacktracks=81 nbVisitedNodes=680 nbRestartNogoods=32
31.08 => wckTime=0.26 cpuTime=0.22 mem=16M687
31.16
31.16 search
31.16 run=4 nbConstraintChecks=607027 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=507
31.16 nbFailedAssignments=315 nbBacktracks=131 nbVisitedNodes=954 nbRestartNogoods=48
31.16 => wckTime=0.344 cpuTime=0.3 mem=16M687
31.27
31.27 search
31.27 run=5 nbConstraintChecks=857151 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=731
31.27 nbFailedAssignments=456 nbBacktracks=206 nbVisitedNodes=1390 nbRestartNogoods=61
31.27 => wckTime=0.455 cpuTime=0.41 mem=16M687
31.47
31.47 search
31.47 run=6 nbConstraintChecks=1327633 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1094
31.47 nbFailedAssignments=695 nbBacktracks=319 nbVisitedNodes=2105 nbRestartNogoods=62
31.47 => wckTime=0.658 cpuTime=0.61 mem=16M687
31.77
31.77 search
31.77 run=7 nbConstraintChecks=1898838 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1583
31.77 nbFailedAssignments=1003 nbBacktracks=489 nbVisitedNodes=3072 nbRestartNogoods=77
31.77 => wckTime=0.951 cpuTime=0.89 mem=16M687
32.20
32.20 search
32.20 run=8 nbConstraintChecks=2916405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2383
32.20 nbFailedAssignments=1535 nbBacktracks=745 nbVisitedNodes=4659 nbRestartNogoods=88
32.20 => wckTime=1.384 cpuTime=1.32 mem=16M687
32.73
32.73 search
32.73 run=9 nbConstraintChecks=4321201 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3421
32.73 nbFailedAssignments=2177 nbBacktracks=1129 nbVisitedNodes=6723 nbRestartNogoods=103
32.73 => wckTime=1.913 cpuTime=1.85 mem=16M687
33.48
33.48 search
33.48 run=10 nbConstraintChecks=6357841 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4896
33.48 nbFailedAssignments=3066 nbBacktracks=1705 nbVisitedNodes=9662 nbRestartNogoods=117
33.48 => wckTime=2.661 cpuTime=2.59 mem=16M687
34.71
34.71 search
34.71 run=11 nbConstraintChecks=9496402 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7223
34.71 nbFailedAssignments=4521 nbBacktracks=2569 nbVisitedNodes=14307 nbRestartNogoods=129
34.71 => wckTime=3.898 cpuTime=3.83 mem=16M687
36.73
36.73 search
36.73 run=12 nbConstraintChecks=14639083 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10956
36.73 nbFailedAssignments=6948 nbBacktracks=3866 nbVisitedNodes=21762 nbRestartNogoods=134
36.73 => wckTime=5.919 cpuTime=5.85 mem=16M687
39.08
39.08 search
39.08 run=13 nbConstraintChecks=20404258 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15270
39.08 nbFailedAssignments=9301 nbBacktracks=5814 nbVisitedNodes=30349 nbRestartNogoods=149
39.08 => wckTime=8.265 cpuTime=8.19 mem=16M687
42.42
42.42 search
42.42 run=14 nbConstraintChecks=29400295 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22065
42.42 nbFailedAssignments=13165 nbBacktracks=8733 nbVisitedNodes=43902 nbRestartNogoods=164
42.42 => wckTime=11.61 cpuTime=11.53 mem=16M687
44.65
44.65 search
44.65 run=15 nbConstraintChecks=34938488 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26160
44.65 nbFailedAssignments=15465 nbBacktracks=10529 nbVisitedNodes=52051 nbRestartNogoods=175
44.65 => wckTime=13.833 cpuTime=13.76 mem=16M687
44.65
44.65 global
44.65 nbConstraintChecks=34938488 nbRestartNogoods=175 solvingWckTime=13.834 solvingCpuTime=13.76 expiredTime=no
44.65 totalExploration=yes nbFoundSolutions=0 globalCpuTime=44.14
44.65 => wckTime=44.349 cpuTime=44.11 mem=16M687
44.70
44.70 s OPTIMUM FOUND
44.70 v 4 2 4 0 4 2 4 4 2 3 0 4 2 2 4 4 2 0 1 2 0 2 1 4 0 1 3 2 0 2 1 3 4 1 4 1 4 3 4 2
44.70
44.70 totalWckTime=44.472 totalCpuTime=44.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-279101-1169291381 -o ROOT/results/node21/solver-279101-1169291381 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279101-1169291381/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: 0.85 0.97 1.02 4/78 19918
/proc/meminfo: memFree=1317888/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=172 CPUtime=0
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 213 0 0 0 0 0 0 0 18 0 1 0 277532672 176128 20 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8412576 0 0 4096 0 0 0 0 17 1 0 0
/proc/19917/statm: 43 24 18 14 0 3 0
[startup+0.103648 s]
/proc/loadavg: 0.85 0.97 1.02 4/78 19918
/proc/meminfo: memFree=1317888/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=914988 CPUtime=0.08
/proc/19917/stat : 19917 (java) S 19915 19917 19099 0 -1 0 2997 0 1 0 7 1 0 0 17 0 8 0 277532672 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511724 s]
/proc/loadavg: 0.85 0.97 1.02 4/78 19918
/proc/meminfo: memFree=1317888/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=915332 CPUtime=0.48
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 6516 0 1 0 45 3 0 0 16 0 8 0 277532672 937299968 6255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073541773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 228833 6255 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33488 s]
/proc/loadavg: 0.86 0.97 1.02 2/85 19925
/proc/meminfo: memFree=1299592/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=915464 CPUtime=1.3
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 7251 0 1 0 105 25 0 0 17 0 8 0 277532672 937435136 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 228866 6989 2476 14 0 215336 0
[pid=19917/tid=19919] ppid=19915 vsize=915468 CPUtime=0.02
/proc/19917/task/19919/stat : 19919 (java) S 19915 19917 19099 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277532676 937439232 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19917/tid=19920] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19920/stat : 19920 (java) S 19915 19917 19099 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277532676 937435136 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19921] ppid=19915 vsize=915468 CPUtime=0
/proc/19917/task/19921/stat : 19921 (java) S 19915 19917 19099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277532676 937439232 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19922] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19922/stat : 19922 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277532680 937435136 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19923] ppid=19915 vsize=915468 CPUtime=0.12
/proc/19917/task/19923/stat : 19923 (java) S 19915 19917 19099 0 -1 64 345 0 0 0 12 0 0 0 16 0 8 0 277532680 937439232 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19924] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19924/stat : 19924 (java) S 19915 19917 19099 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277532680 937435136 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19925] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19925/stat : 19925 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277532680 937435136 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97219 s]
/proc/loadavg: 0.86 0.97 1.02 2/85 19925
/proc/meminfo: memFree=1299528/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=915464 CPUtime=2.94
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 7254 0 1 0 222 72 0 0 18 0 8 0 277532672 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 228867 6991 2476 14 0 215337 0
[pid=19917/tid=19919] ppid=19915 vsize=915464 CPUtime=0.02
/proc/19917/task/19919/stat : 19919 (java) S 19915 19917 19099 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277532676 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19917/tid=19920] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19920/stat : 19920 (java) S 19915 19917 19099 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277532676 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19921] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19921/stat : 19921 (java) S 19915 19917 19099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277532676 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19922] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19922/stat : 19922 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19923] ppid=19915 vsize=915468 CPUtime=0.13
/proc/19917/task/19923/stat : 19923 (java) S 19915 19917 19099 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 277532680 937439232 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19924] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19924/stat : 19924 (java) S 19915 19917 19099 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19925] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19925/stat : 19925 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.26481 s]
/proc/loadavg: 0.87 0.97 1.02 2/85 19925
/proc/meminfo: memFree=1299536/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=915464 CPUtime=6.22
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 7254 0 1 0 451 171 0 0 18 0 8 0 277532672 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 228866 6991 2476 14 0 215336 0
[pid=19917/tid=19919] ppid=19915 vsize=915464 CPUtime=0.02
/proc/19917/task/19919/stat : 19919 (java) S 19915 19917 19099 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277532676 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19917/tid=19920] ppid=19915 vsize=915468 CPUtime=0
/proc/19917/task/19920/stat : 19920 (java) S 19915 19917 19099 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277532676 937439232 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19921] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19921/stat : 19921 (java) S 19915 19917 19099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277532676 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19922] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19922/stat : 19922 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19923] ppid=19915 vsize=915464 CPUtime=0.13
/proc/19917/task/19923/stat : 19923 (java) S 19915 19917 19099 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19924] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19924/stat : 19924 (java) S 19915 19917 19099 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19925] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19925/stat : 19925 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
[startup+12.736 s]
/proc/loadavg: 0.88 0.97 1.02 2/85 19925
/proc/meminfo: memFree=1299536/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=916488 CPUtime=12.7
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 7256 0 1 0 907 363 0 0 23 0 8 0 277532672 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 229122 6993 2476 14 0 215592 0
[pid=19917/tid=19919] ppid=19915 vsize=916492 CPUtime=0.02
/proc/19917/task/19919/stat : 19919 (java) S 19915 19917 19099 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277532676 938487808 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19917/tid=19920] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19920/stat : 19920 (java) S 19915 19917 19099 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277532676 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19921] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19921/stat : 19921 (java) S 19915 19917 19099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277532676 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19922] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19922/stat : 19922 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19923] ppid=19915 vsize=916492 CPUtime=0.13
/proc/19917/task/19923/stat : 19923 (java) S 19915 19917 19099 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 277532680 938487808 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19924] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19924/stat : 19924 (java) S 19915 19917 19099 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19925] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19925/stat : 19925 (java) S 19915 19917 19099 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 916488
[startup+25.5765 s]
/proc/loadavg: 0.90 0.97 1.02 2/85 19925
/proc/meminfo: memFree=1299536/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=916488 CPUtime=25.54
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 7256 0 1 0 1799 755 0 0 25 0 8 0 277532672 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 229122 6993 2476 14 0 215592 0
[pid=19917/tid=19919] ppid=19915 vsize=916488 CPUtime=0.02
/proc/19917/task/19919/stat : 19919 (java) S 19915 19917 19099 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277532676 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19920] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19920/stat : 19920 (java) S 19915 19917 19099 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277532676 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19921] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19921/stat : 19921 (java) S 19915 19917 19099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277532676 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19922] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19922/stat : 19922 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19923] ppid=19915 vsize=916488 CPUtime=0.13
/proc/19917/task/19923/stat : 19923 (java) S 19915 19917 19099 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19924] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19924/stat : 19924 (java) S 19915 19917 19099 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19925] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19925/stat : 19925 (java) S 19915 19917 19099 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 916488
Child status: 0
Real time (s): 44.7259
CPU time (s): 44.6172
CPU user time (s): 35.5226
CPU system time (s): 9.09462
CPU usage (%): 99.7571
Max. virtual memory (cumulated for all children) (KiB): 916492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.5226
system time used= 9.09462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9180
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= 1827
involuntary context switches= 173
runsolver used 0.048992 s user time and 0.121981 s system time
The end
Begin job on node21 on Sat Jan 20 11:09:41 UTC 2007
IDJOB= 279101
IDBENCH= 9440
IDSOLVER= 69
FILE ID= node21/279101-1169291381
PBS_JOBID= 3609660
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-20/kbtree-9-5-3-5-20-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279101-1169291381/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-279101-1169291381 -o ROOT/results/node21/solver-279101-1169291381 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279101-1169291381/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 46c42ef5e27772844383990467e7e999
RANDOM SEED= 792865327
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: 1318304 kB
Buffers: 48220 kB
Cached: 584432 kB
SwapCached: 7704 kB
Active: 207972 kB
Inactive: 454008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1318304 kB
SwapTotal: 4192956 kB
SwapFree: 4156356 kB
Dirty: 1920 kB
Writeback: 0 kB
Mapped: 36876 kB
Slab: 61128 kB
Committed_AS: 5173148 kB
PageTables: 1792 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 node21 on Sat Jan 20 11:10:27 UTC 2007