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/276109-1169231293/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=33 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=224 nbRelationTypes=224 nbExtensionStructures=224 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=224 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3903 maxDegree=21
0.57 maxArity=2
0.57 => wckTime=0.254 cpuTime=0.18 mem=8M854
0.61
0.61 solver LocalSearchSolver being built...
0.65 => wckTime=0.339 cpuTime=0.23 mem=5M607
0.66
0.66 s SATISFIABLE
0.66 o 188
0.66 c 36
0.66 o 192
0.66 c 32
0.66 o 196
0.66 c 28
0.66 o 200
0.66 c 24
0.66 o 203
0.66 c 21
0.66 o 206
0.66 c 18
0.66 o 208
0.66 c 16
0.66 o 210
0.66 c 14
0.66 o 212
0.66 c 12
0.66 o 214
0.66 c 10
0.66 o 215
0.66 c 9
0.67 o 216
0.67 c 8
0.67 o 217
0.67 c 7
0.67 o 218
0.67 c 6
0.67 o 219
0.67 c 5
0.67 o 220
0.67 c 4
0.68 o 221
0.68 c 3
0.68 o 222
0.68 c 2
2.89
2.89 search
2.89 run=0 nbConstraintChecks=14211195 nbAssignments=10000
2.89 => wckTime=2.238 cpuTime=2.22 mem=5M607
5.15
5.15 search
5.15 run=1 nbConstraintChecks=29332666 nbAssignments=20000
5.15 => wckTime=4.502 cpuTime=4.46 mem=5M607
7.35
7.35 search
7.35 run=2 nbConstraintChecks=43802466 nbAssignments=30000
7.35 => wckTime=6.699 cpuTime=6.65 mem=5M607
9.61
9.61 search
9.61 run=3 nbConstraintChecks=58866692 nbAssignments=40000
9.61 => wckTime=8.962 cpuTime=8.91 mem=5M607
11.79
11.79 search
11.79 run=4 nbConstraintChecks=73155980 nbAssignments=50000
11.79 => wckTime=11.14 cpuTime=11.07 mem=5M607
14.08
14.08 search
14.08 run=5 nbConstraintChecks=88421308 nbAssignments=60000
14.08 => wckTime=13.433 cpuTime=13.35 mem=5M607
16.24
16.24 search
16.24 run=6 nbConstraintChecks=102633634 nbAssignments=70000
16.24 => wckTime=15.588 cpuTime=15.49 mem=5M607
18.47
18.48 search
18.48 run=7 nbConstraintChecks=117612615 nbAssignments=80000
18.48 => wckTime=17.824 cpuTime=17.72 mem=5M607
20.68
20.68 search
20.68 run=8 nbConstraintChecks=132235511 nbAssignments=90000
20.68 => wckTime=20.025 cpuTime=19.91 mem=5M607
22.93
22.93 search
22.93 run=9 nbConstraintChecks=147346981 nbAssignments=100000
22.93 => wckTime=22.277 cpuTime=22.15 mem=5M607
25.07
25.07 search
25.07 run=10 nbConstraintChecks=161384184 nbAssignments=110000
25.07 => wckTime=24.417 cpuTime=24.28 mem=5M607
27.33
27.33 search
27.33 run=11 nbConstraintChecks=176391869 nbAssignments=120000
27.33 => wckTime=26.676 cpuTime=26.53 mem=5M607
29.54
29.54 search
29.54 run=12 nbConstraintChecks=190930319 nbAssignments=130000
29.54 => wckTime=28.884 cpuTime=28.73 mem=5M607
30.85
30.85 search
30.85 run=13 nbConstraintChecks=199465206 nbAssignments=136106
30.85 => wckTime=30.193 cpuTime=30.04 mem=5M607
30.85
30.85 global
30.85 nbConstraintChecks=199465206 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.85 solvingWckTime=30.193 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.85 globalCpuTime=30.31
30.85 => wckTime=30.534 cpuTime=30.26 mem=5M607
30.85
30.85 solver IterativeSystematicSolver being built...
30.98 => wckTime=30.667 cpuTime=30.37 mem=16M515
31.03
31.03 preprocessing
31.03 nbConstraintChecks=26629 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.03 detectedInconsistency=no
31.03 => wckTime=0.051 cpuTime=0.03 mem=16M515
31.07
31.07 search
31.07 run=0 nbConstraintChecks=57263 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50
31.07 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=79 nbRestartNogoods=0
31.07 => wckTime=0.081 cpuTime=0.05 mem=16M515
31.11
31.11 search
31.12 run=1 nbConstraintChecks=163426 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109
31.12 nbFailedAssignments=48 nbBacktracks=25 nbVisitedNodes=183 nbRestartNogoods=10
31.12 => wckTime=0.133 cpuTime=0.09 mem=16M515
31.17
31.17 search
31.17 run=2 nbConstraintChecks=310904 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=191
31.18 nbFailedAssignments=95 nbBacktracks=47 nbVisitedNodes=334 nbRestartNogoods=16
31.18 => wckTime=0.193 cpuTime=0.14 mem=16M515
31.21
31.21 search
31.21 run=3 nbConstraintChecks=425482 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=270
31.21 nbFailedAssignments=120 nbBacktracks=80 nbVisitedNodes=471 nbRestartNogoods=20
31.21 => wckTime=0.232 cpuTime=0.18 mem=16M515
31.30
31.30 search
31.30 run=4 nbConstraintChecks=663528 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=427
31.30 nbFailedAssignments=203 nbBacktracks=130 nbVisitedNodes=760 nbRestartNogoods=23
31.30 => wckTime=0.319 cpuTime=0.26 mem=16M515
31.37
31.37 search
31.37 run=5 nbConstraintChecks=924053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=637
31.37 nbFailedAssignments=312 nbBacktracks=212 nbVisitedNodes=1160 nbRestartNogoods=33
31.37 => wckTime=0.389 cpuTime=0.33 mem=16M515
31.47
31.47 search
31.47 run=6 nbConstraintChecks=1313189 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=918
31.47 nbFailedAssignments=466 nbBacktracks=325 nbVisitedNodes=1704 nbRestartNogoods=37
31.47 => wckTime=0.489 cpuTime=0.43 mem=16M515
31.81
31.81 search
31.81 run=7 nbConstraintChecks=2135555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1483
31.81 nbFailedAssignments=860 nbBacktracks=495 nbVisitedNodes=2833 nbRestartNogoods=43
31.81 => wckTime=0.826 cpuTime=0.75 mem=16M515
32.20
32.20 search
32.20 run=8 nbConstraintChecks=2949265 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2085
32.20 nbFailedAssignments=1193 nbBacktracks=751 nbVisitedNodes=3999 nbRestartNogoods=49
32.20 => wckTime=1.219 cpuTime=1.13 mem=16M515
32.70
32.70 search
32.70 run=9 nbConstraintChecks=4272533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3025
32.71 nbFailedAssignments=1736 nbBacktracks=1135 nbVisitedNodes=5866 nbRestartNogoods=56
32.71 => wckTime=1.723 cpuTime=1.63 mem=16M515
32.95
32.95 search
32.95 run=10 nbConstraintChecks=4740301 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3452
32.95 nbFailedAssignments=1998 nbBacktracks=1301 nbVisitedNodes=6720 nbRestartNogoods=62
32.95 => wckTime=1.966 cpuTime=1.87 mem=16M515
32.95
32.95 global
32.95 nbConstraintChecks=4766930 nbRestartNogoods=62 solvingWckTime=1.967 solvingCpuTime=1.87 expiredTime=no
32.95 totalExploration=yes nbFoundSolutions=0 globalCpuTime=32.29
32.95 => wckTime=32.635 cpuTime=32.24 mem=16M515
32.95
32.95 s OPTIMUM FOUND
32.95 v 7 1 3 5 5 3 1 9 9 1 7 4 2 8 8 5 9 1 1 9 2 7 3 0 0 4 3 3 9 8 4 3 8
32.95
32.95 totalWckTime=32.717 totalCpuTime=32.29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-276109-1169231293 -o ROOT/results/node17/solver-276109-1169231293 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276109-1169231293/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.75 1.93 1.97 4/87 7465
/proc/meminfo: memFree=1324304/2055920 swapFree=4192812/4192956
[pid=7464] ppid=7462 vsize=18540 CPUtime=0
/proc/7464/stat : 7464 (runsolver) R 7462 7464 7231 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271524076 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7464/statm: 4635 279 244 17 0 2626 0
[startup+0.102891 s]
/proc/loadavg: 1.75 1.93 1.97 4/87 7465
/proc/meminfo: memFree=1324304/2055920 swapFree=4192812/4192956
[pid=7464] ppid=7462 vsize=914988 CPUtime=0.08
/proc/7464/stat : 7464 (java) R 7462 7464 7231 0 -1 0 2979 0 1 0 7 1 0 0 17 0 8 0 271524076 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7464/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510974 s]
/proc/loadavg: 1.75 1.93 1.97 4/87 7465
/proc/meminfo: memFree=1324304/2055920 swapFree=4192812/4192956
[pid=7464] ppid=7462 vsize=915332 CPUtime=0.49
/proc/7464/stat : 7464 (java) R 7462 7464 7231 0 -1 0 6332 0 1 0 45 4 0 0 18 0 8 0 271524076 937299968 6071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7464/statm: 228833 6071 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33501 s]
/proc/loadavg: 1.75 1.93 1.97 3/94 7472
/proc/meminfo: memFree=1305752/2055920 swapFree=4192812/4192956
[pid=7464] ppid=7462 vsize=915468 CPUtime=1.3
/proc/7464/stat : 7464 (java) R 7462 7464 7231 0 -1 0 7298 0 1 0 112 18 0 0 25 0 8 0 271524076 937439232 7036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7464/statm: 228867 7036 2479 14 0 215337 0
[pid=7464/tid=7466] ppid=7462 vsize=915468 CPUtime=0.02
/proc/7464/task/7466/stat : 7466 (java) S 7462 7464 7231 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 271524080 937439232 7036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7467] ppid=7462 vsize=915468 CPUtime=0
/proc/7464/task/7467/stat : 7467 (java) S 7462 7464 7231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271524081 937439232 7036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7468] ppid=7462 vsize=915468 CPUtime=0
/proc/7464/task/7468/stat : 7468 (java) S 7462 7464 7231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271524081 937439232 7036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7469] ppid=7462 vsize=915468 CPUtime=0
/proc/7464/task/7469/stat : 7469 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271524084 937439232 7036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7470] ppid=7462 vsize=915468 CPUtime=0.13
/proc/7464/task/7470/stat : 7470 (java) S 7462 7464 7231 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 271524084 937439232 7036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7471] ppid=7462 vsize=915468 CPUtime=0
/proc/7464/task/7471/stat : 7471 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271524084 937439232 7036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7472] ppid=7462 vsize=915468 CPUtime=0
/proc/7464/task/7472/stat : 7472 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271524084 937439232 7036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915468
[startup+2.98119 s]
/proc/loadavg: 1.75 1.93 1.97 3/94 7472
/proc/meminfo: memFree=1305752/2055920 swapFree=4192812/4192956
[pid=7464] ppid=7462 vsize=915464 CPUtime=2.94
/proc/7464/stat : 7464 (java) R 7462 7464 7231 0 -1 0 7301 0 1 0 248 46 0 0 25 0 8 0 271524076 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7464/statm: 228866 7038 2479 14 0 215336 0
[pid=7464/tid=7466] ppid=7462 vsize=915464 CPUtime=0.02
/proc/7464/task/7466/stat : 7466 (java) S 7462 7464 7231 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 271524080 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7467] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7467/stat : 7467 (java) S 7462 7464 7231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271524081 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7468] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7468/stat : 7468 (java) S 7462 7464 7231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271524081 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7469] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7469/stat : 7469 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7470] ppid=7462 vsize=915464 CPUtime=0.13
/proc/7464/task/7470/stat : 7470 (java) S 7462 7464 7231 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7471] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7471/stat : 7471 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7472] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7472/stat : 7472 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.26053 s]
/proc/loadavg: 1.77 1.93 1.97 3/94 7472
/proc/meminfo: memFree=1305688/2055920 swapFree=4192812/4192956
[pid=7464] ppid=7462 vsize=915464 CPUtime=6.21
/proc/7464/stat : 7464 (java) R 7462 7464 7231 0 -1 0 7301 0 1 0 515 106 0 0 25 0 8 0 271524076 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073726444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7464/statm: 228866 7038 2479 14 0 215336 0
[pid=7464/tid=7466] ppid=7462 vsize=915464 CPUtime=0.02
/proc/7464/task/7466/stat : 7466 (java) S 7462 7464 7231 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 271524080 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7467] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7467/stat : 7467 (java) S 7462 7464 7231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271524081 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7468] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7468/stat : 7468 (java) S 7462 7464 7231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271524081 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7469] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7469/stat : 7469 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7470] ppid=7462 vsize=915464 CPUtime=0.13
/proc/7464/task/7470/stat : 7470 (java) S 7462 7464 7231 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7471] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7471/stat : 7471 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7472] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7472/stat : 7472 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915464
[startup+12.7492 s]
/proc/loadavg: 1.79 1.93 1.97 4/94 7472
/proc/meminfo: memFree=1305624/2055920 swapFree=4192812/4192956
[pid=7464] ppid=7462 vsize=915464 CPUtime=12.67
/proc/7464/stat : 7464 (java) R 7462 7464 7231 0 -1 0 7301 0 1 0 1049 218 0 0 25 0 8 0 271524076 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7464/statm: 228866 7038 2479 14 0 215336 0
[pid=7464/tid=7466] ppid=7462 vsize=915464 CPUtime=0.02
/proc/7464/task/7466/stat : 7466 (java) S 7462 7464 7231 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 271524080 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7467] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7467/stat : 7467 (java) S 7462 7464 7231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271524081 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7468] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7468/stat : 7468 (java) S 7462 7464 7231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271524081 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7469] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7469/stat : 7469 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7470] ppid=7462 vsize=915464 CPUtime=0.13
/proc/7464/task/7470/stat : 7470 (java) S 7462 7464 7231 0 -1 64 347 0 0 0 13 0 0 0 17 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7471] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7471/stat : 7471 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7472] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7472/stat : 7472 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915464
[startup+25.5955 s]
/proc/loadavg: 1.84 1.93 1.97 3/94 7472
/proc/meminfo: memFree=1305688/2055920 swapFree=4192812/4192956
[pid=7464] ppid=7462 vsize=915464 CPUtime=25.46
/proc/7464/stat : 7464 (java) R 7462 7464 7231 0 -1 0 7301 0 1 0 2101 445 0 0 25 0 8 0 271524076 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727674 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7464/statm: 228866 7038 2479 14 0 215336 0
[pid=7464/tid=7466] ppid=7462 vsize=915464 CPUtime=0.02
/proc/7464/task/7466/stat : 7466 (java) S 7462 7464 7231 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 271524080 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7467] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7467/stat : 7467 (java) S 7462 7464 7231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271524081 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7468] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7468/stat : 7468 (java) S 7462 7464 7231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271524081 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7469] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7469/stat : 7469 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7470] ppid=7462 vsize=915464 CPUtime=0.13
/proc/7464/task/7470/stat : 7470 (java) S 7462 7464 7231 0 -1 64 347 0 0 0 13 0 0 0 17 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7471] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7471/stat : 7471 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7464/tid=7472] ppid=7462 vsize=915464 CPUtime=0
/proc/7464/task/7472/stat : 7472 (java) S 7462 7464 7231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271524084 937435136 7038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 32.9846
CPU time (s): 32.788
CPU user time (s): 27.4008
CPU system time (s): 5.38718
CPU usage (%): 99.4041
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.4008
system time used= 5.38718
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9157
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= 1779
involuntary context switches= 3026
runsolver used 0.044993 s user time and 0.115982 s system time
The end
Begin job on node17 on Fri Jan 19 18:28:13 UTC 2007
IDJOB= 276109
IDBENCH= 5244
IDSOLVER= 68
FILE ID= node17/276109-1169231293
PBS_JOBID= 3588989
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-1-2/composed-25-1-2-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276109-1169231293/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-276109-1169231293 -o ROOT/results/node17/solver-276109-1169231293 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276109-1169231293/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b3956eedef1d3ae0ff181403ff3b6e4e
RANDOM SEED= 648588852
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.236
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.236
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: 1324784 kB
Buffers: 45056 kB
Cached: 486704 kB
SwapCached: 0 kB
Active: 310212 kB
Inactive: 346004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1324784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1824 kB
Writeback: 0 kB
Mapped: 144616 kB
Slab: 59652 kB
Committed_AS: 7890140 kB
PageTables: 2388 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 node17 on Fri Jan 19 18:28:46 UTC 2007