Trace number 4262775

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 NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4OPT261 17.6838 8.0769701

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-04-04-8.xml
MD5SUMaed9643ac8b54e4586138aa43d9c539b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark261
Best CPU time to get the best result obtained on this benchmark0.201943
Satisfiable
(Un)Satisfiability was proved
Number of variables68
Number of constraints60
Number of domains6
Minimum domain size4
Maximum domain size361
Distribution of domain sizes[{"size":4,"count":32},{"size":361,"count":36}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":32},{"degree":5,"count":16}]
Minimum constraint arity1
Maximum constraint arity6
Distribution of constraint arities[{"arity":1,"count":4},{"arity":2,"count":16},{"arity":3,"count":16},{"arity":4,"count":8},{"arity":6,"count":16}]
Number of extensional constraints16
Number of intensional constraints20
Distribution of constraint types[{"type":"extension","count":16},{"type":"intension","count":20},{"type":"allDifferent","count":4},{"type":"noOverlap","count":4},{"type":"element","count":16}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

3.37/2.24	c Concrete v3.4 running
7.84/4.09	o 360
8.15/4.13	o 359
8.15/4.17	o 358
8.15/4.19	o 357
8.51/4.23	o 356
8.51/4.25	o 355
8.51/4.27	o 354
8.89/4.31	o 353
8.89/4.32	o 352
8.89/4.34	o 351
8.89/4.35	o 350
8.89/4.37	o 349
8.89/4.39	o 348
9.24/4.41	o 347
9.24/4.43	o 346
9.24/4.46	o 345
9.24/4.48	o 344
9.24/4.50	o 343
9.58/4.51	o 342
9.58/4.51	o 341
9.58/4.52	o 340
9.58/4.53	o 339
9.58/4.54	o 338
9.58/4.54	o 337
9.58/4.55	o 336
9.58/4.56	o 335
9.58/4.56	o 334
9.58/4.57	o 333
9.58/4.58	o 332
9.58/4.59	o 331
9.58/4.59	o 330
9.88/4.60	o 329
9.88/4.61	o 328
9.88/4.62	o 327
9.88/4.62	o 326
9.88/4.63	o 325
9.88/4.64	o 324
9.88/4.64	o 323
9.88/4.65	o 322
9.88/4.66	o 321
9.88/4.67	o 320
9.88/4.67	o 319
9.88/4.68	o 318
9.88/4.69	o 317
9.88/4.69	o 316
10.19/4.70	o 315
10.19/4.70	o 314
10.19/4.71	o 313
10.19/4.72	o 312
10.19/4.72	o 311
10.19/4.73	o 310
10.19/4.73	o 309
10.19/4.74	o 308
10.19/4.75	o 307
10.19/4.75	o 306
10.19/4.76	o 305
10.19/4.76	o 304
10.19/4.77	o 303
10.19/4.77	o 302
10.19/4.78	o 301
10.19/4.79	o 300
10.19/4.79	o 299
10.19/4.80	o 298
10.50/4.80	o 297
10.50/4.81	o 296
10.50/4.81	o 295
10.50/4.82	o 294
10.50/4.83	o 293
10.50/4.83	o 292
10.50/4.83	o 291
10.50/4.84	o 290
10.50/4.85	o 289
10.50/4.85	o 288
10.50/4.86	o 287
10.50/4.86	o 286
10.50/4.87	o 285
10.50/4.87	o 284
10.50/4.88	o 283
10.50/4.88	o 282
10.50/4.89	o 281
10.81/4.91	o 280
10.81/4.92	o 279
10.81/4.93	o 278
10.81/4.98	o 277
10.81/4.99	o 276
10.81/4.99	o 275
11.12/5.00	o 274
11.12/5.00	o 273
11.12/5.01	o 272
11.12/5.04	o 271
11.12/5.04	o 270
11.12/5.04	o 269
11.12/5.05	o 268
12.67/5.54	o 267
12.67/5.55	o 266
12.67/5.57	o 265
12.67/5.57	o 264
12.67/5.57	o 263
12.67/5.60	o 262
12.67/5.60	o 261
17.58/8.06	v <instantiation cost="261">
17.58/8.06	v       <list>
17.58/8.06	v         s[0][0] s[0][1] s[0][2] s[0][3] s[1][0] s[1][1] s[1][2] s[1][3] s[2][0] s[2][1] s[2][2] s[2][3] s[3][0] s[3][1] s[3][2] s[3][3] e[0] e[1] e[2] e[3] d[0][0] d[0][1] d[0][2] d[0][3] d[1][0] d[1][1] d[1][2] d[1][3] d[2][0] d[2][1] d[2][2] d[2][3] d[3][0] d[3][1] d[3][2] d[3][3] w[0][0] w[0][1] w[0][2] w[0][3] w[1][0] w[1][1] w[1][2] w[1][3] w[2][0] w[2][1] w[2][2] w[2][3] w[3][0] w[3][1] w[3][2] w[3][3] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[3][0] sd[3][1] sd[3][2] sd[3][3]
17.58/8.06	v       </list>
17.58/8.06	v       <values>
17.58/8.06	v         4 82 144 215 6 81 158 195 0 63 170 229 3 75 168 179 261 261 261 261 59 62 71 46 69 63 21 66 63 95 45 32 72 93 11 82 2 0 1 3 3 1 2 0 0 2 3 1 1 3 0 2 82 144 4 215 195 81 158 6 0 229 63 170 168 3 179 75
17.58/8.06	v       </values>
17.58/8.06	v     </instantiation>
17.58/8.06	s OPTIMUM FOUND

Verifier Data 

OK	261

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262775-1502417206/watcher-4262775-1502417206 -o /tmp/evaluation-result-4262775-1502417206/solver-4262775-1502417206 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4262775-1502417206.xml 

pid=6061
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.76 1.42 1.34 3/198 6064
/proc/meminfo: memFree=30583448/32770624 swapFree=0/439352
[pid=6064] ppid=6061 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6064/stat : 6064 (runsolver) D 6061 6064 4896 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 141373520 24240128 108 18446744073709551615 4194304 4338465 140723463250240 140723463247880 140643999367895 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 13443072 140723463254225 140723463254601 140723463254601 140723463258058 0
/proc/6064/statm: 5918 108 54 36 0 2156 0

[startup+0.10033 s]
/proc/loadavg: 1.76 1.42 1.34 3/198 6064
/proc/meminfo: memFree=30583448/32770624 swapFree=0/439352
[pid=6064] ppid=6061 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/6064/stat : 6064 (bash) S 6061 6064 4896 0 -1 4202496 796 5306 0 0 0 0 0 1 20 0 1 0 141373520 9867264 360 18446744073709551615 4194304 5098028 140734926491584 140734926489240 139964149464064 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 34627584 140734926496276 140734926496361 140734926496361 140734926499818 0
/proc/6064/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200259 s]
/proc/loadavg: 1.76 1.42 1.34 3/198 6064
/proc/meminfo: memFree=30583448/32770624 swapFree=0/439352
[pid=6064] ppid=6061 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/6064/stat : 6064 (bash) S 6061 6064 4896 0 -1 4202496 891 6487 0 0 0 0 0 1 20 0 1 0 141373520 9867264 377 18446744073709551615 4194304 5098028 140734926491584 140734926485592 139964149464064 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 34627584 140734926496276 140734926496361 140734926496361 140734926499818 0
/proc/6064/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300357 s]
/proc/loadavg: 1.76 1.42 1.34 3/198 6064
/proc/meminfo: memFree=30583448/32770624 swapFree=0/439352
[pid=6064] ppid=6061 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/6064/stat : 6064 (java) S 6061 6064 4896 0 -1 1077944320 5737 12630 0 0 5 1 5 2 20 0 14 0 141373520 14241083392 5419 18446744073709551615 4194304 4196468 140732455367376 140732455349920 140430930726647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
/proc/6064/statm: 3476827 5419 2564 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700279 s]
/proc/loadavg: 1.76 1.42 1.34 3/198 6064
/proc/meminfo: memFree=30583448/32770624 swapFree=0/439352
[pid=6064] ppid=6061 vsize=13974784 CPUtime=0.59 cores=1,3,5,7
/proc/6064/stat : 6064 (java) S 6061 6064 4896 0 -1 1077944320 13602 12630 0 0 48 4 5 2 20 0 15 0 141373520 14310178816 13984 18446744073709551615 4194304 4196468 140732455367376 140732455349920 140430930726647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
/proc/6064/statm: 3493696 13984 3057 1 0 3482965 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13974784

