Trace number 1112443

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 - MCRW Engine 2008-05-30MSAT (TO)3 3600.06 3617.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.16/1.54	c CPU-LOAD 0.73
1.16/1.54	c LOADED 50 V (300 E), 300 DTPConstraint, 25 ExtensionConstraint2D, arity 2, 0.73 cpu
1.26/1.69	s SATISFIABLE
1.26/1.69	o 299
1.26/1.69	v 67 78 224 215 177 191 18 19 77 152 72 201 278 252 0 1 214 173 102 103 223 203 226 111 229 147 77 99 12 6 70 150 72 118 1 199 200 180 15 5 97 99 41 43 229 151 202 110 80 79 
1.26/1.69	o 300
1.26/1.69	v 67 78 224 215 177 191 18 19 77 152 72 201 278 252 0 1 214 173 102 103 223 203 226 102 228 147 77 99 12 6 70 150 70 118 1 199 200 171 15 16 97 99 41 43 229 151 197 110 80 79 
1.37/1.70	o 302
1.37/1.70	v 64 78 224 215 177 191 18 19 77 152 72 201 278 252 0 1 228 173 102 103 223 203 224 122 228 146 77 99 12 6 70 150 70 118 1 181 200 171 15 16 97 99 41 43 229 151 197 131 80 79 
1.37/1.70	o 303
1.37/1.70	v 64 78 224 215 177 170 18 19 76 152 72 201 278 252 0 1 228 173 102 103 223 203 224 122 228 146 74 99 12 6 70 150 70 118 1 181 201 176 15 16 97 99 41 43 229 146 197 131 80 79 
1.37/1.71	o 304
1.37/1.71	v 64 70 221 218 187 170 18 19 79 154 72 201 278 252 0 1 79 173 102 103 223 203 224 122 230 153 77 99 12 6 72 150 70 118 1 168 201 183 15 16 92 99 41 43 231 177 206 203 80 79 
1.37/1.71	o 305
1.37/1.71	v 65 70 221 218 187 170 18 19 79 154 72 201 278 252 0 1 183 173 102 103 223 203 226 122 224 146 74 90 12 6 70 150 70 118 1 168 201 183 15 16 92 99 41 43 247 177 206 203 80 79 
1.37/1.75	o 306
1.37/1.75	v 67 86 234 224 171 170 18 19 229 159 82 201 278 252 0 171 181 173 102 103 223 203 226 225 70 137 77 86 7 6 76 150 73 121 1 168 202 198 15 16 114 99 45 46 0 150 204 203 89 79 
1.37/1.75	o 307
1.37/1.75	v 72 86 233 224 171 170 18 19 229 159 82 201 278 252 0 200 182 173 102 103 223 203 226 224 70 128 77 86 7 6 76 150 70 121 1 168 202 198 15 16 107 99 45 46 0 154 204 203 89 79 
1.37/1.77	o 308
1.37/1.77	v 67 75 215 225 170 159 23 19 230 218 82 201 278 252 0 207 182 173 89 103 223 203 226 225 121 151 75 74 7 6 71 69 119 118 1 168 202 201 14 16 120 99 1 3 22 16 204 203 78 79 
1.37/1.78	o 309
1.37/1.78	v 67 75 232 225 170 159 23 19 230 218 82 201 278 252 0 202 182 173 89 94 223 203 226 225 121 151 75 74 7 6 71 69 119 118 1 168 202 201 14 16 120 99 1 3 22 16 204 203 78 79 
1.37/1.78	o 310
1.37/1.78	v 67 23 234 226 170 159 15 19 230 201 82 201 278 252 0 202 182 173 89 94 223 203 224 225 118 140 77 85 7 6 70 69 125 117 1 0 202 201 14 16 106 99 1 3 24 20 204 203 78 79 
1.47/1.80	o 311
1.47/1.80	v 82 17 103 96 167 168 26 19 218 229 82 201 278 44 209 202 175 174 89 94 0 203 213 226 124 138 79 71 7 6 70 69 116 117 1 0 202 201 14 16 109 111 1 3 23 22 200 204 78 79 
1.67/2.02	o 313
1.67/2.02	v 213 209 80 85 164 162 15 21 209 219 0 3 27 34 212 203 173 174 90 94 0 299 219 193 115 116 77 82 7 3 70 68 116 115 1 0 195 200 14 15 106 100 1 3 21 22 198 204 72 68 
15.86/16.21	o 314
15.86/16.21	v 81 91 179 166 2 1 33 37 231 201 289 290 35 23 116 115 5 6 210 214 299 296 208 197 110 128 100 93 33 39 58 64 210 209 287 286 109 106 0 3 81 96 50 166 4 1 191 190 288 284 
15.86/16.21	o 315
15.86/16.21	v 81 122 166 167 2 1 33 37 232 231 289 290 35 23 136 115 5 6 210 214 299 296 213 214 141 136 100 99 33 39 58 64 210 209 287 286 109 106 0 3 85 84 50 166 4 1 191 190 288 284 
15.86/16.22	o 316
15.86/16.22	v 81 80 166 167 2 1 33 37 232 231 289 290 35 23 57 115 5 6 210 214 299 296 214 213 141 129 100 93 33 39 57 64 210 209 287 286 109 106 0 3 85 84 50 166 4 1 191 190 288 284 
34.17/34.52	o 317
34.17/34.52	v 139 185 226 227 153 137 7 11 61 56 292 290 0 27 197 153 266 268 62 73 299 60 152 154 229 226 64 62 0 2 141 139 62 63 287 285 187 189 2 1 59 61 273 271 1 10 163 158 290 288 
34.17/34.53	o 318
34.17/34.53	v 185 140 226 227 152 147 7 11 71 56 292 290 0 27 157 153 266 268 77 67 299 60 152 150 229 226 61 62 0 1 141 139 62 63 287 285 187 189 2 1 59 61 273 271 1 10 163 158 290 288 
34.17/34.53	o 319
34.17/34.53	v 185 140 226 227 152 147 7 11 71 56 292 290 0 27 157 188 266 268 77 67 299 60 152 151 229 226 61 62 0 1 141 139 62 63 287 285 187 189 2 1 59 61 273 271 1 10 163 158 290 288 
101.56/101.91	o 320
101.56/101.91	v 59 56 148 155 11 14 256 253 234 226 1 6 24 12 155 165 123 238 47 49 0 1 72 74 2 1 148 146 240 239 73 72 222 218 0 1 120 124 15 16 219 214 169 168 118 122 15 14 1 0 
101.56/101.91	o 321
101.56/101.91	v 59 56 148 155 11 14 256 245 234 226 1 6 24 12 164 165 123 238 47 49 0 1 72 74 2 1 148 146 240 239 73 72 222 218 0 1 120 124 15 16 219 214 169 168 118 119 15 14 1 0 
101.56/101.92	o 322
101.56/101.92	v 59 56 148 155 11 14 256 255 234 233 1 6 24 12 164 165 123 238 47 49 0 1 72 74 2 1 148 146 240 239 73 72 222 218 0 1 120 124 15 16 219 214 169 168 118 119 15 14 1 0

