0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/209943-1168074993/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.41 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.41
0.41 predicates being loaded...
0.41
0.41 constraints being loaded...
0.55 nbConstraints=210 nbConflictsStructures=1 nbSharedConflictsStructures=209 nbSharedBinaryRepresentations=0
0.55 nbEvaluationManagers=1 nbSharedEvaluationManagers=209 maxDegree=28 maxArity=3
0.55 => wckTime=0.244 cpuTime=0.18 mem=8M935
0.59
0.59 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.441 cpuTime=0.31 mem=15M388
0.75
0.75 preprocessing
0.75 nbConstraintChecks=0 nbPropagations=30 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.75 detectedInconsistency=no
0.75 => wckTime=0.0050 cpuTime=0.01 mem=15M388
0.83
0.83 search
0.83 run=0 nbConstraintChecks=31889 nbValidityChecks=23010 nbPropagations=457 nbRevisions=7487
0.83 nbUselessRevisions=6560 nbAssignments=30 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=55
0.83 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
0.83 => wckTime=0.078 cpuTime=0.05 mem=15M388
0.88
0.88 search
0.88 run=1 nbConstraintChecks=79838 nbValidityChecks=58099 nbPropagations=1499 nbRevisions=25876
0.88 nbUselessRevisions=22688 nbAssignments=73 nbFailedAssignments=40 nbBacktracks=25 nbVisitedNodes=134
0.88 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.131 cpuTime=0.1 mem=15M388
0.93
0.93 search
0.93 run=2 nbConstraintChecks=143934 nbValidityChecks=110452 nbPropagations=3369 nbRevisions=60316
0.93 nbUselessRevisions=52909 nbAssignments=136 nbFailedAssignments=76 nbBacktracks=47 nbVisitedNodes=251
0.93 nbRestartNogoods=5 mapSize=47 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.186 cpuTime=0.14 mem=15M388
1.00
1.00 search
1.00 run=3 nbConstraintChecks=237111 nbValidityChecks=186181 nbPropagations=6410 nbRevisions=117831
1.00 nbUselessRevisions=103401 nbAssignments=226 nbFailedAssignments=128 nbBacktracks=80 nbVisitedNodes=419
1.00 nbRestartNogoods=11 mapSize=80 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.251 cpuTime=0.21 mem=15M388
1.09
1.09 search
1.09 run=4 nbConstraintChecks=372361 nbValidityChecks=294975 nbPropagations=11151 nbRevisions=209506
1.09 nbUselessRevisions=183875 nbAssignments=361 nbFailedAssignments=208 nbBacktracks=132 nbVisitedNodes=674
1.09 nbRestartNogoods=15 mapSize=132 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.344 cpuTime=0.3 mem=15M388
1.24
1.24 search
1.24 run=5 nbConstraintChecks=566869 nbValidityChecks=456700 nbPropagations=18362 nbRevisions=351077
1.24 nbUselessRevisions=308198 nbAssignments=555 nbFailedAssignments=322 nbBacktracks=207 nbVisitedNodes=1039
1.24 nbRestartNogoods=17 mapSize=207 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.493 cpuTime=0.45 mem=15M388
1.46
1.46 search
1.46 run=6 nbConstraintChecks=855720 nbValidityChecks=693623 nbPropagations=29190 nbRevisions=566791
1.46 nbUselessRevisions=497732 nbAssignments=841 nbFailedAssignments=490 nbBacktracks=320 nbVisitedNodes=1580
1.46 nbRestartNogoods=21 mapSize=320 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.706 cpuTime=0.66 mem=15M388
1.79
1.79 search
1.79 run=7 nbConstraintChecks=1306652 nbValidityChecks=1054257 nbPropagations=45474 nbRevisions=896028
1.79 nbUselessRevisions=787085 nbAssignments=1278 nbFailedAssignments=752 nbBacktracks=490 nbVisitedNodes=2410
1.79 nbRestartNogoods=29 mapSize=490 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=1.04 cpuTime=0.98 mem=15M388
2.27
2.27 search
2.27 run=8 nbConstraintChecks=1972521 nbValidityChecks=1587824 nbPropagations=69876 nbRevisions=1391650
2.27 nbUselessRevisions=1222298 nbAssignments=1933 nbFailedAssignments=1146 nbBacktracks=746 nbVisitedNodes=3656
2.27 nbRestartNogoods=35 mapSize=746 nbInferences=0 nbTooLargeKeys=0
2.27 => wckTime=1.519 cpuTime=1.44 mem=15M388
2.83
2.84 INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=15M388)
2.98
2.98 search
2.98 run=9 nbConstraintChecks=2977248 nbValidityChecks=2390654 nbPropagations=106348 nbRevisions=2140292
2.98 nbUselessRevisions=1880001 nbAssignments=2912 nbFailedAssignments=1736 nbBacktracks=1130 nbVisitedNodes=5520
2.98 nbRestartNogoods=44
2.98 => wckTime=2.233 cpuTime=2.15 mem=15M388
4.03
4.03 search
4.03 run=10 nbConstraintChecks=4441272 nbValidityChecks=3574863 nbPropagations=160853 nbRevisions=3261647
4.03 nbUselessRevisions=2864882 nbAssignments=4375 nbFailedAssignments=2618 nbBacktracks=1706 nbVisitedNodes=8306
4.03 nbRestartNogoods=54
4.03 => wckTime=3.279 cpuTime=3.19 mem=15M388
5.58
5.58 search
5.58 run=11 nbConstraintChecks=6636106 nbValidityChecks=5345136 nbPropagations=242320 nbRevisions=4940724
5.58 nbUselessRevisions=4339482 nbAssignments=6566 nbFailedAssignments=3940 nbBacktracks=2570 nbVisitedNodes=12480
5.58 nbRestartNogoods=62
5.58 => wckTime=4.835 cpuTime=4.74 mem=15M388
7.93
7.93 search
7.93 run=12 nbConstraintChecks=9947926 nbValidityChecks=8019802 nbPropagations=364111 nbRevisions=7462408
7.93 nbUselessRevisions=6554143 nbAssignments=9852 nbFailedAssignments=5924 nbBacktracks=3868 nbVisitedNodes=18742
7.93 nbRestartNogoods=71
7.93 => wckTime=7.179 cpuTime=7.09 mem=15M388
11.44
11.44 search
11.44 run=13 nbConstraintChecks=14913101 nbValidityChecks=12017072 nbPropagations=546487 nbRevisions=11238016
11.44 nbUselessRevisions=9869423 nbAssignments=14779 nbFailedAssignments=8900 nbBacktracks=5815 nbVisitedNodes=28133
11.44 nbRestartNogoods=77
11.44 => wckTime=10.687 cpuTime=10.59 mem=15M388
16.58
16.58 search
16.58 run=14 nbConstraintChecks=22240693 nbValidityChecks=18008644 nbPropagations=819217 nbRevisions=16899818
16.58 nbUselessRevisions=14841971 nbAssignments=22122 nbFailedAssignments=13319 nbBacktracks=8735
16.58 nbVisitedNodes=42124 nbRestartNogoods=87
16.58 => wckTime=15.832 cpuTime=15.72 mem=15M388
24.31
24.31 search
24.31 run=15 nbConstraintChecks=33216311 nbValidityChecks=26903091 nbPropagations=1227682 nbRevisions=25356269
24.31 nbUselessRevisions=22264919 nbAssignments=33150 nbFailedAssignments=19965 nbBacktracks=13113
24.31 nbVisitedNodes=63136 nbRestartNogoods=98
24.31 => wckTime=23.56 cpuTime=23.44 mem=15M388
35.91
35.91 search
35.91 run=16 nbConstraintChecks=49630395 nbValidityChecks=40328627 nbPropagations=1838989 nbRevisions=38011163
35.91 nbUselessRevisions=33375267 nbAssignments=49546 nbFailedAssignments=29789 nbBacktracks=19682
35.91 nbVisitedNodes=94369 nbRestartNogoods=108
35.91 => wckTime=35.165 cpuTime=35.03 mem=15M388
53.49
53.49 search
53.49 run=17 nbConstraintChecks=74729653 nbValidityChecks=60514863 nbPropagations=2756178 nbRevisions=57004399
53.49 nbUselessRevisions=50046298 nbAssignments=74450 nbFailedAssignments=44837 nbBacktracks=29534
53.49 nbVisitedNodes=141845 nbRestartNogoods=117
53.49 => wckTime=52.745 cpuTime=52.59 mem=15M388
78.55
78.55 search
78.55 run=18 nbConstraintChecks=112237804 nbValidityChecks=90798599 nbPropagations=4133223 nbRevisions=85480053
78.55 nbUselessRevisions=75038202 nbAssignments=111733 nbFailedAssignments=67337 nbBacktracks=44312
78.55 nbVisitedNodes=212897 nbRestartNogoods=128
78.56 => wckTime=77.806 cpuTime=77.47 mem=15M388
114.86
114.86 search
114.86 run=19 nbConstraintChecks=166518123 nbValidityChecks=135470213 nbPropagations=6188460 nbRevisions=127941637
114.86 nbUselessRevisions=112351548 nbAssignments=164750 nbFailedAssignments=98182 nbBacktracks=66480
114.86 nbVisitedNodes=313287 nbRestartNogoods=141
114.86 => wckTime=114.111 cpuTime=113.46 mem=15M388
160.36
160.36 search
160.36 run=20 nbConstraintChecks=234055266 nbValidityChecks=192977914 nbPropagations=9096439 nbRevisions=188260339
160.36 nbUselessRevisions=165450356 nbAssignments=228874 nbFailedAssignments=134161 nbBacktracks=94626
160.36 nbVisitedNodes=433805 nbRestartNogoods=157
160.36 => wckTime=159.616 cpuTime=158.58 mem=15M388
160.37
160.37 global
160.37 nbConstraintChecks=234055266 nbValidityChecks=192977914 nbPropagations=9096469 nbRevisions=188260339
160.37 nbUselessRevisions=165450356 nbRestartNogoods=157 solvingWckTime=159.617 solvingCpuTime=158.58 expiredTime=no
160.37 totalExploration=yes nbFoundSolutions=0 globalCpuTime=158.94
160.37 => wckTime=160.06 cpuTime=158.89 mem=15M388
160.37
160.37 s UNSATISFIABLE
160.37 d NODES 228874
160.37 d CHECKS 234055266
160.37
160.37 totalWckTime=160.138 totalCpuTime=158.94
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-209943-1168074993 -o ROOT/results/node15/solver-209943-1168074993 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209943-1168074993/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.71 1.45 1.76 3/81 14816
/proc/meminfo: memFree=1015296/2055920 swapFree=4174172/4192956
[pid=14815] ppid=14813 vsize=0 CPUtime=0
/proc/14815/stat : 14815 (runsolver) R 14813 14815 14268 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155894586 0 0 18446744073709551615 0 0 0 18446744073709551615 240472616231 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14815/statm: 0 0 0 0 0 0 0
[startup+0.103273 s]
/proc/loadavg: 0.71 1.45 1.76 3/81 14816
/proc/meminfo: memFree=1015296/2055920 swapFree=4174172/4192956
[pid=14815] ppid=14813 vsize=914988 CPUtime=0.08
/proc/14815/stat : 14815 (java) R 14813 14815 14268 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 155894586 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14815/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511345 s]
/proc/loadavg: 0.71 1.45 1.76 3/81 14816
/proc/meminfo: memFree=1015296/2055920 swapFree=4174172/4192956
[pid=14815] ppid=14813 vsize=915464 CPUtime=0.48
/proc/14815/stat : 14815 (java) R 14813 14815 14268 0 -1 0 6643 0 1 0 44 4 0 0 16 0 8 0 155894586 937435136 6382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14815/statm: 228866 6382 2165 14 0 215336 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915464
[startup+1.33248 s]
/proc/loadavg: 0.71 1.45 1.76 2/88 14824
/proc/meminfo: memFree=991432/2055920 swapFree=4174172/4192956
[pid=14815] ppid=14813 vsize=915464 CPUtime=1.3
/proc/14815/stat : 14815 (java) R 14813 14815 14268 0 -1 0 8750 0 1 0 123 7 0 0 17 0 8 0 155894586 937435136 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14815/statm: 228866 8487 2533 14 0 215336 0
[pid=14815/tid=14817] ppid=14813 vsize=915464 CPUtime=0.02
/proc/14815/task/14817/stat : 14817 (java) S 14813 14815 14268 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155894591 937435136 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14818] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14818/stat : 14818 (java) S 14813 14815 14268 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14819] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14819/stat : 14819 (java) S 14813 14815 14268 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14820] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14820/stat : 14820 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155894594 937435136 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14821] ppid=14813 vsize=915464 CPUtime=0.18
/proc/14815/task/14821/stat : 14821 (java) S 14813 14815 14268 0 -1 64 369 0 0 0 17 1 0 0 15 0 8 0 155894594 937435136 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14822] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14822/stat : 14822 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894594 937435136 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14823] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14823/stat : 14823 (java) S 14813 14815 14268 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155894594 937435136 8487 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+2.98476 s]
/proc/loadavg: 0.71 1.45 1.76 2/88 14824
/proc/meminfo: memFree=991176/2055920 swapFree=4174172/4192956
[pid=14815] ppid=14813 vsize=915464 CPUtime=2.95
/proc/14815/stat : 14815 (java) R 14813 14815 14268 0 -1 0 8804 0 1 0 288 7 0 0 17 0 8 0 155894586 937435136 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14815/statm: 228866 8539 2533 14 0 215336 0
[pid=14815/tid=14817] ppid=14813 vsize=915464 CPUtime=0.02
/proc/14815/task/14817/stat : 14817 (java) S 14813 14815 14268 0 -1 64 148 0 0 0 2 0 0 0 17 0 8 0 155894591 937435136 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14818] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14818/stat : 14818 (java) S 14813 14815 14268 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14819] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14819/stat : 14819 (java) S 14813 14815 14268 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14820] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14820/stat : 14820 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155894594 937435136 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14821] ppid=14813 vsize=915464 CPUtime=0.21
/proc/14815/task/14821/stat : 14821 (java) S 14813 14815 14268 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 155894594 937435136 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14822] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14822/stat : 14822 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894594 937435136 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14823] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14823/stat : 14823 (java) S 14813 14815 14268 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155894594 937435136 8539 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+6.26433 s]
/proc/loadavg: 0.73 1.45 1.75 2/88 14825
/proc/meminfo: memFree=990992/2055920 swapFree=4174172/4192956
[pid=14815] ppid=14813 vsize=915464 CPUtime=6.22
/proc/14815/stat : 14815 (java) R 14813 14815 14268 0 -1 0 8818 0 1 0 615 7 0 0 25 0 8 0 155894586 937435136 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14815/statm: 228866 8552 2533 14 0 215336 0
[pid=14815/tid=14817] ppid=14813 vsize=915464 CPUtime=0.02
/proc/14815/task/14817/stat : 14817 (java) S 14813 14815 14268 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155894591 937435136 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14818] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14818/stat : 14818 (java) S 14813 14815 14268 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14819] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14819/stat : 14819 (java) S 14813 14815 14268 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14820] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14820/stat : 14820 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155894594 937435136 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14821] ppid=14813 vsize=915464 CPUtime=0.22
/proc/14815/task/14821/stat : 14821 (java) S 14813 14815 14268 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 155894594 937435136 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14822] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14822/stat : 14822 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894594 937435136 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14823] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14823/stat : 14823 (java) S 14813 14815 14268 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155894594 937435136 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
[startup+12.7464 s]
/proc/loadavg: 0.76 1.44 1.75 2/88 14828
/proc/meminfo: memFree=991000/2055920 swapFree=4174172/4192956
[pid=14815] ppid=14813 vsize=915464 CPUtime=12.7
/proc/14815/stat : 14815 (java) R 14813 14815 14268 0 -1 0 8823 0 1 0 1263 7 0 0 25 0 8 0 155894586 937435136 8557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14815/statm: 228866 8557 2533 14 0 215336 0
[pid=14815/tid=14817] ppid=14813 vsize=915464 CPUtime=0.02
/proc/14815/task/14817/stat : 14817 (java) S 14813 14815 14268 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155894591 937435136 8557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14818] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14818/stat : 14818 (java) S 14813 14815 14268 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14819] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14819/stat : 14819 (java) S 14813 14815 14268 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14820] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14820/stat : 14820 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155894594 937435136 8557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14821] ppid=14813 vsize=915464 CPUtime=0.22
/proc/14815/task/14821/stat : 14821 (java) S 14813 14815 14268 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 155894594 937435136 8557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14822] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14822/stat : 14822 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894594 937435136 8557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14823] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14823/stat : 14823 (java) S 14813 14815 14268 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155894594 937435136 8557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915464
[startup+25.5876 s]
/proc/loadavg: 0.97 1.45 1.75 2/88 14870
/proc/meminfo: memFree=989080/2055920 swapFree=4174172/4192956
[pid=14815] ppid=14813 vsize=915464 CPUtime=25.52
/proc/14815/stat : 14815 (java) R 14813 14815 14268 0 -1 0 8831 0 1 0 2545 7 0 0 25 0 8 0 155894586 937435136 8563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073610073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14815/statm: 228866 8563 2533 14 0 215336 0
[pid=14815/tid=14817] ppid=14813 vsize=915464 CPUtime=0.02
/proc/14815/task/14817/stat : 14817 (java) S 14813 14815 14268 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155894591 937435136 8563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14818] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14818/stat : 14818 (java) S 14813 14815 14268 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14819] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14819/stat : 14819 (java) S 14813 14815 14268 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14820] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14820/stat : 14820 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155894594 937435136 8563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14821] ppid=14813 vsize=915464 CPUtime=0.22
/proc/14815/task/14821/stat : 14821 (java) S 14813 14815 14268 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 155894594 937435136 8563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14822] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14822/stat : 14822 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894594 937435136 8563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14823] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14823/stat : 14823 (java) S 14813 14815 14268 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155894594 937435136 8563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915464
[startup+51.2801 s]
/proc/loadavg: 0.98 1.41 1.72 2/88 14884
/proc/meminfo: memFree=991000/2055920 swapFree=4174172/4192956
[pid=14815] ppid=14813 vsize=915464 CPUtime=51.19
/proc/14815/stat : 14815 (java) R 14813 14815 14268 0 -1 0 8834 0 1 0 5112 7 0 0 25 0 8 0 155894586 937435136 8566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14815/statm: 228866 8566 2533 14 0 215336 0
[pid=14815/tid=14817] ppid=14813 vsize=915464 CPUtime=0.02
/proc/14815/task/14817/stat : 14817 (java) S 14813 14815 14268 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155894591 937435136 8566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14818] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14818/stat : 14818 (java) S 14813 14815 14268 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14819] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14819/stat : 14819 (java) S 14813 14815 14268 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14820] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14820/stat : 14820 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155894594 937435136 8566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14821] ppid=14813 vsize=915464 CPUtime=0.22
/proc/14815/task/14821/stat : 14821 (java) S 14813 14815 14268 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 155894594 937435136 8566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14822] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14822/stat : 14822 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894594 937435136 8566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14823] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14823/stat : 14823 (java) S 14813 14815 14268 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155894594 937435136 8566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915464
[startup+102.567 s]
/proc/loadavg: 1.52 1.49 1.73 3/100 14926
/proc/meminfo: memFree=948920/2055920 swapFree=4174172/4192956
[pid=14815] ppid=14813 vsize=915464 CPUtime=102.07
/proc/14815/stat : 14815 (java) R 14813 14815 14268 0 -1 0 8839 0 1 0 10199 8 0 0 25 0 8 0 155894586 937435136 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14815/statm: 228866 8571 2533 14 0 215336 0
[pid=14815/tid=14817] ppid=14813 vsize=915464 CPUtime=0.02
/proc/14815/task/14817/stat : 14817 (java) S 14813 14815 14268 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155894591 937435136 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14818] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14818/stat : 14818 (java) S 14813 14815 14268 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14819] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14819/stat : 14819 (java) S 14813 14815 14268 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155894591 937435136 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14820] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14820/stat : 14820 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155894594 937435136 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14821] ppid=14813 vsize=915464 CPUtime=0.22
/proc/14815/task/14821/stat : 14821 (java) S 14813 14815 14268 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 155894594 937435136 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14815/tid=14822] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14822/stat : 14822 (java) S 14813 14815 14268 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894594 937435136 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14815/tid=14823] ppid=14813 vsize=915464 CPUtime=0
/proc/14815/task/14823/stat : 14823 (java) S 14813 14815 14268 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155894594 937435136 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 160.404
CPU time (s): 159.413
CPU user time (s): 159.315
CPU system time (s): 0.097985
CPU usage (%): 99.3819
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.315
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8933
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= 4138
involuntary context switches= 5351
runsolver used 0.178972 s user time and 0.408937 s system time
The end
Begin job on node15 on Sat Jan 6 09:16:35 UTC 2007
IDJOB= 209943
IDBENCH= 4582
FILE ID= node15/209943-1168074993
PBS_JOBID= 3475787
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-30-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209943-1168074993/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-209943-1168074993 -o ROOT/results/node15/solver-209943-1168074993 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209943-1168074993/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 588637b7d8655f956622a19f22c2ed37
RANDOM SEED= 285140693
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.276
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.276
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: 1015904 kB
Buffers: 85292 kB
Cached: 814700 kB
SwapCached: 7128 kB
Active: 347008 kB
Inactive: 589632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1015904 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1784 kB
Writeback: 0 kB
Mapped: 45252 kB
Slab: 88276 kB
Committed_AS: 4136400 kB
PageTables: 2220 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= 66284 MiB
End job on node15 on Sat Jan 6 09:19:18 UTC 2007