0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/221249-1168257013/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=37 nbDomainTypes=2 minDomainSize=6 maxDomainSize=36
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M902
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.70 nbConstraints=641 nbConvertedConstraints=641 nbConvertConstraintsChecks=2808 nbExtensionStructures=3
0.70 nbSharedExtensionStructures=638 nbConflictsStructures=3 nbSharedConflictsStructures=638
0.70 nbSharedBinaryRepresentations=83 maxDegree=36 maxArity=2
0.70 => wckTime=0.383 cpuTime=0.29 mem=11M779
0.74
0.74 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.586 cpuTime=0.42 mem=13M674
0.95
0.95 preprocessing
0.95 nbConstraintChecks=28884 nbPropagations=589 nbRevisions=2296 nbUselessRevisions=1558 nbSingletonTests=41
0.95 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=33 detectedInconsistency=no
0.95 => wckTime=0.043 cpuTime=0.03 mem=13M674
0.98
0.98 search
0.98 run=0 nbConstraintChecks=19323 nbPropagations=1081 nbRevisions=4170 nbUselessRevisions=2576 nbAssignments=30
0.98 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=5 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.069 cpuTime=0.05 mem=14M813
1.00
1.00 search
1.00 run=1 nbConstraintChecks=59673 nbPropagations=3082 nbRevisions=11724 nbUselessRevisions=7078 nbAssignments=73
1.00 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=95 nbRestartNogoods=5 mapSize=20 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.093 cpuTime=0.06 mem=14M813
1.01
1.01 search
1.01 run=2 nbConstraintChecks=90591 nbPropagations=5928 nbRevisions=22460 nbUselessRevisions=13278
1.01 nbAssignments=116 nbFailedAssignments=33 nbBacktracks=49 nbVisitedNodes=170 nbRestartNogoods=9 mapSize=42
1.01 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.109 cpuTime=0.07 mem=14M813
1.03
1.03 search
1.03 run=3 nbConstraintChecks=133750 nbPropagations=9958 nbRevisions=37792 nbUselessRevisions=21943
1.03 nbAssignments=179 nbFailedAssignments=57 nbBacktracks=86 nbVisitedNodes=281 nbRestartNogoods=12 mapSize=77
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.129 cpuTime=0.09 mem=14M813
1.05
1.05 search
1.05 run=4 nbConstraintChecks=180891 nbPropagations=15113 nbRevisions=59723 nbUselessRevisions=34721
1.05 nbAssignments=261 nbFailedAssignments=80 nbBacktracks=138 nbVisitedNodes=402 nbRestartNogoods=13 mapSize=103
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.147 cpuTime=0.11 mem=14M813
1.08
1.08 search
1.08 run=5 nbConstraintChecks=234847 nbPropagations=21681 nbRevisions=88517 nbUselessRevisions=51827
1.08 nbAssignments=383 nbFailedAssignments=100 nbBacktracks=213 nbVisitedNodes=550 nbRestartNogoods=17 mapSize=137
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.171 cpuTime=0.13 mem=14M813
1.11
1.11 search
1.11 run=6 nbConstraintChecks=310149 nbPropagations=30402 nbRevisions=128471 nbUselessRevisions=76014
1.11 nbAssignments=585 nbFailedAssignments=150 nbBacktracks=335 nbVisitedNodes=814 nbRestartNogoods=20 mapSize=194
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.204 cpuTime=0.16 mem=14M813
1.17
1.17 search
1.17 run=7 nbConstraintChecks=442428 nbPropagations=42917 nbRevisions=190698 nbUselessRevisions=114168
1.17 nbAssignments=862 nbFailedAssignments=242 nbBacktracks=508 nbVisitedNodes=1264 nbRestartNogoods=21 mapSize=299
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.265 cpuTime=0.21 mem=14M813
1.24
1.24 search
1.24 run=8 nbConstraintChecks=592147 nbPropagations=59448 nbRevisions=277901 nbUselessRevisions=167978
1.24 nbAssignments=1256 nbFailedAssignments=371 nbBacktracks=764 nbVisitedNodes=1848 nbRestartNogoods=25
1.24 mapSize=394 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.331 cpuTime=0.28 mem=14M813
1.36
1.36 search
1.36 run=9 nbConstraintChecks=911960 nbPropagations=83926 nbRevisions=416171 nbUselessRevisions=255402
1.36 nbAssignments=1875 nbFailedAssignments=559 nbBacktracks=1148 nbVisitedNodes=2753 nbRestartNogoods=32
1.36 mapSize=615 nbInferences=1 nbTooLargeKeys=0
1.36 => wckTime=0.458 cpuTime=0.38 mem=14M813
1.52
1.52 search
1.52 run=10 nbConstraintChecks=1326012 nbPropagations=118945 nbRevisions=627567 nbUselessRevisions=391003
1.52 nbAssignments=2780 nbFailedAssignments=881 nbBacktracks=1724 nbVisitedNodes=4196 nbRestartNogoods=38
1.52 mapSize=921 nbInferences=2 nbTooLargeKeys=0
1.52 => wckTime=0.615 cpuTime=0.52 mem=14M813
1.57
1.57 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=14M813)
1.75
1.75 search
1.75 run=11 nbConstraintChecks=2035497 nbPropagations=171744 nbRevisions=975980 nbUselessRevisions=619149
1.75 nbAssignments=4245 nbFailedAssignments=1471 nbBacktracks=2590 nbVisitedNodes=6587 nbRestartNogoods=42
1.75 => wckTime=0.843 cpuTime=0.75 mem=14M813
2.13
2.13 search
2.13 run=12 nbConstraintChecks=3340063 nbPropagations=255720 nbRevisions=1547110 nbUselessRevisions=989643
2.13 nbAssignments=6551 nbFailedAssignments=2468 nbBacktracks=3889 nbVisitedNodes=10515 nbRestartNogoods=50
2.13 => wckTime=1.221 cpuTime=1.12 mem=14M813
2.69
2.69 search
2.69 run=13 nbConstraintChecks=5143199 nbPropagations=385563 nbRevisions=2436725 nbUselessRevisions=1568302
2.69 nbAssignments=9845 nbFailedAssignments=3807 nbBacktracks=5837 nbVisitedNodes=16042 nbRestartNogoods=58
2.69 => wckTime=1.787 cpuTime=1.68 mem=14M813
3.52
3.52 search
3.52 run=14 nbConstraintChecks=7812049 nbPropagations=581501 nbRevisions=3841900 nbUselessRevisions=2497103
3.52 nbAssignments=14771 nbFailedAssignments=5806 nbBacktracks=8756 nbVisitedNodes=24314 nbRestartNogoods=70
3.52 => wckTime=2.61 cpuTime=2.5 mem=14M813
4.73
4.73 search
4.73 run=15 nbConstraintChecks=11737840 nbPropagations=877431 nbRevisions=5981496 nbUselessRevisions=3918194
4.73 nbAssignments=22140 nbFailedAssignments=8770 nbBacktracks=13136 nbVisitedNodes=36709 nbRestartNogoods=85
4.73 => wckTime=3.823 cpuTime=3.71 mem=14M813
6.38
6.38 search
6.38 run=16 nbConstraintChecks=17338678 nbPropagations=1306354 nbRevisions=9127610 nbUselessRevisions=6006878
6.38 nbAssignments=32668 nbFailedAssignments=12699 nbBacktracks=19705 nbVisitedNodes=54055 nbRestartNogoods=103
6.38 => wckTime=5.47 cpuTime=5.34 mem=14M813
9.15
9.15 search
9.15 run=17 nbConstraintChecks=26327547 nbPropagations=1965796 nbRevisions=13977469 nbUselessRevisions=9241822
9.15 nbAssignments=49730 nbFailedAssignments=19856 nbBacktracks=29557 nbVisitedNodes=82931 nbRestartNogoods=120
9.15 => wckTime=8.241 cpuTime=8.08 mem=14M813
13.00
13.00 search
13.00 run=18 nbConstraintChecks=38332581 nbPropagations=2949844 nbRevisions=21237177 nbUselessRevisions=14091176
13.00 nbAssignments=75391 nbFailedAssignments=30704 nbBacktracks=44336 nbVisitedNodes=126097 nbRestartNogoods=140
13.01 => wckTime=12.099 cpuTime=11.91 mem=14M813
18.70
18.70 search
18.70 run=19 nbConstraintChecks=55847448 nbPropagations=4408936 nbRevisions=32079513 nbUselessRevisions=21387286
18.70 nbAssignments=112982 nbFailedAssignments=46119 nbBacktracks=66504 nbVisitedNodes=189366 nbRestartNogoods=152
18.70 => wckTime=17.795 cpuTime=17.53 mem=14M813
27.45
27.45 search
27.45 run=20 nbConstraintChecks=82697444 nbPropagations=6604812 nbRevisions=48253367 nbUselessRevisions=32259453
27.45 nbAssignments=168882 nbFailedAssignments=68754 nbBacktracks=99756 nbVisitedNodes=283409 nbRestartNogoods=161
27.45 => wckTime=26.544 cpuTime=26.19 mem=14M813
40.82
40.82 search
40.82 run=21 nbConstraintChecks=125897819 nbPropagations=9905756 nbRevisions=72631785 nbUselessRevisions=48648918
40.82 nbAssignments=253274 nbFailedAssignments=103253 nbBacktracks=149637 nbVisitedNodes=425414 nbRestartNogoods=177
40.82 => wckTime=39.916 cpuTime=39.44 mem=14M813
59.89
59.89 search
59.89 run=22 nbConstraintChecks=185702222 nbPropagations=14802491 nbRevisions=109081668 nbUselessRevisions=73354067
59.89 nbAssignments=376271 nbFailedAssignments=151424 nbBacktracks=224455 nbVisitedNodes=631144 nbRestartNogoods=194
59.89 => wckTime=58.988 cpuTime=58.35 mem=14M813
82.58
82.58 search
82.58 run=23 nbConstraintChecks=257172850 nbPropagations=21588333 nbRevisions=159548216 nbUselessRevisions=107475437
82.58 nbAssignments=525871 nbFailedAssignments=210005 nbBacktracks=315428 nbVisitedNodes=880250 nbRestartNogoods=215
82.58 => wckTime=81.67 cpuTime=80.79 mem=14M813
82.58
82.58 global
82.58 nbConstraintChecks=257201734 nbPropagations=21588922 nbRevisions=159550512 nbUselessRevisions=107476995
82.58 nbRestartNogoods=215 solvingWckTime=81.671 solvingCpuTime=80.79 expiredTime=no totalExploration=no
82.58 nbFoundSolutions=1 globalCpuTime=81.26
82.58 => wckTime=82.261 cpuTime=81.21 mem=14M813
82.58
82.58 s SATISFIABLE
82.58 v 7 4 8 0 13 2 6 19 30 26 22 35 27 31 20 24 32 28 15 11 3 7 18 14 10 23 34 21 17 9 1 12 25 33 29 16 5
82.58 d NODES 525871
82.58 d CHECKS 257201734
82.58
82.58 totalWckTime=82.346 totalCpuTime=81.26
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-221249-1168257013 -o ROOT/results/node17/solver-221249-1168257013 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221249-1168257013/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.52 1.59 0.98 4/97 20026
/proc/meminfo: memFree=917648/2055920 swapFree=4192812/4192956
[pid=20025] ppid=20023 vsize=18540 CPUtime=0
/proc/20025/stat : 20025 (runsolver) R 20023 20025 19509 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 174096131 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20025/statm: 4635 279 244 17 0 2626 0
[startup+0.10349 s]
/proc/loadavg: 2.52 1.59 0.98 4/97 20026
/proc/meminfo: memFree=917648/2055920 swapFree=4192812/4192956
[pid=20025] ppid=20023 vsize=914988 CPUtime=0.08
/proc/20025/stat : 20025 (java) R 20023 20025 19509 0 -1 0 2962 0 1 0 7 1 0 0 25 0 8 0 174096131 936947712 2708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154108824 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228747 2708 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511528 s]
/proc/loadavg: 2.52 1.59 0.98 4/97 20026
/proc/meminfo: memFree=917648/2055920 swapFree=4192812/4192956
[pid=20025] ppid=20023 vsize=915328 CPUtime=0.48
/proc/20025/stat : 20025 (java) R 20023 20025 19509 0 -1 0 6342 0 1 0 44 4 0 0 25 0 8 0 174096131 937295872 6081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228832 6081 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33361 s]
/proc/loadavg: 2.48 1.60 0.99 4/104 20033
/proc/meminfo: memFree=894232/2055920 swapFree=4192812/4192956
[pid=20025] ppid=20023 vsize=915556 CPUtime=1.3
/proc/20025/stat : 20025 (java) R 20023 20025 19509 0 -1 0 8631 0 1 0 121 9 0 0 25 0 8 0 174096131 937529344 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228889 8369 2541 14 0 215359 0
[pid=20025/tid=20027] ppid=20023 vsize=915556 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19509 0 -1 64 198 0 0 0 3 0 0 0 16 0 8 0 174096135 937529344 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19509 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174096136 937529344 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174096136 937529344 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19509 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 174096139 937529344 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915556 CPUtime=0.24
/proc/20025/task/20031/stat : 20031 (java) R 20023 20025 19509 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 174096139 937529344 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3293271 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174096139 937529344 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174096139 937529344 8369 18446744073709551615 134512640 134570532 4294956464 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) 915556
[startup+2.97078 s]
/proc/loadavg: 2.48 1.60 0.99 3/104 20033
/proc/meminfo: memFree=893784/2055920 swapFree=4192812/4192956
[pid=20025] ppid=20023 vsize=915556 CPUtime=2.92
/proc/20025/stat : 20025 (java) R 20023 20025 19509 0 -1 0 8694 0 1 0 283 9 0 0 25 0 8 0 174096131 937529344 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228889 8431 2541 14 0 215359 0
[pid=20025/tid=20027] ppid=20023 vsize=915556 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19509 0 -1 64 198 0 0 0 3 0 0 0 17 0 8 0 174096135 937529344 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19509 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174096136 937529344 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174096136 937529344 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19509 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 174096139 937529344 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915556 CPUtime=0.26
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19509 0 -1 64 408 0 0 0 25 1 0 0 15 0 8 0 174096139 937529344 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174096139 937529344 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174096139 937529344 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915556
[startup+6.26912 s]
/proc/loadavg: 2.52 1.62 1.00 3/104 20033
/proc/meminfo: memFree=893720/2055920 swapFree=4192812/4192956
[pid=20025] ppid=20023 vsize=915556 CPUtime=6.18
/proc/20025/stat : 20025 (java) R 20023 20025 19509 0 -1 0 8700 0 1 0 609 9 0 0 25 0 8 0 174096131 937529344 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228889 8436 2541 14 0 215359 0
[pid=20025/tid=20027] ppid=20023 vsize=915556 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19509 0 -1 64 198 0 0 0 3 0 0 0 16 0 8 0 174096135 937529344 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19509 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174096136 937529344 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174096136 937529344 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19509 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 174096139 937529344 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915556 CPUtime=0.26
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19509 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 174096139 937529344 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174096139 937529344 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174096139 937529344 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915556
[startup+12.7429 s]
/proc/loadavg: 2.48 1.63 1.01 3/104 20033
/proc/meminfo: memFree=893728/2055920 swapFree=4192812/4192956
[pid=20025] ppid=20023 vsize=915556 CPUtime=12.6
/proc/20025/stat : 20025 (java) R 20023 20025 19509 0 -1 0 8706 0 1 0 1251 9 0 0 25 0 8 0 174096131 937529344 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858626 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228889 8442 2541 14 0 215359 0
[pid=20025/tid=20027] ppid=20023 vsize=915556 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19509 0 -1 64 198 0 0 0 3 0 0 0 16 0 8 0 174096135 937529344 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19509 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174096136 937529344 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174096136 937529344 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19509 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 174096139 937529344 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915556 CPUtime=0.26
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19509 0 -1 64 409 0 0 0 25 1 0 0 16 0 8 0 174096139 937529344 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174096139 937529344 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174096139 937529344 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915556
[startup+25.6211 s]
/proc/loadavg: 2.41 1.64 1.02 3/104 20033
/proc/meminfo: memFree=893792/2055920 swapFree=4192812/4192956
[pid=20025] ppid=20023 vsize=915556 CPUtime=25.33
/proc/20025/stat : 20025 (java) R 20023 20025 19509 0 -1 0 8711 0 1 0 2524 9 0 0 25 0 8 0 174096131 937529344 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073872778 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228889 8447 2541 14 0 215359 0
[pid=20025/tid=20027] ppid=20023 vsize=915556 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19509 0 -1 64 198 0 0 0 3 0 0 0 16 0 8 0 174096135 937529344 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19509 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174096136 937529344 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174096136 937529344 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19509 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 174096139 937529344 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915556 CPUtime=0.26
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19509 0 -1 64 409 0 0 0 25 1 0 0 16 0 8 0 174096139 937529344 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174096139 937529344 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174096139 937529344 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915556
[startup+51.2589 s]
/proc/loadavg: 2.25 1.67 1.04 4/104 20033
/proc/meminfo: memFree=893792/2055920 swapFree=4192812/4192956
[pid=20025] ppid=20023 vsize=915556 CPUtime=50.74
/proc/20025/stat : 20025 (java) R 20023 20025 19509 0 -1 0 8717 0 1 0 5065 9 0 0 25 0 8 0 174096131 937529344 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228889 8452 2541 14 0 215359 0
[pid=20025/tid=20027] ppid=20023 vsize=915556 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19509 0 -1 64 198 0 0 0 3 0 0 0 16 0 8 0 174096135 937529344 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19509 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174096136 937529344 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174096136 937529344 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19509 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 174096139 937529344 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915556 CPUtime=0.26
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19509 0 -1 64 409 0 0 0 25 1 0 0 16 0 8 0 174096139 937529344 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174096139 937529344 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915556 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174096139 937529344 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 82.6376
CPU time (s): 81.7776
CPU user time (s): 81.6706
CPU system time (s): 0.106983
CPU usage (%): 98.9593
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.6706
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8815
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= 2984
involuntary context switches= 6543
runsolver used 0.107983 s user time and 0.242963 s system time
The end
Begin job on node17 on Mon Jan 8 11:50:13 UTC 2007
IDJOB= 221249
IDBENCH= 5404
FILE ID= node17/221249-1168257013
PBS_JOBID= 3482405
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/queenAttacking/queenAttacking-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221249-1168257013/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-221249-1168257013 -o ROOT/results/node17/solver-221249-1168257013 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221249-1168257013/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b8819f8dd523d23a99165a8017c8adf9
RANDOM SEED= 155523865
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.236
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.236
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: 918128 kB
Buffers: 63732 kB
Cached: 217176 kB
SwapCached: 0 kB
Active: 929848 kB
Inactive: 142128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 918128 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1756 kB
Writeback: 0 kB
Mapped: 820580 kB
Slab: 48952 kB
Committed_AS: 5702496 kB
PageTables: 3724 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= 66324 MiB
End job on node17 on Mon Jan 8 11:51:36 UTC 2007