Verifier Data (download as text)

OK	3	322
3 unsatisfied constraints, 322 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-1112443-1215868268/watcher-1112443-1215868268 -o /tmp/evaluation-result-1112443-1215868268/solver-1112443-1215868268 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112443-1215868268.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.57 2.54 2.46 4/81 19335
/proc/meminfo: memFree=1828000/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 43529348 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/19334/statm: 1339 230 191 169 0 50 0
[pid=19335] ppid=19334 vsize=0 CPUtime=0
/proc/19335/stat : 19335 (dirname) Z 19334 19334 18744 0 -1 4194316 128 0 0 0 0 0 0 0 21 0 1 0 43529348 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/19335/statm: 0 0 0 0 0 0 0

[startup+0.10862 s]
/proc/loadavg: 2.57 2.54 2.46 4/81 19335
/proc/meminfo: memFree=1828000/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.202594 s]
/proc/loadavg: 2.57 2.54 2.46 4/81 19335
/proc/meminfo: memFree=1828000/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302566 s]
/proc/loadavg: 2.57 2.54 2.46 4/81 19335
/proc/meminfo: memFree=1828000/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.70247 s]
/proc/loadavg: 2.57 2.54 2.46 4/81 19335
/proc/meminfo: memFree=1828000/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50125 s]
/proc/loadavg: 2.57 2.54 2.46 3/91 19346
/proc/meminfo: memFree=1815304/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=1.16
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 6719 0 1 0 111 5 0 0 18 0 10 0 43529349 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 5978 2025 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=0.8
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3634 0 1 0 77 3 0 0 25 0 10 0 43529360 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.05
/proc/19337/task/19339/stat : 19339 (java) R 19334 19334 18744 0 -1 64 1293 0 0 0 5 0 0 0 16 0 10 0 43529383 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 102477906 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 43529383 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 43529383 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 43529385 867491840 5978 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.3
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1056 0 0 0 29 1 0 0 16 0 10 0 43529385 867491840 5979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 43529385 867491840 5979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 43529385 867491840 5979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19346] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19346/stat : 19346 (java) S 19334 19334 18744 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 43529422 867491840 5979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 852516

