0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/275347-1169220278/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=33 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.40 => wckTime=0.095 cpuTime=0.09 mem=6M887
0.40
0.40 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=302 nbRelationTypes=302 nbExtensionStructures=302 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=302 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5449 maxDegree=24
0.57 maxArity=2
0.57 => wckTime=0.262 cpuTime=0.19 mem=9M829
0.61
0.61 solver LocalSearchSolver being built...
0.65 => wckTime=0.341 cpuTime=0.23 mem=5M684
0.65
0.65 s SATISFIABLE
0.65 o 263
0.65 c 39
0.65 o 267
0.65 c 35
0.66 o 270
0.66 c 32
0.66 o 273
0.66 c 29
0.66 o 277
0.66 c 25
0.66 o 280
0.66 c 22
0.66 o 283
0.66 c 19
0.66 o 285
0.66 c 17
0.66 o 286
0.66 c 16
0.66 o 289
0.66 c 13
0.66 o 291
0.66 c 11
0.66 o 292
0.66 c 10
0.66 o 294
0.66 c 8
0.66 o 295
0.66 c 7
0.66 o 296
0.66 c 6
0.66 o 297
0.66 c 5
0.67 o 298
0.67 c 4
0.67 o 299
0.67 c 3
0.68 o 300
0.68 c 2
3.28
3.28 search
3.28 run=0 nbConstraintChecks=18271614 nbAssignments=10000
3.28 => wckTime=2.631 cpuTime=2.6 mem=5M684
5.90
5.90 search
5.90 run=1 nbConstraintChecks=37017307 nbAssignments=20000
5.90 => wckTime=5.248 cpuTime=5.22 mem=5M684
8.45
8.46 search
8.46 run=2 nbConstraintChecks=55247288 nbAssignments=30000
8.46 => wckTime=7.807 cpuTime=7.78 mem=5M684
11.09
11.09 search
11.09 run=3 nbConstraintChecks=73988820 nbAssignments=40000
11.09 => wckTime=10.442 cpuTime=10.42 mem=5M684
13.70
13.70 search
13.70 run=4 nbConstraintChecks=92340355 nbAssignments=50000
13.70 => wckTime=13.041 cpuTime=13.01 mem=5M684
16.39
16.39 search
16.39 run=5 nbConstraintChecks=111620325 nbAssignments=60000
16.39 => wckTime=15.747 cpuTime=15.71 mem=5M684
18.93
18.93 search
18.93 run=6 nbConstraintChecks=129429139 nbAssignments=70000
18.93 => wckTime=18.279 cpuTime=18.25 mem=5M684
21.61
21.61 search
21.61 run=7 nbConstraintChecks=148788832 nbAssignments=80000
21.61 => wckTime=20.963 cpuTime=20.93 mem=5M684
24.10
24.10 search
24.10 run=8 nbConstraintChecks=166396958 nbAssignments=90000
24.10 => wckTime=23.453 cpuTime=23.41 mem=5M684
26.81
26.81 search
26.81 run=9 nbConstraintChecks=186007678 nbAssignments=100000
26.81 => wckTime=26.165 cpuTime=26.13 mem=5M684
29.42
29.42 search
29.42 run=10 nbConstraintChecks=204656189 nbAssignments=110000
29.42 => wckTime=28.775 cpuTime=28.74 mem=5M684
30.71
30.71 search
30.71 run=11 nbConstraintChecks=213713586 nbAssignments=114922
30.71 => wckTime=30.058 cpuTime=30.03 mem=5M684
30.71
30.71 global
30.71 nbConstraintChecks=213713586 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.71 solvingWckTime=30.057 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.71 globalCpuTime=30.29
30.71 => wckTime=30.4 cpuTime=30.26 mem=5M684
30.71
30.71 solver IterativeSystematicSolver being built...
30.84 => wckTime=30.534 cpuTime=30.36 mem=16M673
30.90
30.90 preprocessing
30.90 nbConstraintChecks=35116 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.90 detectedInconsistency=no
30.90 => wckTime=0.058 cpuTime=0.03 mem=16M673
30.98
30.98 search
30.98 run=0 nbConstraintChecks=125855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71
30.98 nbFailedAssignments=49 nbBacktracks=11 nbVisitedNodes=132 nbRestartNogoods=0
30.98 => wckTime=0.132 cpuTime=0.1 mem=16M673
31.02
31.02 search
31.02 run=1 nbConstraintChecks=204829 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=113
31.02 nbFailedAssignments=64 nbBacktracks=26 nbVisitedNodes=204 nbRestartNogoods=12
31.03 => wckTime=0.181 cpuTime=0.14 mem=16M673
31.09
31.09 search
31.09 run=2 nbConstraintChecks=362057 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=183
31.09 nbFailedAssignments=100 nbBacktracks=48 nbVisitedNodes=332 nbRestartNogoods=21
31.09 => wckTime=0.243 cpuTime=0.2 mem=16M673
31.15
31.15 search
31.15 run=3 nbConstraintChecks=560116 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=276
31.15 nbFailedAssignments=145 nbBacktracks=83 nbVisitedNodes=505 nbRestartNogoods=35
31.15 => wckTime=0.306 cpuTime=0.26 mem=16M673
31.23
31.23 search
31.23 run=4 nbConstraintChecks=860504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=408
31.23 nbFailedAssignments=209 nbBacktracks=133 nbVisitedNodes=751 nbRestartNogoods=44
31.23 => wckTime=0.385 cpuTime=0.34 mem=16M673
31.40
31.40 search
31.40 run=5 nbConstraintChecks=1318041 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=633
31.40 nbFailedAssignments=347 nbBacktracks=208 nbVisitedNodes=1189 nbRestartNogoods=54
31.40 => wckTime=0.553 cpuTime=0.51 mem=16M673
31.58
31.58 search
31.58 run=6 nbConstraintChecks=1869937 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=901
31.58 nbFailedAssignments=493 nbBacktracks=321 nbVisitedNodes=1716 nbRestartNogoods=63
31.58 => wckTime=0.732 cpuTime=0.69 mem=16M673
31.91
31.91 search
31.91 run=7 nbConstraintChecks=2950443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1394
31.91 nbFailedAssignments=802 nbBacktracks=492 nbVisitedNodes=2685 nbRestartNogoods=69
31.91 => wckTime=1.068 cpuTime=1.02 mem=16M673
32.26
32.26 search
32.26 run=8 nbConstraintChecks=4036946 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1936
32.26 nbFailedAssignments=1075 nbBacktracks=751 nbVisitedNodes=3759 nbRestartNogoods=81
32.26 => wckTime=1.412 cpuTime=1.34 mem=16M673
32.44
32.44 search
32.44 run=9 nbConstraintChecks=4280469 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2165
32.44 nbFailedAssignments=1260 nbBacktracks=796 nbVisitedNodes=4214 nbRestartNogoods=91
32.44 => wckTime=1.592 cpuTime=1.52 mem=16M673
32.44
32.44 global
32.44 nbConstraintChecks=4315585 nbRestartNogoods=91 solvingWckTime=1.593 solvingCpuTime=1.52 expiredTime=no
32.44 totalExploration=yes nbFoundSolutions=0 globalCpuTime=31.91
32.44 => wckTime=32.128 cpuTime=31.88 mem=16M673
32.44
32.44 s OPTIMUM FOUND
32.44 v 5 9 8 3 6 9 0 2 2 0 2 9 5 1 4 8 5 0 6 6 1 4 0 6 8 1 4 7 7 5 9 7 1
32.44
32.44 totalWckTime=32.204 totalCpuTime=31.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-275347-1169220278 -o ROOT/results/node21/solver-275347-1169220278 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275347-1169220278/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.92 1.98 1.98 5/82 5611
/proc/meminfo: memFree=1419568/2055920 swapFree=4156356/4192956
[pid=5610] ppid=5608 vsize=18540 CPUtime=0
/proc/5610/stat : 5610 (runsolver) R 5608 5610 5010 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 270422394 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/5610/statm: 4635 279 244 17 0 2626 0
[startup+0.102921 s]
/proc/loadavg: 1.92 1.98 1.98 5/82 5611
/proc/meminfo: memFree=1419568/2055920 swapFree=4156356/4192956
[pid=5610] ppid=5608 vsize=913236 CPUtime=0.07
/proc/5610/stat : 5610 (java) R 5608 5610 5010 0 -1 0 2920 0 1 0 6 1 0 0 19 0 8 0 270422394 935153664 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5610/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913236
[startup+0.510997 s]
/proc/loadavg: 1.92 1.98 1.98 5/82 5611
/proc/meminfo: memFree=1419568/2055920 swapFree=4156356/4192956
[pid=5610] ppid=5608 vsize=915332 CPUtime=0.48
/proc/5610/stat : 5610 (java) S 5608 5610 5010 0 -1 0 6470 0 1 0 44 4 0 0 16 0 8 0 270422394 937299968 6209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5610/statm: 228833 6209 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33215 s]
/proc/loadavg: 1.92 1.98 1.98 3/89 5623
/proc/meminfo: memFree=1401720/2055920 swapFree=4156356/4192956
[pid=5610] ppid=5608 vsize=916492 CPUtime=1.3
/proc/5610/stat : 5610 (java) R 5608 5610 5010 0 -1 0 7425 0 1 0 115 15 0 0 17 0 8 0 270422394 938487808 7163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5610/statm: 229122 7163 2479 14 0 215592 0
[pid=5610/tid=5614] ppid=5608 vsize=916488 CPUtime=0.02
/proc/5610/task/5614/stat : 5614 (java) S 5608 5610 5010 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 270422399 938483712 7163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5615] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5615/stat : 5615 (java) S 5608 5610 5010 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270422399 938483712 7163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5616] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5616/stat : 5616 (java) S 5608 5610 5010 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270422399 938483712 7163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5617] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5617/stat : 5617 (java) S 5608 5610 5010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270422402 938483712 7163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5618] ppid=5608 vsize=916488 CPUtime=0.14
/proc/5610/task/5618/stat : 5618 (java) S 5608 5610 5010 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 270422402 938483712 7163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5619] ppid=5608 vsize=916492 CPUtime=0
/proc/5610/task/5619/stat : 5619 (java) S 5608 5610 5010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270422402 938487808 7163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5620] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5620/stat : 5620 (java) S 5608 5610 5010 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270422402 938483712 7163 18446744073709551615 134512640 134570532 4294956464 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) 916492
[startup+2.98446 s]
/proc/loadavg: 1.92 1.98 1.98 3/100 5665
/proc/meminfo: memFree=1380320/2055920 swapFree=4156356/4192956
[pid=5610] ppid=5608 vsize=916488 CPUtime=2.95
/proc/5610/stat : 5610 (java) R 5608 5610 5010 0 -1 0 7427 0 1 0 255 40 0 0 19 0 8 0 270422394 938483712 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5610/statm: 229122 7164 2479 14 0 215592 0
[pid=5610/tid=5614] ppid=5608 vsize=916488 CPUtime=0.02
/proc/5610/task/5614/stat : 5614 (java) S 5608 5610 5010 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 270422399 938483712 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5615] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5615/stat : 5615 (java) S 5608 5610 5010 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270422399 938483712 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5616] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5616/stat : 5616 (java) S 5608 5610 5010 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270422399 938483712 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5617] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5617/stat : 5617 (java) S 5608 5610 5010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270422402 938483712 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5618] ppid=5608 vsize=916488 CPUtime=0.14
/proc/5610/task/5618/stat : 5618 (java) S 5608 5610 5010 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 270422402 938483712 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5619] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5619/stat : 5619 (java) S 5608 5610 5010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270422402 938483712 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5620] ppid=5608 vsize=916492 CPUtime=0
/proc/5610/task/5620/stat : 5620 (java) S 5608 5610 5010 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270422402 938487808 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 916488
[startup+6.26609 s]
/proc/loadavg: 1.93 1.98 1.98 3/100 5665
/proc/meminfo: memFree=1380320/2055920 swapFree=4156356/4192956
[pid=5610] ppid=5608 vsize=916488 CPUtime=6.24
/proc/5610/stat : 5610 (java) R 5608 5610 5010 0 -1 0 7429 0 1 0 533 91 0 0 25 0 8 0 270422394 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5610/statm: 229122 7166 2479 14 0 215592 0
[pid=5610/tid=5614] ppid=5608 vsize=916488 CPUtime=0.02
/proc/5610/task/5614/stat : 5614 (java) S 5608 5610 5010 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 270422399 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5615] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5615/stat : 5615 (java) S 5608 5610 5010 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270422399 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5616] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5616/stat : 5616 (java) S 5608 5610 5010 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270422399 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5617] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5617/stat : 5617 (java) S 5608 5610 5010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5618] ppid=5608 vsize=916488 CPUtime=0.14
/proc/5610/task/5618/stat : 5618 (java) S 5608 5610 5010 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5619] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5619/stat : 5619 (java) S 5608 5610 5010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5620] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5620/stat : 5620 (java) S 5608 5610 5010 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916488
[startup+12.7493 s]
/proc/loadavg: 1.93 1.98 1.98 3/100 5665
/proc/meminfo: memFree=1380336/2055920 swapFree=4156356/4192956
[pid=5610] ppid=5608 vsize=916488 CPUtime=12.72
/proc/5610/stat : 5610 (java) R 5608 5610 5010 0 -1 0 7429 0 1 0 1083 189 0 0 16 0 8 0 270422394 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5610/statm: 229122 7166 2479 14 0 215592 0
[pid=5610/tid=5614] ppid=5608 vsize=916488 CPUtime=0.02
/proc/5610/task/5614/stat : 5614 (java) S 5608 5610 5010 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 270422399 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5615] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5615/stat : 5615 (java) S 5608 5610 5010 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270422399 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5616] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5616/stat : 5616 (java) S 5608 5610 5010 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270422399 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5617] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5617/stat : 5617 (java) S 5608 5610 5010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5618] ppid=5608 vsize=916492 CPUtime=0.14
/proc/5610/task/5618/stat : 5618 (java) S 5608 5610 5010 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 270422402 938487808 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5619] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5619/stat : 5619 (java) S 5608 5610 5010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5620] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5620/stat : 5620 (java) S 5608 5610 5010 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 916488
[startup+25.5928 s]
/proc/loadavg: 1.95 1.98 1.98 3/100 5665
/proc/meminfo: memFree=1380400/2055920 swapFree=4156356/4192956
[pid=5610] ppid=5608 vsize=916488 CPUtime=25.55
/proc/5610/stat : 5610 (java) R 5608 5610 5010 0 -1 0 7429 0 1 0 2178 377 0 0 25 0 8 0 270422394 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5610/statm: 229122 7166 2479 14 0 215592 0
[pid=5610/tid=5614] ppid=5608 vsize=916488 CPUtime=0.02
/proc/5610/task/5614/stat : 5614 (java) S 5608 5610 5010 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 270422399 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5615] ppid=5608 vsize=916492 CPUtime=0
/proc/5610/task/5615/stat : 5615 (java) S 5608 5610 5010 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270422399 938487808 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5616] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5616/stat : 5616 (java) S 5608 5610 5010 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270422399 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5617] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5617/stat : 5617 (java) S 5608 5610 5010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5618] ppid=5608 vsize=916488 CPUtime=0.14
/proc/5610/task/5618/stat : 5618 (java) S 5608 5610 5010 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5610/tid=5619] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5619/stat : 5619 (java) S 5608 5610 5010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5610/tid=5620] ppid=5608 vsize=916488 CPUtime=0
/proc/5610/task/5620/stat : 5620 (java) S 5608 5610 5010 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270422402 938483712 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 916488
Child status: 0
Real time (s): 32.4555
CPU time (s): 32.4161
CPU user time (s): 27.7748
CPU system time (s): 4.64129
CPU usage (%): 99.8786
Max. virtual memory (cumulated for all children) (KiB): 916492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7748
system time used= 4.64129
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9177
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= 1699
involuntary context switches= 1060
runsolver used 0.046992 s user time and 0.087986 s system time
The end
Begin job on node21 on Fri Jan 19 15:24:38 UTC 2007
IDJOB= 275347
IDBENCH= 3800
IDSOLVER= 68
FILE ID= node21/275347-1169220278
PBS_JOBID= 3589132
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-1-80/composed-25-1-80-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275347-1169220278/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-275347-1169220278 -o ROOT/results/node21/solver-275347-1169220278 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275347-1169220278/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 70102c09a77ddb36ccf396a11be759d6
RANDOM SEED= 822779692
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: 1420944 kB
Buffers: 45008 kB
Cached: 483144 kB
SwapCached: 2928 kB
Active: 139640 kB
Inactive: 419556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1420944 kB
SwapTotal: 4192956 kB
SwapFree: 4156356 kB
Dirty: 1736 kB
Writeback: 0 kB
Mapped: 40100 kB
Slab: 60764 kB
Committed_AS: 4772696 kB
PageTables: 2036 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node21 on Fri Jan 19 15:25:11 UTC 2007