Trace number 1112444

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)6 3600.02 3610.32

General information on the benchmark

Namecsp/super-os/super-os-taillard-5/
normalized-super-os-taillard-5-1.xml
MD5SUM1cb82225d2d6207f7df093100b92071a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints3
Best CPU time to get the best result obtained on this benchmark411.296
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints325
Maximum constraint arity2
Maximum domain size300
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.17/1.25	c CPU-LOAD 0.74
1.17/1.25	c LOADED 50 V (300 E), 300 DTPConstraint, 25 ExtensionConstraint2D, arity 2, 0.74 cpu
1.26/1.40	s SATISFIABLE
1.26/1.40	o 294
1.26/1.40	v 35 39 130 94 4 4 253 249 183 38 238 203 14 8 36 29 220 214 117 121 2 296 19 4 195 32 105 104 196 201 136 11 219 212 199 246 72 87 15 10 95 218 179 222 134 199 3 4 261 262 
1.36/1.40	o 296
1.36/1.40	v 35 39 130 94 4 4 253 249 183 38 238 203 14 8 36 29 220 214 117 121 2 296 19 4 195 32 105 104 196 201 136 11 219 212 199 202 72 87 15 10 95 218 179 222 134 199 3 4 261 262 
1.36/1.40	o 297
1.36/1.40	v 35 39 130 94 4 4 253 249 183 38 238 203 14 8 36 29 220 214 117 121 2 296 19 4 195 32 105 104 196 201 136 11 219 212 199 202 72 87 15 10 95 218 179 192 134 199 3 4 261 262 
1.36/1.40	o 298
1.36/1.40	v 35 39 130 94 0 4 253 249 183 38 238 203 14 8 36 29 220 214 117 121 2 296 19 4 195 32 105 104 196 201 136 11 219 212 199 202 72 87 15 10 95 218 179 192 134 199 3 4 261 262 
1.36/1.40	o 299
1.36/1.40	v 35 39 130 94 0 4 253 249 183 38 196 203 14 8 36 29 220 214 117 121 2 296 19 4 195 32 105 104 196 201 136 11 219 212 199 202 72 87 15 10 95 218 179 192 134 199 3 4 261 262 
1.36/1.41	o 301
1.36/1.41	v 35 39 130 132 0 4 253 249 183 38 196 203 14 8 36 29 220 214 117 121 2 296 19 4 195 32 105 104 196 201 136 11 219 212 199 202 72 83 15 10 211 218 179 192 134 109 3 4 261 262 
1.36/1.41	o 302
1.36/1.41	v 35 39 130 132 0 4 253 249 183 38 196 203 14 8 36 29 220 214 117 121 2 296 19 4 195 32 105 104 196 201 252 11 219 212 199 202 72 83 15 10 211 218 179 192 134 109 3 4 261 262 
1.36/1.41	o 303
1.36/1.41	v 35 39 126 132 0 4 253 249 183 42 196 203 14 8 31 29 220 214 126 121 2 296 19 4 195 32 105 104 234 201 252 10 219 212 199 202 96 83 9 10 211 218 179 192 134 109 3 4 65 200 
1.36/1.42	o 304
1.36/1.42	v 35 39 126 132 0 4 253 249 183 42 196 203 14 8 31 29 220 214 126 121 2 296 19 4 195 32 105 104 234 232 252 10 219 212 199 202 79 83 12 10 211 218 179 192 134 109 3 4 208 200 
1.36/1.42	o 305
1.36/1.42	v 35 39 126 132 0 4 253 249 183 42 196 203 14 8 31 29 220 214 126 121 2 296 19 4 195 32 105 104 234 232 252 10 219 212 199 202 79 83 12 10 219 218 179 192 134 109 3 4 208 200 
1.36/1.43	o 306
1.36/1.43	v 35 39 126 102 0 4 253 249 183 46 196 203 14 8 31 29 220 214 122 121 2 296 19 11 112 113 105 104 236 220 249 254 219 212 199 202 93 83 24 30 219 218 179 192 134 109 3 4 208 200 
1.36/1.43	o 307
1.36/1.43	v 35 39 126 102 0 4 253 249 183 182 196 203 14 8 31 29 220 214 122 121 2 296 19 11 112 113 105 104 236 220 249 254 219 212 199 202 93 83 24 30 219 218 179 192 134 109 3 4 208 200 
1.36/1.44	o 308
1.36/1.44	v 35 32 118 112 0 4 253 249 183 182 196 203 14 8 31 33 220 214 122 102 2 296 19 222 7 13 97 104 236 220 249 254 215 212 199 202 87 59 5 6 219 218 179 192 134 110 3 4 208 200 
1.36/1.47	o 309
1.36/1.47	v 31 32 118 117 0 4 253 249 183 182 196 203 14 8 29 40 220 214 128 125 2 296 222 116 15 23 95 104 236 219 251 255 215 219 199 202 92 91 29 22 220 218 179 192 122 110 3 4 208 200 
1.76/1.86	o 310
1.76/1.86	v 31 32 118 117 0 20 253 249 183 182 196 203 14 8 102 34 220 214 232 31 2 296 218 217 28 26 100 99 222 39 251 250 218 214 199 202 101 77 19 46 220 218 179 192 127 115 3 4 208 200 
1.96/2.07	o 311
1.96/2.07	v 31 32 118 117 0 50 253 249 183 182 196 203 14 8 104 32 213 214 232 31 2 296 214 103 25 26 104 99 219 37 253 255 219 212 199 200 101 77 0 46 218 219 179 192 108 105 5 4 208 200 
6.43/6.60	o 312
6.43/6.60	v 32 31 118 117 0 1 253 249 183 182 196 203 14 8 107 28 213 214 232 31 2 296 216 17 15 26 107 99 234 31 254 251 215 224 199 200 101 77 0 46 219 218 179 192 110 117 5 4 208 200 
111.23/112.04	o 313
111.23/112.04	v 205 198 49 51 6 0 133 122 189 201 3 4 159 163 74 73 188 179 221 217 1 193 119 116 2 4 209 207 39 40 255 255 23 25 0 1 101 100 201 228 220 219 3 188 143 144 21 19 207 202 
111.23/112.05	o 314
111.23/112.05	v 205 198 49 51 6 0 133 122 189 201 3 4 159 163 74 73 188 179 221 217 1 193 119 116 2 4 209 207 39 40 255 255 23 25 0 1 101 100 201 200 220 219 3 188 143 144 21 19 207 202 
111.23/112.05	o 315
111.23/112.05	v 205 198 49 51 6 0 133 122 189 188 3 4 159 163 74 73 188 179 221 217 1 193 119 116 2 4 209 207 39 40 255 255 23 25 0 1 101 100 201 200 220 219 3 188 143 144 21 19 207 202 
460.27/463.46	o 316
460.27/463.46	v 131 133 0 1 269 268 222 225 65 64 217 215 5 3 140 148 282 281 68 71 223 220 225 226 62 60 130 132 0 2 254 242 50 39 0 3 144 136 66 69 126 131 281 234 1 209 18 19 254 252 
1895.99/1905.48	o 317
1895.99/1905.48	v 199 200 230 236 155 148 10 17 66 71 64 179 285 19 209 199 158 153 80 74 1 153 155 156 230 229 63 65 2 3 139 138 59 61 184 187 201 197 0 3 76 73 164 167 2 19 205 197 186 64 
1895.99/1905.48	o 318
1895.99/1905.48	v 199 200 230 236 155 148 10 17 66 71 64 57 285 19 209 199 158 153 80 74 1 153 155 156 230 229 63 65 2 3 139 138 59 61 184 187 201 197 0 3 76 73 164 167 2 19 205 197 186 64 
1895.99/1905.48	o 319
1895.99/1905.48	v 199 200 230 236 155 148 10 17 66 71 64 57 285 19 209 199 158 153 80 74 1 153 155 156 230 229 63 65 2 3 139 138 59 61 184 187 201 197 0 3 75 73 164 167 2 19 205 197 186 64

