Trace number 4244632

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: choco-solver 4.0.5 (2017-07-05)SAT (TO)435 2400.29 611.03198

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-07-07-6.xml
MD5SUMc933cd09e9acfeb17baa8719fd3b3e7c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark429
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables203
Number of constraints168
Number of domains9
Minimum domain size6
Maximum domain size535
Distribution of domain sizes[{"size":6,"count":7},{"size":7,"count":91},{"size":535,"count":105}]
Minimum variable degree2
Maximum variable degree8
Distribution of variable degrees[{"degree":2,"count":56},{"degree":3,"count":98},{"degree":8,"count":49}]
Minimum constraint arity1
Maximum constraint arity9
Distribution of constraint arities[{"arity":1,"count":7},{"arity":2,"count":49},{"arity":3,"count":49},{"arity":7,"count":14},{"arity":9,"count":49}]
Number of extensional constraints49
Number of intensional constraints56
Distribution of constraint types[{"type":"extension","count":49},{"type":"intension","count":56},{"type":"allDifferent","count":7},{"type":"noOverlap","count":7},{"type":"element","count":49}]
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 

0.00/0.07	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244632-1502043748.xml"  -tl '2400s' -p 4 -x 0
0.00/0.24	c [HOME/instance-4244632-1502043748.xml, -tl, 2400s, -p, 4, -x, 0]
0.00/0.30	c 4 solvers in parallel
0.00/0.37	c parse instance...
0.00/0.77	c solve instance...
28.60/7.65	o 534 
28.60/7.68	o 533 
28.97/7.72	o 531 
29.65/7.95	o 522 
30.28/8.13	o 520 
32.66/8.80	o 519 
34.88/9.34	o 518 
35.60/9.64	o 511 
39.07/10.54	o 510 
41.02/11.06	o 509 
41.76/11.36	o 508 
42.10/11.51	o 507 
42.36/11.69	o 506 
43.75/12.21	o 505 
43.75/12.26	o 504 
43.75/12.29	o 503 
44.48/12.49	o 502 
45.42/12.73	o 501 
45.89/12.99	o 500 
46.97/13.34	o 499 
47.40/13.50	o 498 
49.82/14.28	o 497 
51.70/14.89	o 489 
51.83/14.96	o 488 
51.83/15.00	o 484 
52.96/15.43	o 483 
52.96/15.50	o 482 
53.32/15.57	o 481 
55.18/16.38	o 474 
57.62/17.27	o 473 
66.43/19.60	o 472 
66.78/19.76	o 471 
68.17/20.14	o 470 
69.74/20.74	o 469 
70.61/21.19	o 468 
71.12/21.42	o 467 
72.25/21.79	o 466 
73.03/21.99	o 465 
73.92/22.26	o 464 
75.56/22.77	o 463 
83.99/25.05	o 462 
84.81/25.41	o 461 
92.29/27.54	o 460 
98.09/29.08	o 459 
108.63/31.84	o 458 
109.49/32.15	o 456 
109.95/32.31	o 455 
125.03/36.15	o 454 
131.21/37.70	o 453 
133.14/38.25	o 452 
138.37/39.79	o 451 
142.20/40.94	o 450 
155.70/44.43	o 449 
173.01/49.03	o 448 
173.01/49.05	o 447 
179.49/50.85	o 446 
192.58/54.29	o 445 
214.57/59.95	o 444 
221.26/61.75	o 438 
398.09/106.44	o 437 
558.04/147.07	o 436 
1086.45/280.33	o 435 
2400.29/611.06	s SATISFIABLE
2400.29/611.06	v <instantiation>
2400.29/611.06	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] e[0] e[1] e[2] e[3] e[4] e[5] e[6] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] </list>
2400.29/611.06	v 	<values>1 6 29 96 190 236 338 8 64 132 178 257 319 402 13 102 117 193 257 346 354 0 33 157 255 319 329 366 0 82 101 183 195 254 357 0 10 94 173 253 334 366 18 57 106 215 246 341 388 414 427 435 432 435 435 435 5 9 66 94 25 98 76 56 30 46 58 59 69 25 82 15 60 64 84 6 81 28 97 93 61 10 28 66 56 19 72 10 59 99 78 10 71 63 80 76 32 69 34 48 87 31 95 46 47 0 1 5 2 6 3 4 6 1 0 3 4 2 5 2 6 3 4 5 0 1 5 0 1 2 4 6 3 3 4 5 0 2 1 6 2 4 1 5 6 3 0 1 3 4 6 0 5 2 1 6 96 236 338 29 190 132 64 319 178 257 402 8 346 354 13 117 193 257 102 33 157 255 366 319 0 329 183 254 195 0 82 101 357 366 94 0 334 10 173 253 246 18 388 57 106 341 215 </values>
2400.29/611.06	v </instantiation>
2400.29/611.06	c Unexpected resolution interruption!

