Trace number 4244630

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
R1: Concrete 3.4OPT250 14.5122 6.1237102

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-04-04-3.xml
MD5SUMd594ce2470bfcbe7ad5c857fb9f8254a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark250
Best CPU time to get the best result obtained on this benchmark0.226116
Satisfiable
(Un)Satisfiability was proved
Number of variables68
Number of constraints60
Number of domains6
Minimum domain size4
Maximum domain size350
Distribution of domain sizes[{"size":4,"count":32},{"size":350,"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.17/2.20	c Concrete v3.4 running
7.96/4.07	o 349
8.29/4.11	o 348
8.29/4.16	o 347
8.29/4.19	o 346
8.65/4.22	o 345
8.65/4.24	o 344
8.65/4.26	o 343
8.65/4.28	o 342
9.02/4.30	o 341
9.02/4.31	o 340
9.02/4.32	o 339
9.02/4.33	o 338
9.02/4.34	o 337
9.02/4.35	o 336
9.02/4.36	o 335
9.02/4.37	o 334
9.02/4.38	o 333
9.02/4.41	o 332
9.42/4.42	o 331
9.42/4.43	o 330
9.42/4.45	o 329
9.42/4.46	o 328
9.42/4.47	o 327
9.42/4.48	o 326
9.42/4.49	o 325
9.70/4.50	o 324
9.70/4.51	o 323
9.70/4.52	o 322
9.70/4.53	o 321
9.70/4.54	o 320
9.70/4.55	o 319
9.70/4.56	o 318
9.70/4.56	o 317
9.70/4.57	o 316
9.70/4.58	o 315
9.70/4.58	o 314
9.70/4.59	o 313
9.70/4.60	o 312
9.99/4.60	o 311
9.99/4.61	o 310
9.99/4.62	o 309
9.99/4.62	o 308
9.99/4.63	o 307
9.99/4.63	o 306
9.99/4.64	o 305
9.99/4.64	o 304
9.99/4.65	o 303
9.99/4.66	o 302
9.99/4.66	o 301
9.99/4.69	o 300
9.99/4.70	o 299
10.31/4.70	o 298
10.31/4.71	o 297
10.31/4.71	o 296
10.31/4.72	o 295
10.31/4.72	o 294
10.31/4.74	o 293
10.31/4.75	o 292
10.31/4.75	o 291
10.31/4.76	o 290
10.31/4.76	o 289
10.31/4.77	o 288
10.31/4.78	o 287
10.31/4.78	o 286
10.31/4.79	o 285
10.31/4.80	o 284
10.63/4.80	o 283
10.63/4.81	o 282
10.63/4.81	o 281
10.63/4.82	o 280
10.63/4.85	o 279
10.63/4.85	o 278
10.63/4.86	o 277
10.63/4.87	o 276
10.63/4.87	o 275
10.63/4.88	o 274
10.63/4.88	o 273
10.63/4.89	o 272
10.63/4.89	o 271
10.93/4.90	o 270
10.93/4.90	o 269
10.93/4.91	o 268
10.93/4.91	o 267
10.93/4.92	o 266
10.93/4.92	o 265
10.93/4.93	o 264
10.93/4.93	o 263
10.93/4.94	o 262
10.93/4.94	o 261
10.93/4.95	o 260
10.93/4.97	o 259
10.93/4.97	o 258
10.93/4.98	o 257
10.93/4.98	o 256
10.93/4.99	o 255
10.93/5.00	o 254
12.19/5.36	o 253
12.19/5.37	o 252
13.11/5.61	o 251
13.11/5.61	o 250
14.24/6.09	v <instantiation cost="250">
14.24/6.09	v       <list>
14.24/6.09	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]
14.24/6.09	v       </list>
14.24/6.09	v       <values>
14.24/6.09	v         5 61 121 231 0 40 150 175 12 40 138 192 4 47 128 190 250 250 250 250 35 60 54 19 40 98 25 75 28 88 52 58 43 74 62 60 3 0 2 1 1 3 0 2 2 1 3 0 0 2 1 3 61 231 121 5 150 0 175 40 192 40 12 138 4 128 47 190
14.24/6.09	v       </values>
14.24/6.09	v     </instantiation>
14.24/6.09	s OPTIMUM FOUND

Verifier Data 

OK	250

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-4244630-1502078813/watcher-4244630-1502078813 -o /tmp/evaluation-result-4244630-1502078813/solver-4244630-1502078813 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12599 --watchdog 2560 bin/concrete HOME/instance-4244630-1502078813.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 0.98 1.05 1.17 4/180 12624
/proc/meminfo: memFree=31361568/32770624 swapFree=0/426724
[pid=12624] ppid=12620 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12624/stat : 12624 (runsolver) D 12620 12624 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 55387408 24240128 106 18446744073709551615 4194304 4338465 140737270118992 140737270116632 140141167444695 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 14266368 140737270120656 140737270121033 140737270121033 140737270124490 0
/proc/12624/statm: 5918 106 53 36 0 2156 0

[startup+0.100325 s]
/proc/loadavg: 0.98 1.05 1.17 4/180 12624
/proc/meminfo: memFree=31361568/32770624 swapFree=0/426724
[pid=12624] ppid=12620 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/12624/stat : 12624 (bash) S 12620 12624 25139 0 -1 4202496 680 1547 0 0 0 0 0 0 20 0 1 0 55387408 9736192 351 18446744073709551615 4194304 5098028 140725514280736 140725514278376 140585594174464 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 35725312 140725514285588 140725514285673 140725514285673 140725514289130 0
/proc/12624/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200221 s]
/proc/loadavg: 0.98 1.05 1.17 4/180 12624
/proc/meminfo: memFree=31361568/32770624 swapFree=0/426724
[pid=12624] ppid=12620 vsize=9640 CPUtime=0.08 cores=1,3,5,7
/proc/12624/stat : 12624 (bash) S 12620 12624 25139 0 -1 4202496 923 11797 0 0 0 0 5 3 20 0 1 0 55387408 9871360 378 18446744073709551615 4194304 5098028 140725514280736 140725514276568 140585594174464 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 35725312 140725514285588 140725514285673 140725514285673 140725514289130 0
/proc/12624/statm: 2410 378 297 221 0 119 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9640