Verifier Data (download as text)

OK	6	319
6 unsatisfied constraints, 319 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-1112444-1215868286/watcher-1112444-1215868286 -o /tmp/evaluation-result-1112444-1215868286/solver-1112444-1215868286 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112444-1215868286.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: 1.99 1.99 1.99 4/112 15504
/proc/meminfo: memFree=1281288/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 43525749 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 270187331666 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15504/statm: 1339 230 191 169 0 50 0
[pid=15505] ppid=15504 vsize=5356 CPUtime=0
/proc/15505/stat : 15505 (concrete.sh) R 15504 15504 15377 0 -1 4194368 20 0 0 0 0 0 0 0 19 0 1 0 43525749 5484544 232 996147200 4194304 4889804 548682068752 18446744073709551615 4318895 0 0 4096 65538 0 0 0 17 0 0 0
/proc/15505/statm: 1339 232 193 169 0 50 0

[startup+0.0129349 s]
/proc/loadavg: 1.99 1.99 1.99 4/112 15504
/proc/meminfo: memFree=1281288/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.103785 s]
/proc/loadavg: 1.99 1.99 1.99 4/112 15504
/proc/meminfo: memFree=1281288/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302824 s]
/proc/loadavg: 1.99 1.99 1.99 4/112 15504
/proc/meminfo: memFree=1281288/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702901 s]
/proc/loadavg: 1.99 1.99 1.99 4/112 15504
/proc/meminfo: memFree=1281288/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50105 s]
/proc/loadavg: 1.99 1.99 1.99 3/123 15516
/proc/meminfo: memFree=1267312/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
[pid=15507] ppid=15504 vsize=847120 CPUtime=1.46
/proc/15507/stat : 15507 (java) S 15504 15504 15377 0 -1 0 7633 0 1 0 141 5 0 0 18 0 9 0 43525750 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15507/statm: 211780 6754 2583 9 0 206340 0
[pid=15507/tid=15508] ppid=15504 vsize=847120 CPUtime=1.01
/proc/15507/task/15508/stat : 15508 (java) R 15504 15504 15377 0 -1 64 3649 0 1 0 99 2 0 0 25 0 9 0 43525751 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4126562419 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15509] ppid=15504 vsize=847120 CPUtime=0.12
/proc/15507/task/15509/stat : 15509 (java) S 15504 15504 15377 0 -1 64 2169 0 0 0 11 1 0 0 16 0 9 0 43525752 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15510] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15510/stat : 15510 (java) S 15504 15504 15377 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43525752 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15511] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15511/stat : 15511 (java) S 15504 15504 15377 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43525752 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15512] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15512/stat : 15512 (java) S 15504 15504 15377 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43525754 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15513] ppid=15504 vsize=847120 CPUtime=0.3
/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1077 0 0 0 29 1 0 0 15 0 9 0 43525754 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 852476

