0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=epfc.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/280738-1169307560/unknown.xml
0.34
0.34 domains being loaded...
0.34
0.34 variables being loaded...
0.38 nbVariables=50 nbDomainTypes=7 minDomainSize=1 maxDomainSize=10
0.38 => wckTime=0.1 cpuTime=0.08 mem=6M887
0.38
0.38 relations being loaded...
0.40
0.40 constraints being loaded...
0.53 nbConstraints=526 nbRelationTypes=95 nbSingletonDomainVariables=1 nbExtensionStructures=271
0.53 nbSharedExtensionStructures=255 nbConflictsStructures=271 nbSharedConflictsStructures=255
0.53 nbSharedBinaryRepresentations=3243 maxDegree=144 maxArity=2
0.53 => wckTime=0.252 cpuTime=0.17 mem=9M829
0.57
0.57 solver LocalSearchSolver being built...
0.61 => wckTime=0.332 cpuTime=0.22 mem=5M747
0.62
0.62 s SATISFIABLE
0.62 o 471
0.62 c 55
0.62 o 479
0.62 c 47
0.62 o 486
0.62 c 40
0.62 o 490
0.62 c 36
0.62 o 494
0.62 c 32
0.62 o 495
0.62 c 31
0.62 o 499
0.62 c 27
0.62 o 503
0.62 c 23
0.62 o 506
0.62 c 20
0.62 o 509
0.62 c 17
0.62 o 512
0.62 c 14
0.62 o 514
0.62 c 12
0.62 o 516
0.62 c 10
0.63 o 518
0.63 c 8
0.63 o 519
0.63 c 7
0.63 o 521
0.63 c 5
0.63 o 522
0.63 c 4
0.64 o 523
0.64 c 3
2.60
2.60 search
2.60 run=0 nbConstraintChecks=12566138 nbAssignments=10000
2.60 => wckTime=1.986 cpuTime=1.96 mem=5M747
4.60
4.60 search
4.60 run=1 nbConstraintChecks=26171950 nbAssignments=20000
4.60 => wckTime=3.987 cpuTime=3.95 mem=5M747
6.46
6.46 search
6.46 run=2 nbConstraintChecks=38682300 nbAssignments=30000
6.46 => wckTime=5.851 cpuTime=5.82 mem=5M747
8.45
8.45 search
8.45 run=3 nbConstraintChecks=52261308 nbAssignments=40000
8.45 => wckTime=7.838 cpuTime=7.81 mem=5M747
10.30
10.30 search
10.30 run=4 nbConstraintChecks=64611918 nbAssignments=50000
10.30 => wckTime=9.685 cpuTime=9.65 mem=5M747
12.33
12.33 search
12.33 run=5 nbConstraintChecks=78618326 nbAssignments=60000
12.33 => wckTime=11.719 cpuTime=11.69 mem=5M747
14.20
14.20 search
14.20 run=6 nbConstraintChecks=91133560 nbAssignments=70000
14.20 => wckTime=13.586 cpuTime=13.55 mem=5M747
16.23
16.23 search
16.23 run=7 nbConstraintChecks=105011871 nbAssignments=80000
16.23 => wckTime=15.62 cpuTime=15.59 mem=5M747
18.13
18.13 search
18.13 run=8 nbConstraintChecks=117646318 nbAssignments=90000
18.13 => wckTime=17.516 cpuTime=17.48 mem=5M747
20.14
20.14 search
20.14 run=9 nbConstraintChecks=131347471 nbAssignments=100000
20.14 => wckTime=19.53 cpuTime=19.5 mem=5M747
22.01
22.01 search
22.01 run=10 nbConstraintChecks=143706662 nbAssignments=110000
22.01 => wckTime=21.395 cpuTime=21.36 mem=5M747
24.04
24.04 search
24.04 run=11 nbConstraintChecks=157551167 nbAssignments=120000
24.04 => wckTime=23.426 cpuTime=23.39 mem=5M747
25.93
25.93 search
25.93 run=12 nbConstraintChecks=170061220 nbAssignments=130000
25.93 => wckTime=25.316 cpuTime=25.26 mem=5M747
27.97
27.97 search
27.97 run=13 nbConstraintChecks=183917665 nbAssignments=140000
27.97 => wckTime=27.356 cpuTime=27.28 mem=5M747
29.83
29.83 search
29.83 run=14 nbConstraintChecks=196214380 nbAssignments=150000
29.83 => wckTime=29.219 cpuTime=29.15 mem=5M747
30.70
30.70 search
30.70 run=15 nbConstraintChecks=202134009 nbAssignments=154266
30.70 => wckTime=30.09 cpuTime=30.02 mem=5M747
30.70
30.70 global
30.70 nbConstraintChecks=202134009 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.70 solvingWckTime=30.089 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.70 globalCpuTime=30.28
30.70 => wckTime=30.423 cpuTime=30.24 mem=5M747
30.70
30.70 solver IterativeSystematicSolver being built...
30.83 => wckTime=30.549 cpuTime=30.34 mem=16M720
30.91
30.91 preprocessing
30.91 nbConstraintChecks=66488 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.91 detectedInconsistency=no
30.91 => wckTime=0.076 cpuTime=0.05 mem=16M720
30.96
30.96 search
30.96 run=0 nbConstraintChecks=74425 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42
30.96 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=56 nbRestartNogoods=0
30.96 => wckTime=0.129 cpuTime=0.1 mem=16M720
31.04
31.04 search
31.04 run=1 nbConstraintChecks=189136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103
31.05 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=144 nbRestartNogoods=2
31.05 => wckTime=0.213 cpuTime=0.18 mem=16M720
31.08
31.08 search
31.08 run=2 nbConstraintChecks=220952 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=116
31.08 nbFailedAssignments=23 nbBacktracks=35 nbVisitedNodes=170 nbRestartNogoods=5
31.08 => wckTime=0.252 cpuTime=0.22 mem=16M720
31.08
31.08 global
31.08 nbConstraintChecks=287440 nbRestartNogoods=5 solvingWckTime=0.253 solvingCpuTime=0.22 expiredTime=no
31.08 totalExploration=yes nbFoundSolutions=0 globalCpuTime=30.6
31.08 => wckTime=30.804 cpuTime=30.56 mem=16M720
31.09
31.09 s OPTIMUM FOUND
31.09 v 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 -1
31.09
31.09 totalWckTime=30.877 totalCpuTime=30.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-280738-1169307560 -o ROOT/results/node76/solver-280738-1169307560 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280738-1169307560/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.69 1.50 1.36 4/73 8898
/proc/meminfo: memFree=1685360/2055888 swapFree=4087964/4096564
[pid=8897] ppid=8895 vsize=1788 CPUtime=0
/proc/8897/stat : 8897 (java) R 8895 8897 8367 0 -1 0 349 0 0 0 0 0 0 0 18 0 1 0 279153179 1830912 141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 5234048 0 0 4096 0 0 0 0 17 1 0 0
/proc/8897/statm: 447 142 108 14 0 91 0
[startup+0.102726 s]
/proc/loadavg: 1.69 1.50 1.36 4/73 8898
/proc/meminfo: memFree=1685360/2055888 swapFree=4087964/4096564
[pid=8897] ppid=8895 vsize=914992 CPUtime=0.08
/proc/8897/stat : 8897 (java) R 8895 8897 8367 0 -1 0 3085 0 1 0 7 1 0 0 16 0 8 0 279153179 936951808 2833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8897/statm: 228748 2833 1458 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.512806 s]
/proc/loadavg: 1.69 1.50 1.36 4/73 8898
/proc/meminfo: memFree=1685360/2055888 swapFree=4087964/4096564
[pid=8897] ppid=8895 vsize=915336 CPUtime=0.5
/proc/8897/stat : 8897 (java) S 8895 8897 8367 0 -1 0 6727 0 1 0 46 4 0 0 16 0 8 0 279153179 937304064 6468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8897/statm: 228834 6468 2153 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915336
[startup+1.33696 s]
/proc/loadavg: 1.69 1.50 1.36 2/80 8910
/proc/meminfo: memFree=1669688/2055888 swapFree=4087964/4096564
[pid=8897] ppid=8895 vsize=915468 CPUtime=1.32
/proc/8897/stat : 8897 (java) R 8895 8897 8367 0 -1 0 7435 0 1 0 114 18 0 0 17 0 8 0 279153179 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073720006 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8897/statm: 228867 7175 2480 14 0 215336 0
[pid=8897/tid=8899] ppid=8895 vsize=915472 CPUtime=0.02
/proc/8897/task/8899/stat : 8899 (java) S 8895 8897 8367 0 -1 64 218 0 0 0 2 0 0 0 16 0 8 0 279153183 937443328 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8897/tid=8900] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 8367 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279153183 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 8367 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279153183 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 8367 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279153186 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=915468 CPUtime=0.13
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 8367 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 279153186 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8904] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 8367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279153186 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 8367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279153186 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915468
[startup+2.97428 s]
/proc/loadavg: 1.69 1.50 1.36 3/87 8975
/proc/meminfo: memFree=1665600/2055888 swapFree=4087964/4096564
[pid=8897] ppid=8895 vsize=915472 CPUtime=2.95
/proc/8897/stat : 8897 (java) R 8895 8897 8367 0 -1 0 7438 0 1 0 250 45 0 0 16 0 8 0 279153179 937443328 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8897/statm: 228867 7177 2480 14 0 215336 0
[pid=8897/tid=8899] ppid=8895 vsize=915468 CPUtime=0.02
/proc/8897/task/8899/stat : 8899 (java) S 8895 8897 8367 0 -1 64 218 0 0 0 2 0 0 0 16 0 8 0 279153183 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8897/tid=8900] ppid=8895 vsize=915472 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 8367 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279153183 937443328 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 8367 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279153183 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 8367 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=915472 CPUtime=0.13
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 8367 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 279153186 937443328 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8897/tid=8904] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 8367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 8367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915472
[startup+6.26693 s]
/proc/loadavg: 1.72 1.51 1.36 3/87 8975
/proc/meminfo: memFree=1665600/2055888 swapFree=4087964/4096564
[pid=8897] ppid=8895 vsize=915468 CPUtime=6.25
/proc/8897/stat : 8897 (java) R 8895 8897 8367 0 -1 0 7438 0 1 0 524 101 0 0 22 0 8 0 279153179 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8897/statm: 228867 7177 2480 14 0 215336 0
[pid=8897/tid=8899] ppid=8895 vsize=915468 CPUtime=0.02
/proc/8897/task/8899/stat : 8899 (java) S 8895 8897 8367 0 -1 64 218 0 0 0 2 0 0 0 16 0 8 0 279153183 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8897/tid=8900] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 8367 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279153183 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 8367 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279153183 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=915472 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 8367 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279153186 937443328 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=915468 CPUtime=0.13
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 8367 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8897/tid=8904] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 8367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 8367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915468
[startup+12.7362 s]
/proc/loadavg: 1.74 1.52 1.37 3/87 8975
/proc/meminfo: memFree=1665616/2055888 swapFree=4087964/4096564
[pid=8897] ppid=8895 vsize=915468 CPUtime=12.71
/proc/8897/stat : 8897 (java) R 8895 8897 8367 0 -1 0 7438 0 1 0 1058 213 0 0 25 0 8 0 279153179 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8897/statm: 228867 7177 2480 14 0 215336 0
[pid=8897/tid=8899] ppid=8895 vsize=915468 CPUtime=0.02
/proc/8897/task/8899/stat : 8899 (java) S 8895 8897 8367 0 -1 64 218 0 0 0 2 0 0 0 16 0 8 0 279153183 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8897/tid=8900] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 8367 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279153183 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=915472 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 8367 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279153183 937443328 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 8367 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=915468 CPUtime=0.13
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 8367 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8897/tid=8904] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 8367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 8367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915468
[startup+25.5777 s]
/proc/loadavg: 1.80 1.54 1.38 4/86 8979
/proc/meminfo: memFree=1666008/2055888 swapFree=4087964/4096564
[pid=8897] ppid=8895 vsize=915468 CPUtime=25.53
/proc/8897/stat : 8897 (java) R 8895 8897 8367 0 -1 0 7438 0 1 0 2123 430 0 0 25 0 8 0 279153179 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8897/statm: 228867 7177 2480 14 0 215336 0
[pid=8897/tid=8899] ppid=8895 vsize=915468 CPUtime=0.02
/proc/8897/task/8899/stat : 8899 (java) S 8895 8897 8367 0 -1 64 218 0 0 0 2 0 0 0 16 0 8 0 279153183 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8897/tid=8900] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 8367 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279153183 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 8367 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279153183 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 8367 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=915468 CPUtime=0.13
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 8367 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8897/tid=8904] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 8367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=915468 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 8367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279153186 937439232 7177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915468
Child status: 0
Real time (s): 31.1378
CPU time (s): 31.0433
CPU user time (s): 25.8551
CPU system time (s): 5.18821
CPU usage (%): 99.6964
Max. virtual memory (cumulated for all children) (KiB): 915472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.8551
system time used= 5.18821
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9182
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= 1466
involuntary context switches= 1266
runsolver used 0.027995 s user time and 0.091986 s system time
The end
Begin job on node76 on Sat Jan 20 15:39:20 UTC 2007
IDJOB= 280738
IDBENCH= 11930
IDSOLVER= 68
FILE ID= node76/280738-1169307560
PBS_JOBID= 3610181
Free space on /tmp= 66647 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/planning/mprime03ac_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280738-1169307560/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-280738-1169307560 -o ROOT/results/node76/solver-280738-1169307560 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280738-1169307560/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7dba53adfc9212d0847f5337f5f1e049
RANDOM SEED= 755033183
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1685776 kB
Buffers: 29060 kB
Cached: 272364 kB
SwapCached: 2128 kB
Active: 93176 kB
Inactive: 222796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1685776 kB
SwapTotal: 4096564 kB
SwapFree: 4087964 kB
Dirty: 5464 kB
Writeback: 0 kB
Mapped: 21996 kB
Slab: 40216 kB
Committed_AS: 8164720 kB
PageTables: 1624 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66646 MiB
End job on node76 on Sat Jan 20 15:39:52 UTC 2007