Trace number 1112426

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - Tabu Engine 2008-05-30MSAT (TO)9 3600.02 3615.42

General information on the benchmark

Namecsp/super-os/super-os-taillard-5/
normalized-super-os-taillard-5-5.xml
MD5SUM2e5c5c0c698ee4230add174259a929af
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints3
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints325
Maximum constraint arity2
Maximum domain size325
Number of constraints which are defined in extension0
Number of constraints which are defined in intension325
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

1.18/1.25	c CPU-LOAD 0.74
1.18/1.25	c LOADED 50 V (325 E), 25 ExtensionConstraint2D, 300 DTPConstraint, arity 2, 0.74 cpu
1.39/1.41	s SATISFIABLE
1.39/1.41	o 295
1.39/1.41	v 168 167 250 247 19 11 106 90 271 266 90 95 38 16 155 148 207 204 273 271 135 276 97 169 2 205 2 187 246 179 13 2 323 125 234 240 133 123 108 116 4 121 239 173 98 130 9 5 293 296 
1.39/1.42	o 297
1.39/1.42	v 168 167 250 247 19 11 106 90 271 266 90 95 38 16 155 148 207 204 273 271 89 276 97 169 2 205 2 187 246 179 13 2 323 125 234 240 133 123 108 116 4 121 239 173 98 130 9 5 293 296 
1.39/1.42	o 298
1.39/1.42	v 168 167 250 247 19 11 106 90 271 266 90 95 38 16 155 148 207 204 273 271 89 183 97 169 2 205 2 187 246 179 13 2 323 125 234 240 133 123 108 116 4 121 239 173 98 130 9 5 293 296 
1.39/1.42	o 299
1.39/1.42	v 168 167 250 247 19 11 106 90 271 266 90 95 38 16 155 148 207 204 273 271 89 183 97 169 2 205 2 187 246 179 13 2 323 125 234 240 133 123 108 116 4 7 239 173 98 130 9 5 293 296 
1.39/1.42	o 300
1.39/1.42	v 168 167 250 247 19 11 106 90 271 266 90 95 38 16 155 148 207 204 273 271 89 183 97 169 2 160 2 187 246 179 13 2 323 125 234 240 133 123 108 116 4 7 239 173 98 130 9 5 293 296 
1.39/1.42	o 301
1.39/1.42	v 168 167 250 247 19 11 106 90 271 266 90 95 38 16 128 148 207 222 273 271 89 183 97 169 2 160 2 187 246 179 13 2 323 125 234 240 133 123 108 116 4 7 239 173 98 130 9 5 293 296 
1.39/1.43	o 302
1.39/1.43	v 168 167 250 247 19 1 106 90 271 266 90 95 38 16 128 155 207 222 273 271 89 175 97 169 2 160 2 184 246 179 13 2 323 125 234 227 133 123 108 116 4 7 178 173 98 102 4 5 293 296 
1.39/1.43	o 303
1.39/1.43	v 168 167 250 247 22 1 106 90 271 264 90 95 38 16 128 155 207 222 273 271 89 97 259 169 2 160 2 184 246 179 13 2 323 125 234 227 133 123 108 116 4 7 178 173 98 102 4 5 293 296 
1.39/1.43	o 304
1.39/1.43	v 168 167 250 247 22 1 106 90 271 264 90 95 38 16 128 129 221 222 273 271 89 97 259 169 2 160 2 184 246 179 13 2 323 125 234 227 133 123 108 116 4 7 178 173 98 102 4 5 293 296 
1.39/1.43	o 305
1.39/1.43	v 168 167 250 247 22 1 106 90 271 274 90 95 38 16 128 129 221 222 273 271 89 97 259 169 2 160 2 184 246 179 13 2 323 125 234 227 133 123 108 116 4 7 178 173 98 102 4 5 293 296 
2.88/2.91	o 306
2.88/2.91	v 164 167 248 249 17 1 78 90 271 272 90 95 1 16 128 129 223 222 279 271 89 97 255 138 0 159 4 135 245 143 12 7 323 125 260 263 147 123 108 116 6 2 201 173 98 102 2 8 293 296 
44.40/44.81	o 307
44.40/44.81	v 151 167 247 246 6 0 75 90 274 170 90 95 1 16 128 129 226 222 276 277 89 97 260 138 3 157 23 167 246 125 0 4 323 125 254 256 152 123 108 116 0 1 201 173 92 102 10 2 293 296 
55.79/56.31	o 308
55.79/56.31	v 74 75 248 250 170 169 94 92 16 20 34 37 218 217 75 72 274 276 168 167 197 2 3 4 75 72 168 4 231 230 73 72 56 40 160 158 233 230 216 42 47 75 275 274 192 198 167 103 3 4 
55.79/56.32	o 309
55.79/56.32	v 82 228 245 250 170 169 94 81 2 20 34 37 218 217 71 72 274 276 168 167 8 2 3 4 75 72 168 112 242 230 73 72 56 40 160 158 233 230 216 42 55 53 275 274 195 75 167 165 3 4 
55.79/56.32	o 310
55.79/56.32	v 82 228 245 250 170 169 94 81 2 20 34 37 218 217 71 72 274 276 168 167 8 2 3 4 75 72 168 172 242 230 73 72 56 40 160 158 233 230 216 42 55 53 275 274 195 75 167 165 3 4 
211.13/213.11	o 311
211.13/213.11	v 177 173 95 101 99 100 19 29 259 262 159 157 97 94 2 1 195 201 256 263 199 203 149 166 237 236 84 82 1 0 101 96 321 241 249 212 4 5 315 307 82 85 273 18 5 6 243 242 194 201 
211.13/213.14	o 312
211.13/213.14	v 177 173 94 98 99 100 19 29 259 262 159 157 97 94 2 1 204 201 256 263 171 175 149 151 237 236 89 82 1 0 109 111 321 241 219 212 4 5 315 307 82 85 277 275 5 6 243 239 194 201 
211.13/213.14	o 313
211.13/213.14	v 177 173 94 98 99 100 19 29 259 262 159 157 97 94 2 1 204 201 256 263 171 175 149 151 237 236 89 82 1 0 109 111 321 215 219 212 4 5 315 307 82 85 277 275 5 6 243 239 194 201 
1032.08/1041.84	o 314
1032.08/1041.84	v 65 66 237 249 2 3 144 145 221 222 153 151 205 204 54 58 275 273 4 6 4 3 258 257 61 65 162 176 245 150 77 76 1 324 4 3 194 196 60 168 232 149 90 89 0 1 151 150 294 286 
1032.18/1041.91	o 315
1032.18/1041.91	v 65 66 240 253 2 3 144 145 222 223 153 151 205 204 54 58 275 277 4 6 4 3 263 257 61 65 162 163 245 152 77 76 1 324 4 3 194 196 60 168 234 154 90 89 0 1 151 150 288 287 
1254.39/1266.29	o 316
1254.39/1266.29	v 61 62 141 139 215 214 1 0 273 274 51 49 148 142 216 214 88 90 0 3 7 1 70 65 205 198 138 139 234 235 3 1 309 310 202 206 95 91 315 318 140 141 277 275 198 197 47 49 2 19

