0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/252374-1168086832/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.61 nbVariables=2810 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.61 => wckTime=0.296 cpuTime=0.2 mem=14M720
0.61
0.61 predicates being loaded...
0.63
0.63 constraints being loaded...
3.11 nbConstraints=10928 nbUnaryConstraints=2910 nbMergedConstraints=655 nbSingletonDomainVariables=116
3.11 nbDisconnectedVariables=16 nbConvertedConstraints=8695 nbConvertConstraintsChecks=1128576
3.11 nbExtensionStructures=10 nbSharedExtensionStructures=8685 nbConflictsStructures=85
3.11 nbSharedConflictsStructures=10221 nbUnbuiltConflictsStructures=44 nbSharedBinaryRepresentations=144
3.11 nbEvaluationManagers=119 nbSharedEvaluationManagers=2114 maxDegree=177 maxArity=17
3.11 => wckTime=2.796 cpuTime=2.41 mem=40M954
3.23
3.23 solver IterativeSystematicSolver being built...
3.60 => wckTime=3.29 cpuTime=2.71 mem=74M59
4.08
4.08 preprocessing
4.08 nbConstraintChecks=17053 nbValidityChecks=9108 nbPropagations=2810 nbRevisions=16152 nbUselessRevisions=15671
4.08 nbRemovedValues=481 detectedInconsistency=no
4.08 => wckTime=0.467 cpuTime=0.45 mem=74M59
27.13
27.13 search
27.13 run=0 nbConstraintChecks=35664 nbValidityChecks=27960 nbPropagations=5027 nbRevisions=43466
27.13 nbUselessRevisions=41397 nbAssignments=2812 nbFailedAssignments=2 nbBacktracks=0 nbVisitedNodes=2815
27.13 nbRestartNogoods=0 mapSize=0 nbInferences=0 nbTooLargeKeys=0
27.13 => wckTime=23.519 cpuTime=23.2 mem=40M651
27.13
27.13 global
27.13 nbConstraintChecks=52717 nbValidityChecks=37068 nbPropagations=7837 nbRevisions=59618 nbUselessRevisions=57068
27.13 nbRestartNogoods=0 solvingWckTime=23.521 solvingCpuTime=23.2 expiredTime=no totalExploration=no
27.13 nbFoundSolutions=1 globalCpuTime=25.97
27.13 => wckTime=26.818 cpuTime=25.91 mem=40M651
27.14
27.14 s SATISFIABLE
27.14 v 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
27.14 d NODES 2812
27.14 d CHECKS 52717
27.14
27.14 totalWckTime=26.905 totalCpuTime=25.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-252374-1168086832 -o ROOT/results/node12/solver-252374-1168086832 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252374-1168086832/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: 2.12 1.99 1.80 4/93 23681
/proc/meminfo: memFree=1594592/2055920 swapFree=4160348/4192956
[pid=23680] ppid=23678 vsize=907676 CPUtime=0.03
/proc/23680/stat : 23680 (java) S 23678 23680 22810 0 -1 0 2169 0 1 0 2 1 0 0 19 0 4 0 157078218 929460224 1918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23680/statm: 226919 1918 1089 14 0 214502 0
[pid=23680/tid=23682] ppid=23678 vsize=907676 CPUtime=0
/proc/23680/task/23682/stat : 23682 (java) S 23678 23680 22810 0 -1 64 5 0 0 0 0 0 0 0 19 0 4 0 157078222 929460224 1918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=23680/tid=23683] ppid=23678 vsize=907676 CPUtime=0
/proc/23680/task/23683/stat : 23683 (java) S 23678 23680 22810 0 -1 64 9 0 0 0 0 0 0 0 19 0 4 0 157078222 929460224 1918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=23680/tid=23684] ppid=23678 vsize=907676 CPUtime=0
/proc/23680/task/23684/stat : 23684 (java) R 23678 23680 22810 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 157078222 929460224 1918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10543064 0 4 0 7368 0 0 0 -1 1 0 0
[startup+0.104167 s]
/proc/loadavg: 2.12 1.99 1.80 4/93 23681
/proc/meminfo: memFree=1594592/2055920 swapFree=4160348/4192956
[pid=23680] ppid=23678 vsize=914988 CPUtime=0.09
/proc/23680/stat : 23680 (java) R 23678 23680 22810 0 -1 0 3014 0 1 0 7 2 0 0 20 0 8 0 157078218 936947712 2760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23680/statm: 228747 2760 1434 14 0 215242 0
[pid=23680/tid=23682] ppid=23678 vsize=914988 CPUtime=0
/proc/23680/task/23682/stat : 23682 (java) S 23678 23680 22810 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 157078222 936947712 2760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23683] ppid=23678 vsize=914988 CPUtime=0
/proc/23680/task/23683/stat : 23683 (java) S 23678 23680 22810 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 157078222 936947712 2760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23684] ppid=23678 vsize=914988 CPUtime=0
/proc/23680/task/23684/stat : 23684 (java) S 23678 23680 22810 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 157078222 936947712 2760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512238 s]
/proc/loadavg: 2.12 1.99 1.80 4/93 23681
/proc/meminfo: memFree=1594592/2055920 swapFree=4160348/4192956
[pid=23680] ppid=23678 vsize=915328 CPUtime=0.5
/proc/23680/stat : 23680 (java) R 23678 23680 22810 0 -1 0 6603 0 1 0 46 4 0 0 22 0 8 0 157078218 937295872 6342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23680/statm: 228832 6342 2136 14 0 215302 0
[pid=23680/tid=23682] ppid=23678 vsize=915328 CPUtime=0
/proc/23680/task/23682/stat : 23682 (java) S 23678 23680 22810 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 157078222 937295872 6342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23683] ppid=23678 vsize=915328 CPUtime=0
/proc/23680/task/23683/stat : 23683 (java) S 23678 23680 22810 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 157078222 937295872 6342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23684] ppid=23678 vsize=915328 CPUtime=0
/proc/23680/task/23684/stat : 23684 (java) S 23678 23680 22810 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 157078222 937295872 6342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33339 s]
/proc/loadavg: 2.11 1.99 1.80 3/100 23688
/proc/meminfo: memFree=1533096/2055920 swapFree=4160348/4192956
[pid=23680] ppid=23678 vsize=915724 CPUtime=1.31
/proc/23680/stat : 23680 (java) R 23678 23680 22810 0 -1 0 17780 0 1 0 119 12 0 0 25 0 8 0 157078218 937701376 17518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23680/statm: 228931 17518 2178 14 0 215401 0
[pid=23680/tid=23682] ppid=23678 vsize=915724 CPUtime=0.04
/proc/23680/task/23682/stat : 23682 (java) S 23678 23680 22810 0 -1 64 1162 0 0 0 4 0 0 0 17 0 8 0 157078222 937701376 17518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23683] ppid=23678 vsize=915724 CPUtime=0
/proc/23680/task/23683/stat : 23683 (java) S 23678 23680 22810 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 157078222 937701376 17518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23684] ppid=23678 vsize=915724 CPUtime=0
/proc/23680/task/23684/stat : 23684 (java) S 23678 23680 22810 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 157078222 937701376 17518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23685] ppid=23678 vsize=915724 CPUtime=0
/proc/23680/task/23685/stat : 23685 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157078226 937701376 17518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23686] ppid=23678 vsize=915724 CPUtime=0.18
/proc/23680/task/23686/stat : 23686 (java) S 23678 23680 22810 0 -1 64 423 0 0 0 18 0 0 0 15 0 8 0 157078226 937701376 17518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23687] ppid=23678 vsize=915724 CPUtime=0
/proc/23680/task/23687/stat : 23687 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157078226 937701376 17518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23688] ppid=23678 vsize=915724 CPUtime=0
/proc/23680/task/23688/stat : 23688 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157078226 937701376 17518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915724
[startup+2.97468 s]
/proc/loadavg: 2.11 1.99 1.80 3/100 23688
/proc/meminfo: memFree=1532712/2055920 swapFree=4160348/4192956
[pid=23680] ppid=23678 vsize=915724 CPUtime=2.94
/proc/23680/stat : 23680 (java) R 23678 23680 22810 0 -1 0 23139 0 1 0 235 59 0 0 25 0 8 0 157078218 937701376 22875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23680/statm: 228931 22875 2179 14 0 215401 0
[pid=23680/tid=23682] ppid=23678 vsize=915724 CPUtime=0.15
/proc/23680/task/23682/stat : 23682 (java) S 23678 23680 22810 0 -1 64 6491 0 0 0 13 2 0 0 17 0 8 0 157078222 937701376 22875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23683] ppid=23678 vsize=915724 CPUtime=0
/proc/23680/task/23683/stat : 23683 (java) S 23678 23680 22810 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 157078222 937701376 22875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23684] ppid=23678 vsize=915724 CPUtime=0
/proc/23680/task/23684/stat : 23684 (java) S 23678 23680 22810 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 157078222 937701376 22875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23685] ppid=23678 vsize=915724 CPUtime=0
/proc/23680/task/23685/stat : 23685 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157078226 937701376 22875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23686] ppid=23678 vsize=915724 CPUtime=0.22
/proc/23680/task/23686/stat : 23686 (java) S 23678 23680 22810 0 -1 64 450 0 0 0 22 0 0 0 16 0 8 0 157078226 937701376 22875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23687] ppid=23678 vsize=915724 CPUtime=0
/proc/23680/task/23687/stat : 23687 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157078226 937701376 22875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23688] ppid=23678 vsize=915724 CPUtime=0
/proc/23680/task/23688/stat : 23688 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157078226 937701376 22875 18446744073709551615 134512640 134570532 4294956480 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) 915724
[startup+6.27228 s]
/proc/loadavg: 2.11 1.99 1.80 4/100 23688
/proc/meminfo: memFree=1498280/2055920 swapFree=4160348/4192956
[pid=23680] ppid=23678 vsize=915860 CPUtime=6.2
/proc/23680/stat : 23680 (java) R 23678 23680 22810 0 -1 0 26770 0 1 0 558 62 0 0 25 0 8 0 157078218 937840640 26487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074207358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23680/statm: 228965 26487 2534 14 0 215435 0
[pid=23680/tid=23682] ppid=23678 vsize=915860 CPUtime=0.27
/proc/23680/task/23682/stat : 23682 (java) S 23678 23680 22810 0 -1 64 9622 0 0 0 23 4 0 0 17 0 8 0 157078222 937840640 26487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23683] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23683/stat : 23683 (java) S 23678 23680 22810 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 157078222 937840640 26487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23684] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23684/stat : 23684 (java) S 23678 23680 22810 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 157078222 937840640 26487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23685] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23685/stat : 23685 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157078226 937840640 26487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23686] ppid=23678 vsize=915860 CPUtime=0.36
/proc/23680/task/23686/stat : 23686 (java) S 23678 23680 22810 0 -1 64 526 0 0 0 34 2 0 0 15 0 8 0 157078226 937840640 26487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23687] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23687/stat : 23687 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157078226 937840640 26487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23688] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23688/stat : 23688 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157078226 937840640 26487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915860
[startup+12.7554 s]
/proc/loadavg: 2.09 1.99 1.80 3/100 23688
/proc/meminfo: memFree=1494792/2055920 swapFree=4160348/4192956
[pid=23680] ppid=23678 vsize=915860 CPUtime=12.63
/proc/23680/stat : 23680 (java) R 23678 23680 22810 0 -1 0 27664 0 1 0 1200 63 0 0 25 0 8 0 157078218 937840640 27380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23680/statm: 228965 27380 2534 14 0 215435 0
[pid=23680/tid=23682] ppid=23678 vsize=915860 CPUtime=0.31
/proc/23680/task/23682/stat : 23682 (java) S 23678 23680 22810 0 -1 64 10515 0 0 0 27 4 0 0 17 0 8 0 157078222 937840640 27380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23683] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23683/stat : 23683 (java) S 23678 23680 22810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157078222 937840640 27380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23684] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23684/stat : 23684 (java) S 23678 23680 22810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157078222 937840640 27380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23685] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23685/stat : 23685 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157078226 937840640 27380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23686] ppid=23678 vsize=915860 CPUtime=0.36
/proc/23680/task/23686/stat : 23686 (java) S 23678 23680 22810 0 -1 64 526 0 0 0 34 2 0 0 15 0 8 0 157078226 937840640 27380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23687] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23687/stat : 23687 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157078226 937840640 27380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23688] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23688/stat : 23688 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157078226 937840640 27380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915860
[startup+25.6298 s]
/proc/loadavg: 2.08 1.99 1.81 3/100 23688
/proc/meminfo: memFree=1494920/2055920 swapFree=4160348/4192956
[pid=23680] ppid=23678 vsize=915860 CPUtime=25.39
/proc/23680/stat : 23680 (java) R 23678 23680 22810 0 -1 0 27672 0 1 0 2476 63 0 0 25 0 8 0 157078218 937840640 27386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074233763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23680/statm: 228965 27386 2534 14 0 215435 0
[pid=23680/tid=23682] ppid=23678 vsize=915860 CPUtime=0.31
/proc/23680/task/23682/stat : 23682 (java) S 23678 23680 22810 0 -1 64 10515 0 0 0 27 4 0 0 16 0 8 0 157078222 937840640 27386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23683] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23683/stat : 23683 (java) S 23678 23680 22810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157078222 937840640 27386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23684] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23684/stat : 23684 (java) S 23678 23680 22810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157078222 937840640 27386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23685] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23685/stat : 23685 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157078226 937840640 27386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23686] ppid=23678 vsize=915860 CPUtime=0.38
/proc/23680/task/23686/stat : 23686 (java) S 23678 23680 22810 0 -1 64 533 0 0 0 36 2 0 0 16 0 8 0 157078226 937840640 27386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23687] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23687/stat : 23687 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157078226 937840640 27386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23680/tid=23688] ppid=23678 vsize=915860 CPUtime=0
/proc/23680/task/23688/stat : 23688 (java) S 23678 23680 22810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157078226 937840640 27386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915860
Child status: 0
Real time (s): 27.1808
CPU time (s): 26.9069
CPU user time (s): 26.253
CPU system time (s): 0.6539
CPU usage (%): 98.9924
Max. virtual memory (cumulated for all children) (KiB): 915864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.253
system time used= 0.6539
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27688
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= 2274
involuntary context switches= 2926
runsolver used 0.040993 s user time and 0.094985 s system time
The end
Begin job on node12 on Sat Jan 6 12:33:52 UTC 2007
IDJOB= 252374
IDBENCH= 12930
FILE ID= node12/252374-1168086832
PBS_JOBID= 3476254
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bmc/bmc-ibm-02-08.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252374-1168086832/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-252374-1168086832 -o ROOT/results/node12/solver-252374-1168086832 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252374-1168086832/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d9a87093fcb1783bdb8a4cae1be47f96
RANDOM SEED= 708255973
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.265
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.265
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: 1595008 kB
Buffers: 39292 kB
Cached: 281336 kB
SwapCached: 4684 kB
Active: 128544 kB
Inactive: 251156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1595008 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 3756 kB
Writeback: 0 kB
Mapped: 78856 kB
Slab: 66000 kB
Committed_AS: 4812212 kB
PageTables: 2188 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= 66314 MiB
End job on node12 on Sat Jan 6 12:34:19 UTC 2007