0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/218140-1168251147/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.40 => wckTime=0.093 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.66
0.66 constraints being loaded...
0.82 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.82 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=3
0.82 => wckTime=0.517 cpuTime=0.46 mem=41M376
0.92
0.92 solver IterativeSystematicSolver being built...
1.08 => wckTime=0.779 cpuTime=0.6 mem=20M993
1.17
1.17 preprocessing
1.17 nbConstraintChecks=18891 nbValidityChecks=29617 nbPropagations=160 nbRevisions=1423 nbUselessRevisions=1182
1.17 nbSingletonTests=25 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.17 => wckTime=0.08 cpuTime=0.06 mem=20M993
1.24
1.24 search
1.24 run=0 nbConstraintChecks=25641 nbValidityChecks=48993 nbPropagations=534 nbRevisions=5745
1.24 nbUselessRevisions=4561 nbAssignments=34 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=62
1.24 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.149 cpuTime=0.11 mem=21M996
1.31
1.31 search
1.31 run=1 nbConstraintChecks=74269 nbValidityChecks=155498 nbPropagations=1732 nbRevisions=18792
1.31 nbUselessRevisions=15028 nbAssignments=100 nbFailedAssignments=40 nbBacktracks=25 nbVisitedNodes=137
1.31 nbRestartNogoods=8 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.228 cpuTime=0.19 mem=21M996
1.41
1.41 search
1.41 run=2 nbConstraintChecks=126390 nbValidityChecks=259067 nbPropagations=3576 nbRevisions=39011
1.41 nbUselessRevisions=31064 nbAssignments=162 nbFailedAssignments=76 nbBacktracks=47 nbVisitedNodes=250
1.41 nbRestartNogoods=11 mapSize=41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.32 cpuTime=0.26 mem=21M996
1.49
1.49 search
1.49 run=3 nbConstraintChecks=175680 nbValidityChecks=363997 nbPropagations=6345 nbRevisions=68265
1.49 nbUselessRevisions=54260 nbAssignments=261 nbFailedAssignments=123 nbBacktracks=80 nbVisitedNodes=401
1.49 nbRestartNogoods=18 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.401 cpuTime=0.34 mem=21M996
1.61
1.61 search
1.61 run=4 nbConstraintChecks=261077 nbValidityChecks=525904 nbPropagations=10119 nbRevisions=109137
1.61 nbUselessRevisions=86517 nbAssignments=360 nbFailedAssignments=168 nbBacktracks=131 nbVisitedNodes=575
1.61 nbRestartNogoods=20 mapSize=109 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.521 cpuTime=0.45 mem=21M996
1.73
1.73 search
1.73 run=5 nbConstraintChecks=354655 nbValidityChecks=719328 nbPropagations=15305 nbRevisions=165526
1.73 nbUselessRevisions=130813 nbAssignments=519 nbFailedAssignments=245 nbBacktracks=207 nbVisitedNodes=845
1.73 nbRestartNogoods=25 mapSize=156 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.642 cpuTime=0.57 mem=21M996
2.13
2.13 search
2.13 run=6 nbConstraintChecks=676228 nbValidityChecks=1386650 nbPropagations=24699 nbRevisions=270904
2.13 nbUselessRevisions=213132 nbAssignments=922 nbFailedAssignments=521 nbBacktracks=321 nbVisitedNodes=1604
2.13 nbRestartNogoods=35 mapSize=267 nbInferences=0 nbTooLargeKeys=0
2.13 => wckTime=1.042 cpuTime=0.96 mem=21M996
2.46
2.46 search
2.46 run=7 nbConstraintChecks=933621 nbValidityChecks=1900498 nbPropagations=38085 nbRevisions=419812
2.46 nbUselessRevisions=329307 nbAssignments=1284 nbFailedAssignments=699 nbBacktracks=493 nbVisitedNodes=2237
2.46 nbRestartNogoods=45 mapSize=408 nbInferences=0 nbTooLargeKeys=0
2.46 => wckTime=1.376 cpuTime=1.29 mem=21M996
2.99
2.99 search
2.99 run=8 nbConstraintChecks=1318910 nbValidityChecks=2687170 nbPropagations=57638 nbRevisions=634648
2.99 nbUselessRevisions=496317 nbAssignments=1862 nbFailedAssignments=1017 nbBacktracks=749 nbVisitedNodes=3281
2.99 nbRestartNogoods=51 mapSize=626 nbInferences=0 nbTooLargeKeys=0
2.99 => wckTime=1.904 cpuTime=1.79 mem=21M996
3.98
3.98 search
3.98 run=9 nbConstraintChecks=2100084 nbValidityChecks=4219925 nbPropagations=87249 nbRevisions=962248
3.98 nbUselessRevisions=750762 nbAssignments=2767 nbFailedAssignments=1531 nbBacktracks=1135 nbVisitedNodes=4943
3.98 nbRestartNogoods=58 mapSize=939 nbInferences=0 nbTooLargeKeys=0
3.98 => wckTime=2.891 cpuTime=2.76 mem=21M996
4.25
4.25 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=21M996)
5.16
5.16 search
5.16 run=10 nbConstraintChecks=3084073 nbValidityChecks=6209144 nbPropagations=131868 nbRevisions=1452987
5.16 nbUselessRevisions=1132071 nbAssignments=4080 nbFailedAssignments=2264 nbBacktracks=1711 nbVisitedNodes=7346
5.16 nbRestartNogoods=65
5.16 => wckTime=4.074 cpuTime=3.92 mem=21M996
7.30
7.30 search
7.30 run=11 nbConstraintChecks=4892664 nbValidityChecks=9710391 nbPropagations=199522 nbRevisions=2199182
7.30 nbUselessRevisions=1711776 nbAssignments=6183 nbFailedAssignments=3489 nbBacktracks=2575 nbVisitedNodes=11222
7.30 nbRestartNogoods=72
7.30 => wckTime=6.21 cpuTime=6.04 mem=21M996
9.63
9.63 search
9.63 run=12 nbConstraintChecks=6826960 nbValidityChecks=13627411 nbPropagations=297572 nbRevisions=3276071
9.63 nbUselessRevisions=2549017 nbAssignments=8959 nbFailedAssignments=4963 nbBacktracks=3873 nbVisitedNodes=16228
9.63 nbRestartNogoods=83
9.63 => wckTime=8.548 cpuTime=8.35 mem=21M996
14.78
14.78 search
14.78 run=13 nbConstraintChecks=11186091 nbValidityChecks=22840103 nbPropagations=455107 nbRevisions=5002140
14.78 nbUselessRevisions=3893499 nbAssignments=14234 nbFailedAssignments=8287 nbBacktracks=5820 nbVisitedNodes=26112
14.78 nbRestartNogoods=92
14.78 => wckTime=13.691 cpuTime=13.45 mem=21M996
19.58
19.58 search
19.58 run=14 nbConstraintChecks=15190356 nbValidityChecks=30918488 nbPropagations=673573 nbRevisions=7406416
19.58 nbUselessRevisions=5764608 nbAssignments=20217 nbFailedAssignments=11347 nbBacktracks=8739 nbVisitedNodes=36745
19.58 nbRestartNogoods=101
19.58 => wckTime=18.494 cpuTime=18.21 mem=21M996
27.42
27.42 search
27.42 run=15 nbConstraintChecks=21636403 nbValidityChecks=43878763 nbPropagations=987958 nbRevisions=10891232
27.42 nbUselessRevisions=8477512 nbAssignments=29099 nbFailedAssignments=15846 nbBacktracks=13117
27.42 nbVisitedNodes=52645 nbRestartNogoods=118
27.42 => wckTime=26.332 cpuTime=25.97 mem=21M996
39.77
39.77 search
39.77 run=16 nbConstraintChecks=32002383 nbValidityChecks=65174111 nbPropagations=1452598 nbRevisions=16048161
39.77 nbUselessRevisions=12492861 nbAssignments=43594 nbFailedAssignments=23754 nbBacktracks=19686
39.77 nbVisitedNodes=78936 nbRestartNogoods=130
39.77 => wckTime=38.687 cpuTime=38.19 mem=21M996
57.61
57.61 search
57.61 run=17 nbConstraintChecks=46765956 nbValidityChecks=94964226 nbPropagations=2141216 nbRevisions=23690409
57.61 nbUselessRevisions=18443726 nbAssignments=64186 nbFailedAssignments=34490 nbBacktracks=29538
57.61 nbVisitedNodes=115999 nbRestartNogoods=139
57.61 => wckTime=56.522 cpuTime=55.85 mem=21M996
90.74
90.74 search
90.74 run=18 nbConstraintChecks=74473585 nbValidityChecks=152203896 nbPropagations=3220422 nbRevisions=35684805
90.74 nbUselessRevisions=27792561 nbAssignments=98599 nbFailedAssignments=54120 nbBacktracks=44316
90.74 nbVisitedNodes=179609 nbRestartNogoods=146
90.74 => wckTime=89.653 cpuTime=88.65 mem=21M996
129.67
129.67 search
129.67 run=19 nbConstraintChecks=106681378 nbValidityChecks=216959183 nbPropagations=4780814 nbRevisions=53053640
129.67 nbUselessRevisions=41331739 nbAssignments=143021 nbFailedAssignments=76369 nbBacktracks=66485
129.67 nbVisitedNodes=258745 nbRestartNogoods=163
129.67 => wckTime=128.588 cpuTime=127.19 mem=21M996
132.17
132.17 search
132.17 run=20 nbConstraintChecks=108755164 nbValidityChecks=221094164 nbPropagations=6369134 nbRevisions=70746299
132.17 nbUselessRevisions=55124237 nbAssignments=145560 nbFailedAssignments=77698 nbBacktracks=67696
132.17 nbVisitedNodes=263339 nbRestartNogoods=176
132.17 => wckTime=131.08 cpuTime=129.66 mem=21M996
132.17
132.17 global
132.17 nbConstraintChecks=108774055 nbValidityChecks=221123781 nbPropagations=6369294 nbRevisions=70747722
132.17 nbUselessRevisions=55125419 nbRestartNogoods=176 solvingWckTime=131.082 solvingCpuTime=129.66 expiredTime=no
132.17 totalExploration=yes nbFoundSolutions=0 globalCpuTime=130.31
132.17 => wckTime=131.864 cpuTime=130.26 mem=21M996
132.17
132.17 s UNSATISFIABLE
132.17 d NODES 145560
132.17 d CHECKS 108774055
132.17
132.17 totalWckTime=131.941 totalCpuTime=130.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-218140-1168251147 -o ROOT/results/node45/solver-218140-1168251147 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218140-1168251147/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.48 2.58 2.09 4/81 11370
/proc/meminfo: memFree=1190224/2055920 swapFree=4184048/4192956
[pid=11369] ppid=11367 vsize=18540 CPUtime=0
/proc/11369/stat : 11369 (runsolver) R 11367 11369 10560 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 173513662 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/11369/statm: 4635 279 244 17 0 2626 0
[startup+0.108193 s]
/proc/loadavg: 2.48 2.58 2.09 4/81 11370
/proc/meminfo: memFree=1190224/2055920 swapFree=4184048/4192956
[pid=11369] ppid=11367 vsize=914988 CPUtime=0.09
/proc/11369/stat : 11369 (java) R 11367 11369 10560 0 -1 0 2996 0 1 0 8 1 0 0 25 0 8 0 173513662 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11369/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516262 s]
/proc/loadavg: 2.48 2.58 2.09 4/81 11370
/proc/meminfo: memFree=1190224/2055920 swapFree=4184048/4192956
[pid=11369] ppid=11367 vsize=915328 CPUtime=0.49
/proc/11369/stat : 11369 (java) R 11367 11369 10560 0 -1 0 7855 0 1 0 44 5 0 0 25 0 8 0 173513662 937295872 7594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11369/statm: 228832 7594 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33942 s]
/proc/loadavg: 2.48 2.58 2.09 4/88 11377
/proc/meminfo: memFree=1138200/2055920 swapFree=4184048/4192956
[pid=11369] ppid=11367 vsize=915460 CPUtime=1.31
/proc/11369/stat : 11369 (java) R 11367 11369 10560 0 -1 0 16796 0 1 0 119 12 0 0 25 0 8 0 173513662 937431040 16534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11369/statm: 228865 16534 2527 14 0 215335 0
[pid=11369/tid=11371] ppid=11367 vsize=915460 CPUtime=0.07
/proc/11369/task/11371/stat : 11371 (java) S 11367 11369 10560 0 -1 64 1744 0 0 0 7 0 0 0 16 0 8 0 173513666 937431040 16534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11372] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11372/stat : 11372 (java) S 11367 11369 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11373] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11373/stat : 11373 (java) S 11367 11369 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11374] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11374/stat : 11374 (java) S 11367 11369 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173513670 937431040 16534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11375] ppid=11367 vsize=915460 CPUtime=0.16
/proc/11369/task/11375/stat : 11375 (java) S 11367 11369 10560 0 -1 64 355 0 0 0 15 1 0 0 15 0 8 0 173513670 937431040 16534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11376] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11376/stat : 11376 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173513670 937431040 16534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11377] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11377/stat : 11377 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173513670 937431040 16534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.99072 s]
/proc/loadavg: 2.44 2.57 2.09 3/88 11377
/proc/meminfo: memFree=1137560/2055920 swapFree=4184048/4192956
[pid=11369] ppid=11367 vsize=915460 CPUtime=2.94
/proc/11369/stat : 11369 (java) R 11367 11369 10560 0 -1 0 16817 0 1 0 282 12 0 0 25 0 8 0 173513662 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735817 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11369/statm: 228865 16553 2527 14 0 215335 0
[pid=11369/tid=11371] ppid=11367 vsize=915460 CPUtime=0.07
/proc/11369/task/11371/stat : 11371 (java) S 11367 11369 10560 0 -1 64 1744 0 0 0 7 0 0 0 17 0 8 0 173513666 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11372] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11372/stat : 11372 (java) S 11367 11369 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11373] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11373/stat : 11373 (java) S 11367 11369 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11374] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11374/stat : 11374 (java) S 11367 11369 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173513670 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11375] ppid=11367 vsize=915460 CPUtime=0.21
/proc/11369/task/11375/stat : 11375 (java) S 11367 11369 10560 0 -1 64 376 0 0 0 20 1 0 0 16 0 8 0 173513670 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11376] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11376/stat : 11376 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173513670 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11377] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11377/stat : 11377 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173513670 937431040 16553 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.27931 s]
/proc/loadavg: 2.44 2.57 2.09 3/88 11377
/proc/meminfo: memFree=1137880/2055920 swapFree=4184048/4192956
[pid=11369] ppid=11367 vsize=915460 CPUtime=6.19
/proc/11369/stat : 11369 (java) R 11367 11369 10560 0 -1 0 16829 0 1 0 607 12 0 0 25 0 8 0 173513662 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11369/statm: 228865 16563 2527 14 0 215335 0
[pid=11369/tid=11371] ppid=11367 vsize=915460 CPUtime=0.07
/proc/11369/task/11371/stat : 11371 (java) S 11367 11369 10560 0 -1 64 1744 0 0 0 7 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11372] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11372/stat : 11372 (java) S 11367 11369 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11373] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11373/stat : 11373 (java) S 11367 11369 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11374] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11374/stat : 11374 (java) S 11367 11369 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11375] ppid=11367 vsize=915460 CPUtime=0.23
/proc/11369/task/11375/stat : 11375 (java) S 11367 11369 10560 0 -1 64 386 0 0 0 22 1 0 0 15 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11376] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11376/stat : 11376 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11377] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11377/stat : 11377 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7725 s]
/proc/loadavg: 2.52 2.59 2.10 3/88 11377
/proc/meminfo: memFree=1137880/2055920 swapFree=4184048/4192956
[pid=11369] ppid=11367 vsize=915460 CPUtime=12.62
/proc/11369/stat : 11369 (java) R 11367 11369 10560 0 -1 0 16829 0 1 0 1250 12 0 0 25 0 8 0 173513662 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726421 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11369/statm: 228865 16563 2527 14 0 215335 0
[pid=11369/tid=11371] ppid=11367 vsize=915460 CPUtime=0.07
/proc/11369/task/11371/stat : 11371 (java) S 11367 11369 10560 0 -1 64 1744 0 0 0 7 0 0 0 17 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11372] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11372/stat : 11372 (java) S 11367 11369 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11373] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11373/stat : 11373 (java) S 11367 11369 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11374] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11374/stat : 11374 (java) S 11367 11369 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11375] ppid=11367 vsize=915460 CPUtime=0.23
/proc/11369/task/11375/stat : 11375 (java) S 11367 11369 10560 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11376] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11376/stat : 11376 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11377] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11377/stat : 11377 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.6258 s]
/proc/loadavg: 2.52 2.58 2.10 3/88 11377
/proc/meminfo: memFree=1137880/2055920 swapFree=4184048/4192956
[pid=11369] ppid=11367 vsize=915460 CPUtime=25.36
/proc/11369/stat : 11369 (java) R 11367 11369 10560 0 -1 0 16830 0 1 0 2524 12 0 0 25 0 8 0 173513662 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073608997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11369/statm: 228865 16563 2527 14 0 215335 0
[pid=11369/tid=11371] ppid=11367 vsize=915460 CPUtime=0.07
/proc/11369/task/11371/stat : 11371 (java) S 11367 11369 10560 0 -1 64 1744 0 0 0 7 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11372] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11372/stat : 11372 (java) S 11367 11369 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11373] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11373/stat : 11373 (java) S 11367 11369 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11374] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11374/stat : 11374 (java) S 11367 11369 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11375] ppid=11367 vsize=915460 CPUtime=0.23
/proc/11369/task/11375/stat : 11375 (java) S 11367 11369 10560 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11376] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11376/stat : 11376 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11377] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11377/stat : 11377 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460
[startup+51.2615 s]
/proc/loadavg: 2.34 2.54 2.10 4/88 11377
/proc/meminfo: memFree=1131480/2055920 swapFree=4184048/4192956
[pid=11369] ppid=11367 vsize=915460 CPUtime=50.73
/proc/11369/stat : 11369 (java) R 11367 11369 10560 0 -1 0 16830 0 1 0 5060 13 0 0 25 0 8 0 173513662 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609069 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11369/statm: 228865 16563 2527 14 0 215335 0
[pid=11369/tid=11371] ppid=11367 vsize=915460 CPUtime=0.07
/proc/11369/task/11371/stat : 11371 (java) S 11367 11369 10560 0 -1 64 1744 0 0 0 7 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11372] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11372/stat : 11372 (java) S 11367 11369 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11373] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11373/stat : 11373 (java) S 11367 11369 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11374] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11374/stat : 11374 (java) S 11367 11369 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11375] ppid=11367 vsize=915460 CPUtime=0.23
/proc/11369/task/11375/stat : 11375 (java) S 11367 11369 10560 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11376] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11376/stat : 11376 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11377] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11377/stat : 11377 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915460
[startup+102.519 s]
/proc/loadavg: 2.37 2.51 2.11 4/88 11377
/proc/meminfo: memFree=1127128/2055920 swapFree=4184048/4192956
[pid=11369] ppid=11367 vsize=915460 CPUtime=101.48
/proc/11369/stat : 11369 (java) R 11367 11369 10560 0 -1 0 16830 0 1 0 10135 13 0 0 25 0 8 0 173513662 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11369/statm: 228865 16563 2527 14 0 215335 0
[pid=11369/tid=11371] ppid=11367 vsize=915460 CPUtime=0.07
/proc/11369/task/11371/stat : 11371 (java) S 11367 11369 10560 0 -1 64 1744 0 0 0 7 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11372] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11372/stat : 11372 (java) S 11367 11369 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11373] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11373/stat : 11373 (java) S 11367 11369 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173513666 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11374] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11374/stat : 11374 (java) S 11367 11369 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11375] ppid=11367 vsize=915460 CPUtime=0.23
/proc/11369/task/11375/stat : 11375 (java) S 11367 11369 10560 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11376] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11376/stat : 11376 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11369/tid=11377] ppid=11367 vsize=915460 CPUtime=0
/proc/11369/task/11377/stat : 11377 (java) S 11367 11369 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173513670 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 132.235
CPU time (s): 130.86
CPU user time (s): 130.715
CPU system time (s): 0.144977
CPU usage (%): 98.9606
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.715
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16840
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= 3803
involuntary context switches= 7033
runsolver used 0.162975 s user time and 0.433934 s system time
The end
Begin job on node45 on Mon Jan 8 10:12:27 UTC 2007
IDJOB= 218140
IDBENCH= 5204
FILE ID= node45/218140-1168251147
PBS_JOBID= 3481920
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218140-1168251147/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-218140-1168251147 -o ROOT/results/node45/solver-218140-1168251147 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218140-1168251147/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3c0a223225c8489ef84874d36f1a988b
RANDOM SEED= 995757145
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.259
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.259
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: 1190704 kB
Buffers: 43596 kB
Cached: 157984 kB
SwapCached: 3168 kB
Active: 700408 kB
Inactive: 110036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1190704 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 2836 kB
Writeback: 0 kB
Mapped: 621024 kB
Slab: 39000 kB
Committed_AS: 4049212 kB
PageTables: 2992 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= 66543 MiB
End job on node45 on Mon Jan 8 10:14:39 UTC 2007