[startup+3.10183 s]
/proc/loadavg: 2.57 2.54 2.46 3/90 19346
/proc/meminfo: memFree=1810888/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=2.77
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7613 0 1 0 271 6 0 0 18 0 9 0 43529349 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6734 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=2.3
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3656 0 1 0 227 3 0 0 25 0 9 0 43529360 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4126553286 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.13
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 12 1 0 0 17 0 9 0 43529383 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.32
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1074 0 0 0 31 1 0 0 15 0 9 0 43529385 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6734 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 852516

[startup+6.302 s]
/proc/loadavg: 2.53 2.54 2.46 3/90 19346
/proc/meminfo: memFree=1810696/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=5.97
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7616 0 1 0 591 6 0 0 18 0 9 0 43529349 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6735 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=5.5
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3656 0 1 0 547 3 0 0 25 0 9 0 43529360 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4126584418 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.13
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 12 1 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.32
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1077 0 0 0 31 1 0 0 16 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 852516

[startup+12.7013 s]
/proc/loadavg: 2.56 2.54 2.46 3/90 19346
/proc/meminfo: memFree=1810512/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=12.36
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7616 0 1 0 1230 6 0 0 18 0 9 0 43529349 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6735 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=11.89
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3656 0 1 0 1186 3 0 0 25 0 9 0 43529360 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4126546850 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.13
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 12 1 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.32
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1077 0 0 0 31 1 0 0 17 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 852516

[startup+25.502 s]
/proc/loadavg: 2.59 2.55 2.46 3/90 19346
/proc/meminfo: memFree=1810448/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=25.16
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7616 0 1 0 2510 6 0 0 18 0 9 0 43529349 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6735 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=24.69
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3656 0 1 0 2466 3 0 0 25 0 9 0 43529360 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4126546983 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.13
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 12 1 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.32
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1077 0 0 0 31 1 0 0 16 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6735 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 852516

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

/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3327.54
Current children cumulated vsize (KiB) 852516