Verifier Data (download as text)

OK	9	316
9 unsatisfied constraints, 316 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112426-1215867839/watcher-1112426-1215867839 -o /tmp/evaluation-result-1112426-1215867839/solver-1112426-1215867839 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112426-1215867839.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.04 2.01 2.00 3/81 17225
/proc/meminfo: memFree=1440264/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=18572 CPUtime=0
/proc/17225/stat : 17225 (runsolver) R 17223 17225 16856 0 -1 4194368 15 0 0 0 0 0 0 0 25 0 1 0 43487201 19017728 293 996147200 4194304 4296836 548682068416 18446744073709551615 259913215271 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17225/statm: 4643 293 257 25 0 2626 0

[startup+0.0741961 s]
/proc/loadavg: 2.04 2.01 2.00 3/81 17225
/proc/meminfo: memFree=1440264/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.105433 s]
/proc/loadavg: 2.04 2.01 2.00 3/81 17225
/proc/meminfo: memFree=1440264/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301867 s]
/proc/loadavg: 2.04 2.01 2.00 3/81 17225
/proc/meminfo: memFree=1440264/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701904 s]
/proc/loadavg: 2.04 2.01 2.00 3/81 17225
/proc/meminfo: memFree=1440264/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50298 s]
/proc/loadavg: 2.04 2.01 2.00 3/92 17237
/proc/meminfo: memFree=1426480/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
[pid=17228] ppid=17225 vsize=847160 CPUtime=1.49
/proc/17228/stat : 17228 (java) S 17225 17225 16856 0 -1 0 7681 0 1 0 143 6 0 0 18 0 9 0 43487202 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17228/statm: 211790 6802 2583 9 0 206350 0
[pid=17228/tid=17229] ppid=17225 vsize=847160 CPUtime=1.02
/proc/17228/task/17229/stat : 17229 (java) R 17225 17225 16856 0 -1 64 3657 0 1 0 99 3 0 0 25 0 9 0 43487203 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4126560109 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17230] ppid=17225 vsize=847160 CPUtime=0.12
/proc/17228/task/17230/stat : 17230 (java) S 17225 17225 16856 0 -1 64 2208 0 0 0 12 0 0 0 16 0 9 0 43487205 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17231] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17231/stat : 17231 (java) S 17225 17225 16856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43487205 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17232] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17232/stat : 17232 (java) S 17225 17225 16856 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43487205 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17233] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17233/stat : 17233 (java) S 17225 17225 16856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17234] ppid=17225 vsize=847160 CPUtime=0.3
/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1079 0 0 0 30 0 0 0 15 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 852516