[startup+1.50074 s]
/proc/loadavg: 1.76 1.42 1.34 3/213 6127
/proc/meminfo: memFree=30394172/32770624 swapFree=0/439476
[pid=6064] ppid=6061 vsize=13985408 CPUtime=1.8 cores=1,3,5,7
/proc/6064/stat : 6064 (java) S 6061 6064 4896 0 -1 1077944320 27794 12630 0 0 165 8 5 2 20 0 15 0 141373520 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140732455349920 140430930726647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
/proc/6064/statm: 3496352 33804 3341 1 0 3485525 0
[pid=6064/tid=6114] ppid=6061 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/6064/task/6114/stat : 6114 (java) R 6061 6064 4896 0 -1 4202560 22584 12630 0 0 113 6 5 2 20 0 15 0 141373542 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430934958168 140430914770277 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6115] ppid=6061 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6115/stat : 6115 (java) S 6061 6064 4896 0 -1 1077944384 1 12630 0 0 0 0 5 2 20 0 15 0 141373542 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430872673424 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6116] ppid=6061 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6116/stat : 6116 (java) S 6061 6064 4896 0 -1 1077944384 1 12630 0 0 0 0 5 2 20 0 15 0 141373542 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430871620624 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6117] ppid=6061 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6117/stat : 6117 (java) S 6061 6064 4896 0 -1 1077944384 1 12630 0 0 0 0 5 2 20 0 15 0 141373542 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430870567824 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6118] ppid=6061 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6118/stat : 6118 (java) S 6061 6064 4896 0 -1 1077944384 2 12630 0 0 0 0 5 2 20 0 15 0 141373542 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430869515024 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6119] ppid=6061 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6119/stat : 6119 (java) S 6061 6064 4896 0 -1 1077944384 5 12630 0 0 0 0 5 2 20 0 15 0 141373544 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430476474736 140430930737794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6120] ppid=6061 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6120/stat : 6120 (java) S 6061 6064 4896 0 -1 1077944384 33 12630 0 0 0 0 5 2 20 0 15 0 141373544 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430475420704 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6121] ppid=6061 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6121/stat : 6121 (java) S 6061 6064 4896 0 -1 1077944384 21 12630 0 0 0 0 5 2 20 0 15 0 141373544 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430474367856 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6122] ppid=6061 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6122/stat : 6122 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430473316176 140430930745243 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6123] ppid=6061 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/6064/task/6123/stat : 6123 (java) S 6061 6064 4896 0 -1 1077944384 956 12630 0 0 13 0 5 2 20 0 15 0 141373547 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430472264560 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6124] ppid=6061 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/6064/task/6124/stat : 6124 (java) S 6061 6064 4896 0 -1 1077944384 658 12630 0 0 16 0 5 2 20 0 15 0 141373547 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430471211760 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6125] ppid=6061 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/6064/task/6125/stat : 6125 (java) R 6061 6064 4896 0 -1 1077944384 1366 12630 0 0 22 0 5 2 20 0 15 0 141373547 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430470158960 140430930737794 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6126] ppid=6061 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6126/stat : 6126 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430469106400 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6127] ppid=6061 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6127/stat : 6127 (java) S 6061 6064 4896 0 -1 1077944384 10 12630 0 0 0 0 5 2 20 0 15 0 141373555 14321057792 33804 18446744073709551615 4194304 4196468 140732455367376 140430468053680 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 13985408

