0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/199600-1168071493/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.41 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.50
0.50 constraints being loaded...
0.62 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=797 maxDegree=22
0.62 maxArity=2
0.62 => wckTime=0.3 cpuTime=0.22 mem=12M803
0.66
0.66 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.495 cpuTime=0.36 mem=13M900
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=23 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0040 cpuTime=0.0 mem=13M900
0.86
0.86 search
0.86 run=0 nbConstraintChecks=25548 nbPropagations=366 nbRevisions=5236 nbUselessRevisions=4559 nbAssignments=23
0.86 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.046 cpuTime=0.03 mem=14M925
0.88
0.88 search
0.88 run=1 nbConstraintChecks=71017 nbPropagations=1300 nbRevisions=20234 nbUselessRevisions=17533 nbAssignments=59
0.88 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=103 nbRestartNogoods=3 mapSize=23 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.068 cpuTime=0.05 mem=14M925
0.91
0.91 search
0.91 run=2 nbConstraintChecks=130555 nbPropagations=2966 nbRevisions=48046 nbUselessRevisions=41520
0.91 nbAssignments=109 nbFailedAssignments=47 nbBacktracks=47 nbVisitedNodes=193 nbRestartNogoods=9 mapSize=45
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.093 cpuTime=0.07 mem=14M925
0.93
0.93 search
0.93 run=3 nbConstraintChecks=230398 nbPropagations=5765 nbRevisions=96601 nbUselessRevisions=83329
0.93 nbAssignments=183 nbFailedAssignments=83 nbBacktracks=80 nbVisitedNodes=328 nbRestartNogoods=12 mapSize=77
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.118 cpuTime=0.09 mem=14M925
0.96
0.96 search
0.96 run=4 nbConstraintChecks=356217 nbPropagations=10149 nbRevisions=173789 nbUselessRevisions=149765
0.96 nbAssignments=292 nbFailedAssignments=137 nbBacktracks=130 nbVisitedNodes=531 nbRestartNogoods=17 mapSize=127
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.145 cpuTime=0.11 mem=14M925
1.00
1.00 search
1.00 run=5 nbConstraintChecks=556126 nbPropagations=16940 nbRevisions=296028 nbUselessRevisions=255065
1.00 nbAssignments=452 nbFailedAssignments=217 nbBacktracks=205 nbVisitedNodes=830 nbRestartNogoods=22 mapSize=202
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.187 cpuTime=0.15 mem=14M925
1.06
1.06 search
1.06 run=6 nbConstraintChecks=857876 nbPropagations=27155 nbRevisions=482931 nbUselessRevisions=415961
1.06 nbAssignments=681 nbFailedAssignments=328 nbBacktracks=319 nbVisitedNodes=1249 nbRestartNogoods=29 mapSize=316
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.245 cpuTime=0.21 mem=14M925
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1327745 nbPropagations=42734 nbRevisions=772183 nbUselessRevisions=664965
1.15 nbAssignments=1025 nbFailedAssignments=497 nbBacktracks=489 nbVisitedNodes=1890 nbRestartNogoods=35
1.15 mapSize=485 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.336 cpuTime=0.29 mem=14M925
1.28
1.28 search
1.28 run=8 nbConstraintChecks=1954078 nbPropagations=66021 nbRevisions=1204975 nbUselessRevisions=1037535
1.28 nbAssignments=1553 nbFailedAssignments=764 nbBacktracks=745 nbVisitedNodes=2877 nbRestartNogoods=43
1.28 mapSize=733 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.467 cpuTime=0.4 mem=14M925
1.42
1.42 INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=14M925)
1.45
1.45 search
1.45 run=9 nbConstraintChecks=2985001 nbPropagations=101289 nbRevisions=1868940 nbUselessRevisions=1609823
1.45 nbAssignments=2339 nbFailedAssignments=1163 nbBacktracks=1129 nbVisitedNodes=4347 nbRestartNogoods=51
1.45 => wckTime=0.64 cpuTime=0.57 mem=14M925
1.70
1.70 search
1.70 run=10 nbConstraintChecks=4568270 nbPropagations=154317 nbRevisions=2874745 nbUselessRevisions=2475674
1.70 nbAssignments=3521 nbFailedAssignments=1765 nbBacktracks=1705 nbVisitedNodes=6549 nbRestartNogoods=56
1.70 => wckTime=0.887 cpuTime=0.81 mem=14M925
2.05
2.05 search
2.05 run=11 nbConstraintChecks=6951984 nbPropagations=234121 nbRevisions=4396926 nbUselessRevisions=3785840
2.05 nbAssignments=5275 nbFailedAssignments=2651 nbBacktracks=2569 nbVisitedNodes=9839 nbRestartNogoods=61
2.05 => wckTime=1.238 cpuTime=1.15 mem=14M925
2.55
2.55 search
2.55 run=12 nbConstraintChecks=10090906 nbPropagations=352179 nbRevisions=6641471 nbUselessRevisions=5720273
2.55 nbAssignments=7857 nbFailedAssignments=3931 nbBacktracks=3866 nbVisitedNodes=14674 nbRestartNogoods=71
2.55 => wckTime=1.732 cpuTime=1.64 mem=14M925
3.29
3.29 search
3.29 run=13 nbConstraintChecks=15043305 nbPropagations=528359 nbRevisions=9998678 nbUselessRevisions=8614870
3.29 nbAssignments=11781 nbFailedAssignments=5904 nbBacktracks=5813 nbVisitedNodes=22021 nbRestartNogoods=86
3.29 => wckTime=2.481 cpuTime=2.39 mem=14M925
4.47
4.47 search
4.47 run=14 nbConstraintChecks=22909194 nbPropagations=794228 nbRevisions=15097679 nbUselessRevisions=13010925
4.47 nbAssignments=17723 nbFailedAssignments=8922 nbBacktracks=8732 nbVisitedNodes=33174 nbRestartNogoods=95
4.47 => wckTime=3.658 cpuTime=3.55 mem=14M925
6.15
6.15 search
6.15 run=15 nbConstraintChecks=33724127 nbPropagations=1188485 nbRevisions=22645984 nbUselessRevisions=19522201
6.15 nbAssignments=26444 nbFailedAssignments=13260 nbBacktracks=13111 nbVisitedNodes=49462 nbRestartNogoods=102
6.15 => wckTime=5.333 cpuTime=5.2 mem=14M925
8.80
8.80 search
8.80 run=16 nbConstraintChecks=51266070 nbPropagations=1784096 nbRevisions=34097820 nbUselessRevisions=29400402
8.80 nbAssignments=39863 nbFailedAssignments=20106 nbBacktracks=19680 nbVisitedNodes=74676 nbRestartNogoods=116
8.80 => wckTime=7.986 cpuTime=7.83 mem=14M925
12.80
12.80 search
12.80 run=17 nbConstraintChecks=77853050 nbPropagations=2682099 nbRevisions=51414212 nbUselessRevisions=44337909
12.80 nbAssignments=59835 nbFailedAssignments=30222 nbBacktracks=29533 nbVisitedNodes=112198 nbRestartNogoods=131
12.80 => wckTime=11.986 cpuTime=11.79 mem=14M925
18.63
18.63 search
18.63 run=18 nbConstraintChecks=116447850 nbPropagations=4026892 nbRevisions=77324623 nbUselessRevisions=66684688
18.63 nbAssignments=89659 nbFailedAssignments=45263 nbBacktracks=44311 nbVisitedNodes=168181 nbRestartNogoods=151
18.63 => wckTime=17.819 cpuTime=17.57 mem=14M925
27.39
27.39 search
27.39 run=19 nbConstraintChecks=174478657 nbPropagations=6041021 nbRevisions=116174222 nbUselessRevisions=100207535
27.40 nbAssignments=134572 nbFailedAssignments=68003 nbBacktracks=66479 nbVisitedNodes=252482 nbRestartNogoods=164
27.40 => wckTime=26.581 cpuTime=26.26 mem=14M925
40.74
40.74 search
40.74 run=20 nbConstraintChecks=263348109 nbPropagations=9067615 nbRevisions=174711295 nbUselessRevisions=150732649
40.74 nbAssignments=201748 nbFailedAssignments=101922 nbBacktracks=99731 nbVisitedNodes=378510 nbRestartNogoods=185
40.74 => wckTime=39.922 cpuTime=39.48 mem=14M925
60.86
60.86 search
60.86 run=21 nbConstraintChecks=397960859 nbPropagations=13621437 nbRevisions=263072269 nbUselessRevisions=227015858
60.86 nbAssignments=302942 nbFailedAssignments=153234 nbBacktracks=149609 nbVisitedNodes=568416 nbRestartNogoods=204
60.86 => wckTime=60.048 cpuTime=59.44 mem=14M925
83.81
83.81 search
83.81 run=22 nbConstraintChecks=564800774 nbPropagations=20059445 nbRevisions=388382055 nbUselessRevisions=335236380
83.81 nbAssignments=427559 nbFailedAssignments=216287 nbBacktracks=211150 nbVisitedNodes=802209 nbRestartNogoods=217
83.81 => wckTime=83.0 cpuTime=82.37 mem=14M925
83.82
83.82 global
83.82 nbConstraintChecks=564800774 nbPropagations=20059468 nbRevisions=388382055 nbUselessRevisions=335236380
83.82 nbRestartNogoods=217 solvingWckTime=83.001 solvingCpuTime=82.37 expiredTime=no totalExploration=no
83.82 nbFoundSolutions=1 globalCpuTime=82.78
83.82 => wckTime=83.499 cpuTime=82.73 mem=14M925
83.82
83.82 s SATISFIABLE
83.82 v 12 13 16 10 20 8 13 13 19 19 12 17 8 0 7 6 20 11 15 21 10 19 9
83.82 d NODES 427559
83.82 d CHECKS 564800774
83.82
83.82 totalWckTime=83.579 totalCpuTime=82.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-199600-1168071493 -o ROOT/results/node47/solver-199600-1168071493 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199600-1168071493/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.78 0.95 1.07 3/68 1780
/proc/meminfo: memFree=1794600/2055920 swapFree=4192812/4192956
[pid=1779] ppid=1774 vsize=292 CPUtime=0
/proc/1779/stat : 1779 (java) R 1774 1779 1682 0 -1 0 52 0 0 0 0 0 0 0 20 0 1 0 155548538 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10519332 0 0 4096 0 0 0 0 17 1 0 0
/proc/1779/statm: 73 35 27 14 0 5 0
[startup+0.104989 s]
/proc/loadavg: 0.78 0.95 1.07 3/68 1780
/proc/meminfo: memFree=1794600/2055920 swapFree=4192812/4192956
[pid=1779] ppid=1774 vsize=914988 CPUtime=0.08
/proc/1779/stat : 1779 (java) D 1774 1779 1682 0 -1 0 2989 0 1 0 7 1 0 0 23 0 8 0 155548538 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1779/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51303 s]
/proc/loadavg: 0.78 0.95 1.07 3/68 1780
/proc/meminfo: memFree=1794600/2055920 swapFree=4192812/4192956
[pid=1779] ppid=1774 vsize=915328 CPUtime=0.48
/proc/1779/stat : 1779 (java) R 1774 1779 1682 0 -1 0 6873 0 1 0 44 4 0 0 18 0 8 0 155548538 937295872 6612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1779/statm: 228832 6612 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34012 s]
/proc/loadavg: 0.78 0.95 1.07 3/87 1833
/proc/meminfo: memFree=1745288/2055920 swapFree=4192812/4192956
[pid=1779] ppid=1774 vsize=915452 CPUtime=1.3
/proc/1779/stat : 1779 (java) R 1774 1779 1682 0 -1 0 8582 0 1 0 124 6 0 0 24 0 8 0 155548538 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1779/statm: 228863 8320 2513 14 0 215333 0
[pid=1779/tid=1785] ppid=1774 vsize=915452 CPUtime=0.03
/proc/1779/task/1785/stat : 1785 (java) S 1774 1779 1682 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 155548542 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1786] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1786/stat : 1786 (java) S 1774 1779 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1787] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1787/stat : 1787 (java) S 1774 1779 1682 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1788] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1788/stat : 1788 (java) S 1774 1779 1682 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548546 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1792] ppid=1774 vsize=915452 CPUtime=0.2
/proc/1779/task/1792/stat : 1792 (java) S 1774 1779 1682 0 -1 64 383 0 0 0 20 0 0 0 16 0 8 0 155548546 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1794] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1794/stat : 1794 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548546 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1795] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1795/stat : 1795 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548546 937422848 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.99229 s]
/proc/loadavg: 0.78 0.95 1.07 3/87 1833
/proc/meminfo: memFree=1744776/2055920 swapFree=4192812/4192956
[pid=1779] ppid=1774 vsize=915452 CPUtime=2.94
/proc/1779/stat : 1779 (java) R 1774 1779 1682 0 -1 0 8602 0 1 0 288 6 0 0 25 0 8 0 155548538 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1779/statm: 228863 8339 2513 14 0 215333 0
[pid=1779/tid=1785] ppid=1774 vsize=915452 CPUtime=0.03
/proc/1779/task/1785/stat : 1785 (java) S 1774 1779 1682 0 -1 64 270 0 0 0 3 0 0 0 17 0 8 0 155548542 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1786] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1786/stat : 1786 (java) S 1774 1779 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1787] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1787/stat : 1787 (java) S 1774 1779 1682 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1788] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1788/stat : 1788 (java) S 1774 1779 1682 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548546 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1792] ppid=1774 vsize=915452 CPUtime=0.21
/proc/1779/task/1792/stat : 1792 (java) S 1774 1779 1682 0 -1 64 388 0 0 0 21 0 0 0 15 0 8 0 155548546 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1794] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1794/stat : 1794 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548546 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1795] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1795/stat : 1795 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548546 937422848 8339 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) 915452
[startup+6.27164 s]
/proc/loadavg: 0.88 0.97 1.07 3/87 1833
/proc/meminfo: memFree=1744648/2055920 swapFree=4192812/4192956
[pid=1779] ppid=1774 vsize=915452 CPUtime=6.18
/proc/1779/stat : 1779 (java) R 1774 1779 1682 0 -1 0 8613 0 1 0 612 6 0 0 25 0 8 0 155548538 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1779/statm: 228863 8348 2513 14 0 215333 0
[pid=1779/tid=1785] ppid=1774 vsize=915452 CPUtime=0.03
/proc/1779/task/1785/stat : 1785 (java) S 1774 1779 1682 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 155548542 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1786] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1786/stat : 1786 (java) S 1774 1779 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1787] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1787/stat : 1787 (java) S 1774 1779 1682 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1788] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1788/stat : 1788 (java) S 1774 1779 1682 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548546 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1792] ppid=1774 vsize=915452 CPUtime=0.21
/proc/1779/task/1792/stat : 1792 (java) S 1774 1779 1682 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 155548546 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1794] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1794/stat : 1794 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548546 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1795] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1795/stat : 1795 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548546 937422848 8348 18446744073709551615 134512640 134570532 4294956480 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) 915452
[startup+12.7583 s]
/proc/loadavg: 0.97 0.98 1.08 3/87 1833
/proc/meminfo: memFree=1744592/2055920 swapFree=4192812/4192956
[pid=1779] ppid=1774 vsize=915452 CPUtime=12.61
/proc/1779/stat : 1779 (java) R 1774 1779 1682 0 -1 0 8615 0 1 0 1255 6 0 0 25 0 8 0 155548538 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845340 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1779/statm: 228863 8350 2513 14 0 215333 0
[pid=1779/tid=1785] ppid=1774 vsize=915452 CPUtime=0.03
/proc/1779/task/1785/stat : 1785 (java) S 1774 1779 1682 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 155548542 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1786] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1786/stat : 1786 (java) S 1774 1779 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1787] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1787/stat : 1787 (java) S 1774 1779 1682 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1788] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1788/stat : 1788 (java) S 1774 1779 1682 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548546 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1792] ppid=1774 vsize=915452 CPUtime=0.21
/proc/1779/task/1792/stat : 1792 (java) S 1774 1779 1682 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 155548546 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1794] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1794/stat : 1794 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548546 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1795] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1795/stat : 1795 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548546 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915452
[startup+25.5967 s]
/proc/loadavg: 1.19 1.03 1.09 3/87 1833
/proc/meminfo: memFree=1744656/2055920 swapFree=4192812/4192956
[pid=1779] ppid=1774 vsize=915452 CPUtime=25.34
/proc/1779/stat : 1779 (java) R 1774 1779 1682 0 -1 0 8620 0 1 0 2528 6 0 0 25 0 8 0 155548538 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1779/statm: 228863 8355 2513 14 0 215333 0
[pid=1779/tid=1785] ppid=1774 vsize=915452 CPUtime=0.03
/proc/1779/task/1785/stat : 1785 (java) S 1774 1779 1682 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 155548542 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1786] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1786/stat : 1786 (java) S 1774 1779 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1787] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1787/stat : 1787 (java) S 1774 1779 1682 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1788] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1788/stat : 1788 (java) S 1774 1779 1682 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548546 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1792] ppid=1774 vsize=915452 CPUtime=0.21
/proc/1779/task/1792/stat : 1792 (java) S 1774 1779 1682 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 155548546 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1794] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1794/stat : 1794 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548546 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1795] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1795/stat : 1795 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548546 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915452
[startup+51.1974 s]
/proc/loadavg: 1.47 1.11 1.12 3/87 1833
/proc/meminfo: memFree=1744656/2055920 swapFree=4192812/4192956
[pid=1779] ppid=1774 vsize=915452 CPUtime=50.71
/proc/1779/stat : 1779 (java) R 1774 1779 1682 0 -1 0 8625 0 1 0 5065 6 0 0 25 0 8 0 155548538 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1779/statm: 228863 8360 2513 14 0 215333 0
[pid=1779/tid=1785] ppid=1774 vsize=915452 CPUtime=0.03
/proc/1779/task/1785/stat : 1785 (java) S 1774 1779 1682 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 155548542 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1786] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1786/stat : 1786 (java) S 1774 1779 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1787] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1787/stat : 1787 (java) S 1774 1779 1682 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155548542 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1788] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1788/stat : 1788 (java) S 1774 1779 1682 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548546 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1792] ppid=1774 vsize=915452 CPUtime=0.21
/proc/1779/task/1792/stat : 1792 (java) S 1774 1779 1682 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 155548546 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1779/tid=1794] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1794/stat : 1794 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548546 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1779/tid=1795] ppid=1774 vsize=915452 CPUtime=0
/proc/1779/task/1795/stat : 1795 (java) S 1774 1779 1682 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548546 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 83.8341
CPU time (s): 83.2503
CPU user time (s): 83.1714
CPU system time (s): 0.078987
CPU usage (%): 99.3036
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.1714
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8719
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= 2800
involuntary context switches= 3282
runsolver used 0.112982 s user time and 0.26096 s system time
The end
Begin job on node47 on Sat Jan 6 08:18:13 UTC 2007
IDJOB= 199600
IDBENCH= 3628
FILE ID= node47/199600-1168071493
PBS_JOBID= 3475959
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-53021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199600-1168071493/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-199600-1168071493 -o ROOT/results/node47/solver-199600-1168071493 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199600-1168071493/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5fed53841b4b437c3c9731d111aa34a3
RANDOM SEED= 125232597
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.240
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.240
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: 1795272 kB
Buffers: 25312 kB
Cached: 144076 kB
SwapCached: 0 kB
Active: 53140 kB
Inactive: 136272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1795272 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2200 kB
Writeback: 0 kB
Mapped: 30160 kB
Slab: 56956 kB
Committed_AS: 2748448 kB
PageTables: 1664 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= 66532 MiB
End job on node47 on Sat Jan 6 08:19:37 UTC 2007