[startup+3.10136 s]
/proc/loadavg: 1.99 1.99 1.99 3/122 15516
/proc/meminfo: memFree=1263600/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
[pid=15507] ppid=15504 vsize=847120 CPUtime=3.06
/proc/15507/stat : 15507 (java) S 15504 15504 15377 0 -1 0 7633 0 1 0 301 5 0 0 18 0 9 0 43525750 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15507/statm: 211780 6754 2583 9 0 206340 0
[pid=15507/tid=15508] ppid=15504 vsize=847120 CPUtime=2.6
/proc/15507/task/15508/stat : 15508 (java) R 15504 15504 15377 0 -1 64 3649 0 1 0 258 2 0 0 25 0 9 0 43525751 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4126591636 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15509] ppid=15504 vsize=847120 CPUtime=0.13
/proc/15507/task/15509/stat : 15509 (java) S 15504 15504 15377 0 -1 64 2169 0 0 0 12 1 0 0 17 0 9 0 43525752 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15510] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15510/stat : 15510 (java) S 15504 15504 15377 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43525752 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15511] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15511/stat : 15511 (java) S 15504 15504 15377 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43525752 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15512] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15512/stat : 15512 (java) S 15504 15504 15377 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43525754 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15513] ppid=15504 vsize=847120 CPUtime=0.3
/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1077 0 0 0 29 1 0 0 15 0 9 0 43525754 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6754 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 852476

