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/217922-1168079516/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.48 nbVariables=561 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4
0.48 => wckTime=0.165 cpuTime=0.13 mem=8M25
0.48
0.48 predicates being loaded...
0.48
0.48 constraints being loaded...
1.47 nbConstraints=5984 nbConflictsStructures=1 nbSharedConflictsStructures=5983 nbSharedBinaryRepresentations=0
1.47 nbEvaluationManagers=1 nbSharedEvaluationManagers=5983 maxDegree=32 maxArity=3
1.47 => wckTime=1.162 cpuTime=0.97 mem=14M431
1.55
1.55 solver IterativeSystematicSolver being built...
1.84 => wckTime=1.525 cpuTime=1.2 mem=51M426
1.89
1.89 preprocessing
1.89 nbConstraintChecks=0 nbPropagations=561 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.89 detectedInconsistency=no
1.89 => wckTime=0.044 cpuTime=0.04 mem=51M426
1.95
1.95 search
1.95 run=0 nbConstraintChecks=727 nbValidityChecks=302 nbPropagations=742 nbRevisions=296 nbUselessRevisions=149
1.95 nbAssignments=57 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=75 nbRestartNogoods=0 mapSize=9
1.95 nbInferences=0 nbTooLargeKeys=0
1.95 => wckTime=0.105 cpuTime=0.08 mem=52M420
2.03
2.03 search
2.03 run=1 nbConstraintChecks=5898 nbValidityChecks=2801 nbPropagations=2002 nbRevisions=2345
2.03 nbUselessRevisions=1561 nbAssignments=218 nbFailedAssignments=26 nbBacktracks=25 nbVisitedNodes=266
2.03 nbRestartNogoods=8 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=0.186 cpuTime=0.14 mem=52M420
2.19
2.19 search
2.19 run=2 nbConstraintChecks=19319 nbValidityChecks=10183 nbPropagations=4296 nbRevisions=9054
2.19 nbUselessRevisions=6532 nbAssignments=532 nbFailedAssignments=53 nbBacktracks=47 nbVisitedNodes=623
2.19 nbRestartNogoods=22 mapSize=42 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=0.353 cpuTime=0.3 mem=52M420
2.38
2.38 search
2.38 run=3 nbConstraintChecks=31821 nbValidityChecks=19213 nbPropagations=7691 nbRevisions=20675
2.38 nbUselessRevisions=15304 nbAssignments=907 nbFailedAssignments=66 nbBacktracks=80 nbVisitedNodes=1020
2.38 nbRestartNogoods=45 mapSize=56 nbInferences=0 nbTooLargeKeys=0
2.38 => wckTime=0.543 cpuTime=0.48 mem=52M420
2.75
2.75 search
2.75 run=4 nbConstraintChecks=56952 nbValidityChecks=41806 nbPropagations=12816 nbRevisions=42842
2.75 nbUselessRevisions=32356 nbAssignments=1389 nbFailedAssignments=97 nbBacktracks=130 nbVisitedNodes=1557
2.75 nbRestartNogoods=53 mapSize=91 nbInferences=0 nbTooLargeKeys=0
2.75 => wckTime=0.906 cpuTime=0.84 mem=52M420
3.26
3.26 search
3.26 run=5 nbConstraintChecks=91258 nbValidityChecks=75477 nbPropagations=20056 nbRevisions=79702
3.26 nbUselessRevisions=61132 nbAssignments=1963 nbFailedAssignments=141 nbBacktracks=213 nbVisitedNodes=2207
3.26 nbRestartNogoods=71 mapSize=144 nbInferences=0 nbTooLargeKeys=0
3.26 => wckTime=1.414 cpuTime=1.33 mem=53M168
3.48
3.48 search
3.48 run=6 nbConstraintChecks=117397 nbValidityChecks=106712 nbPropagations=29229 nbRevisions=128958
3.48 nbUselessRevisions=99835 nbAssignments=2500 nbFailedAssignments=183 nbBacktracks=326 nbVisitedNodes=2818
3.48 nbRestartNogoods=91 mapSize=205 nbInferences=0 nbTooLargeKeys=0
3.48 => wckTime=1.638 cpuTime=1.51 mem=11M113
3.98
3.98 search
3.98 run=7 nbConstraintChecks=151930 nbValidityChecks=151953 nbPropagations=40839 nbRevisions=196087
3.98 nbUselessRevisions=153065 nbAssignments=3127 nbFailedAssignments=231 nbBacktracks=503 nbVisitedNodes=3541
3.98 nbRestartNogoods=104 mapSize=290 nbInferences=0 nbTooLargeKeys=0
3.98 => wckTime=2.138 cpuTime=2.01 mem=11M113
4.86
4.86 search
4.87 run=8 nbConstraintChecks=220132 nbValidityChecks=240295 nbPropagations=56178 nbRevisions=296872
4.87 nbUselessRevisions=233398 nbAssignments=3924 nbFailedAssignments=329 nbBacktracks=761 nbVisitedNodes=4526
4.87 nbRestartNogoods=114 mapSize=446 nbInferences=0 nbTooLargeKeys=0
4.87 => wckTime=3.024 cpuTime=2.89 mem=12M114
5.91
5.91 search
5.91 run=9 nbConstraintChecks=319659 nbValidityChecks=368307 nbPropagations=76906 nbRevisions=444784
5.91 nbUselessRevisions=351055 nbAssignments=4955 nbFailedAssignments=510 nbBacktracks=1152 nbVisitedNodes=5916
5.91 nbRestartNogoods=140 mapSize=744 nbInferences=0 nbTooLargeKeys=0
5.91 => wckTime=4.063 cpuTime=3.91 mem=13M116
6.20
6.20 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=14M118)
6.30
6.30 search
6.30 run=10 nbConstraintChecks=457232 nbValidityChecks=559951 nbPropagations=104822 nbRevisions=665120
6.30 nbUselessRevisions=527134 nbAssignments=6195 nbFailedAssignments=745 nbBacktracks=1729 nbVisitedNodes=7615
6.30 nbRestartNogoods=176
6.30 => wckTime=4.456 cpuTime=4.3 mem=14M118
6.63
6.63 search
6.63 run=11 nbConstraintChecks=557230 nbValidityChecks=698738 nbPropagations=139911 nbRevisions=932520
6.63 nbUselessRevisions=737752 nbAssignments=7769 nbFailedAssignments=1234 nbBacktracks=2595 nbVisitedNodes=10021
6.63 nbRestartNogoods=205
6.64 => wckTime=4.794 cpuTime=4.64 mem=14M118
7.13
7.13 search
7.13 run=12 nbConstraintChecks=777976 nbValidityChecks=1036825 nbPropagations=187887 nbRevisions=1336354
7.13 nbUselessRevisions=1061068 nbAssignments=9899 nbFailedAssignments=1633 nbBacktracks=3897 nbVisitedNodes=12918
7.13 nbRestartNogoods=224
7.13 => wckTime=5.288 cpuTime=5.12 mem=14M118
7.63
7.63 search
7.63 run=13 nbConstraintChecks=882530 nbValidityChecks=1199849 nbPropagations=245681 nbRevisions=1801783
7.63 nbUselessRevisions=1429325 nbAssignments=12407 nbFailedAssignments=2055 nbBacktracks=5845 nbVisitedNodes=16270
7.63 nbRestartNogoods=261
7.63 => wckTime=5.79 cpuTime=5.62 mem=14M118
8.64
8.64 search
8.64 run=14 nbConstraintChecks=1280394 nbValidityChecks=1853939 nbPropagations=327093 nbRevisions=2534780
8.64 nbUselessRevisions=2018048 nbAssignments=16401 nbFailedAssignments=2767 nbBacktracks=8768 nbVisitedNodes=21727
8.64 nbRestartNogoods=266
8.64 => wckTime=6.798 cpuTime=6.63 mem=14M118
9.98
9.98 search
9.98 run=15 nbConstraintChecks=1730617 nbValidityChecks=2611087 nbPropagations=438511 nbRevisions=3563419
9.98 nbUselessRevisions=2844781 nbAssignments=22093 nbFailedAssignments=3819 nbBacktracks=12847 nbVisitedNodes=29467
9.98 nbRestartNogoods=275
9.98 => wckTime=8.135 cpuTime=7.96 mem=14M118
9.98
9.98 global
9.98 nbConstraintChecks=1730617 nbValidityChecks=2611087 nbPropagations=439072 nbRevisions=3563419
9.98 nbUselessRevisions=2844781 nbRestartNogoods=275 solvingWckTime=8.136 solvingCpuTime=7.96 expiredTime=no
9.98 totalExploration=no nbFoundSolutions=1 globalCpuTime=9.22
9.98 => wckTime=9.665 cpuTime=9.16 mem=14M118
9.98
9.98 s SATISFIABLE
9.98 v 3 1 0 1 0 3 1 0 1 2 1 3 1 0 2 1 0 0 2 0 2 3 1 0 1 0 2 3 0 3 2 1 2 0 2 0 1 2 2 3 3 2 2 1 1 2 0 2 1 0 3 1 1 1 3 3 0 0 1 0 2 0 1 3 0 3 3 1 0 2 0 3 0 2 1 3 0 1 0 0 1 3 0 1 1 0 2 3 2 2 2 1 3 1 0 3 0 1 0 1 2 1 0 3 3 1 3 2 0 3 3 2 1 2 1 3 3 1 2 0 0 1 1 0 2 2 0 2 0 0 0 2 2 1 0 0 2 2 1 3 0 2 1 1 3 0 2 1 1 3 3 1 1 3 1 0 2 1 3 2 1 2 2 1 2 2 3 2 3 2 3 0 0 1 0 3 0 1 3 2 0 0 1 3 2 1 3 1 0 1 3 0 1 3 3 2 3 2 1 2 0 3 0 1 2 0 2 2 1 0 3 3 0 3 1 3 1 3 0 0 1 2 0 2 2 2 3 2 0 1 0 3 0 1 3 0 1 2 0 3 2 3 0 1 3 1 1 2 0 2 1 2 0 3 1 0 2 0 3 1 0 3 0 1 2 3 0 2 1 3 2 3 1 2 0 1 0 1 3 2 0 0 1 2 0 3 1 1 1 0 3 2 0 3 1 3 1 3 0 0 3 1 2 0 1 1 2 1 1 2 0 1 0 0 1 2 0 1 2 2 0 3 0 3 3 1 3 1 0 3 3 0 3 1 0 0 0 0 2 0 1 2 1 2 2 1 2 0 2 1 3 2 1 0 3 3 1 0 2 3 3 1 2 0 0 1 0 0 2 0 2 1 3 1 2 3 2 1 3 2 2 0 1 0 0 3 2 0 1 3 0 3 3 3 3 3 2 1 2 3 3 0 2 2 1 0 0 1 1 0 0 1 0 0 2 3 3 2 2 3 1 1 1 3 2 1 1 2 2 2 1 2 0 2 0 3 2 3 0 3 3 2 1 2 2 0 1 2 2 0 1 2 3 0 0 1 2 1 1 0 2 0 1 0 3 0 1 1 0 1 0 3 1 3 0 1 2 3 3 3 0 1 2 3 1 3 1 0 0 1 0 3 3 0 3 1 0 3 0 3 1 0 2 2 3 0 1 3 0 3 0 2 3 1 2 3 1 3 0 0 1 1 0 2 2 1 1 2 3 2 1 2 1 3 1 1 2 0 3 3 1 1 2 3 2 0 0 1 1 0 2 2 0 1 1 0 1 2 1 0 0
9.98 d NODES 22093
9.98 d CHECKS 1730617
9.98
9.98 totalWckTime=9.746 totalCpuTime=9.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-217922-1168079516 -o ROOT/results/node58/solver-217922-1168079516 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217922-1168079516/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.78 1.90 1.68 2/80 29018
/proc/meminfo: memFree=1452064/2055920 swapFree=4192812/4192956
[pid=29017] ppid=29015 vsize=18540 CPUtime=0
/proc/29017/stat : 29017 (runsolver) R 29015 29017 28762 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156349572 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29017/statm: 4635 279 244 17 0 2626 0
[startup+0.102604 s]
/proc/loadavg: 1.78 1.90 1.68 2/80 29018
/proc/meminfo: memFree=1452064/2055920 swapFree=4192812/4192956
[pid=29017] ppid=29015 vsize=914988 CPUtime=0.08
/proc/29017/stat : 29017 (java) D 29015 29017 28762 0 -1 0 2987 0 1 0 6 2 0 0 17 0 8 0 156349572 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29017/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514597 s]
/proc/loadavg: 1.78 1.90 1.68 2/80 29018
/proc/meminfo: memFree=1452064/2055920 swapFree=4192812/4192956
[pid=29017] ppid=29015 vsize=915328 CPUtime=0.49
/proc/29017/stat : 29017 (java) S 29015 29017 28762 0 -1 0 6584 0 1 0 44 5 0 0 18 0 8 0 156349572 937295872 6323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29017/statm: 228832 6323 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34067 s]
/proc/loadavg: 1.78 1.90 1.68 3/87 29025
/proc/meminfo: memFree=1391528/2055920 swapFree=4192812/4192956
[pid=29017] ppid=29015 vsize=915636 CPUtime=1.32
/proc/29017/stat : 29017 (java) R 29015 29017 28762 0 -1 0 17474 0 1 0 102 30 0 0 22 0 8 0 156349572 937611264 17211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29017/statm: 228909 17211 2178 14 0 215379 0
[pid=29017/tid=29019] ppid=29015 vsize=915636 CPUtime=0.03
/proc/29017/task/29019/stat : 29019 (java) S 29015 29017 28762 0 -1 64 868 0 0 0 3 0 0 0 17 0 8 0 156349576 937611264 17211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29020] ppid=29015 vsize=915636 CPUtime=0
/proc/29017/task/29020/stat : 29020 (java) S 29015 29017 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156349577 937611264 17211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29021] ppid=29015 vsize=915636 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29015 29017 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156349577 937611264 17211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29022] ppid=29015 vsize=915636 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29015 29017 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156349580 937611264 17211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29023] ppid=29015 vsize=915636 CPUtime=0.17
/proc/29017/task/29023/stat : 29023 (java) S 29015 29017 28762 0 -1 64 422 0 0 0 17 0 0 0 16 0 8 0 156349580 937611264 17211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29024] ppid=29015 vsize=915636 CPUtime=0
/proc/29017/task/29024/stat : 29024 (java) S 29015 29017 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156349580 937611264 17211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29025] ppid=29015 vsize=915636 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29015 29017 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156349580 937611264 17211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915636
[startup+2.97781 s]
/proc/loadavg: 1.80 1.90 1.68 3/87 29025
/proc/meminfo: memFree=1386536/2055920 swapFree=4192812/4192956
[pid=29017] ppid=29015 vsize=915720 CPUtime=2.95
/proc/29017/stat : 29017 (java) R 29015 29017 28762 0 -1 0 19084 0 1 0 258 37 0 0 25 0 8 0 156349572 937697280 18819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074033699 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29017/statm: 228930 18819 2536 14 0 215400 0
[pid=29017/tid=29019] ppid=29015 vsize=915720 CPUtime=0.09
/proc/29017/task/29019/stat : 29019 (java) S 29015 29017 28762 0 -1 64 1964 0 0 0 9 0 0 0 17 0 8 0 156349576 937697280 18819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29020] ppid=29015 vsize=915720 CPUtime=0
/proc/29017/task/29020/stat : 29020 (java) S 29015 29017 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156349577 937697280 18819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29021] ppid=29015 vsize=915720 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29015 29017 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156349577 937697280 18819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29022] ppid=29015 vsize=915720 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29015 29017 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156349580 937697280 18819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29023] ppid=29015 vsize=915720 CPUtime=0.32
/proc/29017/task/29023/stat : 29023 (java) S 29015 29017 28762 0 -1 64 497 0 0 0 31 1 0 0 15 0 8 0 156349580 937697280 18819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29024] ppid=29015 vsize=915720 CPUtime=0
/proc/29017/task/29024/stat : 29024 (java) S 29015 29017 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156349580 937697280 18819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29025] ppid=29015 vsize=915720 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29015 29017 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156349580 937697280 18819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915720
[startup+6.26409 s]
/proc/loadavg: 1.80 1.90 1.68 3/87 29025
/proc/meminfo: memFree=1381736/2055920 swapFree=4192812/4192956
[pid=29017] ppid=29015 vsize=915720 CPUtime=6.21
/proc/29017/stat : 29017 (java) R 29015 29017 28762 0 -1 0 20244 0 1 0 584 37 0 0 25 0 8 0 156349572 937697280 19977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074054215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29017/statm: 228930 19977 2536 14 0 215400 0
[pid=29017/tid=29019] ppid=29015 vsize=915720 CPUtime=0.13
/proc/29017/task/29019/stat : 29019 (java) S 29015 29017 28762 0 -1 64 3115 0 0 0 12 1 0 0 17 0 8 0 156349576 937697280 19977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29020] ppid=29015 vsize=915720 CPUtime=0
/proc/29017/task/29020/stat : 29020 (java) S 29015 29017 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156349577 937697280 19977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29021] ppid=29015 vsize=915720 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29015 29017 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156349577 937697280 19977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29022] ppid=29015 vsize=915720 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29015 29017 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156349580 937697280 19977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29023] ppid=29015 vsize=915720 CPUtime=0.34
/proc/29017/task/29023/stat : 29023 (java) S 29015 29017 28762 0 -1 64 505 0 0 0 33 1 0 0 15 0 8 0 156349580 937697280 19977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29024] ppid=29015 vsize=915720 CPUtime=0
/proc/29017/task/29024/stat : 29024 (java) S 29015 29017 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156349580 937697280 19977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29017/tid=29025] ppid=29015 vsize=915720 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29015 29017 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156349580 937697280 19977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915720
Child status: 0
Real time (s): 10.0416
CPU time (s): 9.93749
CPU user time (s): 9.54455
CPU system time (s): 0.39294
CPU usage (%): 98.9633
Max. virtual memory (cumulated for all children) (KiB): 915820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.54455
system time used= 0.39294
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20256
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= 1542
involuntary context switches= 1876
runsolver used 0.010998 s user time and 0.042993 s system time
The end
Begin job on node58 on Sat Jan 6 10:31:56 UTC 2007
IDJOB= 217922
IDBENCH= 5181
FILE ID= node58/217922-1168079516
PBS_JOBID= 3476126
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey4/ramsey-34-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217922-1168079516/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-217922-1168079516 -o ROOT/results/node58/solver-217922-1168079516 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217922-1168079516/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3dd3772dc78cb755f7c11e57b1134fd2
RANDOM SEED= 590150195
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.223
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.223
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: 1452480 kB
Buffers: 22272 kB
Cached: 286176 kB
SwapCached: 0 kB
Active: 287968 kB
Inactive: 249088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1452480 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2656 kB
Writeback: 0 kB
Mapped: 248868 kB
Slab: 51428 kB
Committed_AS: 3026240 kB
PageTables: 2176 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= 66532 MiB
End job on node58 on Sat Jan 6 10:32:08 UTC 2007