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/214067-1168077594/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.46 nbVariables=668 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.46 => wckTime=0.152 cpuTime=0.13 mem=8M25
0.46
0.46 predicates being loaded...
0.47
0.47 constraints being loaded...
0.90 nbConstraints=1666 nbConvertedConstraints=456 nbConvertConstraintsChecks=56 nbExtensionStructures=2
0.90 nbSharedExtensionStructures=454 nbConflictsStructures=8 nbSharedConflictsStructures=1658
0.90 nbSharedBinaryRepresentations=5 nbEvaluationManagers=6 nbSharedEvaluationManagers=1204 maxDegree=43 maxArity=3
0.90 => wckTime=0.584 cpuTime=0.44 mem=17M777
0.95
0.95 solver IterativeSystematicSolver being built...
1.20 => wckTime=0.883 cpuTime=0.63 mem=24M369
1.22
1.22 preprocessing
1.22 nbConstraintChecks=0 nbPropagations=668 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.22 detectedInconsistency=no
1.22 => wckTime=0.016 cpuTime=0.01 mem=24M369
1.32
1.32 search
1.32 run=0 nbConstraintChecks=6909 nbValidityChecks=4462 nbPropagations=2938 nbRevisions=9608
1.32 nbUselessRevisions=7334 nbAssignments=42 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=51
1.32 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.124 cpuTime=0.08 mem=24M369
1.36
1.36 search
1.36 run=1 nbConstraintChecks=13256 nbValidityChecks=10078 nbPropagations=8166 nbRevisions=28909
1.36 nbUselessRevisions=22067 nbAssignments=84 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=101
1.36 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.16 cpuTime=0.11 mem=24M369
1.40
1.40 search
1.40 run=2 nbConstraintChecks=23987 nbValidityChecks=19492 nbPropagations=17190 nbRevisions=64282
1.40 nbUselessRevisions=49057 nbAssignments=141 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=172
1.40 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.199 cpuTime=0.15 mem=24M369
1.44
1.44 search
1.44 run=3 nbConstraintChecks=34996 nbValidityChecks=29268 nbPropagations=30134 nbRevisions=116352
1.44 nbUselessRevisions=88810 nbAssignments=207 nbFailedAssignments=22 nbBacktracks=85 nbVisitedNodes=252
1.44 nbRestartNogoods=5 mapSize=36 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.242 cpuTime=0.19 mem=24M369
1.50
1.50 search
1.50 run=4 nbConstraintChecks=52010 nbValidityChecks=44176 nbPropagations=49049 nbRevisions=193801
1.50 nbUselessRevisions=147940 nbAssignments=297 nbFailedAssignments=33 nbBacktracks=136 nbVisitedNodes=364
1.50 nbRestartNogoods=8 mapSize=56 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.302 cpuTime=0.25 mem=24M369
1.58
1.58 search
1.58 run=5 nbConstraintChecks=74636 nbValidityChecks=64084 nbPropagations=75914 nbRevisions=305291
1.58 nbUselessRevisions=233108 nbAssignments=410 nbFailedAssignments=48 nbBacktracks=214 nbVisitedNodes=507
1.58 nbRestartNogoods=10 mapSize=85 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.379 cpuTime=0.32 mem=24M369
1.69
1.69 search
1.69 run=6 nbConstraintChecks=110879 nbValidityChecks=95528 nbPropagations=115319 nbRevisions=470236
1.69 nbUselessRevisions=359103 nbAssignments=575 nbFailedAssignments=72 nbBacktracks=333 nbVisitedNodes=720
1.69 nbRestartNogoods=11 mapSize=131 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.495 cpuTime=0.44 mem=24M369
1.83
1.83 search
1.83 run=7 nbConstraintChecks=144044 nbValidityChecks=123997 nbPropagations=165876 nbRevisions=684906
1.83 nbUselessRevisions=523383 nbAssignments=812 nbFailedAssignments=106 nbBacktracks=510 nbVisitedNodes=1024
1.83 nbRestartNogoods=13 mapSize=196 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.631 cpuTime=0.57 mem=24M369
2.01
2.01 search
2.01 run=8 nbConstraintChecks=181313 nbValidityChecks=156452 nbPropagations=228928 nbRevisions=956881
2.01 nbUselessRevisions=732005 nbAssignments=1135 nbFailedAssignments=146 nbBacktracks=769 nbVisitedNodes=1428
2.01 nbRestartNogoods=15 mapSize=275 nbInferences=0 nbTooLargeKeys=0
2.01 => wckTime=0.807 cpuTime=0.74 mem=24M369
2.33
2.33 search
2.33 run=9 nbConstraintChecks=250513 nbValidityChecks=220450 nbPropagations=315936 nbRevisions=1341445
2.33 nbUselessRevisions=1028171 nbAssignments=1609 nbFailedAssignments=206 nbBacktracks=1161 nbVisitedNodes=2038
2.33 nbRestartNogoods=17 mapSize=408 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=1.128 cpuTime=1.04 mem=25M344
2.70
2.70 search
2.70 run=10 nbConstraintChecks=340241 nbValidityChecks=301656 nbPropagations=433321 nbRevisions=1873481
2.70 nbUselessRevisions=1439249 nbAssignments=2320 nbFailedAssignments=301 nbBacktracks=1738 nbVisitedNodes=2967
2.70 nbRestartNogoods=20 mapSize=622 nbInferences=0 nbTooLargeKeys=0
2.70 => wckTime=1.501 cpuTime=1.39 mem=25M344
3.23
3.23 search
3.23 run=11 nbConstraintChecks=473224 nbValidityChecks=428064 nbPropagations=596634 nbRevisions=2625813
3.23 nbUselessRevisions=2021840 nbAssignments=3335 nbFailedAssignments=408 nbBacktracks=2618 nbVisitedNodes=4202
3.23 nbRestartNogoods=24 mapSize=839 nbInferences=0 nbTooLargeKeys=0
3.23 => wckTime=2.03 cpuTime=1.92 mem=25M344
3.66
3.66 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=25M344)
3.89
3.89 search
3.89 run=12 nbConstraintChecks=653186 nbValidityChecks=598265 nbPropagations=822850 nbRevisions=3680222
3.89 nbUselessRevisions=2839709 nbAssignments=4805 nbFailedAssignments=556 nbBacktracks=3915 nbVisitedNodes=5991
3.89 nbRestartNogoods=27
3.89 => wckTime=2.694 cpuTime=2.57 mem=25M344
4.60
4.60 search
4.60 run=13 nbConstraintChecks=847343 nbValidityChecks=783401 nbPropagations=1117691 nbRevisions=5074412
4.60 nbUselessRevisions=3924803 nbAssignments=6992 nbFailedAssignments=750 nbBacktracks=5879 nbVisitedNodes=8598
4.60 nbRestartNogoods=32
4.60 => wckTime=3.399 cpuTime=3.27 mem=25M344
5.98
5.98 search
5.99 run=14 nbConstraintChecks=1285048 nbValidityChecks=1242565 nbPropagations=1565596 nbRevisions=7234754
5.99 nbUselessRevisions=5610933 nbAssignments=10386 nbFailedAssignments=1191 nbBacktracks=8798 nbVisitedNodes=12882
5.99 nbRestartNogoods=39
5.99 => wckTime=4.786 cpuTime=4.64 mem=25M344
7.91
7.91 search
7.91 run=15 nbConstraintChecks=1921309 nbValidityChecks=1860142 nbPropagations=2242951 nbRevisions=10475924
7.91 nbUselessRevisions=8134868 nbAssignments=15291 nbFailedAssignments=1684 nbBacktracks=13177 nbVisitedNodes=18816
7.91 nbRestartNogoods=47
7.91 => wckTime=6.712 cpuTime=6.55 mem=25M344
9.08
9.08 search
9.08 run=16 nbConstraintChecks=2267022 nbValidityChecks=2203814 nbPropagations=3044714 nbRevisions=14324017
9.08 nbUselessRevisions=11132612 nbAssignments=18764 nbFailedAssignments=1938 nbBacktracks=15728
9.08 nbVisitedNodes=22827 nbRestartNogoods=52
9.08 => wckTime=7.878 cpuTime=7.69 mem=25M344
9.08
9.08 global
9.08 nbConstraintChecks=2267022 nbValidityChecks=2203814 nbPropagations=3045382 nbRevisions=14324017
9.08 nbUselessRevisions=11132612 nbRestartNogoods=52 solvingWckTime=7.879 solvingCpuTime=7.69 expiredTime=no
9.08 totalExploration=no nbFoundSolutions=1 globalCpuTime=8.37
9.08 => wckTime=8.766 cpuTime=8.32 mem=25M344
9.08
9.08 s SATISFIABLE
9.08 v 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 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 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 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 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0
9.08 d NODES 18764
9.08 d CHECKS 2267022
9.08
9.08 totalWckTime=8.847 totalCpuTime=8.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-214067-1168077594 -o ROOT/results/node34/solver-214067-1168077594 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214067-1168077594/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.00 2.00 1.91 2/80 10786
/proc/meminfo: memFree=1411400/2055920 swapFree=4192812/4192956
[pid=10785] ppid=10783 vsize=18540 CPUtime=0
/proc/10785/stat : 10785 (runsolver) R 10783 10785 10356 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156153268 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 254195330343 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10785/statm: 4635 279 244 17 0 2626 0
[startup+0.102602 s]
/proc/loadavg: 2.00 2.00 1.91 2/80 10786
/proc/meminfo: memFree=1411400/2055920 swapFree=4192812/4192956
[pid=10785] ppid=10783 vsize=914988 CPUtime=0.08
/proc/10785/stat : 10785 (java) D 10783 10785 10356 0 -1 0 2987 0 1 0 7 1 0 0 20 0 8 0 156153268 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10785/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510624 s]
/proc/loadavg: 2.00 2.00 1.91 2/80 10786
/proc/meminfo: memFree=1411400/2055920 swapFree=4192812/4192956
[pid=10785] ppid=10783 vsize=915328 CPUtime=0.48
/proc/10785/stat : 10785 (java) R 10783 10785 10356 0 -1 0 6378 0 1 0 45 3 0 0 18 0 8 0 156153268 937295872 6117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10785/statm: 228832 6117 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33281 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 10793
/proc/meminfo: memFree=1382864/2055920 swapFree=4192812/4192956
[pid=10785] ppid=10783 vsize=915764 CPUtime=1.3
/proc/10785/stat : 10785 (java) R 10783 10785 10356 0 -1 0 11081 0 1 0 116 14 0 0 23 0 8 0 156153268 937742336 10818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10785/statm: 228941 10818 2533 14 0 215411 0
[pid=10785/tid=10787] ppid=10783 vsize=915764 CPUtime=0.04
/proc/10785/task/10787/stat : 10787 (java) S 10783 10785 10356 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 156153272 937742336 10818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10788] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10788/stat : 10788 (java) S 10783 10785 10356 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156153272 937742336 10818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10789] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10789/stat : 10789 (java) S 10783 10785 10356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156153272 937742336 10818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10790] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10790/stat : 10790 (java) S 10783 10785 10356 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156153275 937742336 10818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10791] ppid=10783 vsize=915764 CPUtime=0.28
/proc/10785/task/10791/stat : 10791 (java) S 10783 10785 10356 0 -1 64 483 0 0 0 27 1 0 0 15 0 8 0 156153275 937742336 10818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10792] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10792/stat : 10792 (java) S 10783 10785 10356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156153275 937742336 10818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10793] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10793/stat : 10793 (java) S 10783 10785 10356 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156153275 937742336 10818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915764
[startup+2.98582 s]
/proc/loadavg: 2.00 2.00 1.91 4/87 10793
/proc/meminfo: memFree=1377424/2055920 swapFree=4192812/4192956
[pid=10785] ppid=10783 vsize=915764 CPUtime=2.94
/proc/10785/stat : 10785 (java) R 10783 10785 10356 0 -1 0 11297 0 1 0 279 15 0 0 25 0 8 0 156153268 937742336 11033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10785/statm: 228941 11033 2533 14 0 215411 0
[pid=10785/tid=10787] ppid=10783 vsize=915764 CPUtime=0.04
/proc/10785/task/10787/stat : 10787 (java) S 10783 10785 10356 0 -1 64 414 0 0 0 4 0 0 0 17 0 8 0 156153272 937742336 11033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10788] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10788/stat : 10788 (java) S 10783 10785 10356 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156153272 937742336 11033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10789] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10789/stat : 10789 (java) S 10783 10785 10356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156153272 937742336 11033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10790] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10790/stat : 10790 (java) S 10783 10785 10356 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156153275 937742336 11033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10791] ppid=10783 vsize=915764 CPUtime=0.32
/proc/10785/task/10791/stat : 10791 (java) S 10783 10785 10356 0 -1 64 502 0 0 0 31 1 0 0 16 0 8 0 156153275 937742336 11033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10792] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10792/stat : 10792 (java) S 10783 10785 10356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156153275 937742336 11033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10793] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10793/stat : 10793 (java) S 10783 10785 10356 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156153275 937742336 11033 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) 915764
[startup+6.27809 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 10793
/proc/meminfo: memFree=1376656/2055920 swapFree=4192812/4192956
[pid=10785] ppid=10783 vsize=915764 CPUtime=6.2
/proc/10785/stat : 10785 (java) R 10783 10785 10356 0 -1 0 11392 0 1 0 605 15 0 0 25 0 8 0 156153268 937742336 11125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10785/statm: 228941 11125 2533 14 0 215411 0
[pid=10785/tid=10787] ppid=10783 vsize=915764 CPUtime=0.04
/proc/10785/task/10787/stat : 10787 (java) S 10783 10785 10356 0 -1 64 414 0 0 0 4 0 0 0 17 0 8 0 156153272 937742336 11125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10788] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10788/stat : 10788 (java) S 10783 10785 10356 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156153272 937742336 11125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10789] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10789/stat : 10789 (java) S 10783 10785 10356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156153272 937742336 11125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10790] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10790/stat : 10790 (java) S 10783 10785 10356 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156153275 937742336 11125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10791] ppid=10783 vsize=915764 CPUtime=0.32
/proc/10785/task/10791/stat : 10791 (java) S 10783 10785 10356 0 -1 64 504 0 0 0 31 1 0 0 15 0 8 0 156153275 937742336 11125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10792] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10792/stat : 10792 (java) S 10783 10785 10356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156153275 937742336 11125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10785/tid=10793] ppid=10783 vsize=915764 CPUtime=0
/proc/10785/task/10793/stat : 10793 (java) S 10783 10785 10356 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156153275 937742336 11125 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) 915764
Child status: 0
Real time (s): 9.10345
CPU time (s): 8.98763
CPU user time (s): 8.82666
CPU system time (s): 0.160975
CPU usage (%): 98.7278
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.82666
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11493
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= 1683
involuntary context switches= 2263
runsolver used 0.017997 s user time and 0.040993 s system time
The end
Begin job on node34 on Sat Jan 6 09:59:54 UTC 2007
IDJOB= 214067
IDBENCH= 4896
FILE ID= node34/214067-1168077594
PBS_JOBID= 3476022
Free space on /tmp= 66533 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-3-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214067-1168077594/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-214067-1168077594 -o ROOT/results/node34/solver-214067-1168077594 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214067-1168077594/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 10e3c68c7fa568e103db6abbc19c9964
RANDOM SEED= 52184335
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.227
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.227
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: 1411880 kB
Buffers: 32684 kB
Cached: 441684 kB
SwapCached: 0 kB
Active: 155196 kB
Inactive: 412612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1411880 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 113640 kB
Slab: 61456 kB
Committed_AS: 3251592 kB
PageTables: 1948 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= 66533 MiB
End job on node34 on Sat Jan 6 10:00:04 UTC 2007