0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2098555-1247416088.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.38 nbVariables=180 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180 nbTotalValues=32400
0.29/0.38 => wckTime=0.131 cpuTime=0.11 mem=8M867
0.29/0.38
0.29/0.38 predicates being loaded...
0.39/0.43
0.39/0.43 constraints being loaded...
6.25/6.32 nbConstraints=16112 nbGlobalConstraints=2 nbConvertedConstraints=16110 nbConvertConstraintsChecks=5832000
6.25/6.32 nbExtensionStructures=180 nbSharedExtensionStructures=15930 nbConflictsStructures=180
6.25/6.32 nbSharedConflictsStructures=15930 nbSharedBinaryRepresentations=45452 minDegree=181 maxDegree=181 minArity=2
6.25/6.32 avgArity=2.02 maxArity=180 nbGenerators=1 nbFusions=1 symmetryWckTime=0.98 symmetryCpuTime=0.5 nbCliques=1
6.25/6.32 => wckTime=6.076 cpuTime=5.19 mem=45M623
6.45/6.55
6.45/6.55 solver IterativeSystematicSolver being built...
6.55/6.63
6.55/6.63 INFO : Forward propagation technique limited
6.64/6.71 => wckTime=6.461 cpuTime=5.32 mem=44M341
6.64/6.74
6.64/6.74 preprocessing
6.64/6.74 nbConstraintChecks=532 nbPropagations=181 nbRevisions=2 nbUselessRevisions=0 nbRemovedValues=2
6.64/6.74 nbRemovedTuples=16109 detectedInconsistency=no
6.64/6.74 => wckTime=0.03 cpuTime=0.02 mem=45M405
11.61/11.71
11.61/11.71 search
11.61/11.71 run=2 nbConstraintChecks=9177701 minDepth=176 maxDepth=180 nbPropagations=83813 nbRevisions=140667
11.61/11.71 nbUselessRevisions=47688 nbAssignments=479 nbFailedAssignments=26 nbBacktracks=40 nbVisitedNodes=531
11.61/11.71 nbRestartNogoods=8 nbFoundSolutions=1 mapSize=36 nbInferences=0 nbTooLargeKeys=0 nbSEliminables=0
11.61/11.71 nbREliminables=0 nbIEliminables=102.16 nbDEliminables=0 nbPEliminables=0
11.61/11.71 => wckTime=5.006 cpuTime=4.92 mem=47M403
11.61/11.72
11.61/11.72 global
11.61/11.72 nbConstraintChecks=9178233 nbPropagations=83994 nbRevisions=140669 nbUselessRevisions=47688 nbRestartNogoods=8
11.61/11.72 solvingWckTime=5.008 solvingCpuTime=4.92 expiredTime=no totalExploration=no nbFoundSolutions=1
11.61/11.72 firstSolutionCpuTime=10.21 globalCpuTime=10.27
11.61/11.72 => wckTime=11.471 cpuTime=10.24 mem=47M403
11.61/11.72
11.61/11.72 s SATISFIABLE
11.61/11.72 v 107 95 70 115 9 5 13 175 73 86 174 6 101 76 89 7 173 88 105 8 81 112 172 10 84 171 62 170 83 11 169 75 12 92 168 14 167 15 166 16 165 17 164 18 163 19 162 114 161 100 20 120 160 21 85 159 22 158 111 113 23 127 55 51 156 25 63 123 54 157 116 154 119 24 124 56 155 61 26 121 153 28 152 29 117 58 150 43 33 27 30 149 34 145 151 144 99 69 179 35 52 91 45 148 37 40 36 48 135 146 136 139 41 50 130 132 141 42 138 46 142 39 137 131 38 143 140 47 49 44 134 98 96 4 93 106 32 176 147 31 97 80 177 74 129 79 72 66 71 103 133 60 64 57 104 108 67 122 90 128 82 110 68 118 126 109 94 125 178 53 65 78 3 59 87 1 77 2 102 180
11.61/11.72 d NODES 479
11.61/11.72 d CHECKS 9178233
11.61/11.72
11.61/11.72 totalWckTime=11.537 totalCpuTime=10.28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098555-1247416088/watcher-2098555-1247416088 -o /tmp/evaluation-result-2098555-1247416088/solver-2098555-1247416088 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098555-1247416088.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.29 2.10 2.07 4/80 1101
/proc/meminfo: memFree=1568404/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=18576 CPUtime=0
/proc/1101/stat : 1101 (runsolver) R 1099 1101 1025 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28673484 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 256364834087 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1101/statm: 4644 284 249 26 0 2626 0
[startup+0.09007 s]
/proc/loadavg: 2.29 2.10 2.07 4/80 1101
/proc/meminfo: memFree=1568404/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=865980 CPUtime=0.07
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 3667 0 1 0 6 1 0 0 21 0 9 0 28673484 886763520 3150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216495 3150 1682 9 0 210980 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865980
[startup+0.101109 s]
/proc/loadavg: 2.29 2.10 2.07 4/80 1101
/proc/meminfo: memFree=1568404/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=865980 CPUtime=0.08
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 3741 0 1 0 7 1 0 0 21 0 9 0 28673484 886763520 3209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216495 3209 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.301096 s]
/proc/loadavg: 2.29 2.10 2.07 4/80 1101
/proc/meminfo: memFree=1568404/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=866380 CPUtime=0.29
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 5997 0 1 0 25 4 0 0 21 0 9 0 28673484 887173120 5363 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216595 5363 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701137 s]
/proc/loadavg: 2.29 2.10 2.07 4/80 1101
/proc/meminfo: memFree=1568404/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=867776 CPUtime=0.68
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 9537 0 1 0 62 6 0 0 21 0 9 0 28673484 888602624 8891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216944 8891 2037 9 0 211380 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867776
[startup+1.50123 s]
/proc/loadavg: 2.29 2.10 2.07 3/89 1110
/proc/meminfo: memFree=1520396/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=867688 CPUtime=1.48
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 18758 0 1 0 137 11 0 0 21 0 9 0 28673484 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216922 18086 2026 9 0 211380 0
[pid=1101/tid=1103] ppid=1099 vsize=867688 CPUtime=1.24
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 15788 0 1 0 115 9 0 0 25 0 9 0 28673485 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 102417146 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=867688 CPUtime=0.06
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 1595 0 0 0 6 0 0 0 16 0 9 0 28673487 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28673487 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28673487 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 28673489 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=867688 CPUtime=0.15
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 673 0 0 0 15 0 0 0 16 0 9 0 28673489 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28673489 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28673489 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867688
[startup+3.10139 s]
/proc/loadavg: 2.26 2.10 2.07 3/89 1110
/proc/meminfo: memFree=1503308/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=867688 CPUtime=3.07
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 18821 0 1 0 296 11 0 0 21 0 9 0 28673484 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216922 18146 2029 9 0 211380 0
[pid=1101/tid=1103] ppid=1099 vsize=867688 CPUtime=2.79
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 15819 0 1 0 270 9 0 0 25 0 9 0 28673485 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4126467441 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=867688 CPUtime=0.06
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 1595 0 0 0 6 0 0 0 17 0 9 0 28673487 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28673487 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28673487 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 28673489 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=867688 CPUtime=0.19
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 705 0 0 0 19 0 0 0 16 0 9 0 28673489 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28673489 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28673489 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867688
[startup+6.30272 s]
/proc/loadavg: 2.26 2.10 2.07 4/89 1110
/proc/meminfo: memFree=1487692/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=868012 CPUtime=6.25
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 29035 1192 1 0 517 81 25 2 21 0 9 0 28673484 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 217003 24582 2043 9 0 211461 0
[pid=1101/tid=1103] ppid=1099 vsize=868012 CPUtime=5.62
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 19250 1192 1 0 460 75 25 2 24 0 9 0 28673485 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4127213696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=868012 CPUtime=0.58
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 7977 1192 0 0 29 2 25 2 16 0 9 0 28673487 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=868012 CPUtime=0.27
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 16 1192 0 0 0 0 25 2 16 0 9 0 28673487 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=868012 CPUtime=0.27
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 5 1192 0 0 0 0 25 2 16 0 9 0 28673487 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=868012 CPUtime=0.27
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 1192 0 0 0 0 25 2 25 0 9 0 28673489 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=868012 CPUtime=0.54
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 965 1192 0 0 27 0 25 2 15 0 9 0 28673489 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=868012 CPUtime=0.27
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 1192 0 0 0 0 25 2 25 0 9 0 28673489 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=868012 CPUtime=0.27
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 11 1192 0 0 0 0 25 2 15 0 9 0 28673489 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 868012
Solver just ended. Dumping a history of the last processes samples
[startup+9.50105 s]
/proc/loadavg: 2.40 2.13 2.08 3/89 1114
/proc/meminfo: memFree=1471308/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=868100 CPUtime=9.43
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 41544 1192 1 0 832 84 25 2 21 0 9 0 28673484 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 217025 26717 2663 9 0 211461 0
[pid=1101/tid=1103] ppid=1099 vsize=868100 CPUtime=8.5
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 24003 1192 1 0 746 77 25 2 25 0 9 0 28673485 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4127180324 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=868100 CPUtime=0.8
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 15600 1192 0 0 49 4 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 21 1192 0 0 0 0 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 16 1192 0 0 0 0 25 2 16 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=868100 CPUtime=0.64
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 1082 1192 0 0 36 1 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 11 1192 0 0 0 0 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.43
Current children cumulated vsize (KiB) 868100
[startup+11.1022 s]
/proc/loadavg: 2.40 2.13 2.08 3/89 1114
/proc/meminfo: memFree=1471180/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=868100 CPUtime=11.02
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 41643 1192 1 0 991 84 25 2 21 0 9 0 28673484 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 217025 26717 2663 9 0 211461 0
[pid=1101/tid=1103] ppid=1099 vsize=868100 CPUtime=10.08
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 24102 1192 1 0 904 77 25 2 25 0 9 0 28673485 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4127389806 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=868100 CPUtime=0.8
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 15600 1192 0 0 49 4 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 21 1192 0 0 0 0 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 16 1192 0 0 0 0 25 2 16 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=868100 CPUtime=0.64
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 1082 1192 0 0 36 1 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 11 1192 0 0 0 0 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.02
Current children cumulated vsize (KiB) 868100
[startup+11.5023 s]
/proc/loadavg: 2.40 2.13 2.08 3/89 1114
/proc/meminfo: memFree=1471180/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=868100 CPUtime=11.42
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 41669 1192 1 0 1031 84 25 2 21 0 9 0 28673484 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 217025 26717 2663 9 0 211461 0
[pid=1101/tid=1103] ppid=1099 vsize=868100 CPUtime=10.48
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 24128 1192 1 0 944 77 25 2 25 0 9 0 28673485 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4127389813 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=868100 CPUtime=0.8
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 15600 1192 0 0 49 4 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 21 1192 0 0 0 0 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 16 1192 0 0 0 0 25 2 16 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=868100 CPUtime=0.64
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 1082 1192 0 0 36 1 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 11 1192 0 0 0 0 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.42
Current children cumulated vsize (KiB) 868100
[startup+11.7023 s]
/proc/loadavg: 2.40 2.13 2.08 3/89 1114
/proc/meminfo: memFree=1471180/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=868100 CPUtime=11.61
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 41755 1192 1 0 1050 84 25 2 21 0 9 0 28673484 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 217025 26723 2663 9 0 211461 0
[pid=1101/tid=1103] ppid=1099 vsize=868100 CPUtime=10.68
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 24210 1192 1 0 964 77 25 2 25 0 9 0 28673485 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4127464422 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=868100 CPUtime=0.8
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 15600 1192 0 0 49 4 25 2 16 0 9 0 28673487 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 21 1192 0 0 0 0 25 2 17 0 9 0 28673487 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 16 1192 0 0 0 0 25 2 16 0 9 0 28673487 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=868100 CPUtime=0.64
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 1086 1192 0 0 36 1 25 2 16 0 9 0 28673489 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 11 1192 0 0 0 0 25 2 15 0 9 0 28673489 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 868100
Child status: 0
Real time (s): 11.783
CPU time (s): 11.6722
CPU user time (s): 10.7864
CPU system time (s): 0.885865
CPU usage (%): 99.0597
Max. virtual memory (cumulated for all children) (KiB): 868100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7864
system time used= 0.885865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43068
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= 2123
involuntary context switches= 2537
runsolver used 0.019996 second user time and 0.042993 second system time
The end
Begin job on node90 at 2009-07-12 18:28:08
IDJOB=2098555
IDBENCH=58731
IDSOLVER=773
FILE ID=node90/2098555-1247416088
PBS_JOBID= 9510732
Free space on /tmp= 66296 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/queens/normalized-queens-180.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098555-1247416088/watcher-2098555-1247416088 -o /tmp/evaluation-result-2098555-1247416088/solver-2098555-1247416088 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098555-1247416088.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c14abf4d20a38dc3ddd30b1ce4c8122e
RANDOM SEED=875478481
node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.212
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.212
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1568884 kB
Buffers: 68900 kB
Cached: 242880 kB
SwapCached: 0 kB
Active: 269464 kB
Inactive: 151112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1568884 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7484 kB
Writeback: 0 kB
Mapped: 122984 kB
Slab: 51600 kB
Committed_AS: 1018900 kB
PageTables: 2012 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= 66292 MiB
End job on node90 at 2009-07-12 18:28:20