0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/275759-1169226583/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.42 nbVariables=152 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.42 => wckTime=0.117 cpuTime=0.09 mem=6M887
0.42
0.42 predicates being loaded...
0.44
0.44 constraints being loaded...
2.97 nbConstraints=126 nbSingletonDomainVariables=58 nbConvertedConstraints=52 nbConvertConstraintsChecks=1180746
2.97 nbExtensionStructures=4 nbSharedExtensionStructures=48 nbConflictsStructures=32 nbSharedConflictsStructures=90
2.97 nbUnbuiltConflictsStructures=4 nbSharedBinaryRepresentations=7 nbEvaluationManagers=32
2.97 nbSharedEvaluationManagers=42 maxDegree=22 maxArity=19
2.97 => wckTime=2.663 cpuTime=2.55 mem=14M689
3.01
3.01 solver LocalSearchSolver being built...
3.05 => wckTime=2.746 cpuTime=2.6 mem=5M642
3.05
3.05 s SATISFIABLE
3.05 o 115
3.05 c 11
3.06 o 116
3.06 c 10
3.08 o 117
3.08 c 9
3.10 o 118
3.10 c 8
3.15 o 119
3.15 c 7
3.16 o 120
3.16 c 6
3.17 o 121
3.17 c 5
3.17 o 122
3.17 c 4
3.18 o 123
3.18 c 3
3.18 o 124
3.18 c 2
4.34 o 125
4.34 c 1
4.34
4.34 search
4.34 run=0 nbConstraintChecks=552692 nbAssignments=1593
4.34 => wckTime=1.296 cpuTime=1.26 mem=5M642
4.35
4.35 global
4.35 nbConstraintChecks=552692 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.35 solvingWckTime=1.295 solvingCpuTime=1.25 expiredTime=no totalExploration=no nbFoundSolutions=0
4.35 globalCpuTime=3.91
4.35 => wckTime=4.042 cpuTime=3.86 mem=5M642
4.35
4.35 solver IterativeSystematicSolver being built...
4.50 => wckTime=4.2 cpuTime=3.97 mem=18M680
6.10
6.10 preprocessing
6.10 nbConstraintChecks=755034 nbValidityChecks=70389 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.10 nbRemovedValues=0 detectedInconsistency=no
6.10 => wckTime=1.591 cpuTime=1.55 mem=18M680
6.40
6.40 search
6.40 run=0 nbConstraintChecks=141092 nbValidityChecks=10810 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.40 nbAssignments=25 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=30 nbRestartNogoods=0
6.40 => wckTime=1.894 cpuTime=1.85 mem=18M680
6.71
6.71 search
6.71 run=1 nbConstraintChecks=282236 nbValidityChecks=25468 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.71 nbAssignments=57 nbFailedAssignments=9 nbBacktracks=27 nbVisitedNodes=68 nbRestartNogoods=1
6.71 => wckTime=2.201 cpuTime=2.15 mem=18M680
7.00
7.00 search
7.00 run=2 nbConstraintChecks=409779 nbValidityChecks=45793 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.00 nbAssignments=101 nbFailedAssignments=19 nbBacktracks=52 nbVisitedNodes=122 nbRestartNogoods=3
7.00 => wckTime=2.497 cpuTime=2.43 mem=18M680
7.44
7.44 search
7.44 run=3 nbConstraintChecks=610975 nbValidityChecks=74407 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.44 nbAssignments=161 nbFailedAssignments=31 nbBacktracks=87 nbVisitedNodes=194 nbRestartNogoods=5
7.44 => wckTime=2.936 cpuTime=2.87 mem=18M680
8.03
8.03 search
8.03 run=4 nbConstraintChecks=867501 nbValidityChecks=116391 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
8.03 nbAssignments=245 nbFailedAssignments=51 nbBacktracks=139 nbVisitedNodes=300 nbRestartNogoods=8
8.03 => wckTime=3.522 cpuTime=3.45 mem=18M680
9.41
9.41 search
9.41 run=5 nbConstraintChecks=1536132 nbValidityChecks=173205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
9.41 nbAssignments=361 nbFailedAssignments=77 nbBacktracks=216 nbVisitedNodes=445 nbRestartNogoods=12
9.41 => wckTime=4.904 cpuTime=4.82 mem=18M680
12.29
12.29 search
12.29 run=6 nbConstraintChecks=2984384 nbValidityChecks=245966 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
12.29 nbAssignments=516 nbFailedAssignments=104 nbBacktracks=336 nbVisitedNodes=630 nbRestartNogoods=15
12.29 => wckTime=7.782 cpuTime=7.67 mem=18M680
20.99
20.99 search
20.99 run=7 nbConstraintChecks=7503047 nbValidityChecks=354998 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
20.99 nbAssignments=746 nbFailedAssignments=146 nbBacktracks=510 nbVisitedNodes=909 nbRestartNogoods=20
20.99 => wckTime=16.486 cpuTime=16.29 mem=18M680
23.51
23.51 search
23.51 run=8 nbConstraintChecks=8640810 nbValidityChecks=552577 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
23.51 nbAssignments=1120 nbFailedAssignments=250 nbBacktracks=766 nbVisitedNodes=1406 nbRestartNogoods=24
23.51 => wckTime=19.001 cpuTime=18.79 mem=18M680
42.26
42.26 search
42.26 run=9 nbConstraintChecks=18291446 nbValidityChecks=791477 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.26 nbAssignments=1621 nbFailedAssignments=357 nbBacktracks=1152 nbVisitedNodes=2024 nbRestartNogoods=30
42.26 => wckTime=37.759 cpuTime=37.36 mem=18M680
67.56
67.56 search
67.56 run=10 nbConstraintChecks=31375089 nbValidityChecks=1157040 nbPropagations=0 nbRevisions=0
67.56 nbUselessRevisions=0 nbAssignments=2358 nbFailedAssignments=514 nbBacktracks=1728 nbVisitedNodes=2933
67.56 nbRestartNogoods=34
67.56 => wckTime=63.056 cpuTime=62.43 mem=18M680
89.47
89.47 search
89.47 run=11 nbConstraintChecks=42471123 nbValidityChecks=1727215 nbPropagations=0 nbRevisions=0
89.47 nbUselessRevisions=0 nbAssignments=3494 nbFailedAssignments=772 nbBacktracks=2600 nbVisitedNodes=4343
89.47 nbRestartNogoods=36
89.47 => wckTime=84.969 cpuTime=84.16 mem=18M680
117.16
117.16 search
117.16 run=12 nbConstraintChecks=56776134 nbValidityChecks=2180727 nbPropagations=0 nbRevisions=0
117.16 nbUselessRevisions=0 nbAssignments=4423 nbFailedAssignments=911 nbBacktracks=3391 nbVisitedNodes=5426
117.16 nbRestartNogoods=41
117.16 => wckTime=112.652 cpuTime=111.61 mem=18M680
117.16
117.16 global
117.16 nbConstraintChecks=57531168 nbValidityChecks=2251116 nbRestartNogoods=41 solvingWckTime=112.654
117.16 solvingCpuTime=111.61 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=115.63
117.16 => wckTime=116.855 cpuTime=115.58 mem=18M680
117.16
117.16 s OPTIMUM FOUND
117.16 v 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
117.16
117.16 totalWckTime=116.933 totalCpuTime=115.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-275759-1169226583 -o ROOT/results/node18/solver-275759-1169226583 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275759-1169226583/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 5/93 1777
/proc/meminfo: memFree=1213920/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1774 vsize=18540 CPUtime=0
/proc/1776/stat : 1776 (runsolver) R 1774 1776 1185 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 271052996 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1776/statm: 4635 279 244 17 0 2626 0
[startup+0.103271 s]
/proc/loadavg: 2.05 2.03 2.00 5/93 1777
/proc/meminfo: memFree=1213920/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1774 vsize=914988 CPUtime=0.07
/proc/1776/stat : 1776 (java) D 1774 1776 1185 0 -1 0 2988 0 1 0 6 1 0 0 24 0 8 0 271052996 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1776/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.511309 s]
/proc/loadavg: 2.05 2.03 2.00 5/93 1777
/proc/meminfo: memFree=1213920/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1774 vsize=915468 CPUtime=0.48
/proc/1776/stat : 1776 (java) R 1774 1776 1185 0 -1 0 7595 0 1 0 43 5 0 0 25 0 8 0 271052996 937439232 7334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1776/statm: 228867 7334 2161 14 0 215337 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915468
[startup+1.33238 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 1786
/proc/meminfo: memFree=1192296/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1774 vsize=915468 CPUtime=1.3
/proc/1776/stat : 1776 (java) R 1774 1776 1185 0 -1 0 7778 0 1 0 124 6 0 0 25 0 8 0 271052996 937439232 7516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1776/statm: 228867 7516 2171 14 0 215337 0
[pid=1776/tid=1778] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1778/stat : 1778 (java) S 1774 1776 1185 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 271053000 937439232 7516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1781] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1781/stat : 1781 (java) S 1774 1776 1185 0 -1 64 9 0 0 0 0 0 0 0 22 0 8 0 271053000 937439232 7516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1782] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1782/stat : 1782 (java) S 1774 1776 1185 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 271053000 937439232 7516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1783] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1783/stat : 1783 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 271053004 937439232 7516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1784] ppid=1774 vsize=915468 CPUtime=0.09
/proc/1776/task/1784/stat : 1784 (java) S 1774 1776 1185 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 271053004 937439232 7516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1785] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1785/stat : 1785 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271053004 937439232 7516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1786] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1786/stat : 1786 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271053004 937439232 7516 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) 915468
[startup+2.96954 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 1786
/proc/meminfo: memFree=1191784/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1774 vsize=915468 CPUtime=2.92
/proc/1776/stat : 1776 (java) R 1774 1776 1185 0 -1 0 8089 0 1 0 286 6 0 0 25 0 8 0 271052996 937439232 7827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073718429 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1776/statm: 228867 7827 2182 14 0 215337 0
[pid=1776/tid=1778] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1778/stat : 1778 (java) S 1774 1776 1185 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271053000 937439232 7827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1781] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1781/stat : 1781 (java) S 1774 1776 1185 0 -1 64 9 0 0 0 0 0 0 0 22 0 8 0 271053000 937439232 7827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1782] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1782/stat : 1782 (java) S 1774 1776 1185 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 271053000 937439232 7827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1783] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1783/stat : 1783 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 271053004 937439232 7827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1784] ppid=1774 vsize=915468 CPUtime=0.12
/proc/1776/task/1784/stat : 1784 (java) S 1774 1776 1185 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 271053004 937439232 7827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1785] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1785/stat : 1785 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271053004 937439232 7827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1786] ppid=1774 vsize=915468 CPUtime=0
/proc/1776/task/1786/stat : 1786 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271053004 937439232 7827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915468
[startup+6.17385 s]
/proc/loadavg: 2.04 2.03 2.00 3/100 1786
/proc/meminfo: memFree=1186728/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1774 vsize=915604 CPUtime=6.09
/proc/1776/stat : 1776 (java) R 1774 1776 1185 0 -1 0 9615 0 1 0 596 13 0 0 25 0 8 0 271052996 937578496 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640969 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1776/statm: 228901 9349 2549 14 0 215371 0
[pid=1776/tid=1778] ppid=1774 vsize=915604 CPUtime=0.03
/proc/1776/task/1778/stat : 1778 (java) S 1774 1776 1185 0 -1 64 191 0 0 0 3 0 0 0 17 0 8 0 271053000 937578496 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1781] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1781/stat : 1781 (java) S 1774 1776 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271053000 937578496 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1782] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1782/stat : 1782 (java) S 1774 1776 1185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271053000 937578496 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1783] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1783/stat : 1783 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 271053004 937578496 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1784] ppid=1774 vsize=915604 CPUtime=0.21
/proc/1776/task/1784/stat : 1784 (java) S 1774 1776 1185 0 -1 64 390 0 0 0 20 1 0 0 15 0 8 0 271053004 937578496 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1785] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1785/stat : 1785 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271053004 937578496 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1786] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1786/stat : 1786 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271053004 937578496 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915604
[startup+12.6365 s]
/proc/loadavg: 2.04 2.03 2.00 3/100 1786
/proc/meminfo: memFree=1186352/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1774 vsize=915604 CPUtime=12.5
/proc/1776/stat : 1776 (java) R 1774 1776 1185 0 -1 0 9652 0 1 0 1237 13 0 0 25 0 8 0 271052996 937578496 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642253 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1776/statm: 228901 9382 2552 14 0 215371 0
[pid=1776/tid=1778] ppid=1774 vsize=915604 CPUtime=0.03
/proc/1776/task/1778/stat : 1778 (java) S 1774 1776 1185 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 271053000 937578496 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1781] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1781/stat : 1781 (java) S 1774 1776 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271053000 937578496 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1782] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1782/stat : 1782 (java) S 1774 1776 1185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271053000 937578496 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1783] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1783/stat : 1783 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 271053004 937578496 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1784] ppid=1774 vsize=915604 CPUtime=0.23
/proc/1776/task/1784/stat : 1784 (java) S 1774 1776 1185 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 271053004 937578496 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1785] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1785/stat : 1785 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271053004 937578496 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1786] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1786/stat : 1786 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271053004 937578496 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915604
[startup+25.4897 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 1786
/proc/meminfo: memFree=1186416/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1774 vsize=915604 CPUtime=25.23
/proc/1776/stat : 1776 (java) R 1774 1776 1185 0 -1 0 9658 0 1 0 2510 13 0 0 25 0 8 0 271052996 937578496 9388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642098 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1776/statm: 228901 9388 2552 14 0 215371 0
[pid=1776/tid=1778] ppid=1774 vsize=915604 CPUtime=0.03
/proc/1776/task/1778/stat : 1778 (java) S 1774 1776 1185 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 271053000 937578496 9388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1781] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1781/stat : 1781 (java) S 1774 1776 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271053000 937578496 9388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1782] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1782/stat : 1782 (java) S 1774 1776 1185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271053000 937578496 9388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1783] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1783/stat : 1783 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 271053004 937578496 9388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1784] ppid=1774 vsize=915604 CPUtime=0.23
/proc/1776/task/1784/stat : 1784 (java) S 1774 1776 1185 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 271053004 937578496 9388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1785] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1785/stat : 1785 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271053004 937578496 9388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1786] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1786/stat : 1786 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271053004 937578496 9388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915604
[startup+51.1892 s]
/proc/loadavg: 2.08 2.04 2.00 3/100 1786
/proc/meminfo: memFree=1186416/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1774 vsize=915604 CPUtime=50.72
/proc/1776/stat : 1776 (java) R 1774 1776 1185 0 -1 0 9678 0 1 0 5058 14 0 0 25 0 8 0 271052996 937578496 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642810 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1776/statm: 228901 9401 2552 14 0 215371 0
[pid=1776/tid=1778] ppid=1774 vsize=915604 CPUtime=0.03
/proc/1776/task/1778/stat : 1778 (java) S 1774 1776 1185 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 271053000 937578496 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1781] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1781/stat : 1781 (java) S 1774 1776 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271053000 937578496 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1782] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1782/stat : 1782 (java) S 1774 1776 1185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271053000 937578496 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1783] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1783/stat : 1783 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 271053004 937578496 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1784] ppid=1774 vsize=915604 CPUtime=0.26
/proc/1776/task/1784/stat : 1784 (java) S 1774 1776 1185 0 -1 64 419 0 0 0 25 1 0 0 15 0 8 0 271053004 937578496 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1785] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1785/stat : 1785 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271053004 937578496 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1786] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1786/stat : 1786 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271053004 937578496 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915604
[startup+102.472 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 1786
/proc/meminfo: memFree=1186480/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1774 vsize=915604 CPUtime=101.58
/proc/1776/stat : 1776 (java) R 1774 1776 1185 0 -1 0 9689 0 1 0 10144 14 0 0 25 0 8 0 271052996 937578496 9409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1776/statm: 228901 9409 2552 14 0 215371 0
[pid=1776/tid=1778] ppid=1774 vsize=915604 CPUtime=0.03
/proc/1776/task/1778/stat : 1778 (java) S 1774 1776 1185 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 271053000 937578496 9409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1781] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1781/stat : 1781 (java) S 1774 1776 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271053000 937578496 9409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1782] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1782/stat : 1782 (java) S 1774 1776 1185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271053000 937578496 9409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1783] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1783/stat : 1783 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 271053004 937578496 9409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1784] ppid=1774 vsize=915604 CPUtime=0.26
/proc/1776/task/1784/stat : 1784 (java) S 1774 1776 1185 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 271053004 937578496 9409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1785] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1785/stat : 1785 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271053004 937578496 9409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1776/tid=1786] ppid=1774 vsize=915604 CPUtime=0
/proc/1776/task/1786/stat : 1786 (java) S 1774 1776 1185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271053004 937578496 9409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 915604
Child status: 0
Real time (s): 117.215
CPU time (s): 116.148
CPU user time (s): 116
CPU system time (s): 0.147977
CPU usage (%): 99.0903
Max. virtual memory (cumulated for all children) (KiB): 916120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9790
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= 3757
involuntary context switches= 7892
runsolver used 0.107983 s user time and 0.32295 s system time
The end
Begin job on node18 on Fri Jan 19 17:09:43 UTC 2007
IDJOB= 275759
IDBENCH= 4670
IDSOLVER= 68
FILE ID= node18/275759-1169226583
PBS_JOBID= 3588957
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/blast-floppy1-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275759-1169226583/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-275759-1169226583 -o ROOT/results/node18/solver-275759-1169226583 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275759-1169226583/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 96552de8b783fc4054435360b1bc7e1d
RANDOM SEED= 249829712
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.231
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.231
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: 1214400 kB
Buffers: 50468 kB
Cached: 546436 kB
SwapCached: 0 kB
Active: 326812 kB
Inactive: 435016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1214400 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1788 kB
Writeback: 0 kB
Mapped: 193932 kB
Slab: 64292 kB
Committed_AS: 8712232 kB
PageTables: 2328 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= 66559 MiB
End job on node18 on Fri Jan 19 17:11:40 UTC 2007