[startup+0.300239 s]
/proc/loadavg: 0.98 1.05 1.17 4/180 12624
/proc/meminfo: memFree=31361568/32770624 swapFree=0/426724
[pid=12624] ppid=12620 vsize=10485316 CPUtime=0.14 cores=1,3,5,7
/proc/12624/stat : 12624 (java) S 12620 12624 25139 0 -1 1077944320 5642 12473 0 0 5 1 5 3 20 0 14 0 55387408 10736963584 5858 18446744073709551615 4194304 4196468 140732202852704 140732202835248 140548142862071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
/proc/12624/statm: 2621329 5858 2663 1 0 2610826 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10485316

[startup+0.700254 s]
/proc/loadavg: 0.98 1.05 1.17 4/180 12624
/proc/meminfo: memFree=31361568/32770624 swapFree=0/426724
[pid=12624] ppid=12620 vsize=10552792 CPUtime=0.68 cores=1,3,5,7
/proc/12624/stat : 12624 (java) S 12620 12624 25139 0 -1 1077944320 13814 12473 0 0 56 4 5 3 20 0 15 0 55387408 10806059008 14753 18446744073709551615 4194304 4196468 140732202852704 140732202835248 140548142862071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
/proc/12624/statm: 2638198 14753 3126 1 0 2627467 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10552792