Verifier Data 

OK	435

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-4244632-1502043748/watcher-4244632-1502043748 -o /tmp/evaluation-result-4244632-1502043748/solver-4244632-1502043748 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 25836690 HOME/instance-4244632-1502043748.xml 

pid=359
running on 4 cores: 0,2,4,6

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: 8.62 7.46 4.87 6/204 362
/proc/meminfo: memFree=30360640/32770624 swapFree=0/318700
[pid=362] ppid=359 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/362/stat : 362 (runsolver) D 359 362 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 52190099 24240128 106 18446744073709551615 4194304 4338465 140729024190752 140729024188392 139717212623575 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 36372480 140729024192600 140729024193097 140729024193097 140729024196554 0
/proc/362/statm: 5918 106 53 36 0 2156 0

[startup+0.100112 s]
/proc/loadavg: 8.62 7.46 4.87 6/204 362
/proc/meminfo: memFree=30360640/32770624 swapFree=0/318700
[pid=362] ppid=359 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/362/stat : 362 (xcsp3-exec) S 359 362 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52190099 9740288 344 18446744073709551615 4194304 5098028 140735763151952 140735763150056 140559782969980 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33325056 140735763157402 140735763157610 140735763157610 140735763161067 0
/proc/362/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.201166 s]
/proc/loadavg: 8.62 7.46 4.87 6/204 362
/proc/meminfo: memFree=30360640/32770624 swapFree=0/318700
[pid=362] ppid=359 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/362/stat : 362 (xcsp3-exec) S 359 362 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52190099 9740288 344 18446744073709551615 4194304 5098028 140735763151952 140735763150056 140559782969980 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33325056 140735763157402 140735763157610 140735763157610 140735763161067 0
/proc/362/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300246 s]
/proc/loadavg: 8.62 7.46 4.87 6/204 362
/proc/meminfo: memFree=30360640/32770624 swapFree=0/318700
[pid=362] ppid=359 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/362/stat : 362 (xcsp3-exec) S 359 362 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52190099 9740288 344 18446744073709551615 4194304 5098028 140735763151952 140735763150056 140559782969980 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33325056 140735763157402 140735763157610 140735763157610 140735763161067 0
/proc/362/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700163 s]
/proc/loadavg: 8.62 7.46 4.87 6/204 362
/proc/meminfo: memFree=30360640/32770624 swapFree=0/318700
[pid=362] ppid=359 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/362/stat : 362 (xcsp3-exec) S 359 362 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52190099 9740288 344 18446744073709551615 4194304 5098028 140735763151952 140735763150056 140559782969980 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33325056 140735763157402 140735763157610 140735763157610 140735763161067 0
/proc/362/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50617 s]
/proc/loadavg: 8.62 7.46 4.87 12/224 382
/proc/meminfo: memFree=30268292/32770624 swapFree=0/318744
[pid=362] ppid=359 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/362/stat : 362 (xcsp3-exec) S 359 362 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52190099 9740288 344 18446744073709551615 4194304 5098028 140735763151952 140735763150056 140559782969980 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33325056 140735763157402 140735763157610 140735763157610 140735763161067 0
/proc/362/statm: 2378 344 289 221 0 87 0
[pid=364] ppid=362 vsize=13185584 CPUtime=4.39 cores=0,2,4,6
/proc/364/stat : 364 (java) S 362 362 25100 0 -1 1077944320 21933 0 0 0 433 6 0 0 20 0 19 0 52190107 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140723096286192 140362961694455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
/proc/364/statm: 3296396 31893 3188 1 0 3284688 0
[pid=364/tid=365] ppid=362 vsize=13185584 CPUtime=0.67 cores=0,2,4,6
/proc/364/task/365/stat : 365 (java) S 362 362 25100 0 -1 1077944384 9092 0 0 0 64 3 0 0 20 0 19 0 52190107 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362965935232 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=366] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/366/stat : 366 (java) S 362 362 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52190108 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362898176656 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=367] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/367/stat : 367 (java) S 362 362 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52190108 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362897123856 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=368] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/368/stat : 368 (java) S 362 362 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52190108 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362896071056 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=369] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/369/stat : 369 (java) S 362 362 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52190108 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362895018256 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=370] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/370/stat : 370 (java) S 362 362 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52190109 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362444622704 140362961705602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=371] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/371/stat : 371 (java) S 362 362 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 52190109 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362443568672 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=372] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/372/stat : 372 (java) S 362 362 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52190110 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362442515824 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=373] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/373/stat : 373 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362441464144 140362961713051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=374] ppid=362 vsize=13185584 CPUtime=0.62 cores=0,2,4,6
/proc/364/task/374/stat : 374 (java) R 362 362 25100 0 -1 4202560 3753 0 0 0 62 0 0 0 20 0 19 0 52190112 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362440397528 140362943217370 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=375] ppid=362 vsize=13185584 CPUtime=0.75 cores=0,2,4,6
/proc/364/task/375/stat : 375 (java) R 362 362 25100 0 -1 4202560 3675 0 0 0 75 0 0 0 20 0 19 0 52190112 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362439344728 140362941387559 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=376] ppid=362 vsize=13185584 CPUtime=0.64 cores=0,2,4,6
/proc/364/task/376/stat : 376 (java) S 362 362 25100 0 -1 1077944384 3569 0 0 0 63 1 0 0 20 0 19 0 52190112 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362438305904 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=377] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/377/stat : 377 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362437253344 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=378] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/378/stat : 378 (java) S 362 362 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52190116 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362436201648 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=379] ppid=362 vsize=13185584 CPUtime=0.38 cores=0,2,4,6
/proc/364/task/379/stat : 379 (java) R 362 362 25100 0 -1 4202560 80 0 0 0 38 0 0 0 20 0 19 0 52190178 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362428684920 140362573323475 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=380] ppid=362 vsize=13185584 CPUtime=0.38 cores=0,2,4,6
/proc/364/task/380/stat : 380 (java) R 362 362 25100 0 -1 4202560 106 0 0 0 38 0 0 0 20 0 19 0 52190178 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362427636024 140362573083958 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=381] ppid=362 vsize=13185584 CPUtime=0.39 cores=0,2,4,6
/proc/364/task/381/stat : 381 (java) R 362 362 25100 0 -1 4202560 56 0 0 0 39 0 0 0 20 0 19 0 52190178 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362426581416 140362573035340 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=382] ppid=362 vsize=13185584 CPUtime=0.49 cores=0,2,4,6
/proc/364/task/382/stat : 382 (java) R 362 362 25100 0 -1 4202560 294 0 0 0 49 0 0 0 20 0 19 0 52190178 13502038016 31893 18446744073709551615 4194304 4196468 140723096303648 140362425527832 140362568034294 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 13195096