[startup+6.30199 s]
/proc/loadavg: 1.99 1.99 1.99 3/122 15516
/proc/meminfo: memFree=1263408/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
[pid=15507] ppid=15504 vsize=847120 CPUtime=6.23
/proc/15507/stat : 15507 (java) S 15504 15504 15377 0 -1 0 7635 0 1 0 618 5 0 0 18 0 9 0 43525750 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15507/statm: 211780 6755 2583 9 0 206340 0
[pid=15507/tid=15508] ppid=15504 vsize=847120 CPUtime=5.78
/proc/15507/task/15508/stat : 15508 (java) R 15504 15504 15377 0 -1 64 3649 0 1 0 576 2 0 0 25 0 9 0 43525751 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4126562349 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15509] ppid=15504 vsize=847120 CPUtime=0.13
/proc/15507/task/15509/stat : 15509 (java) S 15504 15504 15377 0 -1 64 2169 0 0 0 12 1 0 0 16 0 9 0 43525752 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15510] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15510/stat : 15510 (java) S 15504 15504 15377 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43525752 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15511] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15511/stat : 15511 (java) S 15504 15504 15377 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43525752 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15512] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15512/stat : 15512 (java) S 15504 15504 15377 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15513] ppid=15504 vsize=847120 CPUtime=0.31
/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1079 0 0 0 30 1 0 0 16 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 852476

[startup+12.7012 s]
/proc/loadavg: 1.99 1.99 1.99 3/122 15516
/proc/meminfo: memFree=1263168/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
[pid=15507] ppid=15504 vsize=847120 CPUtime=12.59
/proc/15507/stat : 15507 (java) S 15504 15504 15377 0 -1 0 7635 0 1 0 1254 5 0 0 18 0 9 0 43525750 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15507/statm: 211780 6755 2583 9 0 206340 0
[pid=15507/tid=15508] ppid=15504 vsize=847120 CPUtime=12.13
/proc/15507/task/15508/stat : 15508 (java) R 15504 15504 15377 0 -1 64 3649 0 1 0 1211 2 0 0 25 0 9 0 43525751 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4126591692 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15509] ppid=15504 vsize=847120 CPUtime=0.13
/proc/15507/task/15509/stat : 15509 (java) S 15504 15504 15377 0 -1 64 2169 0 0 0 12 1 0 0 16 0 9 0 43525752 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15510] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15510/stat : 15510 (java) S 15504 15504 15377 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43525752 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15511] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15511/stat : 15511 (java) S 15504 15504 15377 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43525752 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15512] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15512/stat : 15512 (java) S 15504 15504 15377 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15513] ppid=15504 vsize=847120 CPUtime=0.31
/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1079 0 0 0 30 1 0 0 16 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 852476

[startup+25.5027 s]
/proc/loadavg: 2.07 2.01 2.00 3/122 15516
/proc/meminfo: memFree=1263104/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
[pid=15507] ppid=15504 vsize=847120 CPUtime=25.3
/proc/15507/stat : 15507 (java) S 15504 15504 15377 0 -1 0 7635 0 1 0 2525 5 0 0 18 0 9 0 43525750 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15507/statm: 211780 6755 2583 9 0 206340 0
[pid=15507/tid=15508] ppid=15504 vsize=847120 CPUtime=24.85
/proc/15507/task/15508/stat : 15508 (java) R 15504 15504 15377 0 -1 64 3649 0 1 0 2483 2 0 0 25 0 9 0 43525751 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4126591610 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15509] ppid=15504 vsize=847120 CPUtime=0.13
/proc/15507/task/15509/stat : 15509 (java) S 15504 15504 15377 0 -1 64 2169 0 0 0 12 1 0 0 16 0 9 0 43525752 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15510] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15510/stat : 15510 (java) S 15504 15504 15377 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43525752 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15511] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15511/stat : 15511 (java) S 15504 15504 15377 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43525752 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15512] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15512/stat : 15512 (java) S 15504 15504 15377 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15513] ppid=15504 vsize=847120 CPUtime=0.31
/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1079 0 0 0 30 1 0 0 16 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 852476

[startup+51.1027 s]

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

/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1088 0 0 0 32 1 0 0 16 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3392.13
Current children cumulated vsize (KiB) 852476

