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/207803-1168183333/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.43 => wckTime=0.112 cpuTime=0.09 mem=7M931
0.43
0.43 relations being loaded...
0.48
0.48 constraints being loaded...
0.66 nbConstraints=350 nbRelationTypes=28 nbSingletonDomainVariables=2 nbExtensionStructures=29
0.66 nbSharedExtensionStructures=321 nbConflictsStructures=29 nbSharedConflictsStructures=321
0.66 nbSharedBinaryRepresentations=25498 maxDegree=25 maxArity=3
0.66 => wckTime=0.349 cpuTime=0.24 mem=17M85
0.71
0.71 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.573 cpuTime=0.39 mem=19M717
2.34
2.34 preprocessing
2.34 nbConstraintChecks=2678345 nbValidityChecks=2623412 nbPropagations=25632 nbRevisions=59422
2.34 nbUselessRevisions=26225 nbSingletonTests=561 nbEffectiveSingletonTests=39 nbESACBranches=62
2.34 nbRemovedValues=27735 detectedInconsistency=no
2.34 => wckTime=1.446 cpuTime=1.39 mem=19M717
2.39
2.39 search
2.39 run=0 nbConstraintChecks=51833 nbValidityChecks=45624 nbPropagations=26981 nbRevisions=63642
2.39 nbUselessRevisions=28688 nbAssignments=23 nbFailedAssignments=8 nbBacktracks=14 nbVisitedNodes=39
2.39 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
2.39 => wckTime=1.5 cpuTime=1.44 mem=19M717
2.44
2.44 search
2.44 run=1 nbConstraintChecks=121336 nbValidityChecks=110321 nbPropagations=55301 nbRevisions=130953
2.44 nbUselessRevisions=59376 nbAssignments=49 nbFailedAssignments=16 nbBacktracks=29 nbVisitedNodes=79
2.44 nbRestartNogoods=1 mapSize=22 nbInferences=0 nbTooLargeKeys=0
2.44 => wckTime=1.547 cpuTime=1.48 mem=19M717
2.50
2.50 search
2.50 run=2 nbConstraintChecks=219422 nbValidityChecks=207032 nbPropagations=86170 nbRevisions=204974
2.50 nbUselessRevisions=93786 nbAssignments=92 nbFailedAssignments=24 nbBacktracks=55 nbVisitedNodes=138
2.50 nbRestartNogoods=3 mapSize=36 nbInferences=0 nbTooLargeKeys=0
2.50 => wckTime=1.607 cpuTime=1.54 mem=19M717
2.61
2.61 search
2.62 run=3 nbConstraintChecks=410242 nbValidityChecks=396718 nbPropagations=122395 nbRevisions=293127
2.62 nbUselessRevisions=135770 nbAssignments=173 nbFailedAssignments=55 nbBacktracks=90 nbVisitedNodes=259
2.62 nbRestartNogoods=8 mapSize=65 nbInferences=0 nbTooLargeKeys=0
2.62 => wckTime=1.723 cpuTime=1.65 mem=20M692
2.81
2.81 search
2.81 run=4 nbConstraintChecks=733682 nbValidityChecks=759734 nbPropagations=166860 nbRevisions=401960
2.81 nbUselessRevisions=188721 nbAssignments=307 nbFailedAssignments=84 nbBacktracks=143 nbVisitedNodes=401
2.81 nbRestartNogoods=18 mapSize=100 nbInferences=0 nbTooLargeKeys=0
2.81 => wckTime=1.921 cpuTime=1.85 mem=20M692
3.04
3.04 search
3.04 run=5 nbConstraintChecks=1110212 nbValidityChecks=1113858 nbPropagations=222996 nbRevisions=543649
3.04 nbUselessRevisions=259915 nbAssignments=483 nbFailedAssignments=158 nbBacktracks=220 nbVisitedNodes=676
3.04 nbRestartNogoods=24 mapSize=163 nbInferences=0 nbTooLargeKeys=0
3.04 => wckTime=2.148 cpuTime=2.07 mem=20M692
3.33
3.34 search
3.34 run=6 nbConstraintChecks=1575433 nbValidityChecks=1569970 nbPropagations=295399 nbRevisions=730557
3.34 nbUselessRevisions=356436 nbAssignments=708 nbFailedAssignments=235 nbBacktracks=333 nbVisitedNodes=1013
3.34 nbRestartNogoods=29 mapSize=240 nbInferences=0 nbTooLargeKeys=0
3.34 => wckTime=2.443 cpuTime=2.36 mem=21M667
3.80
3.80 search
3.80 run=7 nbConstraintChecks=2298343 nbValidityChecks=2295300 nbPropagations=393096 nbRevisions=986085
3.80 nbUselessRevisions=490503 nbAssignments=1044 nbFailedAssignments=362 nbBacktracks=503 nbVisitedNodes=1542
3.80 nbRestartNogoods=36 mapSize=358 nbInferences=0 nbTooLargeKeys=0
3.80 => wckTime=2.906 cpuTime=2.81 mem=21M667
4.18
4.18 search
4.18 run=8 nbConstraintChecks=2874686 nbValidityChecks=2835720 nbPropagations=512673 nbRevisions=1305408
4.18 nbUselessRevisions=660814 nbAssignments=1422 nbFailedAssignments=469 nbBacktracks=760 nbVisitedNodes=2142
4.18 nbRestartNogoods=46 mapSize=506 nbInferences=0 nbTooLargeKeys=0
4.18 => wckTime=3.287 cpuTime=3.19 mem=23M618
4.76
4.76 search
4.76 run=9 nbConstraintChecks=3724106 nbValidityChecks=3670247 nbPropagations=667021 nbRevisions=1733304
4.76 nbUselessRevisions=895306 nbAssignments=2047 nbFailedAssignments=672 nbBacktracks=1150 nbVisitedNodes=3133
4.76 nbRestartNogoods=55 mapSize=746 nbInferences=0 nbTooLargeKeys=0
4.76 => wckTime=3.871 cpuTime=3.76 mem=24M593
5.57
5.57 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=26M543)
5.78
5.78 search
5.78 run=10 nbConstraintChecks=5324256 nbValidityChecks=5267664 nbPropagations=881554 nbRevisions=2325191
5.78 nbUselessRevisions=1218920 nbAssignments=2941 nbFailedAssignments=975 nbBacktracks=1727 nbVisitedNodes=4629
5.78 nbRestartNogoods=64
5.78 => wckTime=4.891 cpuTime=4.76 mem=26M543
6.97
6.97 search
6.97 run=11 nbConstraintChecks=7293056 nbValidityChecks=7312630 nbPropagations=1173516 nbRevisions=3128965
6.97 nbUselessRevisions=1659378 nbAssignments=4222 nbFailedAssignments=1344 nbBacktracks=2594 nbVisitedNodes=6694
6.97 nbRestartNogoods=80
6.97 => wckTime=6.079 cpuTime=5.94 mem=26M543
8.82
8.82 search
8.82 run=12 nbConstraintChecks=10374010 nbValidityChecks=10311254 nbPropagations=1593632 nbRevisions=4303051
8.82 nbUselessRevisions=2309635 nbAssignments=6187 nbFailedAssignments=1982 nbBacktracks=3893 nbVisitedNodes=10024
8.82 nbRestartNogoods=93
8.82 => wckTime=7.929 cpuTime=7.78 mem=26M543
11.39
11.39 search
11.39 run=13 nbConstraintChecks=14573226 nbValidityChecks=14587781 nbPropagations=2193254 nbRevisions=5996762
11.39 nbUselessRevisions=3257915 nbAssignments=9006 nbFailedAssignments=2825 nbBacktracks=5839 nbVisitedNodes=14715
11.39 nbRestartNogoods=105
11.39 => wckTime=10.502 cpuTime=10.34 mem=26M543
15.49
15.49 search
15.49 run=14 nbConstraintChecks=21245361 nbValidityChecks=21464603 nbPropagations=3060664 nbRevisions=8419189
15.49 nbUselessRevisions=4604813 nbAssignments=13311 nbFailedAssignments=4192 nbBacktracks=8760 nbVisitedNodes=21992
15.49 nbRestartNogoods=114
15.49 => wckTime=14.599 cpuTime=14.42 mem=26M543
21.02
21.02 search
21.02 run=15 nbConstraintChecks=30427575 nbValidityChecks=30572405 nbPropagations=4292095 nbRevisions=11858660
21.02 nbUselessRevisions=6518141 nbAssignments=19455 nbFailedAssignments=5896 nbBacktracks=13142 nbVisitedNodes=31966
21.02 nbRestartNogoods=125
21.02 => wckTime=20.125 cpuTime=19.92 mem=26M543
30.24
30.24 search
30.24 run=16 nbConstraintChecks=45591773 nbValidityChecks=46239941 nbPropagations=6141449 nbRevisions=16994224
30.24 nbUselessRevisions=9361814 nbAssignments=29006 nbFailedAssignments=8873 nbBacktracks=19710 nbVisitedNodes=48025
30.24 nbRestartNogoods=134
30.24 => wckTime=29.352 cpuTime=29.1 mem=26M543
43.19
43.20 search
43.20 run=17 nbConstraintChecks=66690046 nbValidityChecks=67953046 nbPropagations=8873599 nbRevisions=24567652
43.20 nbUselessRevisions=13553715 nbAssignments=43214 nbFailedAssignments=13201 nbBacktracks=29563
43.20 nbVisitedNodes=71709 nbRestartNogoods=151
43.20 => wckTime=42.304 cpuTime=41.99 mem=26M543
62.41
62.41 search
62.41 run=18 nbConstraintChecks=98545398 nbValidityChecks=99867850 nbPropagations=12862213 nbRevisions=35578599
62.41 nbUselessRevisions=19610741 nbAssignments=64502 nbFailedAssignments=19684 nbBacktracks=44346
62.41 nbVisitedNodes=107017 nbRestartNogoods=171
62.41 => wckTime=61.515 cpuTime=61.11 mem=26M543
89.90
89.90 search
89.90 run=19 nbConstraintChecks=143272251 nbValidityChecks=146119156 nbPropagations=18711152 nbRevisions=51776351
89.90 nbUselessRevisions=28548437 nbAssignments=96380 nbFailedAssignments=29322 nbBacktracks=66516
89.90 nbVisitedNodes=160023 nbRestartNogoods=191
89.90 => wckTime=89.004 cpuTime=88.46 mem=26M543
128.68
128.68 search
128.68 run=20 nbConstraintChecks=206283801 nbValidityChecks=210692582 nbPropagations=27138052 nbRevisions=75162486
128.68 nbUselessRevisions=41481736 nbAssignments=139003 nbFailedAssignments=41422 nbBacktracks=96926
128.68 nbVisitedNodes=230118 nbRestartNogoods=212
128.68 => wckTime=127.791 cpuTime=127.07 mem=26M543
128.68
128.68 global
128.68 nbConstraintChecks=208962146 nbValidityChecks=213315994 nbPropagations=27163684 nbRevisions=75221908
128.68 nbUselessRevisions=41507961 nbRestartNogoods=212 solvingWckTime=127.792 solvingCpuTime=127.07 expiredTime=no
128.68 totalExploration=no nbFoundSolutions=1 globalCpuTime=127.52
128.68 => wckTime=128.371 cpuTime=127.47 mem=26M543
128.69
128.69 s SATISFIABLE
128.69 v 7 8 1 5 10 3 9 14 11 10 22 7 21 9 25 8 23 7 8 10 17 12 16 1 2 7 20 15 13 2 3 6 14 3 15 17 5 18 24 6 4 10 18 0 19 3 12 1 6 7 13 16 30 40 47 56 64 71 81 93 94 101 116 118 124 127 144 162 168 178 178 181 182 189 189 0
128.69 d NODES 139003
128.69 d CHECKS 208962146
128.69
128.69 totalWckTime=128.454 totalCpuTime=127.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-207803-1168183333 -o ROOT/results/node10/solver-207803-1168183333 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207803-1168183333/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.96 1.99 2.00 4/88 5326
/proc/meminfo: memFree=1674624/2055920 swapFree=4178216/4192956
[pid=5325] ppid=5323 vsize=907676 CPUtime=0.03
/proc/5325/stat : 5325 (java) S 5323 5325 3876 0 -1 0 2171 0 1 0 2 1 0 0 19 0 4 0 166728421 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/5325/statm: 226919 1920 1089 14 0 214502 0
[pid=5325/tid=5327] ppid=5323 vsize=907676 CPUtime=0
/proc/5325/task/5327/stat : 5327 (java) S 5323 5325 3876 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 166728425 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=5325/tid=5328] ppid=5323 vsize=907676 CPUtime=0
/proc/5325/task/5328/stat : 5328 (java) S 5323 5325 3876 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 166728425 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=5325/tid=5329] ppid=5323 vsize=907676 CPUtime=0
/proc/5325/task/5329/stat : 5329 (java) R 5323 5325 3876 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 166728426 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9752536 0 4 0 7368 0 0 0 -1 1 0 0
[startup+0.10263 s]
/proc/loadavg: 1.96 1.99 2.00 4/88 5326
/proc/meminfo: memFree=1674624/2055920 swapFree=4178216/4192956
[pid=5325] ppid=5323 vsize=914988 CPUtime=0.08
/proc/5325/stat : 5325 (java) D 5323 5325 3876 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 166728421 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5325/statm: 228747 2734 1426 14 0 215242 0
[pid=5325/tid=5327] ppid=5323 vsize=914988 CPUtime=0
/proc/5325/task/5327/stat : 5327 (java) S 5323 5325 3876 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 166728425 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5328] ppid=5323 vsize=914988 CPUtime=0
/proc/5325/task/5328/stat : 5328 (java) S 5323 5325 3876 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 166728425 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5329] ppid=5323 vsize=914988 CPUtime=0
/proc/5325/task/5329/stat : 5329 (java) S 5323 5325 3876 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 166728426 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510683 s]
/proc/loadavg: 1.96 1.99 2.00 4/88 5326
/proc/meminfo: memFree=1674624/2055920 swapFree=4178216/4192956
[pid=5325] ppid=5323 vsize=915328 CPUtime=0.49
/proc/5325/stat : 5325 (java) R 5323 5325 3876 0 -1 0 7243 0 1 0 44 5 0 0 18 0 8 0 166728421 937295872 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5325/statm: 228832 6982 2138 14 0 215302 0
[pid=5325/tid=5327] ppid=5323 vsize=915328 CPUtime=0
/proc/5325/task/5327/stat : 5327 (java) S 5323 5325 3876 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 166728425 937295872 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5328] ppid=5323 vsize=915328 CPUtime=0
/proc/5325/task/5328/stat : 5328 (java) S 5323 5325 3876 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 166728425 937295872 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5329] ppid=5323 vsize=915328 CPUtime=0
/proc/5325/task/5329/stat : 5329 (java) S 5323 5325 3876 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 166728426 937295872 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3318 s]
/proc/loadavg: 1.96 1.99 2.00 3/95 5333
/proc/meminfo: memFree=1644680/2055920 swapFree=4178216/4192956
[pid=5325] ppid=5323 vsize=915460 CPUtime=1.3
/proc/5325/stat : 5325 (java) R 5323 5325 3876 0 -1 0 10201 0 1 0 123 7 0 0 24 0 8 0 166728421 937431040 9939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5325/statm: 228865 9939 2527 14 0 215335 0
[pid=5325/tid=5327] ppid=5323 vsize=915460 CPUtime=0.03
/proc/5325/task/5327/stat : 5327 (java) S 5323 5325 3876 0 -1 64 939 0 0 0 3 0 0 0 16 0 8 0 166728425 937431040 9939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5328] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5328/stat : 5328 (java) S 5323 5325 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166728425 937431040 9939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5329] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5329/stat : 5329 (java) S 5323 5325 3876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166728426 937431040 9939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5330] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5330/stat : 5330 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166728429 937431040 9939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5331] ppid=5323 vsize=915460 CPUtime=0.23
/proc/5325/task/5331/stat : 5331 (java) S 5323 5325 3876 0 -1 64 378 0 0 0 22 1 0 0 15 0 8 0 166728429 937431040 9939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5332] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5332/stat : 5332 (java) S 5323 5325 3876 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166728429 937431040 9939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5333] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5333/stat : 5333 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166728429 937431040 9939 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) 915460
[startup+2.96901 s]
/proc/loadavg: 1.97 1.99 2.00 3/95 5333
/proc/meminfo: memFree=1644680/2055920 swapFree=4178216/4192956
[pid=5325] ppid=5323 vsize=915460 CPUtime=2.93
/proc/5325/stat : 5325 (java) R 5323 5325 3876 0 -1 0 10215 0 1 0 285 8 0 0 25 0 8 0 166728421 937431040 9951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5325/statm: 228865 9951 2527 14 0 215335 0
[pid=5325/tid=5327] ppid=5323 vsize=915460 CPUtime=0.03
/proc/5325/task/5327/stat : 5327 (java) S 5323 5325 3876 0 -1 64 939 0 0 0 3 0 0 0 17 0 8 0 166728425 937431040 9951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5328] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5328/stat : 5328 (java) S 5323 5325 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166728425 937431040 9951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5329] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5329/stat : 5329 (java) S 5323 5325 3876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166728426 937431040 9951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5330] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5330/stat : 5330 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166728429 937431040 9951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5331] ppid=5323 vsize=915460 CPUtime=0.25
/proc/5325/task/5331/stat : 5331 (java) S 5323 5325 3876 0 -1 64 390 0 0 0 24 1 0 0 15 0 8 0 166728429 937431040 9951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5332] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5332/stat : 5332 (java) S 5323 5325 3876 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166728429 937431040 9951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5333] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5333/stat : 5333 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166728429 937431040 9951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26646 s]
/proc/loadavg: 1.97 1.99 2.00 3/95 5333
/proc/meminfo: memFree=1639432/2055920 swapFree=4178216/4192956
[pid=5325] ppid=5323 vsize=915460 CPUtime=6.21
/proc/5325/stat : 5325 (java) R 5323 5325 3876 0 -1 0 11493 0 1 0 612 9 0 0 25 0 8 0 166728421 937431040 11226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073870943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5325/statm: 228865 11226 2527 14 0 215335 0
[pid=5325/tid=5327] ppid=5323 vsize=915460 CPUtime=0.03
/proc/5325/task/5327/stat : 5327 (java) S 5323 5325 3876 0 -1 64 939 0 0 0 3 0 0 0 17 0 8 0 166728425 937431040 11226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5328] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5328/stat : 5328 (java) S 5323 5325 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166728425 937431040 11226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5329] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5329/stat : 5329 (java) S 5323 5325 3876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166728426 937431040 11226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5330] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5330/stat : 5330 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166728429 937431040 11226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5331] ppid=5323 vsize=915460 CPUtime=0.28
/proc/5325/task/5331/stat : 5331 (java) S 5323 5325 3876 0 -1 64 409 0 0 0 27 1 0 0 15 0 8 0 166728429 937431040 11226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5332] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5332/stat : 5332 (java) S 5323 5325 3876 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166728429 937431040 11226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5333] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5333/stat : 5333 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166728429 937431040 11226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
[startup+12.7433 s]
/proc/loadavg: 1.97 1.99 2.00 3/95 5333
/proc/meminfo: memFree=1639368/2055920 swapFree=4178216/4192956
[pid=5325] ppid=5323 vsize=915460 CPUtime=12.65
/proc/5325/stat : 5325 (java) R 5323 5325 3876 0 -1 0 11504 0 1 0 1256 9 0 0 25 0 8 0 166728421 937431040 11235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5325/statm: 228865 11235 2527 14 0 215335 0
[pid=5325/tid=5327] ppid=5323 vsize=915460 CPUtime=0.03
/proc/5325/task/5327/stat : 5327 (java) S 5323 5325 3876 0 -1 64 939 0 0 0 3 0 0 0 16 0 8 0 166728425 937431040 11235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5328] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5328/stat : 5328 (java) S 5323 5325 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166728425 937431040 11235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5329] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5329/stat : 5329 (java) S 5323 5325 3876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166728426 937431040 11235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5330] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5330/stat : 5330 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166728429 937431040 11235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5331] ppid=5323 vsize=915460 CPUtime=0.29
/proc/5325/task/5331/stat : 5331 (java) S 5323 5325 3876 0 -1 64 410 0 0 0 28 1 0 0 16 0 8 0 166728429 937431040 11235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5332] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5332/stat : 5332 (java) S 5323 5325 3876 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166728429 937431040 11235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5333] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5333/stat : 5333 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166728429 937431040 11235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915460
[startup+25.6141 s]
/proc/loadavg: 1.97 1.99 2.00 3/95 5333
/proc/meminfo: memFree=1639368/2055920 swapFree=4178216/4192956
[pid=5325] ppid=5323 vsize=915460 CPUtime=25.46
/proc/5325/stat : 5325 (java) R 5323 5325 3876 0 -1 0 11510 0 1 0 2537 9 0 0 25 0 8 0 166728421 937431040 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824427 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5325/statm: 228865 11241 2527 14 0 215335 0
[pid=5325/tid=5327] ppid=5323 vsize=915460 CPUtime=0.03
/proc/5325/task/5327/stat : 5327 (java) S 5323 5325 3876 0 -1 64 939 0 0 0 3 0 0 0 16 0 8 0 166728425 937431040 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5328] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5328/stat : 5328 (java) S 5323 5325 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166728425 937431040 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5329] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5329/stat : 5329 (java) S 5323 5325 3876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166728426 937431040 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5330] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5330/stat : 5330 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166728429 937431040 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5331] ppid=5323 vsize=915460 CPUtime=0.29
/proc/5325/task/5331/stat : 5331 (java) S 5323 5325 3876 0 -1 64 410 0 0 0 28 1 0 0 16 0 8 0 166728429 937431040 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5332] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5332/stat : 5332 (java) S 5323 5325 3876 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166728429 937431040 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5333] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5333/stat : 5333 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166728429 937431040 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915460
[startup+51.2296 s]
/proc/loadavg: 1.98 1.99 2.00 3/95 5333
/proc/meminfo: memFree=1639304/2055920 swapFree=4178216/4192956
[pid=5325] ppid=5323 vsize=915460 CPUtime=50.95
/proc/5325/stat : 5325 (java) R 5323 5325 3876 0 -1 0 11515 0 1 0 5086 9 0 0 25 0 8 0 166728421 937431040 11246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5325/statm: 228865 11246 2527 14 0 215335 0
[pid=5325/tid=5327] ppid=5323 vsize=915460 CPUtime=0.03
/proc/5325/task/5327/stat : 5327 (java) S 5323 5325 3876 0 -1 64 939 0 0 0 3 0 0 0 16 0 8 0 166728425 937431040 11246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5328] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5328/stat : 5328 (java) S 5323 5325 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166728425 937431040 11246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5329] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5329/stat : 5329 (java) S 5323 5325 3876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166728426 937431040 11246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5330] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5330/stat : 5330 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166728429 937431040 11246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5331] ppid=5323 vsize=915460 CPUtime=0.29
/proc/5325/task/5331/stat : 5331 (java) S 5323 5325 3876 0 -1 64 410 0 0 0 28 1 0 0 16 0 8 0 166728429 937431040 11246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5332] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5332/stat : 5332 (java) S 5323 5325 3876 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166728429 937431040 11246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5333] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5333/stat : 5333 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166728429 937431040 11246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915460
[startup+102.452 s]
/proc/loadavg: 1.99 1.99 2.00 3/95 5333
/proc/meminfo: memFree=1639304/2055920 swapFree=4178216/4192956
[pid=5325] ppid=5323 vsize=915460 CPUtime=101.94
/proc/5325/stat : 5325 (java) R 5323 5325 3876 0 -1 0 11522 0 1 0 10184 10 0 0 25 0 8 0 166728421 937431040 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5325/statm: 228865 11253 2527 14 0 215335 0
[pid=5325/tid=5327] ppid=5323 vsize=915460 CPUtime=0.03
/proc/5325/task/5327/stat : 5327 (java) S 5323 5325 3876 0 -1 64 939 0 0 0 3 0 0 0 16 0 8 0 166728425 937431040 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5328] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5328/stat : 5328 (java) S 5323 5325 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166728425 937431040 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5329] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5329/stat : 5329 (java) S 5323 5325 3876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166728426 937431040 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5330] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5330/stat : 5330 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166728429 937431040 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5331] ppid=5323 vsize=915460 CPUtime=0.29
/proc/5325/task/5331/stat : 5331 (java) S 5323 5325 3876 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166728429 937431040 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5332] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5332/stat : 5332 (java) S 5323 5325 3876 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166728429 937431040 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5325/tid=5333] ppid=5323 vsize=915460 CPUtime=0
/proc/5325/task/5333/stat : 5333 (java) S 5323 5325 3876 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166728429 937431040 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 128.723
CPU time (s): 128.074
CPU user time (s): 127.958
CPU system time (s): 0.115982
CPU usage (%): 99.4953
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.958
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11615
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= 3899
involuntary context switches= 5435
runsolver used 0.162975 s user time and 0.422935 s system time
The end
Begin job on node10 on Sun Jan 7 15:22:13 UTC 2007
IDJOB= 207803
IDBENCH= 4335
FILE ID= node10/207803-1168183333
PBS_JOBID= 3478894
Free space on /tmp= 66370 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-681_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207803-1168183333/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-207803-1168183333 -o ROOT/results/node10/solver-207803-1168183333 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207803-1168183333/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c0fb72d4f30ed7072c505fa7095a8161
RANDOM SEED= 303882951
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.232
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.232
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: 1675040 kB
Buffers: 27408 kB
Cached: 190100 kB
SwapCached: 2064 kB
Active: 186004 kB
Inactive: 132032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1675040 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 111400 kB
Slab: 47532 kB
Committed_AS: 4275644 kB
PageTables: 2396 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= 66370 MiB
End job on node10 on Sun Jan 7 15:24:22 UTC 2007