[startup+3.10117 s]
/proc/loadavg: 8.62 7.46 4.87 10/224 382
/proc/meminfo: memFree=30178600/32770624 swapFree=0/318744
[pid=362] ppid=359 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/362/stat : 362 (xcsp3-exec) S 359 362 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52190099 9740288 344 18446744073709551615 4194304 5098028 140735763151952 140735763150056 140559782969980 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33325056 140735763157402 140735763157610 140735763157610 140735763161067 0
/proc/362/statm: 2378 344 289 221 0 87 0
[pid=364] ppid=362 vsize=13185584 CPUtime=10.69 cores=0,2,4,6
/proc/364/stat : 364 (java) S 362 362 25100 0 -1 1077944320 47784 0 0 0 1058 11 0 0 20 0 19 0 52190107 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140723096286192 140362961694455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
/proc/364/statm: 3296396 63828 3201 1 0 3284688 0
[pid=364/tid=365] ppid=362 vsize=13185584 CPUtime=0.67 cores=0,2,4,6
/proc/364/task/365/stat : 365 (java) S 362 362 25100 0 -1 1077944384 9092 0 0 0 64 3 0 0 20 0 19 0 52190107 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362965935232 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=366] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/366/stat : 366 (java) S 362 362 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52190108 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362898176656 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=367] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/367/stat : 367 (java) S 362 362 25100 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 52190108 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362897123856 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=368] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/368/stat : 368 (java) S 362 362 25100 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 52190108 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362896071056 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=369] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/369/stat : 369 (java) S 362 362 25100 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 19 0 52190108 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362895018256 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=370] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/370/stat : 370 (java) S 362 362 25100 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 52190109 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362444622704 140362961705602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=371] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/371/stat : 371 (java) S 362 362 25100 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 52190109 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362443568672 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=372] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/372/stat : 372 (java) S 362 362 25100 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 52190110 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362442515824 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=373] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/373/stat : 373 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362441464144 140362961713051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=374] ppid=362 vsize=13185584 CPUtime=1.48 cores=0,2,4,6
/proc/364/task/374/stat : 374 (java) R 362 362 25100 0 -1 4202560 15224 0 0 0 146 2 0 0 20 0 19 0 52190112 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362440397528 140362946818480 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=375] ppid=362 vsize=13185584 CPUtime=1.46 cores=0,2,4,6
/proc/364/task/375/stat : 375 (java) R 362 362 25100 0 -1 4202560 15602 0 0 0 145 1 0 0 20 0 19 0 52190112 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362439344584 140362943212343 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=376] ppid=362 vsize=13185584 CPUtime=0.7 cores=0,2,4,6
/proc/364/task/376/stat : 376 (java) S 362 362 25100 0 -1 1077944384 4806 0 0 0 68 2 0 0 20 0 19 0 52190112 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362438305904 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=377] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/377/stat : 377 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362437253344 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=378] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/378/stat : 378 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190116 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362436201648 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=379] ppid=362 vsize=13185584 CPUtime=1.5 cores=0,2,4,6
/proc/364/task/379/stat : 379 (java) R 362 362 25100 0 -1 4202560 251 0 0 0 150 0 0 0 20 0 19 0 52190178 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362428688536 140362568045373 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=380] ppid=362 vsize=13185584 CPUtime=1.4 cores=0,2,4,6
/proc/364/task/380/stat : 380 (java) R 362 362 25100 0 -1 4202560 362 0 0 0 139 1 0 0 20 0 19 0 52190178 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362427635896 140362573637205 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=381] ppid=362 vsize=13185584 CPUtime=1.89 cores=0,2,4,6
/proc/364/task/381/stat : 381 (java) R 362 362 25100 0 -1 4202560 182 0 0 0 189 0 0 0 20 0 19 0 52190178 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362426581432 140362574072520 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=382] ppid=362 vsize=13185584 CPUtime=1.53 cores=0,2,4,6
/proc/364/task/382/stat : 382 (java) R 362 362 25100 0 -1 4202560 361 0 0 0 153 0 0 0 20 0 19 0 52190178 13502038016 63828 18446744073709551615 4194304 4196468 140723096303648 140362425527296 140362573221031 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 13195096

