1.16/1.54 c CPU-LOAD 0.73
1.16/1.54 c LOADED 50 V (300 E), 300 DTPConstraint, 25 ExtensionConstraint2D, arity 2, 0.73 cpu
1.26/1.69 s SATISFIABLE
1.26/1.69 o 299
1.26/1.69 v 67 78 224 215 177 191 18 19 77 152 72 201 278 252 0 1 214 173 102 103 223 203 226 111 229 147 77 99 12 6 70 150 72 118 1 199 200 180 15 5 97 99 41 43 229 151 202 110 80 79
1.26/1.69 o 300
1.26/1.69 v 67 78 224 215 177 191 18 19 77 152 72 201 278 252 0 1 214 173 102 103 223 203 226 102 228 147 77 99 12 6 70 150 70 118 1 199 200 171 15 16 97 99 41 43 229 151 197 110 80 79
1.37/1.70 o 302
1.37/1.70 v 64 78 224 215 177 191 18 19 77 152 72 201 278 252 0 1 228 173 102 103 223 203 224 122 228 146 77 99 12 6 70 150 70 118 1 181 200 171 15 16 97 99 41 43 229 151 197 131 80 79
1.37/1.70 o 303
1.37/1.70 v 64 78 224 215 177 170 18 19 76 152 72 201 278 252 0 1 228 173 102 103 223 203 224 122 228 146 74 99 12 6 70 150 70 118 1 181 201 176 15 16 97 99 41 43 229 146 197 131 80 79
1.37/1.71 o 304
1.37/1.71 v 64 70 221 218 187 170 18 19 79 154 72 201 278 252 0 1 79 173 102 103 223 203 224 122 230 153 77 99 12 6 72 150 70 118 1 168 201 183 15 16 92 99 41 43 231 177 206 203 80 79
1.37/1.71 o 305
1.37/1.71 v 65 70 221 218 187 170 18 19 79 154 72 201 278 252 0 1 183 173 102 103 223 203 226 122 224 146 74 90 12 6 70 150 70 118 1 168 201 183 15 16 92 99 41 43 247 177 206 203 80 79
1.37/1.75 o 306
1.37/1.75 v 67 86 234 224 171 170 18 19 229 159 82 201 278 252 0 171 181 173 102 103 223 203 226 225 70 137 77 86 7 6 76 150 73 121 1 168 202 198 15 16 114 99 45 46 0 150 204 203 89 79
1.37/1.75 o 307
1.37/1.75 v 72 86 233 224 171 170 18 19 229 159 82 201 278 252 0 200 182 173 102 103 223 203 226 224 70 128 77 86 7 6 76 150 70 121 1 168 202 198 15 16 107 99 45 46 0 154 204 203 89 79
1.37/1.77 o 308
1.37/1.77 v 67 75 215 225 170 159 23 19 230 218 82 201 278 252 0 207 182 173 89 103 223 203 226 225 121 151 75 74 7 6 71 69 119 118 1 168 202 201 14 16 120 99 1 3 22 16 204 203 78 79
1.37/1.78 o 309
1.37/1.78 v 67 75 232 225 170 159 23 19 230 218 82 201 278 252 0 202 182 173 89 94 223 203 226 225 121 151 75 74 7 6 71 69 119 118 1 168 202 201 14 16 120 99 1 3 22 16 204 203 78 79
1.37/1.78 o 310
1.37/1.78 v 67 23 234 226 170 159 15 19 230 201 82 201 278 252 0 202 182 173 89 94 223 203 224 225 118 140 77 85 7 6 70 69 125 117 1 0 202 201 14 16 106 99 1 3 24 20 204 203 78 79
1.47/1.80 o 311
1.47/1.80 v 82 17 103 96 167 168 26 19 218 229 82 201 278 44 209 202 175 174 89 94 0 203 213 226 124 138 79 71 7 6 70 69 116 117 1 0 202 201 14 16 109 111 1 3 23 22 200 204 78 79
1.67/2.02 o 313
1.67/2.02 v 213 209 80 85 164 162 15 21 209 219 0 3 27 34 212 203 173 174 90 94 0 299 219 193 115 116 77 82 7 3 70 68 116 115 1 0 195 200 14 15 106 100 1 3 21 22 198 204 72 68
15.86/16.21 o 314
15.86/16.21 v 81 91 179 166 2 1 33 37 231 201 289 290 35 23 116 115 5 6 210 214 299 296 208 197 110 128 100 93 33 39 58 64 210 209 287 286 109 106 0 3 81 96 50 166 4 1 191 190 288 284
15.86/16.21 o 315
15.86/16.21 v 81 122 166 167 2 1 33 37 232 231 289 290 35 23 136 115 5 6 210 214 299 296 213 214 141 136 100 99 33 39 58 64 210 209 287 286 109 106 0 3 85 84 50 166 4 1 191 190 288 284
15.86/16.22 o 316
15.86/16.22 v 81 80 166 167 2 1 33 37 232 231 289 290 35 23 57 115 5 6 210 214 299 296 214 213 141 129 100 93 33 39 57 64 210 209 287 286 109 106 0 3 85 84 50 166 4 1 191 190 288 284
34.17/34.52 o 317
34.17/34.52 v 139 185 226 227 153 137 7 11 61 56 292 290 0 27 197 153 266 268 62 73 299 60 152 154 229 226 64 62 0 2 141 139 62 63 287 285 187 189 2 1 59 61 273 271 1 10 163 158 290 288
34.17/34.53 o 318
34.17/34.53 v 185 140 226 227 152 147 7 11 71 56 292 290 0 27 157 153 266 268 77 67 299 60 152 150 229 226 61 62 0 1 141 139 62 63 287 285 187 189 2 1 59 61 273 271 1 10 163 158 290 288
34.17/34.53 o 319
34.17/34.53 v 185 140 226 227 152 147 7 11 71 56 292 290 0 27 157 188 266 268 77 67 299 60 152 151 229 226 61 62 0 1 141 139 62 63 287 285 187 189 2 1 59 61 273 271 1 10 163 158 290 288
101.56/101.91 o 320
101.56/101.91 v 59 56 148 155 11 14 256 253 234 226 1 6 24 12 155 165 123 238 47 49 0 1 72 74 2 1 148 146 240 239 73 72 222 218 0 1 120 124 15 16 219 214 169 168 118 122 15 14 1 0
101.56/101.91 o 321
101.56/101.91 v 59 56 148 155 11 14 256 245 234 226 1 6 24 12 164 165 123 238 47 49 0 1 72 74 2 1 148 146 240 239 73 72 222 218 0 1 120 124 15 16 219 214 169 168 118 119 15 14 1 0
101.56/101.92 o 322
101.56/101.92 v 59 56 148 155 11 14 256 255 234 233 1 6 24 12 164 165 123 238 47 49 0 1 72 74 2 1 148 146 240 239 73 72 222 218 0 1 120 124 15 16 219 214 169 168 118 119 15 14 1 0
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112443-1215868268/watcher-1112443-1215868268 -o /tmp/evaluation-result-1112443-1215868268/solver-1112443-1215868268 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112443-1215868268.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.57 2.54 2.46 4/81 19335
/proc/meminfo: memFree=1828000/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 43529348 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/19334/statm: 1339 230 191 169 0 50 0
[pid=19335] ppid=19334 vsize=0 CPUtime=0
/proc/19335/stat : 19335 (dirname) Z 19334 19334 18744 0 -1 4194316 128 0 0 0 0 0 0 0 21 0 1 0 43529348 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/19335/statm: 0 0 0 0 0 0 0
[startup+0.10862 s]
/proc/loadavg: 2.57 2.54 2.46 4/81 19335
/proc/meminfo: memFree=1828000/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.202594 s]
/proc/loadavg: 2.57 2.54 2.46 4/81 19335
/proc/meminfo: memFree=1828000/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302566 s]
/proc/loadavg: 2.57 2.54 2.46 4/81 19335
/proc/meminfo: memFree=1828000/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70247 s]
/proc/loadavg: 2.57 2.54 2.46 4/81 19335
/proc/meminfo: memFree=1828000/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50125 s]
/proc/loadavg: 2.57 2.54 2.46 3/91 19346
/proc/meminfo: memFree=1815304/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=1.16
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 6719 0 1 0 111 5 0 0 18 0 10 0 43529349 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 5978 2025 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=0.8
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3634 0 1 0 77 3 0 0 25 0 10 0 43529360 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.05
/proc/19337/task/19339/stat : 19339 (java) R 19334 19334 18744 0 -1 64 1293 0 0 0 5 0 0 0 16 0 10 0 43529383 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 102477906 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 43529383 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 43529383 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 43529385 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.3
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1056 0 0 0 29 1 0 0 16 0 10 0 43529385 867491840 5979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 43529385 867491840 5979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 43529385 867491840 5979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19346] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19346/stat : 19346 (java) S 19334 19334 18744 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 43529422 867491840 5979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 852516
[startup+3.10183 s]
/proc/loadavg: 2.57 2.54 2.46 3/90 19346
/proc/meminfo: memFree=1810888/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=2.77
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7613 0 1 0 271 6 0 0 18 0 9 0 43529349 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6734 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=2.3
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3656 0 1 0 227 3 0 0 25 0 9 0 43529360 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4126553286 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.13
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 12 1 0 0 17 0 9 0 43529383 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.32
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1074 0 0 0 31 1 0 0 15 0 9 0 43529385 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 852516
[startup+6.302 s]
/proc/loadavg: 2.53 2.54 2.46 3/90 19346
/proc/meminfo: memFree=1810696/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=5.97
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7616 0 1 0 591 6 0 0 18 0 9 0 43529349 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6735 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=5.5
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3656 0 1 0 547 3 0 0 25 0 9 0 43529360 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4126584418 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.13
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 12 1 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.32
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1077 0 0 0 31 1 0 0 16 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 852516
[startup+12.7013 s]
/proc/loadavg: 2.56 2.54 2.46 3/90 19346
/proc/meminfo: memFree=1810512/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=12.36
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7616 0 1 0 1230 6 0 0 18 0 9 0 43529349 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6735 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=11.89
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3656 0 1 0 1186 3 0 0 25 0 9 0 43529360 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4126546850 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.13
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 12 1 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.32
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1077 0 0 0 31 1 0 0 17 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 852516
[startup+25.502 s]
/proc/loadavg: 2.59 2.55 2.46 3/90 19346
/proc/meminfo: memFree=1810448/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=25.16
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7616 0 1 0 2510 6 0 0 18 0 9 0 43529349 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6735 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=24.69
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3656 0 1 0 2466 3 0 0 25 0 9 0 43529360 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4126546983 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.13
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 12 1 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.32
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1077 0 0 0 31 1 0 0 16 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 852516
################
# More data... #
################
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3327.54
Current children cumulated vsize (KiB) 852516
[startup+3402.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/91 19428
/proc/meminfo: memFree=1606976/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=3387
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7648 0 1 0 338666 34 0 0 18 0 9 0 43529349 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6744 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=3386.49
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3679 0 1 0 338618 31 0 0 25 0 9 0 43529360 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4126567725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.14
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 13 1 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.35
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3387
Current children cumulated vsize (KiB) 852516
[startup+3462.3 s]
/proc/loadavg: 2.04 2.01 2.06 3/91 19428
/proc/meminfo: memFree=1606784/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=3446.45
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7648 0 1 0 344611 34 0 0 18 0 9 0 43529349 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6744 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=3445.94
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3679 0 1 0 344563 31 0 0 25 0 9 0 43529360 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4126553237 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.14
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 13 1 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.35
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3446.45
Current children cumulated vsize (KiB) 852516
[startup+3522.31 s]
/proc/loadavg: 2.01 2.01 2.06 3/91 19428
/proc/meminfo: memFree=1606784/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=3505.92
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7648 0 1 0 350558 34 0 0 18 0 9 0 43529349 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6744 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=3505.41
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3679 0 1 0 350510 31 0 0 25 0 9 0 43529360 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4126553104 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.14
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 13 1 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.35
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3505.92
Current children cumulated vsize (KiB) 852516
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/91 19428
/proc/meminfo: memFree=1606720/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=3565.37
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7648 0 1 0 356503 34 0 0 18 0 9 0 43529349 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6744 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=3564.86
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3679 0 1 0 356455 31 0 0 25 0 9 0 43529360 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4126567725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.14
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 13 1 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.35
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3565.37
Current children cumulated vsize (KiB) 852516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/91 19428
/proc/meminfo: memFree=1606592/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=3600.06
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7648 0 1 0 359972 34 0 0 18 0 9 0 43529349 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6744 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=3599.55
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3679 0 1 0 359924 31 0 0 25 0 9 0 43529360 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4126546998 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.14
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 13 1 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.35
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 852516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19334 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.005998
# while last known CPU time is 3600.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3617.32
CPU time (s): 3600.06
CPU user time (s): 3599.72
CPU system time (s): 0.34
CPU usage (%): 99.5228
Max. virtual memory (cumulated for all children) (KiB): 852516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002999
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 5
runsolver used 4.77327 second user time and 11.6792 second system time
The end
Begin job on node16 at 2008-07-12 15:11:08
IDJOB=1112443
IDBENCH=61419
IDSOLVER=335
FILE ID=node16/1112443-1215868268
PBS_JOBID= 7903484
Free space on /tmp= 66524 MiB
SOLVER NAME= Concrete + CSP4J - MCRW Engine 2008-05-30
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-1.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s MCRW -max BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112443-1215868268/watcher-1112443-1215868268 -o /tmp/evaluation-result-1112443-1215868268/solver-1112443-1215868268 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112443-1215868268.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 1cb82225d2d6207f7df093100b92071a
RANDOM SEED=1593832620
node16.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.218
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.218
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: 1828688 kB
Buffers: 34964 kB
Cached: 61836 kB
SwapCached: 6220 kB
Active: 139104 kB
Inactive: 45324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1828688 kB
SwapTotal: 4192956 kB
SwapFree: 4180820 kB
Dirty: 804 kB
Writeback: 0 kB
Mapped: 103424 kB
Slab: 28000 kB
Committed_AS: 1034044 kB
PageTables: 2000 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= 66524 MiB
End job on node16 at 2008-07-12 16:11:27