[startup+3.10213 s]
/proc/loadavg: 2.04 2.01 2.00 3/91 17237
/proc/meminfo: memFree=1422704/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
[pid=17228] ppid=17225 vsize=847160 CPUtime=3.08
/proc/17228/stat : 17228 (java) S 17225 17225 16856 0 -1 0 7682 0 1 0 302 6 0 0 18 0 9 0 43487202 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17228/statm: 211790 6802 2583 9 0 206350 0
[pid=17228/tid=17229] ppid=17225 vsize=847160 CPUtime=2.62
/proc/17228/task/17229/stat : 17229 (java) R 17225 17225 16856 0 -1 64 3658 0 1 0 259 3 0 0 25 0 9 0 43487203 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4126591702 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17230] ppid=17225 vsize=847160 CPUtime=0.12
/proc/17228/task/17230/stat : 17230 (java) S 17225 17225 16856 0 -1 64 2208 0 0 0 12 0 0 0 17 0 9 0 43487205 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17231] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17231/stat : 17231 (java) S 17225 17225 16856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43487205 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17232] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17232/stat : 17232 (java) S 17225 17225 16856 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43487205 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17233] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17233/stat : 17233 (java) S 17225 17225 16856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17234] ppid=17225 vsize=847160 CPUtime=0.3
/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1079 0 0 0 30 0 0 0 16 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 852516

[startup+6.30144 s]
/proc/loadavg: 2.03 2.01 2.00 3/91 17237
/proc/meminfo: memFree=1422512/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
[pid=17228] ppid=17225 vsize=847160 CPUtime=6.26
/proc/17228/stat : 17228 (java) S 17225 17225 16856 0 -1 0 7682 0 1 0 620 6 0 0 18 0 9 0 43487202 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17228/statm: 211790 6802 2583 9 0 206350 0
[pid=17228/tid=17229] ppid=17225 vsize=847160 CPUtime=5.8
/proc/17228/task/17229/stat : 17229 (java) R 17225 17225 16856 0 -1 64 3658 0 1 0 577 3 0 0 25 0 9 0 43487203 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4126596438 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17230] ppid=17225 vsize=847160 CPUtime=0.12
/proc/17228/task/17230/stat : 17230 (java) S 17225 17225 16856 0 -1 64 2208 0 0 0 12 0 0 0 16 0 9 0 43487205 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17231] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17231/stat : 17231 (java) S 17225 17225 16856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43487205 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17232] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17232/stat : 17232 (java) S 17225 17225 16856 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43487205 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17233] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17233/stat : 17233 (java) S 17225 17225 16856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17234] ppid=17225 vsize=847160 CPUtime=0.3
/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1079 0 0 0 30 0 0 0 16 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6802 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 852516