[startup+6.30817 s]
/proc/loadavg: 8.81 7.52 4.91 11/224 382
/proc/meminfo: memFree=30084968/32770624 swapFree=0/318744
[pid=362] ppid=359 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/362/stat : 362 (xcsp3-exec) S 359 362 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52190099 9740288 344 18446744073709551615 4194304 5098028 140735763151952 140735763150056 140559782969980 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33325056 140735763157402 140735763157610 140735763157610 140735763161067 0
/proc/362/statm: 2378 344 289 221 0 87 0
[pid=364] ppid=362 vsize=13185584 CPUtime=23.46 cores=0,2,4,6
/proc/364/stat : 364 (java) S 362 362 25100 0 -1 1077944320 52127 0 0 0 2333 13 0 0 20 0 19 0 52190107 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140723096286192 140362961694455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
/proc/364/statm: 3296396 68123 3250 1 0 3284688 0
[pid=364/tid=365] ppid=362 vsize=13185584 CPUtime=0.67 cores=0,2,4,6
/proc/364/task/365/stat : 365 (java) S 362 362 25100 0 -1 1077944384 9092 0 0 0 64 3 0 0 20 0 19 0 52190107 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362965935232 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=366] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/366/stat : 366 (java) S 362 362 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 52190108 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362898176656 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=367] ppid=362 vsize=13185584 CPUtime=0.02 cores=0,2,4,6
/proc/364/task/367/stat : 367 (java) S 362 362 25100 0 -1 1077944384 693 0 0 0 2 0 0 0 20 0 19 0 52190108 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362897123856 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=368] ppid=362 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/364/task/368/stat : 368 (java) S 362 362 25100 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 19 0 52190108 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362896071056 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=369] ppid=362 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/364/task/369/stat : 369 (java) S 362 362 25100 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 19 0 52190108 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362895018256 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=370] ppid=362 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/364/task/370/stat : 370 (java) S 362 362 25100 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 19 0 52190109 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362444622704 140362961705602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=371] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/371/stat : 371 (java) S 362 362 25100 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 52190109 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362443568672 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=372] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/372/stat : 372 (java) S 362 362 25100 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 52190110 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362442515824 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=373] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/373/stat : 373 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362441464144 140362961713051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=374] ppid=362 vsize=13185584 CPUtime=3.55 cores=0,2,4,6
/proc/364/task/374/stat : 374 (java) R 362 362 25100 0 -1 4202560 16560 0 0 0 353 2 0 0 20 0 19 0 52190112 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362440411424 140362943239651 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=375] ppid=362 vsize=13185584 CPUtime=3.53 cores=0,2,4,6
/proc/364/task/375/stat : 375 (java) R 362 362 25100 0 -1 4202560 16621 0 0 0 351 2 0 0 20 0 19 0 52190112 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362439358624 140362945600644 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=376] ppid=362 vsize=13185584 CPUtime=0.76 cores=0,2,4,6
/proc/364/task/376/stat : 376 (java) S 362 362 25100 0 -1 1077944384 5125 0 0 0 74 2 0 0 20 0 19 0 52190112 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362438305904 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=377] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/377/stat : 377 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362437253344 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=378] ppid=362 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/364/task/378/stat : 378 (java) S 362 362 25100 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 52190116 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362436201648 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=379] ppid=362 vsize=13185584 CPUtime=3.72 cores=0,2,4,6
/proc/364/task/379/stat : 379 (java) R 362 362 25100 0 -1 4202560 350 0 0 0 372 0 0 0 20 0 19 0 52190178 13502038016 68123 18446744073709551615 4194304 4196468 140723096303648 140362428687320 140362577625620 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0

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