[startup+3402.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/91 19428
/proc/meminfo: memFree=1606976/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=3387
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7648 0 1 0 338666 34 0 0 18 0 9 0 43529349 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6744 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=3386.49
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3679 0 1 0 338618 31 0 0 25 0 9 0 43529360 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4126567725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.14
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 13 1 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.35
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3387
Current children cumulated vsize (KiB) 852516

[startup+3462.3 s]
/proc/loadavg: 2.04 2.01 2.06 3/91 19428
/proc/meminfo: memFree=1606784/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=3446.45
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7648 0 1 0 344611 34 0 0 18 0 9 0 43529349 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6744 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=3445.94
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3679 0 1 0 344563 31 0 0 25 0 9 0 43529360 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4126553237 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.14
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 13 1 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.35
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3446.45
Current children cumulated vsize (KiB) 852516

[startup+3522.31 s]
/proc/loadavg: 2.01 2.01 2.06 3/91 19428
/proc/meminfo: memFree=1606784/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=3505.92
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7648 0 1 0 350558 34 0 0 18 0 9 0 43529349 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6744 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=3505.41
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3679 0 1 0 350510 31 0 0 25 0 9 0 43529360 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4126553104 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.14
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 13 1 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.35
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3505.92
Current children cumulated vsize (KiB) 852516

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/91 19428
/proc/meminfo: memFree=1606720/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=3565.37
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7648 0 1 0 356503 34 0 0 18 0 9 0 43529349 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6744 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=3564.86
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3679 0 1 0 356455 31 0 0 25 0 9 0 43529360 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4126567725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.14
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 13 1 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.35
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3565.37
Current children cumulated vsize (KiB) 852516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3617.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/91 19428
/proc/meminfo: memFree=1606592/2055920 swapFree=4180820/4192956
[pid=19334] ppid=19332 vsize=5356 CPUtime=0
/proc/19334/stat : 19334 (concrete.sh) S 19332 19334 18744 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43529348 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19334/statm: 1339 242 201 169 0 50 0
[pid=19337] ppid=19334 vsize=847160 CPUtime=3600.06
/proc/19337/stat : 19337 (java) S 19334 19334 18744 0 -1 0 7648 0 1 0 359972 34 0 0 18 0 9 0 43529349 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 211790 6744 2583 9 0 206350 0
[pid=19337/tid=19338] ppid=19334 vsize=847160 CPUtime=3599.55
/proc/19337/task/19338/stat : 19338 (java) R 19334 19334 18744 0 -1 64 3679 0 1 0 359924 31 0 0 25 0 9 0 43529360 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4126546998 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19334 vsize=847160 CPUtime=0.14
/proc/19337/task/19339/stat : 19339 (java) S 19334 19334 18744 0 -1 64 2146 0 0 0 13 1 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19334 19334 18744 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19341] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19334 19334 18744 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43529383 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19342] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19342/stat : 19342 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19334 vsize=847160 CPUtime=0.35
/proc/19337/task/19343/stat : 19343 (java) S 19334 19334 18744 0 -1 64 1086 0 0 0 34 1 0 0 17 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19334 19334 18744 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19337/tid=19345] ppid=19334 vsize=847160 CPUtime=0
/proc/19337/task/19345/stat : 19345 (java) S 19334 19334 18744 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43529385 867491840 6744 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 852516

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19334 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=2999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.005998
# while last known CPU time is 3600.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3617.32
CPU time (s): 3600.06
CPU user time (s): 3599.72
CPU system time (s): 0.34
CPU usage (%): 99.5228
Max. virtual memory (cumulated for all children) (KiB): 852516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002999
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 5

runsolver used 4.77327 second user time and 11.6792 second system time

The end

Launcher Data (download as text)

Begin job on node16 at 2008-07-12 15:11:08
IDJOB=1112443
IDBENCH=61419
IDSOLVER=335
FILE ID=node16/1112443-1215868268
PBS_JOBID= 7903484
Free space on /tmp= 66524 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 1cb82225d2d6207f7df093100b92071a
RANDOM SEED=1593832620

node16.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1828688 kB
Buffers:         34964 kB
Cached:          61836 kB
SwapCached:       6220 kB
Active:         139104 kB
Inactive:        45324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1828688 kB
SwapTotal:     4192956 kB
SwapFree:      4180820 kB
Dirty:             804 kB
Writeback:           0 kB
Mapped:         103424 kB
Slab:            28000 kB
Committed_AS:  1034044 kB
PageTables:       2000 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66524 MiB
End job on node16 at 2008-07-12 16:11:27