[startup+3462.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/122 15565
/proc/meminfo: memFree=1317704/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
[pid=15507] ppid=15504 vsize=847120 CPUtime=3452.09
/proc/15507/stat : 15507 (java) S 15504 15504 15377 0 -1 0 7665 0 1 0 345198 11 0 0 18 0 9 0 43525750 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15507/statm: 211780 6764 2583 9 0 206340 0
[pid=15507/tid=15508] ppid=15504 vsize=847120 CPUtime=3451.59
/proc/15507/task/15508/stat : 15508 (java) R 15504 15504 15377 0 -1 64 3670 0 1 0 345152 7 0 0 25 0 9 0 43525751 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4126546733 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15509] ppid=15504 vsize=847120 CPUtime=0.14
/proc/15507/task/15509/stat : 15509 (java) S 15504 15504 15377 0 -1 64 2169 0 0 0 13 1 0 0 16 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15510] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15510/stat : 15510 (java) S 15504 15504 15377 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15511] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15511/stat : 15511 (java) S 15504 15504 15377 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15512] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15512/stat : 15512 (java) S 15504 15504 15377 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15513] ppid=15504 vsize=847120 CPUtime=0.33
/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1088 0 0 0 32 1 0 0 16 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3452.09
Current children cumulated vsize (KiB) 852476

[startup+3522.3 s]
/proc/loadavg: 2.13 2.10 2.04 3/122 15565
/proc/meminfo: memFree=1317640/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
[pid=15507] ppid=15504 vsize=847120 CPUtime=3512.06
/proc/15507/stat : 15507 (java) S 15504 15504 15377 0 -1 0 7665 0 1 0 351195 11 0 0 18 0 9 0 43525750 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15507/statm: 211780 6764 2583 9 0 206340 0
[pid=15507/tid=15508] ppid=15504 vsize=847120 CPUtime=3511.56
/proc/15507/task/15508/stat : 15508 (java) R 15504 15504 15377 0 -1 64 3670 0 1 0 351149 7 0 0 25 0 9 0 43525751 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4126569281 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15509] ppid=15504 vsize=847120 CPUtime=0.14
/proc/15507/task/15509/stat : 15509 (java) S 15504 15504 15377 0 -1 64 2169 0 0 0 13 1 0 0 16 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15510] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15510/stat : 15510 (java) S 15504 15504 15377 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15511] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15511/stat : 15511 (java) S 15504 15504 15377 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15512] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15512/stat : 15512 (java) S 15504 15504 15377 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15513] ppid=15504 vsize=847120 CPUtime=0.33
/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1088 0 0 0 32 1 0 0 16 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3512.06
Current children cumulated vsize (KiB) 852476