/proc/362/statm: 2378 344 289 221 0 87 0
[pid=364] ppid=362 vsize=13320760 CPUtime=2047.65 cores=0,2,4,6
/proc/364/stat : 364 (java) S 362 362 25100 0 -1 1077944320 296336 0 0 0 204565 200 0 0 20 0 19 0 52190107 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140723096286192 140362961694455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
/proc/364/statm: 3330190 138124 3276 1 0 3318482 0
[pid=364/tid=365] ppid=362 vsize=13320760 CPUtime=0.7 cores=0,2,4,6
/proc/364/task/365/stat : 365 (java) S 362 362 25100 0 -1 1077944384 12067 0 0 0 67 3 0 0 20 0 19 0 52190107 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362965935232 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=366] ppid=362 vsize=13320760 CPUtime=3.42 cores=0,2,4,6
/proc/364/task/366/stat : 366 (java) S 362 362 25100 0 -1 1077944384 15692 0 0 0 318 24 0 0 20 0 19 0 52190108 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362898176656 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=367] ppid=362 vsize=13320760 CPUtime=3.45 cores=0,2,4,6
/proc/364/task/367/stat : 367 (java) S 362 362 25100 0 -1 1077944384 18754 0 0 0 320 25 0 0 20 0 19 0 52190108 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362897123856 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=368] ppid=362 vsize=13320760 CPUtime=3.44 cores=0,2,4,6
/proc/364/task/368/stat : 368 (java) S 362 362 25100 0 -1 1077944384 17541 0 0 0 318 26 0 0 20 0 19 0 52190108 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362896071056 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=369] ppid=362 vsize=13320760 CPUtime=3.43 cores=0,2,4,6
/proc/364/task/369/stat : 369 (java) S 362 362 25100 0 -1 1077944384 16492 0 0 0 320 23 0 0 20 0 19 0 52190108 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362895018256 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=370] ppid=362 vsize=13320760 CPUtime=1.77 cores=0,2,4,6
/proc/364/task/370/stat : 370 (java) S 362 362 25100 0 -1 1077944384 27421 0 0 0 97 80 0 0 20 0 19 0 52190109 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362444622704 140362961705602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=371] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/371/stat : 371 (java) S 362 362 25100 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 52190109 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362443568736 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=372] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/372/stat : 372 (java) S 362 362 25100 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 52190110 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362442515840 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=373] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/373/stat : 373 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362441464144 140362961713051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=374] ppid=362 vsize=13320760 CPUtime=4.37 cores=0,2,4,6
/proc/364/task/374/stat : 374 (java) S 362 362 25100 0 -1 1077944384 25589 0 0 0 435 2 0 0 20 0 19 0 52190112 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362440411504 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=375] ppid=362 vsize=13320760 CPUtime=4.36 cores=0,2,4,6
/proc/364/task/375/stat : 375 (java) S 362 362 25100 0 -1 1077944384 20210 0 0 0 434 2 0 0 20 0 19 0 52190112 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362439358704 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=376] ppid=362 vsize=13320760 CPUtime=0.88 cores=0,2,4,6
/proc/364/task/376/stat : 376 (java) S 362 362 25100 0 -1 1077944384 14976 0 0 0 86 2 0 0 20 0 19 0 52190112 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362438305904 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=377] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/377/stat : 377 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362437253344 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=378] ppid=362 vsize=13320760 CPUtime=0.17 cores=0,2,4,6
/proc/364/task/378/stat : 378 (java) S 362 362 25100 0 -1 1077944384 1282 0 0 0 10 7 0 0 20 0 19 0 52190116 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362436201648 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=689] ppid=362 vsize=13320760 CPUtime=237.99 cores=0,2,4,6
/proc/364/task/689/stat : 689 (java) R 362 362 25100 0 -1 4202560 10736 0 0 0 23798 1 0 0 20 0 19 0 52218133 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362422380656 140362577625620 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=690] ppid=362 vsize=13320760 CPUtime=238.36 cores=0,2,4,6
/proc/364/task/690/stat : 690 (java) R 362 362 25100 0 -1 4202560 12170 0 0 0 23836 0 0 0 20 0 19 0 52218133 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362421325872 140362577625627 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=691] ppid=362 vsize=13320760 CPUtime=238.2 cores=0,2,4,6
/proc/364/task/691/stat : 691 (java) R 362 362 25100 0 -1 4202560 8566 0 0 0 23820 0 0 0 20 0 19 0 52218133 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362428687064 140362577625643 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=692] ppid=362 vsize=13320760 CPUtime=238.46 cores=0,2,4,6
/proc/364/task/692/stat : 692 (java) R 362 362 25100 0 -1 4202560 9517 0 0 0 23845 1 0 0 20 0 19 0 52218133 13640458240 138124 18446744073709551615 4194304 4196468 140723096303648 140362426580456 140362578150697 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
Current children cumulated CPU time (s) 2047.65
Current children cumulated vsize (KiB) 13330272

