0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/218398-1168252529/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.67
0.67 constraints being loaded...
0.82 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.82 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
0.82 => wckTime=0.507 cpuTime=0.45 mem=43M456
0.90
0.90 solver IterativeSystematicSolver being built...
1.06 => wckTime=0.746 cpuTime=0.59 mem=21M365
1.14
1.14 preprocessing
1.14 nbConstraintChecks=23299 nbValidityChecks=38740 nbPropagations=181 nbRevisions=1794 nbUselessRevisions=1520
1.14 nbSingletonTests=29 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.14 => wckTime=0.081 cpuTime=0.05 mem=21M365
1.21
1.21 search
1.21 run=0 nbConstraintChecks=32141 nbValidityChecks=61179 nbPropagations=644 nbRevisions=6482
1.21 nbUselessRevisions=5097 nbAssignments=36 nbFailedAssignments=21 nbBacktracks=11 nbVisitedNodes=65
1.21 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.142 cpuTime=0.1 mem=22M367
1.30
1.30 search
1.30 run=1 nbConstraintChecks=92366 nbValidityChecks=187834 nbPropagations=1958 nbRevisions=21089
1.30 nbUselessRevisions=16729 nbAssignments=109 nbFailedAssignments=50 nbBacktracks=27 nbVisitedNodes=154
1.30 nbRestartNogoods=8 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.235 cpuTime=0.19 mem=22M367
1.36
1.36 search
1.36 run=2 nbConstraintChecks=131753 nbValidityChecks=270924 nbPropagations=3808 nbRevisions=41698
1.36 nbUselessRevisions=33009 nbAssignments=158 nbFailedAssignments=73 nbBacktracks=49 nbVisitedNodes=241
1.36 nbRestartNogoods=13 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.298 cpuTime=0.24 mem=22M367
1.48
1.48 search
1.48 run=3 nbConstraintChecks=224929 nbValidityChecks=467574 nbPropagations=6886 nbRevisions=76725
1.48 nbUselessRevisions=60601 nbAssignments=269 nbFailedAssignments=147 nbBacktracks=82 nbVisitedNodes=454
1.48 nbRestartNogoods=18 mapSize=77 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.42 cpuTime=0.36 mem=22M367
1.63
1.63 search
1.63 run=4 nbConstraintChecks=333217 nbValidityChecks=688790 nbPropagations=11649 nbRevisions=128630
1.63 nbUselessRevisions=100934 nbAssignments=424 nbFailedAssignments=238 nbBacktracks=133 nbVisitedNodes=728
1.63 nbRestartNogoods=27 mapSize=123 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.566 cpuTime=0.5 mem=22M367
1.86
1.86 search
1.86 run=5 nbConstraintChecks=523114 nbValidityChecks=1064086 nbPropagations=18485 nbRevisions=208435
1.86 nbUselessRevisions=163540 nbAssignments=618 nbFailedAssignments=341 nbBacktracks=209 nbVisitedNodes=1075
1.86 nbRestartNogoods=32 mapSize=197 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.793 cpuTime=0.72 mem=22M367
2.18
2.18 search
2.18 run=6 nbConstraintChecks=788049 nbValidityChecks=1604131 nbPropagations=28745 nbRevisions=328200
2.18 nbUselessRevisions=257453 nbAssignments=902 nbFailedAssignments=508 nbBacktracks=322 nbVisitedNodes=1617
2.18 nbRestartNogoods=38 mapSize=306 nbInferences=0 nbTooLargeKeys=0
2.18 => wckTime=1.114 cpuTime=1.04 mem=22M367
2.65
2.65 search
2.65 run=7 nbConstraintChecks=1165548 nbValidityChecks=2357277 nbPropagations=44785 nbRevisions=507221
2.65 nbUselessRevisions=396431 nbAssignments=1368 nbFailedAssignments=791 nbBacktracks=492 nbVisitedNodes=2476
2.65 nbRestartNogoods=46 mapSize=465 nbInferences=0 nbTooLargeKeys=0
2.65 => wckTime=1.582 cpuTime=1.49 mem=22M367
3.42
3.42 search
3.42 run=8 nbConstraintChecks=1836328 nbValidityChecks=3703486 nbPropagations=68371 nbRevisions=786617
3.42 nbUselessRevisions=615471 nbAssignments=2076 nbFailedAssignments=1237 nbBacktracks=748 nbVisitedNodes=3829
3.42 nbRestartNogoods=59 mapSize=715 nbInferences=0 nbTooLargeKeys=0
3.42 => wckTime=2.355 cpuTime=2.25 mem=22M367
4.35
4.35 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=22M367)
4.44
4.44 search
4.44 run=9 nbConstraintChecks=2720094 nbValidityChecks=5464203 nbPropagations=103256 nbRevisions=1197372
4.44 nbUselessRevisions=937240 nbAssignments=2999 nbFailedAssignments=1771 nbBacktracks=1132 nbVisitedNodes=5563
4.44 nbRestartNogoods=64
4.44 => wckTime=3.38 cpuTime=3.26 mem=22M367
6.17
6.17 search
6.17 run=10 nbConstraintChecks=4241922 nbValidityChecks=8558263 nbPropagations=157368 nbRevisions=1831216
6.17 nbUselessRevisions=1432893 nbAssignments=4599 nbFailedAssignments=2780 nbBacktracks=1708 nbVisitedNodes=8587
6.17 nbRestartNogoods=74
6.17 => wckTime=5.108 cpuTime=4.97 mem=22M367
8.33
8.33 search
8.33 run=11 nbConstraintChecks=6122805 nbValidityChecks=12394334 nbPropagations=236851 nbRevisions=2756485
8.33 nbUselessRevisions=2156302 nbAssignments=6677 nbFailedAssignments=3981 nbBacktracks=2572 nbVisitedNodes=12455
8.33 nbRestartNogoods=84
8.33 => wckTime=7.263 cpuTime=7.11 mem=22M367
11.63
11.63 search
11.63 run=12 nbConstraintChecks=8993140 nbValidityChecks=18147531 nbPropagations=355960 nbRevisions=4117350
11.63 nbUselessRevisions=3218230 nbAssignments=9744 nbFailedAssignments=5736 nbBacktracks=3871 nbVisitedNodes=18174
11.63 nbRestartNogoods=113
11.63 => wckTime=10.571 cpuTime=10.38 mem=22M367
16.79
16.79 search
16.79 run=13 nbConstraintChecks=13537215 nbValidityChecks=27381786 nbPropagations=538176 nbRevisions=6176232
16.79 nbUselessRevisions=4817790 nbAssignments=15195 nbFailedAssignments=9234 nbBacktracks=5817 nbVisitedNodes=28511
16.79 nbRestartNogoods=126
16.79 => wckTime=15.723 cpuTime=15.51 mem=22M367
23.66
23.66 search
23.66 run=14 nbConstraintChecks=19521875 nbValidityChecks=39370301 nbPropagations=802558 nbRevisions=9161022
23.66 nbUselessRevisions=7136795 nbAssignments=21831 nbFailedAssignments=12948 nbBacktracks=8737 nbVisitedNodes=40846
23.66 nbRestartNogoods=138
23.66 => wckTime=22.6 cpuTime=22.36 mem=22M367
34.70
34.71 search
34.71 run=15 nbConstraintChecks=29173258 nbValidityChecks=58801376 nbPropagations=1197634 nbRevisions=13632883
34.71 nbUselessRevisions=10613985 nbAssignments=32255 nbFailedAssignments=18992 nbBacktracks=13115
34.71 nbVisitedNodes=60396 nbRestartNogoods=155
34.71 => wckTime=33.642 cpuTime=33.34 mem=22M367
51.95
51.95 search
51.95 run=16 nbConstraintChecks=44519506 nbValidityChecks=90733642 nbPropagations=1790601 nbRevisions=20513257
51.95 nbUselessRevisions=15985259 nbAssignments=49273 nbFailedAssignments=29438 nbBacktracks=19683
51.95 nbVisitedNodes=92520 nbRestartNogoods=169
51.95 => wckTime=50.886 cpuTime=50.5 mem=22M367
76.25
76.25 search
76.25 run=17 nbConstraintChecks=65663689 nbValidityChecks=132956084 nbPropagations=2676693 nbRevisions=30626127
76.25 nbUselessRevisions=23866868 nbAssignments=72510 nbFailedAssignments=42786 nbBacktracks=29536
76.25 nbVisitedNodes=135879 nbRestartNogoods=190
76.25 => wckTime=75.184 cpuTime=74.65 mem=22M367
87.17
87.17 search
87.17 run=18 nbConstraintChecks=75201647 nbValidityChecks=152242187 nbPropagations=3691507 nbRevisions=42204861
87.17 nbUselessRevisions=32888932 nbAssignments=82673 nbFailedAssignments=48811 nbBacktracks=33654
87.17 nbVisitedNodes=154967 nbRestartNogoods=219
87.17 => wckTime=86.107 cpuTime=85.53 mem=22M367
87.17
87.17 global
87.17 nbConstraintChecks=75224946 nbValidityChecks=152280927 nbPropagations=3691688 nbRevisions=42206655
87.17 nbUselessRevisions=32890452 nbRestartNogoods=219 solvingWckTime=86.108 solvingCpuTime=85.53 expiredTime=no
87.17 totalExploration=no nbFoundSolutions=1 globalCpuTime=86.17
87.17 => wckTime=86.857 cpuTime=86.12 mem=22M367
87.27
87.27 s SATISFIABLE
87.27 v 11 5 13 11 12 7 16 1 2 17 15 19 15 9 14 1 19 16 13 1
87.27 d NODES 82673
87.27 d CHECKS 75224946
87.27
87.27 totalWckTime=87.032 totalCpuTime=86.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-218398-1168252529 -o ROOT/results/node58/solver-218398-1168252529 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218398-1168252529/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.93 0.98 0.99 4/69 10855
/proc/meminfo: memFree=1797504/2055920 swapFree=4192812/4192956
[pid=10854] ppid=10852 vsize=18540 CPUtime=0
/proc/10854/stat : 10854 (runsolver) R 10852 10854 10749 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 173650964 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/10854/statm: 4635 279 244 17 0 2626 0
[startup+0.103491 s]
/proc/loadavg: 0.93 0.98 0.99 4/69 10855
/proc/meminfo: memFree=1797504/2055920 swapFree=4192812/4192956
[pid=10854] ppid=10852 vsize=913068 CPUtime=0.07
/proc/10854/stat : 10854 (java) S 10852 10854 10749 0 -1 0 2862 0 1 0 6 1 0 0 24 0 8 0 173650964 934981632 2609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10854/statm: 228267 2610 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.511526 s]
/proc/loadavg: 0.93 0.98 0.99 4/69 10855
/proc/meminfo: memFree=1797504/2055920 swapFree=4192812/4192956
[pid=10854] ppid=10852 vsize=915328 CPUtime=0.47
/proc/10854/stat : 10854 (java) R 10852 10854 10749 0 -1 0 7743 0 1 0 43 4 0 0 19 0 8 0 173650964 937295872 7482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10854/statm: 228832 7484 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.3366 s]
/proc/loadavg: 0.93 0.98 0.99 3/88 10914
/proc/meminfo: memFree=1720360/2055920 swapFree=4192812/4192956
[pid=10854] ppid=10852 vsize=915460 CPUtime=1.3
/proc/10854/stat : 10854 (java) R 10852 10854 10749 0 -1 0 17383 0 1 0 120 10 0 0 25 0 8 0 173650964 937431040 17121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10854/statm: 228865 17121 2527 14 0 215335 0
[pid=10854/tid=10867] ppid=10852 vsize=915460 CPUtime=0.06
/proc/10854/task/10867/stat : 10867 (java) S 10852 10854 10749 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173650968 937431040 17121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10871] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10871/stat : 10871 (java) S 10852 10854 10749 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173650969 937431040 17121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10872] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10872/stat : 10872 (java) S 10852 10854 10749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173650969 937431040 17121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10891] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10891/stat : 10891 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173650972 937431040 17121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10892] ppid=10852 vsize=915460 CPUtime=0.16
/proc/10854/task/10892/stat : 10892 (java) S 10852 10854 10749 0 -1 64 358 0 0 0 16 0 0 0 15 0 8 0 173650972 937431040 17121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10893] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10893/stat : 10893 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173650972 937431040 17121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10894] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10894/stat : 10894 (java) S 10852 10854 10749 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173650972 937431040 17121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98974 s]
/proc/loadavg: 0.93 0.98 0.99 4/88 10914
/proc/meminfo: memFree=1716328/2055920 swapFree=4192812/4192956
[pid=10854] ppid=10852 vsize=915460 CPUtime=2.94
/proc/10854/stat : 10854 (java) R 10852 10854 10749 0 -1 0 17401 0 1 0 284 10 0 0 25 0 8 0 173650964 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722787 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10854/statm: 228865 17137 2527 14 0 215335 0
[pid=10854/tid=10867] ppid=10852 vsize=915460 CPUtime=0.06
/proc/10854/task/10867/stat : 10867 (java) S 10852 10854 10749 0 -1 64 1839 0 0 0 6 0 0 0 17 0 8 0 173650968 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10871] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10871/stat : 10871 (java) S 10852 10854 10749 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173650969 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10872] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10872/stat : 10872 (java) S 10852 10854 10749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173650969 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10891] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10891/stat : 10891 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173650972 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10892] ppid=10852 vsize=915460 CPUtime=0.21
/proc/10854/task/10892/stat : 10892 (java) S 10852 10854 10749 0 -1 64 375 0 0 0 20 1 0 0 16 0 8 0 173650972 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10893] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10893/stat : 10893 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173650972 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10894] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10894/stat : 10894 (java) S 10852 10854 10749 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173650972 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.28102 s]
/proc/loadavg: 1.09 1.02 1.01 3/88 10914
/proc/meminfo: memFree=1716200/2055920 swapFree=4192812/4192956
[pid=10854] ppid=10852 vsize=915460 CPUtime=6.22
/proc/10854/stat : 10854 (java) R 10852 10854 10749 0 -1 0 17412 0 1 0 611 11 0 0 25 0 8 0 173650964 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10854/statm: 228865 17146 2527 14 0 215335 0
[pid=10854/tid=10867] ppid=10852 vsize=915460 CPUtime=0.06
/proc/10854/task/10867/stat : 10867 (java) S 10852 10854 10749 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173650968 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10871] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10871/stat : 10871 (java) S 10852 10854 10749 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173650969 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10872] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10872/stat : 10872 (java) S 10852 10854 10749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173650969 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10891] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10891/stat : 10891 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10892] ppid=10852 vsize=915460 CPUtime=0.22
/proc/10854/task/10892/stat : 10892 (java) S 10852 10854 10749 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10893] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10893/stat : 10893 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10894] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10894/stat : 10894 (java) S 10852 10854 10749 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7706 s]
/proc/loadavg: 1.17 1.03 1.01 3/88 10914
/proc/meminfo: memFree=1716200/2055920 swapFree=4192812/4192956
[pid=10854] ppid=10852 vsize=915460 CPUtime=12.65
/proc/10854/stat : 10854 (java) R 10852 10854 10749 0 -1 0 17413 0 1 0 1254 11 0 0 25 0 8 0 173650964 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10854/statm: 228865 17146 2527 14 0 215335 0
[pid=10854/tid=10867] ppid=10852 vsize=915460 CPUtime=0.06
/proc/10854/task/10867/stat : 10867 (java) S 10852 10854 10749 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173650968 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10871] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10871/stat : 10871 (java) S 10852 10854 10749 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173650969 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10872] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10872/stat : 10872 (java) S 10852 10854 10749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173650969 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10891] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10891/stat : 10891 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10892] ppid=10852 vsize=915460 CPUtime=0.23
/proc/10854/task/10892/stat : 10892 (java) S 10852 10854 10749 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10893] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10893/stat : 10893 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10894] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10894/stat : 10894 (java) S 10852 10854 10749 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915460
[startup+25.6077 s]
/proc/loadavg: 1.35 1.08 1.02 3/88 10914
/proc/meminfo: memFree=1716264/2055920 swapFree=4192812/4192956
[pid=10854] ppid=10852 vsize=915460 CPUtime=25.42
/proc/10854/stat : 10854 (java) R 10852 10854 10749 0 -1 0 17413 0 1 0 2531 11 0 0 25 0 8 0 173650964 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073608991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10854/statm: 228865 17146 2527 14 0 215335 0
[pid=10854/tid=10867] ppid=10852 vsize=915460 CPUtime=0.06
/proc/10854/task/10867/stat : 10867 (java) S 10852 10854 10749 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173650968 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10871] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10871/stat : 10871 (java) S 10852 10854 10749 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173650969 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10872] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10872/stat : 10872 (java) S 10852 10854 10749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173650969 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10891] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10891/stat : 10891 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10892] ppid=10852 vsize=915460 CPUtime=0.23
/proc/10854/task/10892/stat : 10892 (java) S 10852 10854 10749 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10893] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10893/stat : 10893 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10894] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10894/stat : 10894 (java) S 10852 10854 10749 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915460
[startup+51.221 s]
/proc/loadavg: 1.57 1.15 1.05 3/88 10914
/proc/meminfo: memFree=1716264/2055920 swapFree=4192812/4192956
[pid=10854] ppid=10852 vsize=915460 CPUtime=50.91
/proc/10854/stat : 10854 (java) R 10852 10854 10749 0 -1 0 17413 0 1 0 5080 11 0 0 25 0 8 0 173650964 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10854/statm: 228865 17146 2527 14 0 215335 0
[pid=10854/tid=10867] ppid=10852 vsize=915460 CPUtime=0.06
/proc/10854/task/10867/stat : 10867 (java) S 10852 10854 10749 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173650968 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10871] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10871/stat : 10871 (java) S 10852 10854 10749 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173650969 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10872] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10872/stat : 10872 (java) S 10852 10854 10749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173650969 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10891] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10891/stat : 10891 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10892] ppid=10852 vsize=915460 CPUtime=0.23
/proc/10854/task/10892/stat : 10892 (java) S 10852 10854 10749 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10893] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10893/stat : 10893 (java) S 10852 10854 10749 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10854/tid=10894] ppid=10852 vsize=915460 CPUtime=0
/proc/10854/task/10894/stat : 10894 (java) S 10852 10854 10749 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173650972 937431040 17146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 87.3347
CPU time (s): 86.6928
CPU user time (s): 86.5648
CPU system time (s): 0.12798
CPU usage (%): 99.2651
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.5648
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17421
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= 2904
involuntary context switches= 4121
runsolver used 0.112982 s user time and 0.290955 s system time
The end
Begin job on node58 on Mon Jan 8 10:35:29 UTC 2007
IDJOB= 218398
IDBENCH= 5233
FILE ID= node58/218398-1168252529
PBS_JOBID= 3481946
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218398-1168252529/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-218398-1168252529 -o ROOT/results/node58/solver-218398-1168252529 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218398-1168252529/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ca1213a9aae764858147c8a6554266c4
RANDOM SEED= 882943928
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: 1798312 kB
Buffers: 49452 kB
Cached: 130068 kB
SwapCached: 0 kB
Active: 95200 kB
Inactive: 104308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3124 kB
Writeback: 0 kB
Mapped: 30152 kB
Slab: 43872 kB
Committed_AS: 2961400 kB
PageTables: 1572 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= 66553 MiB
End job on node58 on Mon Jan 8 10:36:57 UTC 2007