[startup+1.50203 s]
/proc/loadavg: 0.98 1.05 1.17 3/213 12753
/proc/meminfo: memFree=31176552/32770624 swapFree=0/426988
[pid=12624] ppid=12620 vsize=10563416 CPUtime=1.88 cores=1,3,5,7
/proc/12624/stat : 12624 (java) S 12620 12624 25139 0 -1 1077944320 29600 12473 0 0 171 9 5 3 20 0 15 0 55387408 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140732202835248 140548142862071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
/proc/12624/statm: 2640854 41109 3381 1 0 2630027 0
[pid=12624/tid=12722] ppid=12620 vsize=10563416 CPUtime=1.29 cores=1,3,5,7
/proc/12624/task/12722/stat : 12722 (java) S 12620 12624 25139 0 -1 1077944384 22692 12473 0 0 115 6 5 3 20 0 15 0 55387429 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140548147077744 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12723] ppid=12620 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12723/stat : 12723 (java) R 12620 12624 25139 0 -1 1077944384 29 12473 0 0 0 0 5 3 20 0 15 0 55387430 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547753507984 140548142872277 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12724] ppid=12620 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12724/stat : 12724 (java) R 12620 12624 25139 0 -1 4202560 58 12473 0 0 0 0 5 3 20 0 15 0 55387430 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547752455184 140548135965718 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12725] ppid=12620 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12725/stat : 12725 (java) R 12620 12624 25139 0 -1 4202560 32 12473 0 0 0 0 5 3 20 0 15 0 55387430 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547751402384 140548135958544 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12726] ppid=12620 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12726/stat : 12726 (java) R 12620 12624 25139 0 -1 4202560 205 12473 0 0 0 0 5 3 20 0 15 0 55387430 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547750349584 140548127850471 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12727] ppid=12620 vsize=10563416 CPUtime=0.09 cores=1,3,5,7
/proc/12624/task/12727/stat : 12727 (java) S 12620 12624 25139 0 -1 1077944384 1722 12473 0 0 1 0 5 3 20 0 15 0 55387431 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547706389408 140548142872277 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12728] ppid=12620 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12728/stat : 12728 (java) S 12620 12624 25139 0 -1 1077944384 33 12473 0 0 0 0 5 3 20 0 15 0 55387431 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547637371936 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12729] ppid=12620 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12729/stat : 12729 (java) S 12620 12624 25139 0 -1 1077944384 21 12473 0 0 0 0 5 3 20 0 15 0 55387432 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547636319088 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12735] ppid=12620 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12735/stat : 12735 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547635267408 140548142880667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12736] ppid=12620 vsize=10563416 CPUtime=0.2 cores=1,3,5,7
/proc/12624/task/12736/stat : 12736 (java) S 12620 12624 25139 0 -1 1077944384 921 12473 0 0 12 0 5 3 20 0 15 0 55387434 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547634215792 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12737] ppid=12620 vsize=10563416 CPUtime=0.25 cores=1,3,5,7
/proc/12624/task/12737/stat : 12737 (java) S 12620 12624 25139 0 -1 1077944384 773 12473 0 0 17 0 5 3 20 0 15 0 55387434 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547633162992 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12738] ppid=12620 vsize=10563416 CPUtime=0.3 cores=1,3,5,7
/proc/12624/task/12738/stat : 12738 (java) S 12620 12624 25139 0 -1 1077944384 971 12473 0 0 22 0 5 3 20 0 15 0 55387434 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547632106064 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12739] ppid=12620 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12739/stat : 12739 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547631057632 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12752] ppid=12620 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12752/stat : 12752 (java) S 12620 12624 25139 0 -1 1077944384 6 12473 0 0 0 0 5 3 20 0 15 0 55387440 10816937984 41109 18446744073709551615 4194304 4196468 140732202852704 140547630004912 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10563416

[startup+3.10104 s]
/proc/loadavg: 1.06 1.06 1.17 8/213 12753
/proc/meminfo: memFree=31014056/32770624 swapFree=0/426988
[pid=12624] ppid=12620 vsize=10577940 CPUtime=5.37 cores=1,3,5,7
/proc/12624/stat : 12624 (java) S 12620 12624 25139 0 -1 1077944320 49744 12473 0 0 514 15 5 3 20 0 15 0 55387408 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140732202835248 140548142862071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
/proc/12624/statm: 2644485 55955 3456 1 0 2633099 0
[pid=12624/tid=12722] ppid=12620 vsize=10577940 CPUtime=2.87 cores=1,3,5,7
/proc/12624/task/12722/stat : 12722 (java) R 12620 12624 25139 0 -1 4202560 36527 12473 0 0 270 9 5 3 20 0 15 0 55387429 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140548147091968 140548142883997 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12723] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12723/stat : 12723 (java) S 12620 12624 25139 0 -1 1077944384 34 12473 0 0 0 0 5 3 20 0 15 0 55387430 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547753507984 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12724] ppid=12620 vsize=10577940 CPUtime=0.09 cores=1,3,5,7
/proc/12624/task/12724/stat : 12724 (java) S 12620 12624 25139 0 -1 1077944384 59 12473 0 0 1 0 5 3 20 0 15 0 55387430 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547752455184 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12725] ppid=12620 vsize=10577940 CPUtime=0.09 cores=1,3,5,7
/proc/12624/task/12725/stat : 12725 (java) S 12620 12624 25139 0 -1 1077944384 34 12473 0 0 1 0 5 3 20 0 15 0 55387430 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547751402384 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12726] ppid=12620 vsize=10577940 CPUtime=0.09 cores=1,3,5,7
/proc/12624/task/12726/stat : 12726 (java) S 12620 12624 25139 0 -1 1077944384 206 12473 0 0 1 0 5 3 20 0 15 0 55387430 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547750349584 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12727] ppid=12620 vsize=10577940 CPUtime=0.09 cores=1,3,5,7
/proc/12624/task/12727/stat : 12727 (java) S 12620 12624 25139 0 -1 1077944384 1907 12473 0 0 1 0 5 3 20 0 15 0 55387431 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547706390896 140548142873218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12728] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12728/stat : 12728 (java) S 12620 12624 25139 0 -1 1077944384 56 12473 0 0 0 0 5 3 20 0 15 0 55387431 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547637371936 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12729] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12729/stat : 12729 (java) S 12620 12624 25139 0 -1 1077944384 44 12473 0 0 0 0 5 3 20 0 15 0 55387432 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547636319088 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12735] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12735/stat : 12735 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547635267408 140548142880667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12736] ppid=12620 vsize=10577940 CPUtime=0.95 cores=1,3,5,7
/proc/12624/task/12736/stat : 12736 (java) S 12620 12624 25139 0 -1 1077944384 4363 12473 0 0 86 1 5 3 20 0 15 0 55387434 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547634215792 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12737] ppid=12620 vsize=10577940 CPUtime=0.68 cores=1,3,5,7
/proc/12624/task/12737/stat : 12737 (java) R 12620 12624 25139 0 -1 4202560 1326 12473 0 0 60 0 5 3 20 0 15 0 55387434 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547633149016 140548124384572 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12738] ppid=12620 vsize=10577940 CPUtime=0.99 cores=1,3,5,7
/proc/12624/task/12738/stat : 12738 (java) S 12620 12624 25139 0 -1 1077944384 3041 12473 0 0 89 2 5 3 20 0 15 0 55387434 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547632110192 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12739] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12739/stat : 12739 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547631057632 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12752] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12752/stat : 12752 (java) S 12620 12624 25139 0 -1 1077944384 7 12473 0 0 0 0 5 3 20 0 15 0 55387440 10831810560 55955 18446744073709551615 4194304 4196468 140732202852704 140547630004912 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 10577940

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