[startup+582.301 s]
/proc/loadavg: 8.90 8.49 6.62 10/224 704
/proc/meminfo: memFree=29553044/32770624 swapFree=0/318956
[pid=362] ppid=359 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/362/stat : 362 (xcsp3-exec) S 359 362 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52190099 9740288 344 18446744073709551615 4194304 5098028 140735763151952 140735763150056 140559782969980 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33325056 140735763157402 140735763157610 140735763157610 140735763161067 0
/proc/362/statm: 2378 344 289 221 0 87 0
[pid=364] ppid=362 vsize=13320760 CPUtime=2286.21 cores=0,2,4,6
/proc/364/stat : 364 (java) S 362 362 25100 0 -1 1077944320 307248 0 0 0 228401 220 0 0 20 0 19 0 52190107 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140723096286192 140362961694455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
/proc/364/statm: 3330190 165400 3276 1 0 3318482 0
[pid=364/tid=365] ppid=362 vsize=13320760 CPUtime=0.7 cores=0,2,4,6
/proc/364/task/365/stat : 365 (java) S 362 362 25100 0 -1 1077944384 12067 0 0 0 67 3 0 0 20 0 19 0 52190107 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362965935232 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=366] ppid=362 vsize=13320760 CPUtime=3.85 cores=0,2,4,6
/proc/364/task/366/stat : 366 (java) S 362 362 25100 0 -1 1077944384 16671 0 0 0 358 27 0 0 20 0 19 0 52190108 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362898176656 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=367] ppid=362 vsize=13320760 CPUtime=3.89 cores=0,2,4,6
/proc/364/task/367/stat : 367 (java) S 362 362 25100 0 -1 1077944384 19530 0 0 0 360 29 0 0 20 0 19 0 52190108 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362897123856 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=368] ppid=362 vsize=13320760 CPUtime=3.87 cores=0,2,4,6
/proc/364/task/368/stat : 368 (java) S 362 362 25100 0 -1 1077944384 18495 0 0 0 359 28 0 0 20 0 19 0 52190108 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362896071056 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=369] ppid=362 vsize=13320760 CPUtime=3.87 cores=0,2,4,6
/proc/364/task/369/stat : 369 (java) S 362 362 25100 0 -1 1077944384 17484 0 0 0 361 26 0 0 20 0 19 0 52190108 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362895018256 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=370] ppid=362 vsize=13320760 CPUtime=1.93 cores=0,2,4,6
/proc/364/task/370/stat : 370 (java) S 362 362 25100 0 -1 1077944384 27981 0 0 0 106 87 0 0 20 0 19 0 52190109 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362444622704 140362961705602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=371] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/371/stat : 371 (java) S 362 362 25100 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 52190109 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362443568736 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=372] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/372/stat : 372 (java) S 362 362 25100 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 52190110 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362442515840 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=373] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/373/stat : 373 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362441464144 140362961713051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=374] ppid=362 vsize=13320760 CPUtime=4.37 cores=0,2,4,6
/proc/364/task/374/stat : 374 (java) S 362 362 25100 0 -1 1077944384 25591 0 0 0 435 2 0 0 20 0 19 0 52190112 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362440411504 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=375] ppid=362 vsize=13320760 CPUtime=4.36 cores=0,2,4,6
/proc/364/task/375/stat : 375 (java) S 362 362 25100 0 -1 1077944384 20213 0 0 0 434 2 0 0 20 0 19 0 52190112 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362439358704 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=376] ppid=362 vsize=13320760 CPUtime=0.88 cores=0,2,4,6
/proc/364/task/376/stat : 376 (java) S 362 362 25100 0 -1 1077944384 14978 0 0 0 86 2 0 0 20 0 19 0 52190112 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362438305904 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=377] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/377/stat : 377 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362437253344 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=378] ppid=362 vsize=13320760 CPUtime=0.19 cores=0,2,4,6
/proc/364/task/378/stat : 378 (java) S 362 362 25100 0 -1 1077944384 1309 0 0 0 12 7 0 0 20 0 19 0 52190116 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362436201648 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=689] ppid=362 vsize=13320760 CPUtime=297.14 cores=0,2,4,6
/proc/364/task/689/stat : 689 (java) R 362 362 25100 0 -1 4202560 11492 0 0 0 29713 1 0 0 20 0 19 0 52218133 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362422377736 140362572865536 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=690] ppid=362 vsize=13320760 CPUtime=297.54 cores=0,2,4,6
/proc/364/task/690/stat : 690 (java) R 362 362 25100 0 -1 4202560 15034 0 0 0 29753 1 0 0 20 0 19 0 52218133 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362421328800 140362576405141 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=691] ppid=362 vsize=13320760 CPUtime=297.36 cores=0,2,4,6
/proc/364/task/691/stat : 691 (java) R 362 362 25100 0 -1 4202560 10747 0 0 0 29735 1 0 0 20 0 19 0 52218133 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362428686336 140362576011825 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=692] ppid=362 vsize=13320760 CPUtime=297.63 cores=0,2,4,6
/proc/364/task/692/stat : 692 (java) R 362 362 25100 0 -1 4202560 10333 0 0 0 29762 1 0 0 20 0 19 0 52218133 13640458240 165400 18446744073709551615 4194304 4196468 140723096303648 140362426580760 140362576011616 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
Current children cumulated CPU time (s) 2286.21
Current children cumulated vsize (KiB) 13330272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+611.001 s]
/proc/loadavg: 8.62 8.46 6.67 9/224 786
/proc/meminfo: memFree=30087520/32770624 swapFree=0/319000
[pid=362] ppid=359 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/362/stat : 362 (xcsp3-exec) S 359 362 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52190099 9740288 344 18446744073709551615 4194304 5098028 140735763151952 140735763150056 140559782969980 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33325056 140735763157402 140735763157610 140735763157610 140735763161067 0
/proc/362/statm: 2378 344 289 221 0 87 0
[pid=364] ppid=362 vsize=13320760 CPUtime=2400.29 cores=0,2,4,6
/proc/364/stat : 364 (java) S 362 362 25100 0 -1 1077944320 316421 0 0 0 239796 233 0 0 20 0 19 0 52190107 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140723096286192 140362961694455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
/proc/364/statm: 3330190 168305 3276 1 0 3318482 0
[pid=364/tid=365] ppid=362 vsize=13320760 CPUtime=0.7 cores=0,2,4,6
/proc/364/task/365/stat : 365 (java) S 362 362 25100 0 -1 1077944384 12067 0 0 0 67 3 0 0 20 0 19 0 52190107 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362965935232 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=366] ppid=362 vsize=13320760 CPUtime=4.09 cores=0,2,4,6
/proc/364/task/366/stat : 366 (java) S 362 362 25100 0 -1 1077944384 16794 0 0 0 380 29 0 0 20 0 19 0 52190108 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362898176656 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=367] ppid=362 vsize=13320760 CPUtime=4.12 cores=0,2,4,6
/proc/364/task/367/stat : 367 (java) S 362 362 25100 0 -1 1077944384 19713 0 0 0 380 32 0 0 20 0 19 0 52190108 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362897123856 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=368] ppid=362 vsize=13320760 CPUtime=4.11 cores=0,2,4,6
/proc/364/task/368/stat : 368 (java) S 362 362 25100 0 -1 1077944384 19091 0 0 0 381 30 0 0 20 0 19 0 52190108 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362896071056 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=369] ppid=362 vsize=13320760 CPUtime=4.11 cores=0,2,4,6
/proc/364/task/369/stat : 369 (java) S 362 362 25100 0 -1 1077944384 17614 0 0 0 382 29 0 0 20 0 19 0 52190108 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362895018256 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=370] ppid=362 vsize=13320760 CPUtime=2.02 cores=0,2,4,6
/proc/364/task/370/stat : 370 (java) S 362 362 25100 0 -1 1077944384 31811 0 0 0 109 93 0 0 20 0 19 0 52190109 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362444622704 140362961705602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=371] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/371/stat : 371 (java) S 362 362 25100 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 52190109 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362443568736 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=372] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/372/stat : 372 (java) S 362 362 25100 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 52190110 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362442515840 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=373] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/373/stat : 373 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362441464144 140362961713051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=374] ppid=362 vsize=13320760 CPUtime=4.37 cores=0,2,4,6
/proc/364/task/374/stat : 374 (java) S 362 362 25100 0 -1 1077944384 25591 0 0 0 435 2 0 0 20 0 19 0 52190112 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362440411504 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=375] ppid=362 vsize=13320760 CPUtime=4.36 cores=0,2,4,6
/proc/364/task/375/stat : 375 (java) S 362 362 25100 0 -1 1077944384 20214 0 0 0 434 2 0 0 20 0 19 0 52190112 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362439358704 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=376] ppid=362 vsize=13320760 CPUtime=0.88 cores=0,2,4,6
/proc/364/task/376/stat : 376 (java) S 362 362 25100 0 -1 1077944384 14978 0 0 0 86 2 0 0 20 0 19 0 52190112 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362438305904 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=377] ppid=362 vsize=13320760 CPUtime=0 cores=0,2,4,6
/proc/364/task/377/stat : 377 (java) S 362 362 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52190112 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362437253344 140362961704661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=378] ppid=362 vsize=13320760 CPUtime=0.2 cores=0,2,4,6
/proc/364/task/378/stat : 378 (java) S 362 362 25100 0 -1 1077944384 1311 0 0 0 13 7 0 0 20 0 19 0 52190116 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362436201648 140362961705602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=689] ppid=362 vsize=13320760 CPUtime=325.32 cores=0,2,4,6
/proc/364/task/689/stat : 689 (java) R 362 362 25100 0 -1 4202560 11508 0 0 0 32530 2 0 0 20 0 19 0 52218133 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362422377024 140362577625670 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=690] ppid=362 vsize=13320760 CPUtime=325.79 cores=0,2,4,6
/proc/364/task/690/stat : 690 (java) R 362 362 25100 0 -1 4202560 15704 0 0 0 32578 1 0 0 20 0 19 0 52218133 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362421328912 140362577625643 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=691] ppid=362 vsize=13320760 CPUtime=325.64 cores=0,2,4,6
/proc/364/task/691/stat : 691 (java) R 362 362 25100 0 -1 4202560 12297 0 0 0 32563 1 0 0 20 0 19 0 52218133 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362428686392 140362569568832 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
[pid=364/tid=692] ppid=362 vsize=13320760 CPUtime=325.96 cores=0,2,4,6
/proc/364/task/692/stat : 692 (java) R 362 362 25100 0 -1 4202560 12405 0 0 0 32594 2 0 0 20 0 19 0 52218133 13640458240 168305 18446744073709551615 4194304 4196468 140723096303648 140362426581032 140362578149319 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140723096310230 140723096310406 140723096310406 140723096313807 0
Current children cumulated CPU time (s) 2400.29
Current children cumulated vsize (KiB) 13330272

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 611.032
CPU time (s): 2400.29
CPU user time (s): 2397.96
CPU system time (s): 2.33
CPU usage (%): 392.825
Max. virtual memory (cumulated for all children) (KiB): 13330272

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.88165 second user time and 4.66381 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-06 20:08:21
IDJOB=4244632
IDBENCH=115828
IDSOLVER=2625
FILE ID=node133/4244632-1502043748
RUNJOBID= node133-1502042263-31898
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-6.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244632-1502043748/watcher-4244632-1502043748 -o /tmp/evaluation-result-4244632-1502043748/solver-4244632-1502043748 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 25836690 HOME/instance-4244632-1502043748.xml

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

MD5SUM BENCH= c933cd09e9acfeb17baa8719fd3b3e7c
RANDOM SEED=25836690

node133.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.17
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.17
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.17
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.17
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:        30361244 kB
MemAvailable:   30839640 kB
Buffers:          197632 kB
Cached:           572108 kB
SwapCached:            0 kB
Active:          1642556 kB
Inactive:         343880 kB
Active(anon):    1216744 kB
Inactive(anon):    24920 kB
Active(file):     425812 kB
Inactive(file):   318960 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7924 kB
Writeback:             0 kB
AnonPages:       1216100 kB
Mapped:            51768 kB
Shmem:             25276 kB
Slab:             125316 kB
SReclaimable:      98920 kB
SUnreclaim:        26396 kB
KernelStack:        3552 kB
PageTables:         7296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2777380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1107968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62016 MiB
End job on node133 at 2017-08-06 20:18:32