[startup+3.10321 s]
/proc/loadavg: 1.76 1.42 1.34 6/213 6127
/proc/meminfo: memFree=30207268/32770624 swapFree=0/439476
[pid=6064] ppid=6061 vsize=13999932 CPUtime=5.27 cores=1,3,5,7
/proc/6064/stat : 6064 (java) S 6061 6064 4896 0 -1 1077944320 49739 12630 0 0 506 14 5 2 20 0 15 0 141373520 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140732455349920 140430930726647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
/proc/6064/statm: 3499983 54448 3444 1 0 3488597 0
[pid=6064/tid=6114] ppid=6061 vsize=13999932 CPUtime=2.83 cores=1,3,5,7
/proc/6064/task/6114/stat : 6114 (java) R 6061 6064 4896 0 -1 4202560 36382 12630 0 0 268 8 5 2 20 0 15 0 141373542 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430934956272 140430912644689 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6115] ppid=6061 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6115/stat : 6115 (java) S 6061 6064 4896 0 -1 1077944384 68 12630 0 0 0 0 5 2 20 0 15 0 141373542 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430872673424 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6116] ppid=6061 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6116/stat : 6116 (java) S 6061 6064 4896 0 -1 1077944384 56 12630 0 0 0 0 5 2 20 0 15 0 141373542 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430871620624 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6117] ppid=6061 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/6064/task/6117/stat : 6117 (java) S 6061 6064 4896 0 -1 1077944384 198 12630 0 0 1 0 5 2 20 0 15 0 141373542 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430870567824 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6118] ppid=6061 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/6064/task/6118/stat : 6118 (java) S 6061 6064 4896 0 -1 1077944384 42 12630 0 0 1 0 5 2 20 0 15 0 141373542 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430869515024 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6119] ppid=6061 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/6064/task/6119/stat : 6119 (java) S 6061 6064 4896 0 -1 1077944384 1514 12630 0 0 1 0 5 2 20 0 15 0 141373544 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430476474736 140430930737794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6120] ppid=6061 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6120/stat : 6120 (java) S 6061 6064 4896 0 -1 1077944384 56 12630 0 0 0 0 5 2 20 0 15 0 141373544 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430475420768 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6121] ppid=6061 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6121/stat : 6121 (java) S 6061 6064 4896 0 -1 1077944384 43 12630 0 0 0 0 5 2 20 0 15 0 141373544 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430474367872 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6122] ppid=6061 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6122/stat : 6122 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430473316176 140430930745243 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6123] ppid=6061 vsize=13999932 CPUtime=0.64 cores=1,3,5,7
/proc/6064/task/6123/stat : 6123 (java) R 6061 6064 4896 0 -1 4202560 1878 12630 0 0 56 1 5 2 20 0 15 0 141373547 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430472264560 140430914717067 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6124] ppid=6061 vsize=13999932 CPUtime=0.94 cores=1,3,5,7
/proc/6064/task/6124/stat : 6124 (java) S 6061 6064 4896 0 -1 1077944384 3983 12630 0 0 86 1 5 2 20 0 15 0 141373547 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430471211760 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6125] ppid=6061 vsize=13999932 CPUtime=0.96 cores=1,3,5,7
/proc/6064/task/6125/stat : 6125 (java) S 6061 6064 4896 0 -1 1077944384 3350 12630 0 0 88 1 5 2 20 0 15 0 141373547 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430470158960 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6126] ppid=6061 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6126/stat : 6126 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430469106400 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6127] ppid=6061 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6127/stat : 6127 (java) S 6061 6064 4896 0 -1 1077944384 12 12630 0 0 0 0 5 2 20 0 15 0 141373555 14335930368 54448 18446744073709551615 4194304 4196468 140732455367376 140430468053680 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 13999932

