0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/209995-1168075002/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.38 => wckTime=0.089 cpuTime=0.07 mem=6M951
0.38
0.38 predicates being loaded...
0.38
0.38 constraints being loaded...
0.47 nbConstraints=90 nbConflictsStructures=1 nbSharedConflictsStructures=89 nbSharedBinaryRepresentations=0
0.47 nbEvaluationManagers=1 nbSharedEvaluationManagers=89 maxDegree=18 maxArity=3
0.47 => wckTime=0.181 cpuTime=0.14 mem=7M927
0.50
0.50 solver IterativeSystematicSolver being built...
0.65 => wckTime=0.361 cpuTime=0.27 mem=14M282
0.66
0.66 preprocessing
0.66 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.66 detectedInconsistency=no
0.66 => wckTime=0.0030 cpuTime=0.0 mem=14M282
0.71
0.71 search
0.71 run=0 nbConstraintChecks=11523 nbValidityChecks=9759 nbPropagations=306 nbRevisions=3126
0.71 nbUselessRevisions=2580 nbAssignments=30 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=55
0.71 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
0.71 => wckTime=0.058 cpuTime=0.03 mem=14M282
0.74
0.74 search
0.74 run=1 nbConstraintChecks=29401 nbValidityChecks=25404 nbPropagations=1012 nbRevisions=10839
0.74 nbUselessRevisions=8959 nbAssignments=74 nbFailedAssignments=40 nbBacktracks=25 nbVisitedNodes=135
0.74 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
0.74 => wckTime=0.087 cpuTime=0.06 mem=14M282
0.77
0.77 search
0.77 run=2 nbConstraintChecks=51774 nbValidityChecks=46802 nbPropagations=2280 nbRevisions=25071
0.77 nbUselessRevisions=20696 nbAssignments=137 nbFailedAssignments=76 nbBacktracks=47 nbVisitedNodes=252
0.77 nbRestartNogoods=6 mapSize=47 nbInferences=0 nbTooLargeKeys=0
0.77 => wckTime=0.119 cpuTime=0.09 mem=14M282
0.81
0.81 search
0.81 run=3 nbConstraintChecks=85602 nbValidityChecks=78755 nbPropagations=4337 nbRevisions=49045
0.81 nbUselessRevisions=40560 nbAssignments=227 nbFailedAssignments=128 nbBacktracks=80 nbVisitedNodes=420
0.81 nbRestartNogoods=12 mapSize=80 nbInferences=0 nbTooLargeKeys=0
0.81 => wckTime=0.154 cpuTime=0.12 mem=14M282
0.85
0.85 search
0.85 run=4 nbConstraintChecks=132516 nbValidityChecks=122931 nbPropagations=7534 nbRevisions=86626
0.85 nbUselessRevisions=71655 nbAssignments=362 nbFailedAssignments=208 nbBacktracks=132 nbVisitedNodes=675
0.85 nbRestartNogoods=16 mapSize=132 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.195 cpuTime=0.16 mem=14M282
0.91
0.91 search
0.91 run=5 nbConstraintChecks=201417 nbValidityChecks=191234 nbPropagations=12392 nbRevisions=144868
0.91 nbUselessRevisions=119795 nbAssignments=560 nbFailedAssignments=326 nbBacktracks=207 nbVisitedNodes=1050
0.91 nbRestartNogoods=18 mapSize=207 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.258 cpuTime=0.22 mem=14M282
1.00
1.00 search
1.00 run=6 nbConstraintChecks=311645 nbValidityChecks=293589 nbPropagations=19721 nbRevisions=234543
1.00 nbUselessRevisions=194003 nbAssignments=854 nbFailedAssignments=502 nbBacktracks=321 nbVisitedNodes=1608
1.00 nbRestartNogoods=27 mapSize=321 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.351 cpuTime=0.31 mem=14M282
1.14
1.14 search
1.14 run=7 nbConstraintChecks=463051 nbValidityChecks=441015 nbPropagations=30720 nbRevisions=370297
1.14 nbUselessRevisions=306296 nbAssignments=1291 nbFailedAssignments=764 nbBacktracks=491 nbVisitedNodes=2438
1.14 nbRestartNogoods=33 mapSize=491 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.483 cpuTime=0.43 mem=14M282
1.33
1.33 search
1.33 run=8 nbConstraintChecks=704232 nbValidityChecks=667254 nbPropagations=47177 nbRevisions=575261
1.33 nbUselessRevisions=475958 nbAssignments=1946 nbFailedAssignments=1158 nbBacktracks=747 nbVisitedNodes=3684
1.33 nbRestartNogoods=39 mapSize=747 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.681 cpuTime=0.62 mem=14M282
1.54
1.54 INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=14M282)
1.59
1.59 search
1.59 run=9 nbConstraintChecks=1034972 nbValidityChecks=992156 nbPropagations=71774 nbRevisions=879675
1.59 nbUselessRevisions=727494 nbAssignments=2921 nbFailedAssignments=1744 nbBacktracks=1131 nbVisitedNodes=5538
1.59 nbRestartNogoods=48
1.59 => wckTime=0.936 cpuTime=0.87 mem=14M282
1.97
1.97 search
1.97 run=10 nbConstraintChecks=1541409 nbValidityChecks=1475927 nbPropagations=108395 nbRevisions=1334771
1.97 nbUselessRevisions=1104105 nbAssignments=4353 nbFailedAssignments=2596 nbBacktracks=1707 nbVisitedNodes=8262
1.97 nbRestartNogoods=54
1.97 => wckTime=1.312 cpuTime=1.23 mem=14M282
2.49
2.49 search
2.49 run=11 nbConstraintChecks=2243947 nbValidityChecks=2195976 nbPropagations=162918 nbRevisions=2008851
2.49 nbUselessRevisions=1660895 nbAssignments=6538 nbFailedAssignments=3912 nbBacktracks=2571 nbVisitedNodes=12421
2.49 nbRestartNogoods=63
2.49 => wckTime=1.84 cpuTime=1.76 mem=14M282
3.32
3.32 search
3.32 run=12 nbConstraintChecks=3366155 nbValidityChecks=3287942 nbPropagations=244619 nbRevisions=3020013
3.32 nbUselessRevisions=2495961 nbAssignments=9824 nbFailedAssignments=5896 nbBacktracks=3869 nbVisitedNodes=18683
3.32 nbRestartNogoods=75
3.32 => wckTime=2.665 cpuTime=2.58 mem=15M257
4.55
4.55 search
4.55 run=13 nbConstraintChecks=5027294 nbValidityChecks=4918902 nbPropagations=367000 nbRevisions=4529642
4.55 nbUselessRevisions=3742330 nbAssignments=14751 nbFailedAssignments=8872 nbBacktracks=5816 nbVisitedNodes=28074
4.55 nbRestartNogoods=81
4.55 => wckTime=3.894 cpuTime=3.81 mem=15M257
6.38
6.38 search
6.38 run=14 nbConstraintChecks=7511210 nbValidityChecks=7322947 nbPropagations=549778 nbRevisions=6781481
6.38 nbUselessRevisions=5600218 nbAssignments=22135 nbFailedAssignments=13332 nbBacktracks=8735 nbVisitedNodes=42148
6.38 nbRestartNogoods=91
6.38 => wckTime=5.729 cpuTime=5.65 mem=15M257
9.14
9.14 search
9.14 run=15 nbConstraintChecks=11270968 nbValidityChecks=10923041 nbPropagations=822899 nbRevisions=10142838
9.14 nbUselessRevisions=8374125 nbAssignments=33036 nbFailedAssignments=19850 nbBacktracks=13113
9.14 nbVisitedNodes=62904 nbRestartNogoods=103
9.14 => wckTime=8.488 cpuTime=8.4 mem=15M257
13.21
13.21 search
13.21 run=16 nbConstraintChecks=16781054 nbValidityChecks=16295031 nbPropagations=1230923 nbRevisions=15171925
13.21 nbUselessRevisions=12523935 nbAssignments=49210 nbFailedAssignments=29451 nbBacktracks=19682
13.21 nbVisitedNodes=93655 nbRestartNogoods=112
13.21 => wckTime=12.558 cpuTime=12.47 mem=15M257
19.35
19.35 search
19.35 run=17 nbConstraintChecks=25072177 nbValidityChecks=24430063 nbPropagations=1841665 nbRevisions=22724515
19.35 nbUselessRevisions=18764853 nbAssignments=72952 nbFailedAssignments=43336 nbBacktracks=29534
19.35 nbVisitedNodes=138731 nbRestartNogoods=124
19.35 => wckTime=18.7 cpuTime=18.57 mem=15M257
28.29
28.29 search
28.29 run=18 nbConstraintChecks=37104713 nbValidityChecks=36264156 nbPropagations=2756753 nbRevisions=33896463
28.29 nbUselessRevisions=27978235 nbAssignments=109321 nbFailedAssignments=64923 nbBacktracks=44312
28.29 nbVisitedNodes=207850 nbRestartNogoods=138
28.29 => wckTime=27.634 cpuTime=27.49 mem=15M257
41.14
41.14 search
41.14 run=19 nbConstraintChecks=54423429 nbValidityChecks=53911530 nbPropagations=4113909 nbRevisions=50531032
41.14 nbUselessRevisions=41736764 nbAssignments=159256 nbFailedAssignments=92685 nbBacktracks=66480
41.14 nbVisitedNodes=301994 nbRestartNogoods=147
41.14 => wckTime=40.487 cpuTime=40.34 mem=15M257
53.37
53.37 search
53.37 run=20 nbConstraintChecks=70687294 nbValidityChecks=70793146 nbPropagations=5894006 nbRevisions=72352246
53.37 nbUselessRevisions=59793847 nbAssignments=208319 nbFailedAssignments=120868 nbBacktracks=87361
53.37 nbVisitedNodes=394577 nbRestartNogoods=158
53.37 => wckTime=52.72 cpuTime=52.57 mem=15M257
53.37
53.37 global
53.37 nbConstraintChecks=70687294 nbValidityChecks=70793146 nbPropagations=5894026 nbRevisions=72352246
53.37 nbUselessRevisions=59793847 nbRestartNogoods=158 solvingWckTime=52.721 solvingCpuTime=52.57 expiredTime=no
53.37 totalExploration=yes nbFoundSolutions=0 globalCpuTime=52.89
53.37 => wckTime=53.084 cpuTime=52.84 mem=15M257
53.38
53.38 s UNSATISFIABLE
53.38 d NODES 208319
53.38 d CHECKS 70687294
53.38
53.38 totalWckTime=53.157 totalCpuTime=52.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-209995-1168075002 -o ROOT/results/node76/solver-209995-1168075002 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209995-1168075002/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.82 0.89 0.95 3/73 30978
/proc/meminfo: memFree=1773864/2055888 swapFree=4096420/4096564
[pid=30977] ppid=30975 vsize=18544 CPUtime=0
/proc/30977/stat : 30977 (runsolver) R 30975 30977 30519 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 155897871 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30977/statm: 4636 280 245 17 0 2626 0
[startup+0.103664 s]
/proc/loadavg: 0.82 0.89 0.95 3/73 30978
/proc/meminfo: memFree=1773864/2055888 swapFree=4096420/4096564
[pid=30977] ppid=30975 vsize=914992 CPUtime=0.08
/proc/30977/stat : 30977 (java) R 30975 30977 30519 0 -1 0 3007 0 1 0 7 1 0 0 16 0 8 0 155897871 936951808 2755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30977/statm: 228748 2755 1433 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.511739 s]
/proc/loadavg: 0.82 0.89 0.95 3/73 30978
/proc/meminfo: memFree=1773864/2055888 swapFree=4096420/4096564
[pid=30977] ppid=30975 vsize=915464 CPUtime=0.49
/proc/30977/stat : 30977 (java) R 30975 30977 30519 0 -1 0 6651 0 1 0 45 4 0 0 16 0 8 0 155897871 937435136 6391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30977/statm: 228866 6392 2190 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464
[startup+1.3329 s]
/proc/loadavg: 0.82 0.89 0.95 2/80 30986
/proc/meminfo: memFree=1750512/2055888 swapFree=4096420/4096564
[pid=30977] ppid=30975 vsize=915464 CPUtime=1.32
/proc/30977/stat : 30977 (java) R 30975 30977 30519 0 -1 0 8561 0 1 0 127 5 0 0 16 0 8 0 155897871 937435136 8300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073585568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30977/statm: 228866 8300 2534 14 0 215335 0
[pid=30977/tid=30979] ppid=30975 vsize=915464 CPUtime=0.02
/proc/30977/task/30979/stat : 30979 (java) S 30975 30977 30519 0 -1 64 129 0 0 0 2 0 0 0 15 0 8 0 155897875 937435136 8300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30980] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30980/stat : 30980 (java) S 30975 30977 30519 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30981] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30981/stat : 30981 (java) S 30975 30977 30519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30982] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30982/stat : 30982 (java) S 30975 30977 30519 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155897878 937435136 8300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30983] ppid=30975 vsize=915464 CPUtime=0.18
/proc/30977/task/30983/stat : 30983 (java) S 30975 30977 30519 0 -1 64 366 0 0 0 17 1 0 0 16 0 8 0 155897878 937435136 8300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30984] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30984/stat : 30984 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155897878 937435136 8300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30985] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30985/stat : 30985 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155897878 937435136 8300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915464
[startup+2.97122 s]
/proc/loadavg: 0.82 0.89 0.95 2/80 30986
/proc/meminfo: memFree=1750384/2055888 swapFree=4096420/4096564
[pid=30977] ppid=30975 vsize=915464 CPUtime=2.97
/proc/30977/stat : 30977 (java) R 30975 30977 30519 0 -1 0 8589 0 1 0 291 6 0 0 17 0 8 0 155897871 937435136 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073582736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30977/statm: 228866 8327 2534 14 0 215335 0
[pid=30977/tid=30979] ppid=30975 vsize=915464 CPUtime=0.02
/proc/30977/task/30979/stat : 30979 (java) S 30975 30977 30519 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 155897875 937435136 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30980] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30980/stat : 30980 (java) S 30975 30977 30519 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30981] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30981/stat : 30981 (java) S 30975 30977 30519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30982] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30982/stat : 30982 (java) S 30975 30977 30519 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155897878 937435136 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30983] ppid=30975 vsize=915464 CPUtime=0.19
/proc/30977/task/30983/stat : 30983 (java) S 30975 30977 30519 0 -1 64 373 0 0 0 18 1 0 0 16 0 8 0 155897878 937435136 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30984] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30984/stat : 30984 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155897878 937435136 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30985] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30985/stat : 30985 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155897878 937435136 8327 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) 915464
[startup+6.26386 s]
/proc/loadavg: 0.84 0.89 0.95 2/80 30987
/proc/meminfo: memFree=1750128/2055888 swapFree=4096420/4096564
[pid=30977] ppid=30975 vsize=915464 CPUtime=6.26
/proc/30977/stat : 30977 (java) R 30975 30977 30519 0 -1 0 8595 0 1 0 620 6 0 0 18 0 8 0 155897871 937435136 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073688536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30977/statm: 228866 8333 2534 14 0 215335 0
[pid=30977/tid=30979] ppid=30975 vsize=915464 CPUtime=0.02
/proc/30977/task/30979/stat : 30979 (java) S 30975 30977 30519 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 155897875 937435136 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30980] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30980/stat : 30980 (java) S 30975 30977 30519 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30981] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30981/stat : 30981 (java) S 30975 30977 30519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30982] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30982/stat : 30982 (java) S 30975 30977 30519 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155897878 937435136 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30983] ppid=30975 vsize=915464 CPUtime=0.19
/proc/30977/task/30983/stat : 30983 (java) S 30975 30977 30519 0 -1 64 373 0 0 0 18 1 0 0 16 0 8 0 155897878 937435136 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30984] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30984/stat : 30984 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155897878 937435136 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30985] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30985/stat : 30985 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155897878 937435136 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915464
[startup+12.7321 s]
/proc/loadavg: 0.85 0.89 0.95 2/80 30987
/proc/meminfo: memFree=1750256/2055888 swapFree=4096420/4096564
[pid=30977] ppid=30975 vsize=915464 CPUtime=12.72
/proc/30977/stat : 30977 (java) R 30975 30977 30519 0 -1 0 8603 0 1 0 1266 6 0 0 19 0 8 0 155897871 937435136 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30977/statm: 228866 8339 2534 14 0 215335 0
[pid=30977/tid=30979] ppid=30975 vsize=915464 CPUtime=0.02
/proc/30977/task/30979/stat : 30979 (java) S 30975 30977 30519 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 155897875 937435136 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30980] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30980/stat : 30980 (java) S 30975 30977 30519 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30981] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30981/stat : 30981 (java) S 30975 30977 30519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30982] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30982/stat : 30982 (java) S 30975 30977 30519 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155897878 937435136 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30983] ppid=30975 vsize=915464 CPUtime=0.19
/proc/30977/task/30983/stat : 30983 (java) S 30975 30977 30519 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 155897878 937435136 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30984] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30984/stat : 30984 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155897878 937435136 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30985] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30985/stat : 30985 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155897878 937435136 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915464
[startup+25.5786 s]
/proc/loadavg: 0.88 0.90 0.95 2/80 31040
/proc/meminfo: memFree=1748328/2055888 swapFree=4096420/4096564
[pid=30977] ppid=30975 vsize=915464 CPUtime=25.51
/proc/30977/stat : 30977 (java) R 30975 30977 30519 0 -1 0 8608 0 1 0 2545 6 0 0 25 0 8 0 155897871 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073582725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30977/statm: 228866 8344 2534 14 0 215335 0
[pid=30977/tid=30979] ppid=30975 vsize=915464 CPUtime=0.02
/proc/30977/task/30979/stat : 30979 (java) S 30975 30977 30519 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 155897875 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30980] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30980/stat : 30980 (java) S 30975 30977 30519 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30981] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30981/stat : 30981 (java) S 30975 30977 30519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30982] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30982/stat : 30982 (java) S 30975 30977 30519 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155897878 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30983] ppid=30975 vsize=915464 CPUtime=0.19
/proc/30977/task/30983/stat : 30983 (java) S 30975 30977 30519 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 155897878 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30984] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30984/stat : 30984 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155897878 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30985] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30985/stat : 30985 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155897878 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915464
[startup+51.2616 s]
/proc/loadavg: 0.99 0.92 0.96 2/77 31050
/proc/meminfo: memFree=1755472/2055888 swapFree=4096420/4096564
[pid=30977] ppid=30975 vsize=915464 CPUtime=51.18
/proc/30977/stat : 30977 (java) R 30975 30977 30519 0 -1 0 8613 0 1 0 5112 6 0 0 25 0 8 0 155897871 937435136 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30977/statm: 228866 8349 2534 14 0 215335 0
[pid=30977/tid=30979] ppid=30975 vsize=915464 CPUtime=0.02
/proc/30977/task/30979/stat : 30979 (java) S 30975 30977 30519 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 155897875 937435136 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30980] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30980/stat : 30980 (java) S 30975 30977 30519 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30981] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30981/stat : 30981 (java) S 30975 30977 30519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155897875 937435136 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30982] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30982/stat : 30982 (java) S 30975 30977 30519 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155897878 937435136 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30983] ppid=30975 vsize=915464 CPUtime=0.19
/proc/30977/task/30983/stat : 30983 (java) S 30975 30977 30519 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 155897878 937435136 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30984] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30984/stat : 30984 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155897878 937435136 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30977/tid=30985] ppid=30975 vsize=915464 CPUtime=0
/proc/30977/task/30985/stat : 30985 (java) S 30975 30977 30519 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155897878 937435136 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 53.4159
CPU time (s): 53.3149
CPU user time (s): 53.2439
CPU system time (s): 0.070989
CPU usage (%): 99.811
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.2439
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8703
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= 1816
involuntary context switches= 320
runsolver used 0.069989 s user time and 0.12998 s system time
The end
Begin job on node76 on Sat Jan 6 09:16:45 UTC 2007
IDJOB= 209995
IDBENCH= 4586
FILE ID= node76/209995-1168075002
PBS_JOBID= 3476031
Free space on /tmp= 66641 MiB
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-20-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209995-1168075002/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-209995-1168075002 -o ROOT/results/node76/solver-209995-1168075002 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209995-1168075002/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7add833502390878635fd0edd68b9d5e
RANDOM SEED= 933066393
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1774344 kB
Buffers: 20712 kB
Cached: 183900 kB
SwapCached: 0 kB
Active: 61116 kB
Inactive: 164264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1774344 kB
SwapTotal: 4096564 kB
SwapFree: 4096420 kB
Dirty: 1832 kB
Writeback: 0 kB
Mapped: 31248 kB
Slab: 42304 kB
Committed_AS: 5759260 kB
PageTables: 1624 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66641 MiB
End job on node76 on Sat Jan 6 09:17:45 UTC 2007