0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.45
0.45 instance
0.45 name=/tmp/evaluation/214287-1168229783/unknown.xml
0.48
0.48 domains being loaded...
0.48
0.48 variables being loaded...
0.53 nbVariables=240 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.53 => wckTime=0.21 cpuTime=0.1 mem=6M951
0.53
0.53 predicates being loaded...
0.55
0.55 constraints being loaded...
0.82 nbConstraints=334 nbMergedConstraints=314 nbConvertedConstraints=158 nbConvertConstraintsChecks=68
0.82 nbExtensionStructures=3 nbSharedExtensionStructures=155 nbConflictsStructures=8 nbSharedConflictsStructures=314
0.82 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=9 nbEvaluationManagers=6
0.82 nbSharedEvaluationManagers=170 maxDegree=8 maxArity=20
0.82 => wckTime=0.496 cpuTime=0.28 mem=16M703
0.87
0.87 solver IterativeSystematicSolver being built...
1.06 => wckTime=0.737 cpuTime=0.44 mem=16M709
2.34
2.34 preprocessing
2.34 nbConstraintChecks=556618 nbValidityChecks=17453 nbPropagations=966 nbRevisions=10277 nbUselessRevisions=9697
2.34 nbSingletonTests=291 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
2.34 => wckTime=1.277 cpuTime=1.23 mem=16M709
4.99
4.99 search
4.99 run=0 nbConstraintChecks=1246118 nbValidityChecks=3811 nbPropagations=1148 nbRevisions=12502
4.99 nbUselessRevisions=11542 nbAssignments=52 nbFailedAssignments=3 nbBacktracks=12 nbVisitedNodes=61
4.99 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
4.99 => wckTime=3.925 cpuTime=3.85 mem=17M717
7.71
7.71 search
7.71 run=1 nbConstraintChecks=2550307 nbValidityChecks=8474 nbPropagations=2584 nbRevisions=27864
7.71 nbUselessRevisions=25427 nbAssignments=98 nbFailedAssignments=10 nbBacktracks=32 nbVisitedNodes=119
7.71 nbRestartNogoods=1 mapSize=18 nbInferences=0 nbTooLargeKeys=0
7.71 => wckTime=6.646 cpuTime=6.54 mem=17M717
9.56
9.56 search
9.56 run=2 nbConstraintChecks=3429675 nbValidityChecks=13673 nbPropagations=4391 nbRevisions=46484
9.56 nbUselessRevisions=42004 nbAssignments=154 nbFailedAssignments=15 nbBacktracks=62 nbVisitedNodes=185
9.56 nbRestartNogoods=2 mapSize=26 nbInferences=0 nbTooLargeKeys=0
9.56 => wckTime=8.493 cpuTime=8.36 mem=17M717
10.75
10.75 search
10.75 run=3 nbConstraintChecks=4006160 nbValidityChecks=20284 nbPropagations=6639 nbRevisions=69085
10.75 nbUselessRevisions=61916 nbAssignments=235 nbFailedAssignments=19 nbBacktracks=108 nbVisitedNodes=260
10.75 nbRestartNogoods=4 mapSize=40 nbInferences=0 nbTooLargeKeys=0
10.75 => wckTime=9.69 cpuTime=9.55 mem=17M717
13.13
13.13 search
13.13 run=4 nbConstraintChecks=5151022 nbValidityChecks=26793 nbPropagations=9555 nbRevisions=95852
13.13 nbUselessRevisions=84957 nbAssignments=312 nbFailedAssignments=28 nbBacktracks=169 nbVisitedNodes=359
13.13 nbRestartNogoods=5 mapSize=61 nbInferences=0 nbTooLargeKeys=0
13.13 => wckTime=12.068 cpuTime=11.9 mem=17M717
14.72
14.72 search
14.72 run=5 nbConstraintChecks=5903884 nbValidityChecks=33189 nbPropagations=13031 nbRevisions=126591
14.72 nbUselessRevisions=110958 nbAssignments=427 nbFailedAssignments=37 nbBacktracks=259 nbVisitedNodes=497
14.72 nbRestartNogoods=6 mapSize=82 nbInferences=0 nbTooLargeKeys=0
14.72 => wckTime=13.657 cpuTime=13.47 mem=17M717
19.35
19.35 search
19.35 run=6 nbConstraintChecks=8148876 nbValidityChecks=43101 nbPropagations=17326 nbRevisions=163502
19.35 nbUselessRevisions=141650 nbAssignments=576 nbFailedAssignments=54 nbBacktracks=374 nbVisitedNodes=681
19.35 nbRestartNogoods=8 mapSize=113 nbInferences=0 nbTooLargeKeys=0
19.35 => wckTime=18.289 cpuTime=18.06 mem=17M717
24.73
24.73 search
24.73 run=7 nbConstraintChecks=10677573 nbValidityChecks=64486 nbPropagations=23248 nbRevisions=214219
24.73 nbUselessRevisions=183203 nbAssignments=908 nbFailedAssignments=90 nbBacktracks=560 nbVisitedNodes=1088
24.73 nbRestartNogoods=12 mapSize=183 nbInferences=0 nbTooLargeKeys=0
24.73 => wckTime=23.661 cpuTime=23.38 mem=17M717
39.67
39.67 search
39.67 run=8 nbConstraintChecks=17792424 nbValidityChecks=103270 nbPropagations=32051 nbRevisions=290231
39.67 nbUselessRevisions=244681 nbAssignments=1335 nbFailedAssignments=139 nbBacktracks=828 nbVisitedNodes=1607
39.67 nbRestartNogoods=17 mapSize=286 nbInferences=0 nbTooLargeKeys=0
39.67 => wckTime=38.605 cpuTime=38.18 mem=17M717
43.07
43.07 search
43.07 run=9 nbConstraintChecks=19367442 nbValidityChecks=126008 nbPropagations=42669 nbRevisions=382049
43.07 nbUselessRevisions=318651 nbAssignments=1775 nbFailedAssignments=168 nbBacktracks=1220 nbVisitedNodes=2117
43.07 nbRestartNogoods=19 mapSize=354 nbInferences=0 nbTooLargeKeys=0
43.07 => wckTime=42.01 cpuTime=41.54 mem=17M717
49.40
49.40 search
49.40 run=10 nbConstraintChecks=22312437 nbValidityChecks=160182 nbPropagations=56191 nbRevisions=497595
49.40 nbUselessRevisions=411422 nbAssignments=2507 nbFailedAssignments=219 nbBacktracks=1801 nbVisitedNodes=2941
49.40 nbRestartNogoods=21 mapSize=443 nbInferences=0 nbTooLargeKeys=0
49.40 => wckTime=48.34 cpuTime=47.8 mem=17M717
49.92
49.92 search
49.92 run=11 nbConstraintChecks=22535397 nbValidityChecks=167991 nbPropagations=70226 nbRevisions=618101
49.92 nbUselessRevisions=508539 nbAssignments=2816 nbFailedAssignments=226 nbBacktracks=1834 nbVisitedNodes=3231
49.92 nbRestartNogoods=24 mapSize=448 nbInferences=0 nbTooLargeKeys=0
49.92 => wckTime=48.86 cpuTime=48.32 mem=17M717
49.92
49.92 global
49.92 nbConstraintChecks=23092015 nbValidityChecks=185444 nbPropagations=71192 nbRevisions=628378
49.92 nbUselessRevisions=518236 nbRestartNogoods=24 solvingWckTime=48.861 solvingCpuTime=48.32 expiredTime=no
49.92 totalExploration=no nbFoundSolutions=1 globalCpuTime=48.81
49.92 => wckTime=49.6 cpuTime=48.76 mem=17M717
49.93
49.93 s SATISFIABLE
49.93 v 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
49.93 d NODES 2816
49.93 d CHECKS 23092015
49.93
49.93 totalWckTime=49.682 totalCpuTime=48.81
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-214287-1168229783 -o ROOT/results/node25/solver-214287-1168229783 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214287-1168229783/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.91 4/88 25896
/proc/meminfo: memFree=1795792/2055920 swapFree=4170848/4192956
[pid=25895] ppid=25893 vsize=18540 CPUtime=0
/proc/25895/stat : 25895 (runsolver) R 25893 25895 24640 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 171370803 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215781797159 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25895/statm: 4635 279 244 17 0 2626 0
[startup+0.107921 s]
/proc/loadavg: 1.92 1.98 1.91 4/88 25896
/proc/meminfo: memFree=1795792/2055920 swapFree=4170848/4192956
[pid=25895] ppid=25893 vsize=914988 CPUtime=0.09
/proc/25895/stat : 25895 (java) R 25893 25895 24640 0 -1 0 2974 0 1 0 7 2 0 0 17 0 8 0 171370803 936947712 2720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582165 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25895/statm: 228747 2720 1421 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515989 s]
/proc/loadavg: 1.92 1.98 1.91 4/88 25896
/proc/meminfo: memFree=1795792/2055920 swapFree=4170848/4192956
[pid=25895] ppid=25893 vsize=915328 CPUtime=0.4
/proc/25895/stat : 25895 (java) R 25893 25895 24640 0 -1 0 6026 0 1 0 36 4 0 0 18 0 8 0 171370803 937295872 5765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25895/statm: 228832 5765 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.34216 s]
/proc/loadavg: 1.92 1.98 1.91 3/95 25903
/proc/meminfo: memFree=1769560/2055920 swapFree=4170848/4192956
[pid=25895] ppid=25893 vsize=915572 CPUtime=1.22
/proc/25895/stat : 25895 (java) R 25893 25895 24640 0 -1 0 9292 0 1 0 114 8 0 0 23 0 8 0 171370803 937545728 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073881748 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25895/statm: 228893 9030 2540 14 0 215363 0
[pid=25895/tid=25897] ppid=25893 vsize=915572 CPUtime=0.03
/proc/25895/task/25897/stat : 25897 (java) S 25893 25895 24640 0 -1 64 203 0 0 0 3 0 0 0 16 0 8 0 171370808 937545728 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25898] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25898/stat : 25898 (java) S 25893 25895 24640 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171370808 937545728 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25899] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25899/stat : 25899 (java) S 25893 25895 24640 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171370808 937545728 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25900] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25900/stat : 25900 (java) S 25893 25895 24640 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171370812 937545728 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25901] ppid=25893 vsize=915572 CPUtime=0.22
/proc/25895/task/25901/stat : 25901 (java) S 25893 25895 24640 0 -1 64 391 0 0 0 21 1 0 0 15 0 8 0 171370812 937545728 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25902] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25902/stat : 25902 (java) S 25893 25895 24640 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171370812 937545728 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25903] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25903/stat : 25903 (java) S 25893 25895 24640 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171370812 937545728 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915572
[startup+2.9824 s]
/proc/loadavg: 1.92 1.98 1.91 3/95 25903
/proc/meminfo: memFree=1769368/2055920 swapFree=4170848/4192956
[pid=25895] ppid=25893 vsize=915572 CPUtime=2.84
/proc/25895/stat : 25895 (java) R 25893 25895 24640 0 -1 0 9314 0 1 0 276 8 0 0 25 0 8 0 171370803 937545728 9050 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073884984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25895/statm: 228893 9050 2543 14 0 215363 0
[pid=25895/tid=25897] ppid=25893 vsize=915572 CPUtime=0.03
/proc/25895/task/25897/stat : 25897 (java) S 25893 25895 24640 0 -1 64 203 0 0 0 3 0 0 0 17 0 8 0 171370808 937545728 9050 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25898] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25898/stat : 25898 (java) S 25893 25895 24640 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171370808 937545728 9050 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25899] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25899/stat : 25899 (java) S 25893 25895 24640 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171370808 937545728 9050 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25900] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25900/stat : 25900 (java) S 25893 25895 24640 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171370812 937545728 9050 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25901] ppid=25893 vsize=915572 CPUtime=0.24
/proc/25895/task/25901/stat : 25901 (java) S 25893 25895 24640 0 -1 64 406 0 0 0 23 1 0 0 15 0 8 0 171370812 937545728 9050 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25902] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25902/stat : 25902 (java) S 25893 25895 24640 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171370812 937545728 9050 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25903] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25903/stat : 25903 (java) S 25893 25895 24640 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171370812 937545728 9050 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915572
[startup+6.27696 s]
/proc/loadavg: 1.93 1.98 1.91 3/95 25903
/proc/meminfo: memFree=1769312/2055920 swapFree=4170848/4192956
[pid=25895] ppid=25893 vsize=915572 CPUtime=6.11
/proc/25895/stat : 25895 (java) R 25893 25895 24640 0 -1 0 9316 0 1 0 603 8 0 0 25 0 8 0 171370803 937545728 9051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073881736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25895/statm: 228893 9051 2543 14 0 215363 0
[pid=25895/tid=25897] ppid=25893 vsize=915572 CPUtime=0.03
/proc/25895/task/25897/stat : 25897 (java) S 25893 25895 24640 0 -1 64 203 0 0 0 3 0 0 0 17 0 8 0 171370808 937545728 9051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25898] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25898/stat : 25898 (java) S 25893 25895 24640 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171370808 937545728 9051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25899] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25899/stat : 25899 (java) S 25893 25895 24640 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171370808 937545728 9051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25900] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25900/stat : 25900 (java) S 25893 25895 24640 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171370812 937545728 9051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25901] ppid=25893 vsize=915572 CPUtime=0.24
/proc/25895/task/25901/stat : 25901 (java) S 25893 25895 24640 0 -1 64 408 0 0 0 23 1 0 0 15 0 8 0 171370812 937545728 9051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25902] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25902/stat : 25902 (java) S 25893 25895 24640 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171370812 937545728 9051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25903] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25903/stat : 25903 (java) S 25893 25895 24640 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171370812 937545728 9051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915572
[startup+12.7591 s]
/proc/loadavg: 1.93 1.98 1.91 3/95 25903
/proc/meminfo: memFree=1769312/2055920 swapFree=4170848/4192956
[pid=25895] ppid=25893 vsize=915572 CPUtime=12.53
/proc/25895/stat : 25895 (java) R 25893 25895 24640 0 -1 0 9321 0 1 0 1245 8 0 0 25 0 8 0 171370803 937545728 9054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25895/statm: 228893 9054 2543 14 0 215363 0
[pid=25895/tid=25897] ppid=25893 vsize=915572 CPUtime=0.03
/proc/25895/task/25897/stat : 25897 (java) S 25893 25895 24640 0 -1 64 203 0 0 0 3 0 0 0 16 0 8 0 171370808 937545728 9054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25898] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25898/stat : 25898 (java) S 25893 25895 24640 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171370808 937545728 9054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25899] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25899/stat : 25899 (java) S 25893 25895 24640 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171370808 937545728 9054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25900] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25900/stat : 25900 (java) S 25893 25895 24640 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171370812 937545728 9054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25901] ppid=25893 vsize=915572 CPUtime=0.25
/proc/25895/task/25901/stat : 25901 (java) S 25893 25895 24640 0 -1 64 413 0 0 0 24 1 0 0 16 0 8 0 171370812 937545728 9054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25902] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25902/stat : 25902 (java) S 25893 25895 24640 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171370812 937545728 9054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25903] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25903/stat : 25903 (java) S 25893 25895 24640 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171370812 937545728 9054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915572
[startup+25.6122 s]
/proc/loadavg: 1.94 1.98 1.91 3/95 25903
/proc/meminfo: memFree=1769376/2055920 swapFree=4170848/4192956
[pid=25895] ppid=25893 vsize=915572 CPUtime=25.26
/proc/25895/stat : 25895 (java) R 25893 25895 24640 0 -1 0 9326 0 1 0 2518 8 0 0 25 0 8 0 171370803 937545728 9057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073884428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25895/statm: 228893 9057 2543 14 0 215363 0
[pid=25895/tid=25897] ppid=25893 vsize=915572 CPUtime=0.03
/proc/25895/task/25897/stat : 25897 (java) S 25893 25895 24640 0 -1 64 203 0 0 0 3 0 0 0 16 0 8 0 171370808 937545728 9057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25898] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25898/stat : 25898 (java) S 25893 25895 24640 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171370808 937545728 9057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25899] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25899/stat : 25899 (java) S 25893 25895 24640 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171370808 937545728 9057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25900] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25900/stat : 25900 (java) S 25893 25895 24640 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171370812 937545728 9057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25901] ppid=25893 vsize=915572 CPUtime=0.26
/proc/25895/task/25901/stat : 25901 (java) S 25893 25895 24640 0 -1 64 416 0 0 0 25 1 0 0 15 0 8 0 171370812 937545728 9057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25902] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25902/stat : 25902 (java) S 25893 25895 24640 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171370812 937545728 9057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25895/tid=25903] ppid=25893 vsize=915572 CPUtime=0
/proc/25895/task/25903/stat : 25903 (java) S 25893 25895 24640 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171370812 937545728 9057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915572
Child status: 0
Real time (s): 49.9717
CPU time (s): 49.3755
CPU user time (s): 49.2815
CPU system time (s): 0.093985
CPU usage (%): 98.8069
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.2815
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9519
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= 2335
involuntary context switches= 3396
runsolver used 0.079987 s user time and 0.155976 s system time
The end
Begin job on node25 on Mon Jan 8 04:16:23 UTC 2007
IDJOB= 214287
IDBENCH= 4913
FILE ID= node25/214287-1168229783
PBS_JOBID= 3481286
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/routing/s3-3-3-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214287-1168229783/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-214287-1168229783 -o ROOT/results/node25/solver-214287-1168229783 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214287-1168229783/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 813fc5df2b9211af2178c6bc3c009d29
RANDOM SEED= 557397951
TIME LIMIT= 1800 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.279
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.279
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: 1796208 kB
Buffers: 45872 kB
Cached: 111128 kB
SwapCached: 2800 kB
Active: 112412 kB
Inactive: 90912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1796208 kB
SwapTotal: 4192956 kB
SwapFree: 4170848 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 55812 kB
Slab: 40996 kB
Committed_AS: 3529688 kB
PageTables: 2348 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 node25 on Mon Jan 8 04:17:14 UTC 2007