[startup+6.30303 s]
/proc/loadavg: 1.94 1.47 1.36 5/213 6127
/proc/meminfo: memFree=29908532/32770624 swapFree=0/439472
[pid=6064] ppid=6061 vsize=14069564 CPUtime=15.13 cores=1,3,5,7
/proc/6064/stat : 6064 (java) S 6061 6064 4896 0 -1 1077944320 70600 12630 0 0 1485 21 5 2 20 0 15 0 141373520 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140732455349920 140430930726647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
/proc/6064/statm: 3517391 94744 3480 1 0 3506005 0
[pid=6064/tid=6114] ppid=6061 vsize=14069564 CPUtime=5.77 cores=1,3,5,7
/proc/6064/task/6114/stat : 6114 (java) R 6061 6064 4896 0 -1 4202560 46224 12630 0 0 559 11 5 2 20 0 15 0 141373542 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430934957928 140430564285669 0 4 1 16800974 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6115] ppid=6061 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/6064/task/6115/stat : 6115 (java) S 6061 6064 4896 0 -1 1077944384 98 12630 0 0 10 0 5 2 20 0 15 0 141373542 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430872673424 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6116] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6116/stat : 6116 (java) S 6061 6064 4896 0 -1 1077944384 118 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430871620624 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6117] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6117/stat : 6117 (java) S 6061 6064 4896 0 -1 1077944384 277 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430870567824 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6118] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6118/stat : 6118 (java) S 6061 6064 4896 0 -1 1077944384 947 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430869515024 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6119] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6119/stat : 6119 (java) S 6061 6064 4896 0 -1 1077944384 2278 12630 0 0 11 0 5 2 20 0 15 0 141373544 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430476474736 140430930737794 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6120] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6120/stat : 6120 (java) S 6061 6064 4896 0 -1 1077944384 56 12630 0 0 0 0 5 2 20 0 15 0 141373544 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430475420768 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6121] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6121/stat : 6121 (java) S 6061 6064 4896 0 -1 1077944384 43 12630 0 0 0 0 5 2 20 0 15 0 141373544 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430474367872 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6122] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6122/stat : 6122 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430473316176 140430930745243 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6123] ppid=6061 vsize=14069564 CPUtime=3.64 cores=1,3,5,7
/proc/6064/task/6123/stat : 6123 (java) R 6061 6064 4896 0 -1 4202560 6975 12630 0 0 356 1 5 2 20 0 15 0 141373547 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430472264560 140430912270370 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6124] ppid=6061 vsize=14069564 CPUtime=3.55 cores=1,3,5,7
/proc/6064/task/6124/stat : 6124 (java) R 6061 6064 4896 0 -1 4202560 6344 12630 0 0 347 1 5 2 20 0 15 0 141373547 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430471198320 140430914223132 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6125] ppid=6061 vsize=14069564 CPUtime=1.72 cores=1,3,5,7
/proc/6064/task/6125/stat : 6125 (java) S 6061 6064 4896 0 -1 1077944384 5071 12630 0 0 163 2 5 2 20 0 15 0 141373547 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430470158960 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6126] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6126/stat : 6126 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430469106400 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6127] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6127/stat : 6127 (java) S 6061 6064 4896 0 -1 1077944384 13 12630 0 0 0 0 5 2 20 0 15 0 141373555 14407233536 94744 18446744073709551615 4194304 4196468 140732455367376 140430468053680 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
Current children cumulated CPU time (s) 15.13
Current children cumulated vsize (KiB) 14069564

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6064 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40107 s]
/proc/loadavg: 1.94 1.47 1.36 5/213 6127
/proc/meminfo: memFree=29908532/32770624 swapFree=0/439472
[pid=6064] ppid=6061 vsize=14069564 CPUtime=15.43 cores=1,3,5,7
/proc/6064/stat : 6064 (java) S 6061 6064 4896 0 -1 1077944320 70995 12630 0 0 1515 21 5 2 20 0 15 0 141373520 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140732455349920 140430930726647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
/proc/6064/statm: 3517391 95140 3480 1 0 3506005 0
[pid=6064/tid=6114] ppid=6061 vsize=14069564 CPUtime=5.87 cores=1,3,5,7
/proc/6064/task/6114/stat : 6114 (java) R 6061 6064 4896 0 -1 4202560 46233 12630 0 0 569 11 5 2 20 0 15 0 141373542 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430934957768 140430563618174 0 4 1 16800974 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6115] ppid=6061 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/6064/task/6115/stat : 6115 (java) S 6061 6064 4896 0 -1 1077944384 98 12630 0 0 10 0 5 2 20 0 15 0 141373542 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430872673424 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6116] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6116/stat : 6116 (java) S 6061 6064 4896 0 -1 1077944384 118 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430871620624 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6117] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6117/stat : 6117 (java) S 6061 6064 4896 0 -1 1077944384 277 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430870567824 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6118] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6118/stat : 6118 (java) S 6061 6064 4896 0 -1 1077944384 947 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430869515024 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6119] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6119/stat : 6119 (java) S 6061 6064 4896 0 -1 1077944384 2278 12630 0 0 11 0 5 2 20 0 15 0 141373544 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430476474736 140430930737794 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6120] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6120/stat : 6120 (java) S 6061 6064 4896 0 -1 1077944384 56 12630 0 0 0 0 5 2 20 0 15 0 141373544 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430475420768 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6121] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6121/stat : 6121 (java) S 6061 6064 4896 0 -1 1077944384 43 12630 0 0 0 0 5 2 20 0 15 0 141373544 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430474367872 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6122] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6122/stat : 6122 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430473316176 140430930745243 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6123] ppid=6061 vsize=14069564 CPUtime=3.74 cores=1,3,5,7
/proc/6064/task/6123/stat : 6123 (java) R 6061 6064 4896 0 -1 4202560 7336 12630 0 0 366 1 5 2 20 0 15 0 141373547 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430472264560 140430912248056 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6124] ppid=6061 vsize=14069564 CPUtime=3.65 cores=1,3,5,7
/proc/6064/task/6124/stat : 6124 (java) R 6061 6064 4896 0 -1 4202560 6368 12630 0 0 357 1 5 2 20 0 15 0 141373547 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430471198320 140430914223431 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6125] ppid=6061 vsize=14069564 CPUtime=1.73 cores=1,3,5,7
/proc/6064/task/6125/stat : 6125 (java) S 6061 6064 4896 0 -1 1077944384 5071 12630 0 0 164 2 5 2 20 0 15 0 141373547 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430470158960 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6126] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6126/stat : 6126 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430469106400 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6127] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6127/stat : 6127 (java) S 6061 6064 4896 0 -1 1077944384 13 12630 0 0 0 0 5 2 20 0 15 0 141373555 14407233536 95140 18446744073709551615 4194304 4196468 140732455367376 140430468053680 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
Current children cumulated CPU time (s) 15.43
Current children cumulated vsize (KiB) 14069564