[startup+3.20598 s]
/proc/loadavg: 1.06 1.06 1.17 8/213 12753
/proc/meminfo: memFree=31014056/32770624 swapFree=0/426988
[pid=12624] ppid=12620 vsize=10577940 CPUtime=5.72 cores=1,3,5,7
/proc/12624/stat : 12624 (java) S 12620 12624 25139 0 -1 1077944320 50391 12473 0 0 549 15 5 3 20 0 15 0 55387408 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140732202835248 140548142862071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
/proc/12624/statm: 2644485 57531 3458 1 0 2633099 0
[pid=12624/tid=12722] ppid=12620 vsize=10577940 CPUtime=2.98 cores=1,3,5,7
/proc/12624/task/12722/stat : 12722 (java) R 12620 12624 25139 0 -1 4202560 36644 12473 0 0 281 9 5 3 20 0 15 0 55387429 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140548147093648 140547792087727 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12723] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12723/stat : 12723 (java) S 12620 12624 25139 0 -1 1077944384 34 12473 0 0 0 0 5 3 20 0 15 0 55387430 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547753507984 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12724] ppid=12620 vsize=10577940 CPUtime=0.09 cores=1,3,5,7
/proc/12624/task/12724/stat : 12724 (java) S 12620 12624 25139 0 -1 1077944384 59 12473 0 0 1 0 5 3 20 0 15 0 55387430 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547752455184 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12725] ppid=12620 vsize=10577940 CPUtime=0.09 cores=1,3,5,7
/proc/12624/task/12725/stat : 12725 (java) S 12620 12624 25139 0 -1 1077944384 34 12473 0 0 1 0 5 3 20 0 15 0 55387430 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547751402384 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12726] ppid=12620 vsize=10577940 CPUtime=0.09 cores=1,3,5,7
/proc/12624/task/12726/stat : 12726 (java) S 12620 12624 25139 0 -1 1077944384 206 12473 0 0 1 0 5 3 20 0 15 0 55387430 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547750349584 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12727] ppid=12620 vsize=10577940 CPUtime=0.09 cores=1,3,5,7
/proc/12624/task/12727/stat : 12727 (java) S 12620 12624 25139 0 -1 1077944384 1907 12473 0 0 1 0 5 3 20 0 15 0 55387431 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547706390896 140548142873218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12728] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12728/stat : 12728 (java) S 12620 12624 25139 0 -1 1077944384 56 12473 0 0 0 0 5 3 20 0 15 0 55387431 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547637371936 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12729] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12729/stat : 12729 (java) S 12620 12624 25139 0 -1 1077944384 44 12473 0 0 0 0 5 3 20 0 15 0 55387432 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547636319088 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12735] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12735/stat : 12735 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547635267408 140548142880667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12736] ppid=12620 vsize=10577940 CPUtime=1.04 cores=1,3,5,7
/proc/12624/task/12736/stat : 12736 (java) R 12620 12624 25139 0 -1 4202560 4489 12473 0 0 95 1 5 3 20 0 15 0 55387434 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547634200944 140548124383462 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12737] ppid=12620 vsize=10577940 CPUtime=0.76 cores=1,3,5,7
/proc/12624/task/12737/stat : 12737 (java) R 12620 12624 25139 0 -1 4202560 1537 12473 0 0 68 0 5 3 20 0 15 0 55387434 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547633144008 140548127987974 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12738] ppid=12620 vsize=10577940 CPUtime=1.06 cores=1,3,5,7
/proc/12624/task/12738/stat : 12738 (java) R 12620 12624 25139 0 -1 4202560 3235 12473 0 0 96 2 5 3 20 0 15 0 55387434 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547632110192 140548135966779 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12739] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12739/stat : 12739 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547631057632 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12752] ppid=12620 vsize=10577940 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12752/stat : 12752 (java) S 12620 12624 25139 0 -1 1077944384 7 12473 0 0 0 0 5 3 20 0 15 0 55387440 10831810560 57531 18446744073709551615 4194304 4196468 140732202852704 140547630004912 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 10577940