[startup+12.7011 s]
/proc/loadavg: 2.03 2.01 2.00 3/91 17237
/proc/meminfo: memFree=1422320/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
[pid=17228] ppid=17225 vsize=847160 CPUtime=12.6
/proc/17228/stat : 17228 (java) S 17225 17225 16856 0 -1 0 7684 0 1 0 1254 6 0 0 18 0 9 0 43487202 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17228/statm: 211790 6803 2583 9 0 206350 0
[pid=17228/tid=17229] ppid=17225 vsize=847160 CPUtime=12.13
/proc/17228/task/17229/stat : 17229 (java) R 17225 17225 16856 0 -1 64 3658 0 1 0 1210 3 0 0 25 0 9 0 43487203 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4126596351 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17230] ppid=17225 vsize=847160 CPUtime=0.12
/proc/17228/task/17230/stat : 17230 (java) S 17225 17225 16856 0 -1 64 2208 0 0 0 12 0 0 0 16 0 9 0 43487205 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17231] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17231/stat : 17231 (java) S 17225 17225 16856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43487205 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17232] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17232/stat : 17232 (java) S 17225 17225 16856 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43487205 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17233] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17233/stat : 17233 (java) S 17225 17225 16856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43487207 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17234] ppid=17225 vsize=847160 CPUtime=0.31
/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1081 0 0 0 31 0 0 0 16 0 9 0 43487207 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 852516

[startup+25.5023 s]
/proc/loadavg: 2.02 2.01 2.00 3/91 17237
/proc/meminfo: memFree=1422256/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
[pid=17228] ppid=17225 vsize=847160 CPUtime=25.28
/proc/17228/stat : 17228 (java) S 17225 17225 16856 0 -1 0 7684 0 1 0 2522 6 0 0 18 0 9 0 43487202 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17228/statm: 211790 6803 2583 9 0 206350 0
[pid=17228/tid=17229] ppid=17225 vsize=847160 CPUtime=24.81
/proc/17228/task/17229/stat : 17229 (java) R 17225 17225 16856 0 -1 64 3658 0 1 0 2478 3 0 0 25 0 9 0 43487203 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4126550918 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17230] ppid=17225 vsize=847160 CPUtime=0.12
/proc/17228/task/17230/stat : 17230 (java) S 17225 17225 16856 0 -1 64 2208 0 0 0 12 0 0 0 16 0 9 0 43487205 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17231] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17231/stat : 17231 (java) S 17225 17225 16856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43487205 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17232] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17232/stat : 17232 (java) S 17225 17225 16856 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43487205 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17233] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17233/stat : 17233 (java) S 17225 17225 16856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43487207 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17234] ppid=17225 vsize=847160 CPUtime=0.31
/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1081 0 0 0 31 0 0 0 16 0 9 0 43487207 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6803 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 852516

[startup+51.1027 s]
/proc/loadavg: 2.01 2.01 2.00 3/91 17237
/proc/meminfo: memFree=1422320/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0

################
# More data... #
################

