0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.33 instance
0.33 name=/tmp/evaluation/252543-1168087131/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.49 nbVariables=2142 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.49 => wckTime=0.193 cpuTime=0.13 mem=7M861
0.49
0.49 predicates being loaded...
0.50
0.50 constraints being loaded...
1.76 nbConstraints=9198 nbConflictsStructures=3 nbSharedConflictsStructures=9153 nbUnbuiltConflictsStructures=1
1.76 nbSharedBinaryRepresentations=0 nbEvaluationManagers=4 nbSharedEvaluationManagers=9194 maxDegree=22 maxArity=21
1.76 => wckTime=1.464 cpuTime=1.3 mem=24M394
1.87
1.87 solver IterativeSystematicSolver being built...
2.31 => wckTime=2.014 cpuTime=1.63 mem=38M575
2.36
2.36 preprocessing
2.36 nbConstraintChecks=0 nbPropagations=2142 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.36 detectedInconsistency=no
2.36 => wckTime=0.037 cpuTime=0.03 mem=39M576
2.92
2.92 search
2.92 run=0 nbConstraintChecks=268581 nbValidityChecks=7806 nbPropagations=2431 nbRevisions=4940
2.92 nbUselessRevisions=4756 nbAssignments=126 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=134
2.92 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
2.92 => wckTime=0.603 cpuTime=0.56 mem=39M576
4.97
4.97 search
4.97 run=1 nbConstraintChecks=1451695 nbValidityChecks=22102 nbPropagations=5433 nbRevisions=18425
4.97 nbUselessRevisions=17537 nbAssignments=299 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=320
4.97 nbRestartNogoods=1 mapSize=18 nbInferences=0 nbTooLargeKeys=0
4.97 => wckTime=2.651 cpuTime=2.6 mem=39M576
6.52
6.52 search
6.52 run=2 nbConstraintChecks=2309118 nbValidityChecks=40690 nbPropagations=9143 nbRevisions=43261
6.52 nbUselessRevisions=41110 nbAssignments=534 nbFailedAssignments=15 nbBacktracks=55 nbVisitedNodes=569
6.52 nbRestartNogoods=2 mapSize=30 nbInferences=0 nbTooLargeKeys=0
6.52 => wckTime=4.206 cpuTime=4.14 mem=39M576
8.35
8.35 search
8.35 run=3 nbConstraintChecks=3301274 nbValidityChecks=71590 nbPropagations=14274 nbRevisions=88922
8.35 nbUselessRevisions=84238 nbAssignments=865 nbFailedAssignments=25 nbBacktracks=92 nbVisitedNodes=921
8.35 nbRestartNogoods=4 mapSize=45 nbInferences=0 nbTooLargeKeys=0
8.35 => wckTime=6.032 cpuTime=5.96 mem=39M576
9.58
9.58 search
9.58 run=4 nbConstraintChecks=3718557 nbValidityChecks=132872 nbPropagations=22913 nbRevisions=184872
9.58 nbUselessRevisions=174659 nbAssignments=1781 nbFailedAssignments=47 nbBacktracks=154 nbVisitedNodes=1875
9.58 nbRestartNogoods=10 mapSize=68 nbInferences=0 nbTooLargeKeys=0
9.58 => wckTime=7.267 cpuTime=7.18 mem=41M580
10.60
10.60 search
10.60 run=5 nbConstraintChecks=4078012 nbValidityChecks=185058 nbPropagations=34079 nbRevisions=321021
10.60 nbUselessRevisions=303524 nbAssignments=2727 nbFailedAssignments=60 nbBacktracks=271 nbVisitedNodes=2845
10.60 nbRestartNogoods=25 mapSize=89 nbInferences=0 nbTooLargeKeys=0
10.60 => wckTime=8.281 cpuTime=8.18 mem=43M583
11.61
11.61 search
11.61 run=6 nbConstraintChecks=4430213 nbValidityChecks=234398 nbPropagations=47451 nbRevisions=494048
11.61 nbUselessRevisions=467867 nbAssignments=3646 nbFailedAssignments=73 nbBacktracks=388 nbVisitedNodes=3790
11.61 nbRestartNogoods=28 mapSize=112 nbInferences=0 nbTooLargeKeys=0
11.61 => wckTime=9.292 cpuTime=9.2 mem=45M586
12.40
12.40 search
12.40 run=7 nbConstraintChecks=4556448 nbValidityChecks=289856 nbPropagations=63739 nbRevisions=710935
12.40 nbUselessRevisions=674012 nbAssignments=4670 nbFailedAssignments=88 nbBacktracks=577 nbVisitedNodes=4852
12.40 nbRestartNogoods=31 mapSize=143 nbInferences=0 nbTooLargeKeys=0
12.40 => wckTime=10.083 cpuTime=9.99 mem=48M591
13.07
13.07 search
13.07 run=8 nbConstraintChecks=4626599 nbValidityChecks=356731 nbPropagations=82557 nbRevisions=976648
13.07 nbUselessRevisions=926055 nbAssignments=5615 nbFailedAssignments=127 nbBacktracks=836 nbVisitedNodes=5872
13.07 nbRestartNogoods=38 mapSize=212 nbInferences=0 nbTooLargeKeys=0
13.07 => wckTime=10.751 cpuTime=10.65 mem=49M593
13.85
13.85 search
13.85 run=9 nbConstraintChecks=4652795 nbValidityChecks=430737 nbPropagations=104925 nbRevisions=1300289
13.85 nbUselessRevisions=1233171 nbAssignments=6883 nbFailedAssignments=176 nbBacktracks=1221 nbVisitedNodes=7243
13.85 nbRestartNogoods=44 mapSize=306 nbInferences=0 nbTooLargeKeys=0
13.85 => wckTime=11.533 cpuTime=11.43 mem=52M598
15.11
15.11 search
15.11 run=10 nbConstraintChecks=4688956 nbValidityChecks=506893 nbPropagations=132637 nbRevisions=1686211
15.11 nbUselessRevisions=1599429 nbAssignments=9400 nbFailedAssignments=218 nbBacktracks=1554 nbVisitedNodes=9836
15.11 nbRestartNogoods=53 mapSize=371 nbInferences=0 nbTooLargeKeys=0
15.11 => wckTime=12.796 cpuTime=12.68 mem=62M121
15.11
15.11 global
15.11 nbConstraintChecks=4688956 nbValidityChecks=506893 nbPropagations=134779 nbRevisions=1686211
15.11 nbUselessRevisions=1599429 nbRestartNogoods=53 solvingWckTime=12.797 solvingCpuTime=12.68 expiredTime=no
15.11 totalExploration=no nbFoundSolutions=1 globalCpuTime=14.37
15.11 => wckTime=14.816 cpuTime=14.31 mem=62M121
15.16
15.16 s SATISFIABLE
15.16 v 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 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 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 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 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 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 0 0 0 1 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 1 0 0 1 1 0 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 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 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 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0
15.17 d NODES 9400
15.17 d CHECKS 4688956
15.17
15.17 totalWckTime=14.941 totalCpuTime=14.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-252543-1168087131 -o ROOT/results/node21/solver-252543-1168087131 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252543-1168087131/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: 0.99 1.00 1.12 4/78 23080
/proc/meminfo: memFree=1649008/2055920 swapFree=4192812/4192956
[pid=23079] ppid=23077 vsize=1816 CPUtime=0
/proc/23079/stat : 23079 (java) R 23077 23079 22824 0 -1 0 175 0 0 0 0 0 0 0 18 0 1 0 157107769 1859584 146 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/23079/statm: 447 148 112 14 0 92 0
[startup+0.103841 s]
/proc/loadavg: 0.99 1.00 1.12 4/78 23080
/proc/meminfo: memFree=1649008/2055920 swapFree=4192812/4192956
[pid=23079] ppid=23077 vsize=914988 CPUtime=0.08
/proc/23079/stat : 23079 (java) R 23077 23079 22824 0 -1 0 3059 0 1 0 7 1 0 0 16 0 8 0 157107769 936947712 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23079/statm: 228747 2806 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511915 s]
/proc/loadavg: 0.99 1.00 1.12 4/78 23080
/proc/meminfo: memFree=1649008/2055920 swapFree=4192812/4192956
[pid=23079] ppid=23077 vsize=915328 CPUtime=0.49
/proc/23079/stat : 23079 (java) R 23077 23079 22824 0 -1 0 6284 0 1 0 45 4 0 0 16 0 8 0 157107769 937295872 6023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154646871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23079/statm: 228832 6024 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33307 s]
/proc/loadavg: 0.99 1.00 1.12 2/85 23087
/proc/meminfo: memFree=1587512/2055920 swapFree=4192812/4192956
[pid=23079] ppid=23077 vsize=915624 CPUtime=1.31
/proc/23079/stat : 23079 (java) R 23077 23079 22824 0 -1 0 17717 0 1 0 105 26 0 0 17 0 8 0 157107769 937598976 17455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23079/statm: 228905 17455 2179 14 0 215375 0
[pid=23079/tid=23081] ppid=23077 vsize=915624 CPUtime=0.04
/proc/23079/task/23081/stat : 23081 (java) S 23077 23079 22824 0 -1 64 1116 0 0 0 4 0 0 0 17 0 8 0 157107772 937598976 17455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23082] ppid=23077 vsize=915620 CPUtime=0
/proc/23079/task/23082/stat : 23082 (java) S 23077 23079 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157107773 937594880 17455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23083] ppid=23077 vsize=915624 CPUtime=0
/proc/23079/task/23083/stat : 23083 (java) S 23077 23079 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157107773 937598976 17455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23084] ppid=23077 vsize=915620 CPUtime=0
/proc/23079/task/23084/stat : 23084 (java) S 23077 23079 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157107776 937594880 17455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23085] ppid=23077 vsize=915624 CPUtime=0.14
/proc/23079/task/23085/stat : 23085 (java) S 23077 23079 22824 0 -1 64 411 0 0 0 14 0 0 0 16 0 8 0 157107776 937598976 17455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23086] ppid=23077 vsize=915620 CPUtime=0
/proc/23079/task/23086/stat : 23086 (java) S 23077 23079 22824 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157107776 937594880 17455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23087] ppid=23077 vsize=915620 CPUtime=0
/proc/23079/task/23087/stat : 23087 (java) S 23077 23079 22824 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107776 937594880 17455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915624
[startup+2.98138 s]
/proc/loadavg: 0.99 1.00 1.12 2/85 23087
/proc/meminfo: memFree=1573816/2055920 swapFree=4192812/4192956
[pid=23079] ppid=23077 vsize=915716 CPUtime=2.97
/proc/23079/stat : 23079 (java) R 23077 23079 22824 0 -1 0 21545 0 1 0 247 50 0 0 17 0 8 0 157107769 937693184 21269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23079/statm: 228929 21269 2538 14 0 215399 0
[pid=23079/tid=23081] ppid=23077 vsize=915716 CPUtime=0.18
/proc/23079/task/23081/stat : 23081 (java) S 23077 23079 22824 0 -1 64 4423 0 0 0 16 2 0 0 16 0 8 0 157107772 937693184 21269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23082] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23082/stat : 23082 (java) S 23077 23079 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157107773 937693184 21269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23083] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23083/stat : 23083 (java) S 23077 23079 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157107773 937693184 21269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23084] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23084/stat : 23084 (java) S 23077 23079 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157107776 937693184 21269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23085] ppid=23077 vsize=915716 CPUtime=0.29
/proc/23079/task/23085/stat : 23085 (java) S 23077 23079 22824 0 -1 64 496 0 0 0 28 1 0 0 16 0 8 0 157107776 937693184 21269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23079/tid=23086] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23086/stat : 23086 (java) S 23077 23079 22824 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157107776 937693184 21269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23087] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23087/stat : 23087 (java) S 23077 23079 22824 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107776 937693184 21269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915716
[startup+6.267 s]
/proc/loadavg: 0.99 1.00 1.12 2/85 23087
/proc/meminfo: memFree=1573560/2055920 swapFree=4192812/4192956
[pid=23079] ppid=23077 vsize=915716 CPUtime=6.25
/proc/23079/stat : 23079 (java) R 23077 23079 22824 0 -1 0 21547 0 1 0 575 50 0 0 19 0 8 0 157107769 937693184 21270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23079/statm: 228929 21270 2538 14 0 215399 0
[pid=23079/tid=23081] ppid=23077 vsize=915716 CPUtime=0.18
/proc/23079/task/23081/stat : 23081 (java) S 23077 23079 22824 0 -1 64 4423 0 0 0 16 2 0 0 16 0 8 0 157107772 937693184 21270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23082] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23082/stat : 23082 (java) S 23077 23079 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157107773 937693184 21270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23083] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23083/stat : 23083 (java) S 23077 23079 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157107773 937693184 21270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23084] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23084/stat : 23084 (java) S 23077 23079 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157107776 937693184 21270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23085] ppid=23077 vsize=915716 CPUtime=0.29
/proc/23079/task/23085/stat : 23085 (java) S 23077 23079 22824 0 -1 64 498 0 0 0 28 1 0 0 15 0 8 0 157107776 937693184 21270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23079/tid=23086] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23086/stat : 23086 (java) S 23077 23079 22824 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157107776 937693184 21270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23087] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23087/stat : 23087 (java) S 23077 23079 22824 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107776 937693184 21270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915716
[startup+12.7422 s]
/proc/loadavg: 0.99 1.00 1.12 2/85 23087
/proc/meminfo: memFree=1573496/2055920 swapFree=4192812/4192956
[pid=23079] ppid=23077 vsize=915716 CPUtime=12.71
/proc/23079/stat : 23079 (java) R 23077 23079 22824 0 -1 0 21564 0 1 0 1221 50 0 0 21 0 8 0 157107769 937693184 21284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074106592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23079/statm: 228929 21284 2538 14 0 215399 0
[pid=23079/tid=23081] ppid=23077 vsize=915716 CPUtime=0.18
/proc/23079/task/23081/stat : 23081 (java) S 23077 23079 22824 0 -1 64 4423 0 0 0 16 2 0 0 16 0 8 0 157107772 937693184 21284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23082] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23082/stat : 23082 (java) S 23077 23079 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157107773 937693184 21284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23083] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23083/stat : 23083 (java) S 23077 23079 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157107773 937693184 21284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23084] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23084/stat : 23084 (java) S 23077 23079 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157107776 937693184 21284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23085] ppid=23077 vsize=915716 CPUtime=0.33
/proc/23079/task/23085/stat : 23085 (java) S 23077 23079 22824 0 -1 64 513 0 0 0 31 2 0 0 15 0 8 0 157107776 937693184 21284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23079/tid=23086] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23086/stat : 23086 (java) S 23077 23079 22824 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157107776 937693184 21284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23079/tid=23087] ppid=23077 vsize=915716 CPUtime=0
/proc/23079/task/23087/stat : 23087 (java) S 23077 23079 22824 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107776 937693184 21284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915716
Child status: 0
Real time (s): 15.2305
CPU time (s): 15.1667
CPU user time (s): 14.6338
CPU system time (s): 0.532918
CPU usage (%): 99.5809
Max. virtual memory (cumulated for all children) (KiB): 915944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.6338
system time used= 0.532918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24235
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= 1499
involuntary context switches= 575
runsolver used 0.020996 s user time and 0.045993 s system time
The end
Begin job on node21 on Sat Jan 6 12:38:52 UTC 2007
IDJOB= 252543
IDBENCH= 12952
FILE ID= node21/252543-1168087131
PBS_JOBID= 3476302
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-6-3-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252543-1168087131/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-252543-1168087131 -o ROOT/results/node21/solver-252543-1168087131 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252543-1168087131/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0e013050078db426eef2e194eb305c40
RANDOM SEED= 63352969
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.261
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.261
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: 1649424 kB
Buffers: 37748 kB
Cached: 239692 kB
SwapCached: 0 kB
Active: 191184 kB
Inactive: 144660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1649424 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2936 kB
Writeback: 0 kB
Mapped: 77408 kB
Slab: 56184 kB
Committed_AS: 2969644 kB
PageTables: 1792 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= 66545 MiB
End job on node21 on Sat Jan 6 12:39:08 UTC 2007