[startup+3582.3 s]
/proc/loadavg: 2.09 2.10 2.04 3/122 15565
/proc/meminfo: memFree=1317576/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
[pid=15507] ppid=15504 vsize=847120 CPUtime=3572.03
/proc/15507/stat : 15507 (java) S 15504 15504 15377 0 -1 0 7665 0 1 0 357192 11 0 0 18 0 9 0 43525750 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15507/statm: 211780 6764 2583 9 0 206340 0
[pid=15507/tid=15508] ppid=15504 vsize=847120 CPUtime=3571.53
/proc/15507/task/15508/stat : 15508 (java) R 15504 15504 15377 0 -1 64 3670 0 1 0 357146 7 0 0 25 0 9 0 43525751 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4126562349 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15509] ppid=15504 vsize=847120 CPUtime=0.14
/proc/15507/task/15509/stat : 15509 (java) S 15504 15504 15377 0 -1 64 2169 0 0 0 13 1 0 0 16 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15510] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15510/stat : 15510 (java) S 15504 15504 15377 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15511] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15511/stat : 15511 (java) S 15504 15504 15377 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15512] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15512/stat : 15512 (java) S 15504 15504 15377 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15513] ppid=15504 vsize=847120 CPUtime=0.33
/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1088 0 0 0 32 1 0 0 16 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3572.03
Current children cumulated vsize (KiB) 852476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 2.13 2.10 2.04 3/122 15565
/proc/meminfo: memFree=1317576/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
[pid=15507] ppid=15504 vsize=847120 CPUtime=3600.02
/proc/15507/stat : 15507 (java) S 15504 15504 15377 0 -1 0 7665 0 1 0 359991 11 0 0 18 0 9 0 43525750 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15507/statm: 211780 6764 2583 9 0 206340 0
[pid=15507/tid=15508] ppid=15504 vsize=847120 CPUtime=3599.52
/proc/15507/task/15508/stat : 15508 (java) R 15504 15504 15377 0 -1 64 3670 0 1 0 359945 7 0 0 25 0 9 0 43525751 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4126584151 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15509] ppid=15504 vsize=847120 CPUtime=0.14
/proc/15507/task/15509/stat : 15509 (java) S 15504 15504 15377 0 -1 64 2169 0 0 0 13 1 0 0 16 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15510] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15510/stat : 15510 (java) S 15504 15504 15377 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15511] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15511/stat : 15511 (java) S 15504 15504 15377 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15512] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15512/stat : 15512 (java) S 15504 15504 15377 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15513] ppid=15504 vsize=847120 CPUtime=0.33
/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1088 0 0 0 32 1 0 0 16 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 852476

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+3610.3 s]
/proc/loadavg: 2.13 2.10 2.04 3/122 15565
/proc/meminfo: memFree=1317576/2055920 swapFree=4192812/4192956
[pid=15504] ppid=15502 vsize=5356 CPUtime=0
/proc/15504/stat : 15504 (concrete.sh) S 15502 15504 15377 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43525749 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15504/statm: 1339 242 201 169 0 50 0
[pid=15507] ppid=15504 vsize=847120 CPUtime=3600.02
/proc/15507/stat : 15507 (java) S 15504 15504 15377 0 -1 0 7665 0 1 0 359991 11 0 0 18 0 9 0 43525750 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15507/statm: 211780 6764 2583 9 0 206340 0
[pid=15507/tid=15508] ppid=15504 vsize=847120 CPUtime=3599.52
/proc/15507/task/15508/stat : 15508 (java) R 15504 15504 15377 0 -1 64 3670 0 1 0 359945 7 0 0 25 0 9 0 43525751 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4126584151 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15509] ppid=15504 vsize=847120 CPUtime=0.14
/proc/15507/task/15509/stat : 15509 (java) S 15504 15504 15377 0 -1 64 2169 0 0 0 13 1 0 0 16 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15510] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15510/stat : 15510 (java) S 15504 15504 15377 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15511] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15511/stat : 15511 (java) S 15504 15504 15377 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43525752 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15512] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15512/stat : 15512 (java) S 15504 15504 15377 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15513] ppid=15504 vsize=847120 CPUtime=0.33
/proc/15507/task/15513/stat : 15513 (java) S 15504 15504 15377 0 -1 64 1088 0 0 0 32 1 0 0 16 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15507/tid=15514] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15514/stat : 15514 (java) S 15504 15504 15377 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15507/tid=15515] ppid=15504 vsize=847120 CPUtime=0
/proc/15507/task/15515/stat : 15515 (java) S 15504 15504 15377 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43525754 867450880 6764 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 852476

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15504 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=1999
# 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): 3610.32
CPU time (s): 3600.02
CPU user time (s): 3599.91
CPU system time (s): 0.11
CPU usage (%): 99.7147
Max. virtual memory (cumulated for all children) (KiB): 852480

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

runsolver used 6.47602 second user time and 16.1325 second system time

The end

Launcher Data (download as text)

Begin job on node88 at 2008-07-12 15:11:26
IDJOB=1112444
IDBENCH=61419
IDSOLVER=336
FILE ID=node88/1112444-1215868286
PBS_JOBID= 7903531
Free space on /tmp= 66496 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-1.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-1112444-1215868286/watcher-1112444-1215868286 -o /tmp/evaluation-result-1112444-1215868286/solver-1112444-1215868286 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112444-1215868286.xml 

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 1cb82225d2d6207f7df093100b92071a
RANDOM SEED=1902957251

node88.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.263
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	: 5931.00
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.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1281776 kB
Buffers:         32868 kB
Cached:         569816 kB
SwapCached:          0 kB
Active:         644652 kB
Inactive:        65944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1281776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             788 kB
Writeback:           0 kB
Mapped:         129500 kB
Slab:            45092 kB
Committed_AS:   441104 kB
PageTables:       4716 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= 66500 MiB
End job on node88 at 2008-07-12 16:11:38