[startup+4.80062 s]
/proc/loadavg: 1.06 1.06 1.17 9/213 12753
/proc/meminfo: memFree=30751804/32770624 swapFree=0/426980
[pid=12624] ppid=12620 vsize=10647572 CPUtime=10.63 cores=1,3,5,7
/proc/12624/stat : 12624 (java) S 12620 12624 25139 0 -1 1077944320 69572 12473 0 0 1031 24 5 3 20 0 15 0 55387408 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140732202835248 140548142862071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
/proc/12624/statm: 2661893 81121 3480 1 0 2650507 0
[pid=12624/tid=12722] ppid=12620 vsize=10647572 CPUtime=4.31 cores=1,3,5,7
/proc/12624/task/12722/stat : 12722 (java) R 12620 12624 25139 0 -1 4202560 46012 12473 0 0 412 11 5 3 20 0 15 0 55387429 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140548147090640 140548142883901 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12723] ppid=12620 vsize=10647572 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12723/stat : 12723 (java) S 12620 12624 25139 0 -1 1077944384 74 12473 0 0 11 0 5 3 20 0 15 0 55387430 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547753507984 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12724] ppid=12620 vsize=10647572 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12724/stat : 12724 (java) S 12620 12624 25139 0 -1 1077944384 122 12473 0 0 11 0 5 3 20 0 15 0 55387430 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547752455184 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12725] ppid=12620 vsize=10647572 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12725/stat : 12725 (java) S 12620 12624 25139 0 -1 1077944384 50 12473 0 0 11 0 5 3 20 0 15 0 55387430 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547751402384 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12726] ppid=12620 vsize=10647572 CPUtime=0.22 cores=1,3,5,7
/proc/12624/task/12726/stat : 12726 (java) S 12620 12624 25139 0 -1 1077944384 234 12473 0 0 14 0 5 3 20 0 15 0 55387430 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547750349584 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12727] ppid=12620 vsize=10647572 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12727/stat : 12727 (java) S 12620 12624 25139 0 -1 1077944384 2590 12473 0 0 11 0 5 3 20 0 15 0 55387431 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547706390896 140548142873218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12728] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12728/stat : 12728 (java) S 12620 12624 25139 0 -1 1077944384 56 12473 0 0 0 0 5 3 20 0 15 0 55387431 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547637372000 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12729] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12729/stat : 12729 (java) S 12620 12624 25139 0 -1 1077944384 46 12473 0 0 0 0 5 3 20 0 15 0 55387432 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547636319104 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12735] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12735/stat : 12735 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547635267408 140548142880667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12736] ppid=12620 vsize=10647572 CPUtime=2.52 cores=1,3,5,7
/proc/12624/task/12736/stat : 12736 (java) R 12620 12624 25139 0 -1 4202560 9483 12473 0 0 239 5 5 3 20 0 15 0 55387434 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547634202320 140548126074461 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12737] ppid=12620 vsize=10647572 CPUtime=1.78 cores=1,3,5,7
/proc/12624/task/12737/stat : 12737 (java) R 12620 12624 25139 0 -1 4202560 3908 12473 0 0 169 1 5 3 20 0 15 0 55387434 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547633150304 140548126356646 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12738] ppid=12620 vsize=10647572 CPUtime=1.58 cores=1,3,5,7
/proc/12624/task/12738/stat : 12738 (java) S 12620 12624 25139 0 -1 1077944384 4849 12473 0 0 148 2 5 3 20 0 15 0 55387434 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547632110192 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12739] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12739/stat : 12739 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547631057632 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12752] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12752/stat : 12752 (java) R 12620 12624 25139 0 -1 1077944384 8 12473 0 0 0 0 5 3 20 0 15 0 55387440 10903113728 81121 18446744073709551615 4194304 4196468 140732202852704 140547630004912 140548142873218 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
Current children cumulated CPU time (s) 10.63
Current children cumulated vsize (KiB) 10647572