[startup+7.20065 s]
/proc/loadavg: 1.94 1.47 1.36 3/213 6127
/proc/meminfo: memFree=29807568/32770624 swapFree=0/439472
[pid=6064] ppid=6061 vsize=14069564 CPUtime=16.72 cores=1,3,5,7
/proc/6064/stat : 6064 (java) S 6061 6064 4896 0 -1 1077944320 71141 12630 0 0 1643 22 5 2 20 0 15 0 141373520 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140732455349920 140430930726647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
/proc/6064/statm: 3517391 104952 3480 1 0 3506005 0
[pid=6064/tid=6114] ppid=6061 vsize=14069564 CPUtime=6.66 cores=1,3,5,7
/proc/6064/task/6114/stat : 6114 (java) R 6061 6064 4896 0 -1 4202560 46255 12630 0 0 648 11 5 2 20 0 15 0 141373542 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430934960032 140430549526112 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6115] ppid=6061 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/6064/task/6115/stat : 6115 (java) S 6061 6064 4896 0 -1 1077944384 99 12630 0 0 10 0 5 2 20 0 15 0 141373542 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430872673424 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6116] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6116/stat : 6116 (java) S 6061 6064 4896 0 -1 1077944384 119 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430871620624 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6117] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6117/stat : 6117 (java) S 6061 6064 4896 0 -1 1077944384 278 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430870567824 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6118] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6118/stat : 6118 (java) S 6061 6064 4896 0 -1 1077944384 948 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430869515024 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6119] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6119/stat : 6119 (java) S 6061 6064 4896 0 -1 1077944384 2300 12630 0 0 11 0 5 2 20 0 15 0 141373544 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430476474736 140430930737794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6120] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6120/stat : 6120 (java) S 6061 6064 4896 0 -1 1077944384 56 12630 0 0 0 0 5 2 20 0 15 0 141373544 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430475420768 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6121] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6121/stat : 6121 (java) S 6061 6064 4896 0 -1 1077944384 43 12630 0 0 0 0 5 2 20 0 15 0 141373544 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430474367872 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6122] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6122/stat : 6122 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430473316176 140430930745243 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6123] ppid=6061 vsize=14069564 CPUtime=3.97 cores=1,3,5,7
/proc/6064/task/6123/stat : 6123 (java) S 6061 6064 4896 0 -1 1077944384 7361 12630 0 0 389 1 5 2 20 0 15 0 141373547 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430472264560 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6124] ppid=6061 vsize=14069564 CPUtime=3.89 cores=1,3,5,7
/proc/6064/task/6124/stat : 6124 (java) S 6061 6064 4896 0 -1 1077944384 6440 12630 0 0 381 1 5 2 20 0 15 0 141373547 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430471211760 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6125] ppid=6061 vsize=14069564 CPUtime=1.74 cores=1,3,5,7
/proc/6064/task/6125/stat : 6125 (java) S 6061 6064 4896 0 -1 1077944384 5072 12630 0 0 165 2 5 2 20 0 15 0 141373547 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430470158960 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6126] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6126/stat : 6126 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430469106400 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6127] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6127/stat : 6127 (java) S 6061 6064 4896 0 -1 1077944384 13 12630 0 0 0 0 5 2 20 0 15 0 141373555 14407233536 104952 18446744073709551615 4194304 4196468 140732455367376 140430468053680 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
Current children cumulated CPU time (s) 16.72
Current children cumulated vsize (KiB) 14069564