/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1090 0 0 0 33 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3327.03
Current children cumulated vsize (KiB) 852516

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17595
/proc/meminfo: memFree=1426360/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
[pid=17228] ppid=17225 vsize=847160 CPUtime=3387.02
/proc/17228/stat : 17228 (java) S 17225 17225 16856 0 -1 0 7711 0 1 0 338685 17 0 0 18 0 9 0 43487202 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17228/statm: 211790 6812 2583 9 0 206350 0
[pid=17228/tid=17229] ppid=17225 vsize=847160 CPUtime=3386.51
/proc/17228/task/17229/stat : 17229 (java) R 17225 17225 16856 0 -1 64 3676 0 1 0 338637 14 0 0 25 0 9 0 43487203 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4126560109 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17230] ppid=17225 vsize=847160 CPUtime=0.14
/proc/17228/task/17230/stat : 17230 (java) S 17225 17225 16856 0 -1 64 2208 0 0 0 13 1 0 0 16 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17231] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17231/stat : 17231 (java) S 17225 17225 16856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17232] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17232/stat : 17232 (java) S 17225 17225 16856 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17233] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17233/stat : 17233 (java) S 17225 17225 16856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17234] ppid=17225 vsize=847160 CPUtime=0.33
/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1090 0 0 0 33 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3387.02
Current children cumulated vsize (KiB) 852516

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17601
/proc/meminfo: memFree=1426232/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
[pid=17228] ppid=17225 vsize=847160 CPUtime=3446.98
/proc/17228/stat : 17228 (java) S 17225 17225 16856 0 -1 0 7711 0 1 0 344681 17 0 0 18 0 9 0 43487202 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17228/statm: 211790 6812 2583 9 0 206350 0
[pid=17228/tid=17229] ppid=17225 vsize=847160 CPUtime=3446.48
/proc/17228/task/17229/stat : 17229 (java) R 17225 17225 16856 0 -1 64 3676 0 1 0 344634 14 0 0 25 0 9 0 43487203 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4126591659 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17230] ppid=17225 vsize=847160 CPUtime=0.14
/proc/17228/task/17230/stat : 17230 (java) S 17225 17225 16856 0 -1 64 2208 0 0 0 13 1 0 0 16 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17231] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17231/stat : 17231 (java) S 17225 17225 16856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17232] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17232/stat : 17232 (java) S 17225 17225 16856 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17233] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17233/stat : 17233 (java) S 17225 17225 16856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17234] ppid=17225 vsize=847160 CPUtime=0.33
/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1090 0 0 0 33 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3446.98
Current children cumulated vsize (KiB) 852516

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17601
/proc/meminfo: memFree=1426232/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
[pid=17228] ppid=17225 vsize=847160 CPUtime=3506.95
/proc/17228/stat : 17228 (java) S 17225 17225 16856 0 -1 0 7711 0 1 0 350678 17 0 0 18 0 9 0 43487202 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17228/statm: 211790 6812 2583 9 0 206350 0
[pid=17228/tid=17229] ppid=17225 vsize=847160 CPUtime=3506.46
/proc/17228/task/17229/stat : 17229 (java) R 17225 17225 16856 0 -1 64 3676 0 1 0 350631 15 0 0 25 0 9 0 43487203 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4126596445 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17230] ppid=17225 vsize=847160 CPUtime=0.14
/proc/17228/task/17230/stat : 17230 (java) S 17225 17225 16856 0 -1 64 2208 0 0 0 13 1 0 0 16 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17231] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17231/stat : 17231 (java) S 17225 17225 16856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17232] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17232/stat : 17232 (java) S 17225 17225 16856 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17233] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17233/stat : 17233 (java) S 17225 17225 16856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17234] ppid=17225 vsize=847160 CPUtime=0.33
/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1090 0 0 0 33 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3506.95
Current children cumulated vsize (KiB) 852516

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17601
/proc/meminfo: memFree=1426232/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
[pid=17228] ppid=17225 vsize=847160 CPUtime=3566.93
/proc/17228/stat : 17228 (java) S 17225 17225 16856 0 -1 0 7712 0 1 0 356676 17 0 0 18 0 9 0 43487202 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17228/statm: 211790 6812 2583 9 0 206350 0
[pid=17228/tid=17229] ppid=17225 vsize=847160 CPUtime=3566.44
/proc/17228/task/17229/stat : 17229 (java) R 17225 17225 16856 0 -1 64 3677 0 1 0 356629 15 0 0 25 0 9 0 43487203 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4126544595 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17230] ppid=17225 vsize=847160 CPUtime=0.14
/proc/17228/task/17230/stat : 17230 (java) S 17225 17225 16856 0 -1 64 2208 0 0 0 13 1 0 0 16 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17231] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17231/stat : 17231 (java) S 17225 17225 16856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17232] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17232/stat : 17232 (java) S 17225 17225 16856 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17233] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17233/stat : 17233 (java) S 17225 17225 16856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17234] ppid=17225 vsize=847160 CPUtime=0.33
/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1090 0 0 0 33 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3566.93
Current children cumulated vsize (KiB) 852516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17601
/proc/meminfo: memFree=1426232/2055920 swapFree=4192812/4192956
[pid=17225] ppid=17223 vsize=5356 CPUtime=0
/proc/17225/stat : 17225 (concrete.sh) S 17223 17225 16856 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43487201 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17225/statm: 1339 242 201 169 0 50 0
[pid=17228] ppid=17225 vsize=847160 CPUtime=3600.02
/proc/17228/stat : 17228 (java) S 17225 17225 16856 0 -1 0 7712 0 1 0 359985 17 0 0 18 0 9 0 43487202 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17228/statm: 211790 6812 2583 9 0 206350 0
[pid=17228/tid=17229] ppid=17225 vsize=847160 CPUtime=3599.53
/proc/17228/task/17229/stat : 17229 (java) R 17225 17225 16856 0 -1 64 3677 0 1 0 359938 15 0 0 25 0 9 0 43487203 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4126591708 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17230] ppid=17225 vsize=847160 CPUtime=0.14
/proc/17228/task/17230/stat : 17230 (java) S 17225 17225 16856 0 -1 64 2208 0 0 0 13 1 0 0 16 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17231] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17231/stat : 17231 (java) S 17225 17225 16856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17232] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17232/stat : 17232 (java) S 17225 17225 16856 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43487205 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17233] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17233/stat : 17233 (java) S 17225 17225 16856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17234] ppid=17225 vsize=847160 CPUtime=0.33
/proc/17228/task/17234/stat : 17234 (java) S 17225 17225 16856 0 -1 64 1090 0 0 0 33 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17228/tid=17235] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17235/stat : 17235 (java) S 17225 17225 16856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17228/tid=17236] ppid=17225 vsize=847160 CPUtime=0
/proc/17228/task/17236/stat : 17236 (java) S 17225 17225 16856 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43487207 867491840 6812 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.02
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 17225 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.004998
# while last known CPU time is 3600.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3615.42
CPU time (s): 3600.02
CPU user time (s): 3599.85
CPU system time (s): 0.17
CPU usage (%): 99.5741
Max. virtual memory (cumulated for all children) (KiB): 852516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
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= 11
involuntary context switches= 2

runsolver used 4.30734 second user time and 12.1392 second system time

The end

Launcher Data (download as text)

Begin job on node4 at 2008-07-12 15:03:59
IDJOB=1112426
IDBENCH=61416
IDSOLVER=336
FILE ID=node4/1112426-1215867839
PBS_JOBID= 7903523
Free space on /tmp= 66512 MiB

SOLVER NAME= Concrete + CSP4J - Tabu Engine 2008-05-30
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-5.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -max -s Tabu BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112426-1215867839/watcher-1112426-1215867839 -o /tmp/evaluation-result-1112426-1215867839/solver-1112426-1215867839 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112426-1215867839.xml 

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 2e5c5c0c698ee4230add174259a929af
RANDOM SEED=509905902

node4.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.232
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.232
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:       1440744 kB
Buffers:         72424 kB
Cached:         441724 kB
SwapCached:          0 kB
Active:         180500 kB
Inactive:       365320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1440744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             800 kB
Writeback:           0 kB
Mapped:          51860 kB
Slab:            54460 kB
Committed_AS:   196140 kB
PageTables:       1976 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= 66508 MiB
End job on node4 at 2008-07-12 16:04:16