[startup+5.60668 s]
/proc/loadavg: 1.06 1.06 1.17 6/213 12753
/proc/meminfo: memFree=30669612/32770624 swapFree=0/426984
[pid=12624] ppid=12620 vsize=10647572 CPUtime=13.11 cores=1,3,5,7
/proc/12624/stat : 12624 (java) S 12620 12624 25139 0 -1 1077944320 77126 12473 0 0 1278 25 5 3 20 0 15 0 55387408 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140732202835248 140548142862071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
/proc/12624/statm: 2661893 92842 3489 1 0 2650507 0
[pid=12624/tid=12722] ppid=12620 vsize=10647572 CPUtime=5.11 cores=1,3,5,7
/proc/12624/task/12722/stat : 12722 (java) R 12620 12624 25139 0 -1 4202560 47515 12473 0 0 491 12 5 3 20 0 15 0 55387429 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140548147093096 140547785111583 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12723] ppid=12620 vsize=10647572 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12723/stat : 12723 (java) S 12620 12624 25139 0 -1 1077944384 79 12473 0 0 11 0 5 3 20 0 15 0 55387430 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547753507984 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12724] ppid=12620 vsize=10647572 CPUtime=0.2 cores=1,3,5,7
/proc/12624/task/12724/stat : 12724 (java) S 12620 12624 25139 0 -1 1077944384 159 12473 0 0 12 0 5 3 20 0 15 0 55387430 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547752455184 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12725] ppid=12620 vsize=10647572 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12725/stat : 12725 (java) S 12620 12624 25139 0 -1 1077944384 64 12473 0 0 11 0 5 3 20 0 15 0 55387430 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547751402384 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12726] ppid=12620 vsize=10647572 CPUtime=0.22 cores=1,3,5,7
/proc/12624/task/12726/stat : 12726 (java) S 12620 12624 25139 0 -1 1077944384 991 12473 0 0 14 0 5 3 20 0 15 0 55387430 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547750349584 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12727] ppid=12620 vsize=10647572 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12727/stat : 12727 (java) S 12620 12624 25139 0 -1 1077944384 2611 12473 0 0 11 0 5 3 20 0 15 0 55387431 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547706390896 140548142873218 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12728] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12728/stat : 12728 (java) S 12620 12624 25139 0 -1 1077944384 59 12473 0 0 0 0 5 3 20 0 15 0 55387431 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547637372000 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12729] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12729/stat : 12729 (java) S 12620 12624 25139 0 -1 1077944384 48 12473 0 0 0 0 5 3 20 0 15 0 55387432 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547636319104 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12735] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12735/stat : 12735 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547635267408 140548142880667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12736] ppid=12620 vsize=10647572 CPUtime=3.3 cores=1,3,5,7
/proc/12624/task/12736/stat : 12736 (java) R 12620 12624 25139 0 -1 4202560 11474 12473 0 0 317 5 5 3 20 0 15 0 55387434 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547634199984 140548123562725 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12737] ppid=12620 vsize=10647572 CPUtime=2.57 cores=1,3,5,7
/proc/12624/task/12737/stat : 12737 (java) R 12620 12624 25139 0 -1 4202560 5995 12473 0 0 248 1 5 3 20 0 15 0 55387434 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547633144560 140548127254590 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12738] ppid=12620 vsize=10647572 CPUtime=1.68 cores=1,3,5,7
/proc/12624/task/12738/stat : 12738 (java) S 12620 12624 25139 0 -1 1077944384 5562 12473 0 0 157 3 5 3 20 0 15 0 55387434 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547632110192 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12739] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12739/stat : 12739 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547631057632 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12752] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12752/stat : 12752 (java) S 12620 12624 25139 0 -1 1077944384 429 12473 0 0 0 0 5 3 20 0 15 0 55387440 10903113728 92842 18446744073709551615 4194304 4196468 140732202852704 140547630004912 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (KiB) 10647572