[startup+7.60067 s]
/proc/loadavg: 1.94 1.47 1.36 3/213 6127
/proc/meminfo: memFree=29807568/32770624 swapFree=0/439472
[pid=6064] ppid=6061 vsize=14069564 CPUtime=17.14 cores=1,3,5,7
/proc/6064/stat : 6064 (java) S 6061 6064 4896 0 -1 1077944320 71188 12630 0 0 1684 23 5 2 20 0 15 0 141373520 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140732455349920 140430930726647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
/proc/6064/statm: 3517391 116217 3480 1 0 3506005 0
[pid=6064/tid=6114] ppid=6061 vsize=14069564 CPUtime=7.05 cores=1,3,5,7
/proc/6064/task/6114/stat : 6114 (java) R 6061 6064 4896 0 -1 4202560 46278 12630 0 0 686 12 5 2 20 0 15 0 141373542 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430934959776 140430564934986 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6115] ppid=6061 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/6064/task/6115/stat : 6115 (java) S 6061 6064 4896 0 -1 1077944384 99 12630 0 0 10 0 5 2 20 0 15 0 141373542 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430872673424 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6116] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6116/stat : 6116 (java) S 6061 6064 4896 0 -1 1077944384 119 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430871620624 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6117] ppid=6061 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/6064/task/6117/stat : 6117 (java) S 6061 6064 4896 0 -1 1077944384 278 12630 0 0 12 0 5 2 20 0 15 0 141373542 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430870567824 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6118] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6118/stat : 6118 (java) S 6061 6064 4896 0 -1 1077944384 948 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430869515024 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6119] ppid=6061 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/6064/task/6119/stat : 6119 (java) S 6061 6064 4896 0 -1 1077944384 2324 12630 0 0 12 0 5 2 20 0 15 0 141373544 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430476474736 140430930737794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6120] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6120/stat : 6120 (java) S 6061 6064 4896 0 -1 1077944384 56 12630 0 0 0 0 5 2 20 0 15 0 141373544 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430475420768 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6121] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6121/stat : 6121 (java) S 6061 6064 4896 0 -1 1077944384 43 12630 0 0 0 0 5 2 20 0 15 0 141373544 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430474367872 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6122] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6122/stat : 6122 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430473316176 140430930745243 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6123] ppid=6061 vsize=14069564 CPUtime=3.97 cores=1,3,5,7
/proc/6064/task/6123/stat : 6123 (java) S 6061 6064 4896 0 -1 1077944384 7361 12630 0 0 389 1 5 2 20 0 15 0 141373547 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430472264560 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6124] ppid=6061 vsize=14069564 CPUtime=3.9 cores=1,3,5,7
/proc/6064/task/6124/stat : 6124 (java) S 6061 6064 4896 0 -1 1077944384 6440 12630 0 0 382 1 5 2 20 0 15 0 141373547 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430471211760 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6125] ppid=6061 vsize=14069564 CPUtime=1.75 cores=1,3,5,7
/proc/6064/task/6125/stat : 6125 (java) S 6061 6064 4896 0 -1 1077944384 5072 12630 0 0 166 2 5 2 20 0 15 0 141373547 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430470158960 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6126] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6126/stat : 6126 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430469106400 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6127] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6127/stat : 6127 (java) S 6061 6064 4896 0 -1 1077944384 13 12630 0 0 0 0 5 2 20 0 15 0 141373555 14407233536 116217 18446744073709551615 4194304 4196468 140732455367376 140430468053680 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
Current children cumulated CPU time (s) 17.14
Current children cumulated vsize (KiB) 14069564

