0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/275891-1169228708/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=33 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.43 => wckTime=0.103 cpuTime=0.09 mem=6M910
0.43
0.43 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=262 nbRelationTypes=262 nbExtensionStructures=262 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=262 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4677 maxDegree=22
0.60 maxArity=2
0.60 => wckTime=0.272 cpuTime=0.18 mem=9M884
0.64
0.64 solver LocalSearchSolver being built...
0.69 => wckTime=0.36 cpuTime=0.23 mem=5M643
0.69
0.69 s SATISFIABLE
0.69 o 222
0.69 c 40
0.69 o 227
0.69 c 35
0.69 o 231
0.69 c 31
0.69 o 235
0.69 c 27
0.69 o 239
0.69 c 23
0.70 o 243
0.70 c 19
0.70 o 245
0.70 c 17
0.70 o 247
0.70 c 15
0.70 o 250
0.70 c 12
0.70 o 252
0.70 c 10
0.70 o 254
0.70 c 8
0.70 o 255
0.70 c 7
0.70 o 256
0.70 c 6
0.70 o 257
0.70 c 5
0.70 o 258
0.70 c 4
0.70 o 259
0.70 c 3
0.71 o 260
0.71 c 2
3.07
3.08 search
3.08 run=0 nbConstraintChecks=15173040 nbAssignments=10000
3.08 => wckTime=2.39 cpuTime=2.35 mem=5M643
5.48
5.48 search
5.48 run=1 nbConstraintChecks=31166190 nbAssignments=20000
5.48 => wckTime=4.794 cpuTime=4.74 mem=5M643
7.78
7.78 search
7.78 run=2 nbConstraintChecks=46313431 nbAssignments=30000
7.78 => wckTime=7.096 cpuTime=7.02 mem=5M643
10.18
10.18 search
10.18 run=3 nbConstraintChecks=62442606 nbAssignments=40000
10.18 => wckTime=9.496 cpuTime=9.39 mem=5M643
12.52
12.52 search
12.52 run=4 nbConstraintChecks=78026300 nbAssignments=50000
12.52 => wckTime=11.832 cpuTime=11.71 mem=5M643
14.94
14.94 search
14.94 run=5 nbConstraintChecks=94404118 nbAssignments=60000
14.94 => wckTime=14.257 cpuTime=14.11 mem=5M643
17.22
17.22 search
17.22 run=6 nbConstraintChecks=109489523 nbAssignments=70000
17.22 => wckTime=16.54 cpuTime=16.37 mem=5M643
19.70
19.70 search
19.70 run=7 nbConstraintChecks=126096896 nbAssignments=80000
19.70 => wckTime=19.014 cpuTime=18.82 mem=5M643
22.01
22.01 search
22.01 run=8 nbConstraintChecks=141260549 nbAssignments=90000
22.01 => wckTime=21.325 cpuTime=21.1 mem=5M643
24.46
24.47 search
24.47 run=9 nbConstraintChecks=157759105 nbAssignments=100000
24.47 => wckTime=23.78 cpuTime=23.55 mem=5M643
26.80
26.80 search
26.80 run=10 nbConstraintChecks=173136674 nbAssignments=110000
26.80 => wckTime=26.115 cpuTime=25.86 mem=5M643
29.31
29.31 search
29.31 run=11 nbConstraintChecks=190211896 nbAssignments=120000
29.31 => wckTime=28.624 cpuTime=28.34 mem=5M643
31.01
31.01 search
31.01 run=12 nbConstraintChecks=201601265 nbAssignments=127087
31.01 => wckTime=30.327 cpuTime=30.03 mem=5M643
31.01
31.01 global
31.01 nbConstraintChecks=201601265 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.02 solvingWckTime=30.326 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
31.02 globalCpuTime=30.3
31.02 => wckTime=30.688 cpuTime=30.26 mem=5M643
31.02
31.02 solver IterativeSystematicSolver being built...
31.15 => wckTime=30.822 cpuTime=30.36 mem=16M633
31.16
31.16 preprocessing
31.16 nbConstraintChecks=30 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.16 detectedInconsistency=no
31.16 => wckTime=0.0070 cpuTime=0.0 mem=16M633
31.25
31.25 search
31.25 run=0 nbConstraintChecks=167885 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77
31.25 nbFailedAssignments=55 nbBacktracks=10 nbVisitedNodes=143 nbRestartNogoods=0
31.25 => wckTime=0.102 cpuTime=0.07 mem=16M633
31.29
31.29 search
31.29 run=1 nbConstraintChecks=239616 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=121
31.29 nbFailedAssignments=72 nbBacktracks=25 nbVisitedNodes=218 nbRestartNogoods=6
31.29 => wckTime=0.14 cpuTime=0.1 mem=16M633
31.33
31.33 search
31.33 run=2 nbConstraintChecks=356202 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=175
31.33 nbFailedAssignments=94 nbBacktracks=47 nbVisitedNodes=316 nbRestartNogoods=7
31.33 => wckTime=0.183 cpuTime=0.14 mem=16M633
31.39
31.39 search
31.39 run=3 nbConstraintChecks=539260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=275
31.39 nbFailedAssignments=148 nbBacktracks=80 nbVisitedNodes=502 nbRestartNogoods=10
31.39 => wckTime=0.24 cpuTime=0.19 mem=16M633
31.45
31.45 search
31.45 run=4 nbConstraintChecks=760028 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=396
31.45 nbFailedAssignments=203 nbBacktracks=130 nbVisitedNodes=728 nbRestartNogoods=20
31.45 => wckTime=0.302 cpuTime=0.25 mem=16M633
31.56
31.56 search
31.56 run=5 nbConstraintChecks=1135538 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=555
31.56 nbFailedAssignments=274 nbBacktracks=205 nbVisitedNodes=1033 nbRestartNogoods=24
31.56 => wckTime=0.414 cpuTime=0.36 mem=16M633
31.73
31.73 search
31.73 run=6 nbConstraintChecks=1755707 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=861
31.73 nbFailedAssignments=448 nbBacktracks=321 nbVisitedNodes=1626 nbRestartNogoods=30
31.73 => wckTime=0.582 cpuTime=0.53 mem=16M633
32.00
32.00 search
32.00 run=7 nbConstraintChecks=2744479 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1343
32.00 nbFailedAssignments=736 nbBacktracks=491 nbVisitedNodes=2565 nbRestartNogoods=36
32.00 => wckTime=0.849 cpuTime=0.78 mem=16M633
32.28
32.28 search
32.28 run=8 nbConstraintChecks=3926084 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2197
32.28 nbFailedAssignments=1314 nbBacktracks=747 nbVisitedNodes=4233 nbRestartNogoods=53
32.28 => wckTime=1.13 cpuTime=1.05 mem=16M633
32.56
32.56 search
32.56 run=9 nbConstraintChecks=4990856 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2834
32.56 nbFailedAssignments=1541 nbBacktracks=1132 nbVisitedNodes=5482 nbRestartNogoods=59
32.56 => wckTime=1.411 cpuTime=1.32 mem=16M633
32.83
32.83 search
32.83 run=10 nbConstraintChecks=6124867 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3801
32.83 nbFailedAssignments=1908 nbBacktracks=1708 nbVisitedNodes=7346 nbRestartNogoods=70
32.83 => wckTime=1.682 cpuTime=1.58 mem=16M633
33.41
33.41 search
33.41 run=11 nbConstraintChecks=8298624 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5148
33.41 nbFailedAssignments=2369 nbBacktracks=2574 nbVisitedNodes=10014 nbRestartNogoods=89
33.41 => wckTime=2.26 cpuTime=2.16 mem=16M633
34.17
34.17 search
34.17 run=12 nbConstraintChecks=11951052 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8551
34.17 nbFailedAssignments=4449 nbBacktracks=3871 nbVisitedNodes=16747 nbRestartNogoods=99
34.17 => wckTime=3.019 cpuTime=2.91 mem=16M633
35.24
35.24 search
35.24 run=13 nbConstraintChecks=16183157 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11410
35.24 nbFailedAssignments=5442 nbBacktracks=5738 nbVisitedNodes=22452 nbRestartNogoods=110
35.24 => wckTime=4.094 cpuTime=3.97 mem=16M633
35.24
35.24 global
35.24 nbConstraintChecks=16183187 nbRestartNogoods=110 solvingWckTime=4.095 solvingCpuTime=3.97 expiredTime=no
35.24 totalExploration=yes nbFoundSolutions=0 globalCpuTime=34.38
35.24 => wckTime=34.917 cpuTime=34.33 mem=16M633
35.25
35.25 s OPTIMUM FOUND
35.25 v 8 7 9 5 5 6 4 1 8 0 5 7 5 3 8 6 4 5 0 7 0 7 5 2 2 8 2 2 2 6 9 8 9
35.25
35.25 totalWckTime=35.002 totalCpuTime=34.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-275891-1169228708 -o ROOT/results/node2/solver-275891-1169228708 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275891-1169228708/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.05 2.03 2.00 4/93 12075
/proc/meminfo: memFree=1218024/2055920 swapFree=4180552/4192956
[pid=12074] ppid=12072 vsize=18540 CPUtime=0
/proc/12074/stat : 12074 (runsolver) R 12072 12074 11518 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271266495 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12074/statm: 4635 279 244 17 0 2626 0
[startup+0.102952 s]
/proc/loadavg: 2.05 2.03 2.00 4/93 12075
/proc/meminfo: memFree=1218024/2055920 swapFree=4180552/4192956
[pid=12074] ppid=12072 vsize=913228 CPUtime=0.07
/proc/12074/stat : 12074 (java) S 12072 12074 11518 0 -1 0 2893 0 1 0 6 1 0 0 18 0 8 0 271266495 935145472 2639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12074/statm: 228307 2639 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.511023 s]
/proc/loadavg: 2.05 2.03 2.00 4/93 12075
/proc/meminfo: memFree=1218024/2055920 swapFree=4180552/4192956
[pid=12074] ppid=12072 vsize=915332 CPUtime=0.48
/proc/12074/stat : 12074 (java) R 12072 12074 11518 0 -1 0 6292 0 1 0 44 4 0 0 18 0 8 0 271266495 937299968 6031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12074/statm: 228833 6031 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33217 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 12082
/proc/meminfo: memFree=1199280/2055920 swapFree=4180552/4192956
[pid=12074] ppid=12072 vsize=915464 CPUtime=1.29
/proc/12074/stat : 12074 (java) R 12072 12074 11518 0 -1 0 7350 0 1 0 112 17 0 0 25 0 8 0 271266495 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12074/statm: 228866 7088 2476 14 0 215336 0
[pid=12074/tid=12076] ppid=12072 vsize=915464 CPUtime=0.03
/proc/12074/task/12076/stat : 12076 (java) S 12072 12074 11518 0 -1 64 191 0 0 0 3 0 0 0 16 0 8 0 271266499 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12077] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12077/stat : 12077 (java) S 12072 12074 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271266499 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12078] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12078/stat : 12078 (java) S 12072 12074 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271266499 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12079] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12079/stat : 12079 (java) S 12072 12074 11518 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271266503 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12080] ppid=12072 vsize=915464 CPUtime=0.16
/proc/12074/task/12080/stat : 12080 (java) S 12072 12074 11518 0 -1 64 346 0 0 0 15 1 0 0 16 0 8 0 271266503 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12081] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12081/stat : 12081 (java) S 12072 12074 11518 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271266503 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12082] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12082/stat : 12082 (java) S 12072 12074 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271266503 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.97547 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 12082
/proc/meminfo: memFree=1199216/2055920 swapFree=4180552/4192956
[pid=12074] ppid=12072 vsize=915464 CPUtime=2.92
/proc/12074/stat : 12074 (java) R 12072 12074 11518 0 -1 0 7351 0 1 0 247 45 0 0 25 0 8 0 271266495 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12074/statm: 228866 7088 2476 14 0 215336 0
[pid=12074/tid=12076] ppid=12072 vsize=915464 CPUtime=0.03
/proc/12074/task/12076/stat : 12076 (java) S 12072 12074 11518 0 -1 64 191 0 0 0 3 0 0 0 16 0 8 0 271266499 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12077] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12077/stat : 12077 (java) S 12072 12074 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271266499 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12078] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12078/stat : 12078 (java) S 12072 12074 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271266499 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12079] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12079/stat : 12079 (java) S 12072 12074 11518 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271266503 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12080] ppid=12072 vsize=915464 CPUtime=0.16
/proc/12074/task/12080/stat : 12080 (java) S 12072 12074 11518 0 -1 64 346 0 0 0 15 1 0 0 16 0 8 0 271266503 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12081] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12081/stat : 12081 (java) S 12072 12074 11518 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271266503 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12082] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12082/stat : 12082 (java) S 12072 12074 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271266503 937435136 7088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.26708 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 12082
/proc/meminfo: memFree=1199152/2055920 swapFree=4180552/4192956
[pid=12074] ppid=12072 vsize=915468 CPUtime=6.17
/proc/12074/stat : 12074 (java) R 12072 12074 11518 0 -1 0 7354 0 1 0 512 105 0 0 25 0 8 0 271266495 937439232 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12074/statm: 228867 7091 2476 14 0 215337 0
[pid=12074/tid=12076] ppid=12072 vsize=915468 CPUtime=0.03
/proc/12074/task/12076/stat : 12076 (java) S 12072 12074 11518 0 -1 64 191 0 0 0 3 0 0 0 16 0 8 0 271266499 937439232 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12077] ppid=12072 vsize=915468 CPUtime=0
/proc/12074/task/12077/stat : 12077 (java) S 12072 12074 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271266499 937439232 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12078] ppid=12072 vsize=915468 CPUtime=0
/proc/12074/task/12078/stat : 12078 (java) S 12072 12074 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271266499 937439232 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12079] ppid=12072 vsize=915468 CPUtime=0
/proc/12074/task/12079/stat : 12079 (java) S 12072 12074 11518 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271266503 937439232 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12080] ppid=12072 vsize=915468 CPUtime=0.16
/proc/12074/task/12080/stat : 12080 (java) S 12072 12074 11518 0 -1 64 349 0 0 0 15 1 0 0 16 0 8 0 271266503 937439232 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12081] ppid=12072 vsize=915468 CPUtime=0
/proc/12074/task/12081/stat : 12081 (java) S 12072 12074 11518 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271266503 937439232 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12082] ppid=12072 vsize=915468 CPUtime=0
/proc/12074/task/12082/stat : 12082 (java) S 12072 12074 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271266503 937439232 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915468
[startup+12.7453 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 12082
/proc/meminfo: memFree=1199152/2055920 swapFree=4180552/4192956
[pid=12074] ppid=12072 vsize=915464 CPUtime=12.59
/proc/12074/stat : 12074 (java) R 12072 12074 11518 0 -1 0 7354 0 1 0 1046 213 0 0 25 0 8 0 271266495 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10860696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12074/statm: 228866 7091 2476 14 0 215336 0
[pid=12074/tid=12076] ppid=12072 vsize=915464 CPUtime=0.03
/proc/12074/task/12076/stat : 12076 (java) S 12072 12074 11518 0 -1 64 191 0 0 0 3 0 0 0 16 0 8 0 271266499 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12077] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12077/stat : 12077 (java) S 12072 12074 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271266499 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12078] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12078/stat : 12078 (java) S 12072 12074 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271266499 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12079] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12079/stat : 12079 (java) S 12072 12074 11518 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271266503 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12080] ppid=12072 vsize=915464 CPUtime=0.16
/proc/12074/task/12080/stat : 12080 (java) S 12072 12074 11518 0 -1 64 349 0 0 0 15 1 0 0 16 0 8 0 271266503 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12081] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12081/stat : 12081 (java) S 12072 12074 11518 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271266503 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12082] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12082/stat : 12082 (java) S 12072 12074 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271266503 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464
[startup+25.6026 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 12082
/proc/meminfo: memFree=1199344/2055920 swapFree=4180552/4192956
[pid=12074] ppid=12072 vsize=915464 CPUtime=25.34
/proc/12074/stat : 12074 (java) R 12072 12074 11518 0 -1 0 7354 0 1 0 2110 424 0 0 25 0 8 0 271266495 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12074/statm: 228866 7091 2476 14 0 215336 0
[pid=12074/tid=12076] ppid=12072 vsize=915464 CPUtime=0.03
/proc/12074/task/12076/stat : 12076 (java) S 12072 12074 11518 0 -1 64 191 0 0 0 3 0 0 0 16 0 8 0 271266499 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12077] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12077/stat : 12077 (java) S 12072 12074 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271266499 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12078] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12078/stat : 12078 (java) S 12072 12074 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271266499 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12079] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12079/stat : 12079 (java) S 12072 12074 11518 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271266503 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12080] ppid=12072 vsize=915464 CPUtime=0.16
/proc/12074/task/12080/stat : 12080 (java) S 12072 12074 11518 0 -1 64 349 0 0 0 15 1 0 0 16 0 8 0 271266503 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12081] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12081/stat : 12081 (java) S 12072 12074 11518 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271266503 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12074/tid=12082] ppid=12072 vsize=915464 CPUtime=0
/proc/12074/task/12082/stat : 12082 (java) S 12072 12074 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271266503 937435136 7091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 35.2868
CPU time (s): 34.9077
CPU user time (s): 29.8085
CPU system time (s): 5.09922
CPU usage (%): 98.9257
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.8085
system time used= 5.09922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9165
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= 1864
involuntary context switches= 3553
runsolver used 0.052991 s user time and 0.117982 s system time
The end
Begin job on node2 on Fri Jan 19 17:45:08 UTC 2007
IDJOB= 275891
IDBENCH= 5114
IDSOLVER= 69
FILE ID= node2/275891-1169228708
PBS_JOBID= 3588968
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-1-40/composed-25-1-40-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275891-1169228708/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-275891-1169228708 -o ROOT/results/node2/solver-275891-1169228708 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275891-1169228708/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e81361ec4d2007a67e83ac3c416ef1c1
RANDOM SEED= 739348620
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.259
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 : 5931.00
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.259
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: 1218504 kB
Buffers: 44412 kB
Cached: 612804 kB
SwapCached: 548 kB
Active: 211100 kB
Inactive: 553088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1218504 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 1724 kB
Writeback: 0 kB
Mapped: 128384 kB
Slab: 57752 kB
Committed_AS: 7774364 kB
PageTables: 2552 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 node2 on Fri Jan 19 17:45:44 UTC 2007