[startup+6.00098 s]
/proc/loadavg: 1.06 1.06 1.17 6/213 12753
/proc/meminfo: memFree=30669612/32770624 swapFree=0/426984
[pid=12624] ppid=12620 vsize=10647572 CPUtime=14.24 cores=1,3,5,7
/proc/12624/stat : 12624 (java) S 12620 12624 25139 0 -1 1077944320 80078 12473 0 0 1390 26 5 3 20 0 15 0 55387408 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140732202835248 140548142862071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
/proc/12624/statm: 2661893 93526 3492 1 0 2650507 0
[pid=12624/tid=12722] ppid=12620 vsize=10647572 CPUtime=5.5 cores=1,3,5,7
/proc/12624/task/12722/stat : 12722 (java) R 12620 12624 25139 0 -1 4202560 48395 12473 0 0 530 12 5 3 20 0 15 0 55387429 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140548147092536 140547799428337 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12723] ppid=12620 vsize=10647572 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12723/stat : 12723 (java) S 12620 12624 25139 0 -1 1077944384 99 12473 0 0 11 0 5 3 20 0 15 0 55387430 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547753507984 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12724] ppid=12620 vsize=10647572 CPUtime=0.2 cores=1,3,5,7
/proc/12624/task/12724/stat : 12724 (java) S 12620 12624 25139 0 -1 1077944384 235 12473 0 0 12 0 5 3 20 0 15 0 55387430 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547752455184 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12725] ppid=12620 vsize=10647572 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12725/stat : 12725 (java) S 12620 12624 25139 0 -1 1077944384 368 12473 0 0 11 0 5 3 20 0 15 0 55387430 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547751402384 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12726] ppid=12620 vsize=10647572 CPUtime=0.22 cores=1,3,5,7
/proc/12624/task/12726/stat : 12726 (java) S 12620 12624 25139 0 -1 1077944384 993 12473 0 0 14 0 5 3 20 0 15 0 55387430 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547750349584 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12727] ppid=12620 vsize=10647572 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12727/stat : 12727 (java) S 12620 12624 25139 0 -1 1077944384 2777 12473 0 0 11 0 5 3 20 0 15 0 55387431 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547706390896 140548142873218 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12728] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12728/stat : 12728 (java) S 12620 12624 25139 0 -1 1077944384 61 12473 0 0 0 0 5 3 20 0 15 0 55387431 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547637372000 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12729] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12729/stat : 12729 (java) S 12620 12624 25139 0 -1 1077944384 48 12473 0 0 0 0 5 3 20 0 15 0 55387432 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547636319104 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12735] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12735/stat : 12735 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547635267408 140548142880667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12736] ppid=12620 vsize=10647572 CPUtime=3.67 cores=1,3,5,7
/proc/12624/task/12736/stat : 12736 (java) R 12620 12624 25139 0 -1 4202560 12181 12473 0 0 354 5 5 3 20 0 15 0 55387434 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547634203408 140548126358841 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12737] ppid=12620 vsize=10647572 CPUtime=2.89 cores=1,3,5,7
/proc/12624/task/12737/stat : 12737 (java) R 12620 12624 25139 0 -1 4202560 6466 12473 0 0 280 1 5 3 20 0 15 0 55387434 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547633162992 140548135958907 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12738] ppid=12620 vsize=10647572 CPUtime=1.72 cores=1,3,5,7
/proc/12624/task/12738/stat : 12738 (java) S 12620 12624 25139 0 -1 1077944384 5880 12473 0 0 161 3 5 3 20 0 15 0 55387434 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547632105232 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12739] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12739/stat : 12739 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 15 0 55387434 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547631057632 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12752] ppid=12620 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12752/stat : 12752 (java) S 12620 12624 25139 0 -1 1077944384 438 12473 0 0 0 0 5 3 20 0 15 0 55387440 10903113728 93526 18446744073709551615 4194304 4196468 140732202852704 140547630004912 140548142873218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
Current children cumulated CPU time (s) 14.24
Current children cumulated vsize (KiB) 10647572