[startup+8.00068 s]
/proc/loadavg: 1.95 1.48 1.36 3/213 6127
/proc/meminfo: memFree=29723480/32770624 swapFree=0/439472
[pid=6064] ppid=6061 vsize=14069564 CPUtime=17.58 cores=1,3,5,7
/proc/6064/stat : 6064 (java) S 6061 6064 4896 0 -1 1077944320 72028 12630 0 0 1728 23 5 2 20 0 15 0 141373520 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140732455349920 140430930726647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
/proc/6064/statm: 3517391 116326 3484 1 0 3506005 0
[pid=6064/tid=6114] ppid=6061 vsize=14069564 CPUtime=7.45 cores=1,3,5,7
/proc/6064/task/6114/stat : 6114 (java) R 6061 6064 4896 0 -1 4202560 46290 12630 0 0 726 12 5 2 20 0 15 0 141373542 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430934959624 140430563708700 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6115] ppid=6061 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/6064/task/6115/stat : 6115 (java) S 6061 6064 4896 0 -1 1077944384 99 12630 0 0 10 0 5 2 20 0 15 0 141373542 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430872673424 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6116] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6116/stat : 6116 (java) S 6061 6064 4896 0 -1 1077944384 119 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430871620624 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6117] ppid=6061 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/6064/task/6117/stat : 6117 (java) S 6061 6064 4896 0 -1 1077944384 278 12630 0 0 12 0 5 2 20 0 15 0 141373542 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430870567824 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6118] ppid=6061 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/6064/task/6118/stat : 6118 (java) S 6061 6064 4896 0 -1 1077944384 948 12630 0 0 11 0 5 2 20 0 15 0 141373542 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430869515024 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6119] ppid=6061 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/6064/task/6119/stat : 6119 (java) S 6061 6064 4896 0 -1 1077944384 2324 12630 0 0 12 0 5 2 20 0 15 0 141373544 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430476474736 140430930737794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6120] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6120/stat : 6120 (java) S 6061 6064 4896 0 -1 1077944384 56 12630 0 0 0 0 5 2 20 0 15 0 141373544 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430475420768 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6121] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6121/stat : 6121 (java) S 6061 6064 4896 0 -1 1077944384 43 12630 0 0 0 0 5 2 20 0 15 0 141373544 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430474367872 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6122] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6122/stat : 6122 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430473316176 140430930745243 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6123] ppid=6061 vsize=14069564 CPUtime=3.99 cores=1,3,5,7
/proc/6064/task/6123/stat : 6123 (java) S 6061 6064 4896 0 -1 1077944384 7632 12630 0 0 391 1 5 2 20 0 15 0 141373547 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430472264560 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6124] ppid=6061 vsize=14069564 CPUtime=3.92 cores=1,3,5,7
/proc/6064/task/6124/stat : 6124 (java) S 6061 6064 4896 0 -1 1077944384 6729 12630 0 0 384 1 5 2 20 0 15 0 141373547 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430471211760 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6125] ppid=6061 vsize=14069564 CPUtime=1.75 cores=1,3,5,7
/proc/6064/task/6125/stat : 6125 (java) S 6061 6064 4896 0 -1 1077944384 5340 12630 0 0 166 2 5 2 20 0 15 0 141373547 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430470158960 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6126] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6126/stat : 6126 (java) S 6061 6064 4896 0 -1 1077944384 3 12630 0 0 0 0 5 2 20 0 15 0 141373547 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430469106400 140430930736853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
[pid=6064/tid=6127] ppid=6061 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/6064/task/6127/stat : 6127 (java) S 6061 6064 4896 0 -1 1077944384 13 12630 0 0 0 0 5 2 20 0 15 0 141373555 14407233536 116326 18446744073709551615 4194304 4196468 140732455367376 140430468053680 140430930737794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28753920 140732455372752 140732455375537 140732455375537 140732455378895 0
Current children cumulated CPU time (s) 17.58
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 8.07697
CPU time (s): 17.6838
CPU user time (s): 17.4085
CPU system time (s): 0.275347
CPU usage (%): 218.942
Max. virtual memory (cumulated for all children) (KiB): 14071664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4085
system time used= 0.275347
maximum resident set size= 465960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7540
involuntary context switches= 202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031719 second user time and 0.068246 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-11 03:52:22
IDJOB=4262775
IDBENCH=115839
IDSOLVER=2650
FILE ID=node132/4262775-1502417206
RUNJOBID= node132-1502411403-4960
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-04-04-8.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262775-1502417206/watcher-4262775-1502417206 -o /tmp/evaluation-result-4262775-1502417206/solver-4262775-1502417206 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580  bin/concrete HOME/instance-4262775-1502417206.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= aed9643ac8b54e4586138aa43d9c539b
RANDOM SEED=1844541006

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30584240 kB
MemAvailable:   31415224 kB
Buffers:          286892 kB
Cached:           847236 kB
SwapCached:            0 kB
Active:          1275388 kB
Inactive:         479652 kB
Active(anon):     622136 kB
Inactive(anon):    40820 kB
Active(file):     653252 kB
Inactive(file):   438832 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             23812 kB
Writeback:             0 kB
AnonPages:        619616 kB
Mapped:            71628 kB
Shmem:             41660 kB
Slab:             136512 kB
SReclaimable:     109472 kB
SUnreclaim:        27040 kB
KernelStack:        3488 kB
PageTables:         6648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1699408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    407552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61984 MiB
End job on node132 at 2017-08-11 03:52:31