[startup+6.10066 s]
/proc/loadavg: 1.06 1.06 1.17 6/213 12753
/proc/meminfo: memFree=30669612/32770624 swapFree=0/426984
[pid=12624] ppid=12620 vsize=10714136 CPUtime=14.48 cores=1,3,5,7
/proc/12624/stat : 12624 (java) S 12620 12624 25139 0 -1 1077944320 81132 12473 0 0 1414 26 5 3 20 0 14 0 55387408 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140732202835248 140548142862071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
/proc/12624/statm: 2678534 93567 3494 1 0 2667148 0
[pid=12624/tid=12722] ppid=12620 vsize=10714136 CPUtime=5.59 cores=1,3,5,7
/proc/12624/task/12722/stat : 12722 (java) S 12620 12624 25139 0 -1 1077944384 49336 12473 0 0 539 12 5 3 20 0 14 0 55387429 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140548147104912 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12723] ppid=12620 vsize=10714136 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12723/stat : 12723 (java) S 12620 12624 25139 0 -1 1077944384 99 12473 0 0 11 0 5 3 20 0 14 0 55387430 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547753507984 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12724] ppid=12620 vsize=10714136 CPUtime=0.2 cores=1,3,5,7
/proc/12624/task/12724/stat : 12724 (java) S 12620 12624 25139 0 -1 1077944384 235 12473 0 0 12 0 5 3 20 0 14 0 55387430 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547752455184 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12725] ppid=12620 vsize=10714136 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12725/stat : 12725 (java) S 12620 12624 25139 0 -1 1077944384 368 12473 0 0 11 0 5 3 20 0 14 0 55387430 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547751402384 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12726] ppid=12620 vsize=10714136 CPUtime=0.22 cores=1,3,5,7
/proc/12624/task/12726/stat : 12726 (java) S 12620 12624 25139 0 -1 1077944384 993 12473 0 0 14 0 5 3 20 0 14 0 55387430 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547750349584 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12727] ppid=12620 vsize=10714136 CPUtime=0.19 cores=1,3,5,7
/proc/12624/task/12727/stat : 12727 (java) S 12620 12624 25139 0 -1 1077944384 2777 12473 0 0 11 0 5 3 20 0 14 0 55387431 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547706391104 140548142873218 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12728] ppid=12620 vsize=10714136 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12728/stat : 12728 (java) S 12620 12624 25139 0 -1 1077944384 61 12473 0 0 0 0 5 3 20 0 14 0 55387431 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547637372000 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12729] ppid=12620 vsize=10714136 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12729/stat : 12729 (java) S 12620 12624 25139 0 -1 1077944384 48 12473 0 0 0 0 5 3 20 0 14 0 55387432 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547636319104 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12735] ppid=12620 vsize=10714136 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12735/stat : 12735 (java) S 12620 12624 25139 0 -1 1077944384 6 12473 0 0 0 0 5 3 20 0 14 0 55387434 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547635267056 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12736] ppid=12620 vsize=10714136 CPUtime=3.77 cores=1,3,5,7
/proc/12624/task/12736/stat : 12736 (java) R 12620 12624 25139 0 -1 4202560 12181 12473 0 0 364 5 5 3 20 0 14 0 55387434 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547634203296 140548126358830 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12737] ppid=12620 vsize=10714136 CPUtime=2.93 cores=1,3,5,7
/proc/12624/task/12737/stat : 12737 (java) S 12620 12624 25139 0 -1 1077944384 6503 12473 0 0 284 1 5 3 20 0 14 0 55387434 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547633148112 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12738] ppid=12620 vsize=10714136 CPUtime=1.72 cores=1,3,5,7
/proc/12624/task/12738/stat : 12738 (java) S 12620 12624 25139 0 -1 1077944384 5898 12473 0 0 161 3 5 3 20 0 14 0 55387434 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547632104992 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
[pid=12624/tid=12739] ppid=12620 vsize=10714136 CPUtime=0.08 cores=1,3,5,7
/proc/12624/task/12739/stat : 12739 (java) S 12620 12624 25139 0 -1 1077944384 3 12473 0 0 0 0 5 3 20 0 14 0 55387434 10971275264 93567 18446744073709551615 4194304 4196468 140732202852704 140547631057632 140548142872277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732202854363 140732202857137 140732202857137 140732202860495 0
Current children cumulated CPU time (s) 14.48
Current children cumulated vsize (KiB) 10714136

Child status: 0
Real time (s): 6.12371
CPU time (s): 14.5122
CPU user time (s): 14.2016
CPU system time (s): 0.310626
CPU usage (%): 236.983
Max. virtual memory (cumulated for all children) (KiB): 10714136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2016
system time used= 0.310626
maximum resident set size= 374616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93628
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= 7370
involuntary context switches= 201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038932 second user time and 0.037934 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-07 05:52:55
IDJOB=4244630
IDBENCH=115820
IDSOLVER=2630
FILE ID=node134/4244630-1502078813
RUNJOBID= node134-1502077974-12599
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-04-04-3.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244630-1502078813/watcher-4244630-1502078813 -o /tmp/evaluation-result-4244630-1502078813/solver-4244630-1502078813 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12599 --watchdog 2560  bin/concrete HOME/instance-4244630-1502078813.xml

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

MD5SUM BENCH= d594ce2470bfcbe7ad5c857fb9f8254a
RANDOM SEED=1549878618

node134.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.43
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.43
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.43
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.43
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:        31363392 kB
MemAvailable:   32000548 kB
Buffers:          200320 kB
Cached:           727688 kB
SwapCached:            0 kB
Active:           534260 kB
Inactive:         449756 kB
Active(anon):      59156 kB
Inactive(anon):    23032 kB
Active(file):     475104 kB
Inactive(file):   426724 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             47588 kB
Writeback:             0 kB
AnonPages:         56632 kB
Mapped:            39908 kB
Shmem:             25276 kB
Slab:             127904 kB
SReclaimable:     102328 kB
SUnreclaim:        25576 kB
KernelStack:        3168 kB
PageTables:         4732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     298308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61984 MiB
End job on node134 at 2017-08-07 05:53:02