Trace number 4244633

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 5a (2017-07-05)SAT (TO)437 2400.02 611.315

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.09	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244633-1502011589.xml"  -tl '2400s' -p 4 -x 3
0.00/0.28	c [HOME/instance-4244633-1502011589.xml, -tl, 2400s, -p, 4, -x, 3]
0.00/0.34	c 4 solvers in parallel
0.00/0.40	c parse instance...
0.00/0.81	c solve instance...
29.86/8.01	o 534 
29.86/8.05	o 533 
30.27/8.24	o 531 
31.10/8.50	o 522 
31.50/8.69	o 520 
34.58/9.44	o 519 
36.17/9.89	o 518 
36.95/10.03	o 511 
40.76/11.02	o 510 
42.71/11.66	o 509 
43.63/12.06	o 508 
43.63/12.09	o 507 
43.87/12.15	o 506 
44.92/12.43	o 505 
44.92/12.49	o 504 
45.37/12.65	o 503 
46.25/12.99	o 502 
47.19/13.31	o 501 
47.48/13.50	o 500 
47.94/13.60	o 498 
50.72/14.37	o 496 
57.32/16.02	o 495 
58.59/16.53	o 494 
58.82/16.60	o 491 
59.46/16.99	o 490 
60.79/17.54	o 489 
61.08/17.61	o 488 
62.76/18.11	o 487 
63.54/18.33	o 486 
63.90/18.43	o 485 
63.90/18.47	o 484 
64.97/19.05	o 483 
65.16/19.17	o 482 
67.16/19.90	o 481 
67.55/20.19	o 480 
68.67/20.67	o 479 
70.58/21.25	o 478 
72.01/21.67	o 477 
72.65/22.02	o 476 
73.75/22.54	o 475 
75.48/23.12	o 474 
76.08/23.39	o 473 
76.63/23.59	o 472 
77.01/23.79	o 471 
78.82/24.33	o 470 
81.29/25.00	o 469 
83.34/25.63	o 468 
83.88/25.87	o 467 
84.41/26.28	o 466 
84.55/26.34	o 465 
87.99/27.31	o 464 
91.30/28.26	o 463 
91.30/28.29	o 462 
99.84/30.49	o 461 
100.93/30.91	o 460 
104.15/31.83	o 459 
105.50/32.23	o 458 
106.12/32.44	o 457 
110.34/33.63	o 456 
134.91/39.83	o 455 
144.82/42.42	o 454 
147.85/43.33	o 453 
147.85/43.34	o 449 
150.67/44.20	o 448 
197.04/55.90	o 447 
201.79/57.18	o 446 
259.81/71.85	o 445 
273.50/75.32	o 444 
316.24/86.17	o 443 
371.58/100.14	o 442 
459.62/122.47	o 441 
479.05/127.46	o 440 
657.13/172.34	o 439 
1548.31/396.97	o 438 
1610.01/412.55	o 437 
2400.02/611.35	s SATISFIABLE
2400.02/611.35	v <instantiation>
2400.02/611.35	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.02/611.35	v 	<values>32 49 143 168 187 270 338 5 75 152 210 279 338 387 5 11 87 170 185 278 345 6 38 138 149 212 309 408 8 64 150 177 276 286 365 2 69 103 209 286 356 427 1 57 104 164 265 371 402 436 433 427 436 437 437 436 5 94 25 9 76 66 98 56 59 58 69 30 25 46 6 64 81 15 84 60 82 28 97 10 61 66 93 28 56 78 19 99 10 59 72 63 32 80 76 69 71 10 47 46 48 95 87 31 34 0 2 6 1 4 5 3 6 4 3 2 1 5 0 0 4 1 6 5 3 2 5 0 4 2 3 1 6 3 6 4 1 0 2 5 1 3 5 6 0 4 2 2 5 3 0 4 6 1 32 168 49 338 187 270 143 387 279 210 152 75 338 5 5 87 345 278 11 185 170 38 309 149 212 138 6 408 276 177 286 8 150 365 64 286 2 427 69 356 103 209 164 402 1 104 265 57 371 </values>
2400.02/611.35	v </instantiation>
2400.02/611.35	c Unexpected resolution interruption!

Verifier Data 

OK	437

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-4244633-1502011589/watcher-4244633-1502011589 -o /tmp/evaluation-result-4244633-1502011589/solver-4244633-1502011589 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502009484-25215 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 280752845 HOME/instance-4244633-1502011589.xml 

pid=26600
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.19 8.04 6.06 6/205 26603
/proc/meminfo: memFree=30851032/32770624 swapFree=0/392416
[pid=26603] ppid=26600 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/26603/stat : 26603 (runsolver) D 26600 26603 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 48664895 24240128 106 18446744073709551615 4194304 4338465 140730844067424 140730844065064 139738540266199 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 10932224 140730844069975 140730844070473 140730844070473 140730844073930 0
/proc/26603/statm: 5918 106 53 36 0 2156 0

[startup+0.100108 s]
/proc/loadavg: 8.19 8.04 6.06 6/205 26603
/proc/meminfo: memFree=30851032/32770624 swapFree=0/392416
[pid=26603] ppid=26600 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26603/stat : 26603 (xcsp3-exec) S 26600 26603 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48664895 9740288 345 18446744073709551615 4194304 5098028 140736461231216 140736461229320 140382983508604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34594816 140736461234585 140736461234794 140736461234794 140736461238251 0
/proc/26603/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200793 s]
/proc/loadavg: 8.19 8.04 6.06 6/205 26603
/proc/meminfo: memFree=30851032/32770624 swapFree=0/392416
[pid=26603] ppid=26600 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26603/stat : 26603 (xcsp3-exec) S 26600 26603 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48664895 9740288 345 18446744073709551615 4194304 5098028 140736461231216 140736461229320 140382983508604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34594816 140736461234585 140736461234794 140736461234794 140736461238251 0
/proc/26603/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.308125 s]
/proc/loadavg: 8.19 8.04 6.06 6/205 26603
/proc/meminfo: memFree=30851032/32770624 swapFree=0/392416
[pid=26603] ppid=26600 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26603/stat : 26603 (xcsp3-exec) S 26600 26603 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48664895 9740288 345 18446744073709551615 4194304 5098028 140736461231216 140736461229320 140382983508604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34594816 140736461234585 140736461234794 140736461234794 140736461238251 0
/proc/26603/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700195 s]
/proc/loadavg: 8.19 8.04 6.06 6/205 26603
/proc/meminfo: memFree=30851032/32770624 swapFree=0/392416
[pid=26603] ppid=26600 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26603/stat : 26603 (xcsp3-exec) S 26600 26603 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48664895 9740288 345 18446744073709551615 4194304 5098028 140736461231216 140736461229320 140382983508604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34594816 140736461234585 140736461234794 140736461234794 140736461238251 0
/proc/26603/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50112 s]
/proc/loadavg: 8.19 8.04 6.06 11/225 26623
/proc/meminfo: memFree=30749332/32770624 swapFree=0/392448
[pid=26603] ppid=26600 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26603/stat : 26603 (xcsp3-exec) S 26600 26603 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48664895 9740288 345 18446744073709551615 4194304 5098028 140736461231216 140736461229320 140382983508604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34594816 140736461234585 140736461234794 140736461234794 140736461238251 0
/proc/26603/statm: 2378 345 289 221 0 87 0
[pid=26605] ppid=26603 vsize=13185584 CPUtime=4.2 cores=0,2,4,6
/proc/26605/stat : 26605 (java) S 26603 26603 25139 0 -1 1077944320 19579 0 0 0 414 6 0 0 20 0 19 0 48664904 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 140736219734640 139854011342583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
/proc/26605/statm: 3296396 30998 3193 1 0 3284688 0
[pid=26605/tid=26606] ppid=26603 vsize=13185584 CPUtime=0.66 cores=0,2,4,6
/proc/26605/task/26606/stat : 26606 (java) S 26603 26603 25139 0 -1 1077944384 9064 0 0 0 63 3 0 0 20 0 19 0 48664904 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139854015583360 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26607] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26607/stat : 26607 (java) S 26603 26603 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48664905 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139853934168592 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26608] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26608/stat : 26608 (java) S 26603 26603 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48664905 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139853614279312 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26609] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26609/stat : 26609 (java) S 26603 26603 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48664905 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139853613226256 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26610] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26610/stat : 26610 (java) S 26603 26603 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 48664905 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139853612173712 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26611] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26611/stat : 26611 (java) S 26603 26603 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 48664907 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852966169328 139854011353730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26612] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26612/stat : 26612 (java) S 26603 26603 25139 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 48664907 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852965115552 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26613] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26613/stat : 26613 (java) S 26603 26603 25139 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 48664907 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852964062448 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26614] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26614/stat : 26614 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852963011024 139854011361179 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26615] ppid=26603 vsize=13185584 CPUtime=0.44 cores=0,2,4,6
/proc/26605/task/26615/stat : 26615 (java) D 26603 26603 25139 0 -1 4202560 3156 0 0 0 44 0 0 0 20 0 19 0 48664910 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852961943880 139854004059735 0 4 1 16800974 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26616] ppid=26603 vsize=13185584 CPUtime=0.43 cores=0,2,4,6
/proc/26605/task/26616/stat : 26616 (java) R 26603 26603 25139 0 -1 4202560 2461 0 0 0 43 0 0 0 20 0 19 0 48664910 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852960886600 139854003632032 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26617] ppid=26603 vsize=13185584 CPUtime=0.57 cores=0,2,4,6
/proc/26605/task/26617/stat : 26617 (java) D 26603 26603 25139 0 -1 4202560 3065 0 0 0 57 0 0 0 20 0 19 0 48664910 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852959848760 139854004059735 0 4 1 16800974 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26618] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26618/stat : 26618 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852958800224 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26619] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26619/stat : 26619 (java) R 26603 26603 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48664915 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852957748272 139854011353730 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26620] ppid=26603 vsize=13185584 CPUtime=0.49 cores=0,2,4,6
/proc/26605/task/26620/stat : 26620 (java) R 26603 26603 25139 0 -1 4202560 83 0 0 0 49 0 0 0 20 0 19 0 48664977 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852949734032 139853619106567 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26621] ppid=26603 vsize=13185584 CPUtime=0.48 cores=0,2,4,6
/proc/26605/task/26621/stat : 26621 (java) R 26603 26603 25139 0 -1 4202560 322 0 0 0 48 0 0 0 20 0 19 0 48664977 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852948680376 139853618866687 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26622] ppid=26603 vsize=13185584 CPUtime=0.48 cores=0,2,4,6
/proc/26605/task/26622/stat : 26622 (java) R 26603 26603 25139 0 -1 4202560 60 0 0 0 48 0 0 0 20 0 19 0 48664977 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852947624440 139853619269651 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26623] ppid=26603 vsize=13185584 CPUtime=0.59 cores=0,2,4,6
/proc/26605/task/26623/stat : 26623 (java) R 26603 26603 25139 0 -1 4202560 62 0 0 0 59 0 0 0 20 0 19 0 48664978 13502038016 30998 18446744073709551615 4194304 4196468 140736219752096 139852946573328 139853619264349 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 13195096

[startup+3.10913 s]
/proc/loadavg: 8.19 8.04 6.06 11/225 26623
/proc/meminfo: memFree=30665420/32770624 swapFree=0/392444
[pid=26603] ppid=26600 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26603/stat : 26603 (xcsp3-exec) S 26600 26603 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48664895 9740288 345 18446744073709551615 4194304 5098028 140736461231216 140736461229320 140382983508604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34594816 140736461234585 140736461234794 140736461234794 140736461238251 0
/proc/26603/statm: 2378 345 289 221 0 87 0
[pid=26605] ppid=26603 vsize=13185584 CPUtime=10.39 cores=0,2,4,6
/proc/26605/stat : 26605 (java) S 26603 26603 25139 0 -1 1077944320 43815 0 0 0 1028 11 0 0 20 0 19 0 48664904 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 140736219734640 139854011342583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
/proc/26605/statm: 3296396 61219 3198 1 0 3284688 0
[pid=26605/tid=26606] ppid=26603 vsize=13185584 CPUtime=0.66 cores=0,2,4,6
/proc/26605/task/26606/stat : 26606 (java) S 26603 26603 25139 0 -1 1077944384 9064 0 0 0 63 3 0 0 20 0 19 0 48664904 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139854015583360 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26607] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26607/stat : 26607 (java) S 26603 26603 25139 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 48664905 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139853934168592 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26608] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26608/stat : 26608 (java) S 26603 26603 25139 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 48664905 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139853614279312 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26609] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26609/stat : 26609 (java) S 26603 26603 25139 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 19 0 48664905 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139853613226256 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26610] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26610/stat : 26610 (java) S 26603 26603 25139 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 48664905 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139853612173712 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26611] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26611/stat : 26611 (java) S 26603 26603 25139 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 48664907 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852966169328 139854011353730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26612] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26612/stat : 26612 (java) S 26603 26603 25139 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 48664907 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852965115552 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26613] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26613/stat : 26613 (java) S 26603 26603 25139 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 48664907 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852964062448 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26614] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26614/stat : 26614 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852963011024 139854011361179 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26615] ppid=26603 vsize=13185584 CPUtime=1.23 cores=0,2,4,6
/proc/26605/task/26615/stat : 26615 (java) R 26603 26603 25139 0 -1 4202560 14344 0 0 0 122 1 0 0 20 0 19 0 48664910 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852961936944 139853994829446 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26616] ppid=26603 vsize=13185584 CPUtime=1.16 cores=0,2,4,6
/proc/26605/task/26616/stat : 26616 (java) R 26603 26603 25139 0 -1 4202560 12834 0 0 0 115 1 0 0 20 0 19 0 48664910 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852960891616 139853992663920 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26617] ppid=26603 vsize=13185584 CPUtime=0.67 cores=0,2,4,6
/proc/26605/task/26617/stat : 26617 (java) S 26603 26603 25139 0 -1 1077944384 4612 0 0 0 66 1 0 0 20 0 19 0 48664910 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852959852528 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26618] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26618/stat : 26618 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852958800224 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26619] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26619/stat : 26619 (java) S 26603 26603 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 48664915 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852957748272 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26620] ppid=26603 vsize=13185584 CPUtime=1.81 cores=0,2,4,6
/proc/26605/task/26620/stat : 26620 (java) R 26603 26603 25139 0 -1 4202560 161 0 0 0 180 1 0 0 20 0 19 0 48664977 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852949731680 139853620634509 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26621] ppid=26603 vsize=13185584 CPUtime=1.46 cores=0,2,4,6
/proc/26605/task/26621/stat : 26621 (java) R 26603 26603 25139 0 -1 4202560 446 0 0 0 146 0 0 0 20 0 19 0 48664977 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852948679456 139853619180327 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26622] ppid=26603 vsize=13185584 CPUtime=1.64 cores=0,2,4,6
/proc/26605/task/26622/stat : 26622 (java) R 26603 26603 25139 0 -1 4202560 285 0 0 0 164 0 0 0 20 0 19 0 48664977 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852947627192 139853621062459 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26623] ppid=26603 vsize=13185584 CPUtime=1.67 cores=0,2,4,6
/proc/26605/task/26623/stat : 26623 (java) R 26603 26603 25139 0 -1 4202560 147 0 0 0 167 0 0 0 20 0 19 0 48664978 13502038016 61219 18446744073709551615 4194304 4196468 140736219752096 139852946577064 139853621455754 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
Current children cumulated CPU time (s) 10.39
Current children cumulated vsize (KiB) 13195096

[startup+6.30113 s]
/proc/loadavg: 8.41 8.09 6.09 11/225 26623
/proc/meminfo: memFree=30295184/32770624 swapFree=0/392444
[pid=26603] ppid=26600 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26603/stat : 26603 (xcsp3-exec) S 26600 26603 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48664895 9740288 345 18446744073709551615 4194304 5098028 140736461231216 140736461229320 140382983508604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34594816 140736461234585 140736461234794 140736461234794 140736461238251 0
/proc/26603/statm: 2378 345 289 221 0 87 0
[pid=26605] ppid=26603 vsize=13185584 CPUtime=23.09 cores=0,2,4,6
/proc/26605/stat : 26605 (java) S 26603 26603 25139 0 -1 1077944320 50368 0 0 0 2296 13 0 0 20 0 19 0 48664904 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 140736219734640 139854011342583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
/proc/26605/statm: 3296396 66771 3234 1 0 3284688 0
[pid=26605/tid=26606] ppid=26603 vsize=13185584 CPUtime=0.66 cores=0,2,4,6
/proc/26605/task/26606/stat : 26606 (java) S 26603 26603 25139 0 -1 1077944384 9064 0 0 0 63 3 0 0 20 0 19 0 48664904 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139854015583360 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26607] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26607/stat : 26607 (java) S 26603 26603 25139 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 48664905 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139853934168592 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26608] ppid=26603 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/26605/task/26608/stat : 26608 (java) S 26603 26603 25139 0 -1 1077944384 681 0 0 0 1 0 0 0 20 0 19 0 48664905 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139853614279312 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26609] ppid=26603 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/26605/task/26609/stat : 26609 (java) S 26603 26603 25139 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 19 0 48664905 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139853613226256 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26610] ppid=26603 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/26605/task/26610/stat : 26610 (java) S 26603 26603 25139 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 19 0 48664905 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139853612173712 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26611] ppid=26603 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/26605/task/26611/stat : 26611 (java) S 26603 26603 25139 0 -1 1077944384 225 0 0 0 0 1 0 0 20 0 19 0 48664907 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139852966169328 139854011353730 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26612] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26612/stat : 26612 (java) S 26603 26603 25139 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 48664907 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139852965115552 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26613] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26613/stat : 26613 (java) S 26603 26603 25139 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 48664907 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139852964062448 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26614] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26614/stat : 26614 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139852963011024 139854011361179 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26615] ppid=26603 vsize=13185584 CPUtime=3.19 cores=0,2,4,6
/proc/26605/task/26615/stat : 26615 (java) R 26603 26603 25139 0 -1 4202560 15636 0 0 0 317 2 0 0 20 0 19 0 48664910 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139852961950616 139853990708608 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26616] ppid=26603 vsize=13185584 CPUtime=3.68 cores=0,2,4,6
/proc/26605/task/26616/stat : 26616 (java) R 26603 26603 25139 0 -1 4202560 16205 0 0 0 366 2 0 0 20 0 19 0 48664910 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139852960887152 139853995742314 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26617] ppid=26603 vsize=13185584 CPUtime=0.69 cores=0,2,4,6
/proc/26605/task/26617/stat : 26617 (java) S 26603 26603 25139 0 -1 1077944384 4865 0 0 0 68 1 0 0 20 0 19 0 48664910 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139852959852528 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26618] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26618/stat : 26618 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139852958800224 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26619] ppid=26603 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26619/stat : 26619 (java) S 26603 26603 25139 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 48664915 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139852957748272 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26620] ppid=26603 vsize=13185584 CPUtime=3.69 cores=0,2,4,6
/proc/26605/task/26620/stat : 26620 (java) R 26603 26603 25139 0 -1 4202560 207 0 0 0 368 1 0 0 20 0 19 0 48664977 13502038016 66771 18446744073709551615 4194304 4196468 140736219752096 139852949732680 139853623286850 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0

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

/proc/26603/statm: 2378 345 289 221 0 87 0
[pid=26605] ppid=26603 vsize=13255224 CPUtime=2284.74 cores=0,2,4,6
/proc/26605/stat : 26605 (java) S 26603 26603 25139 0 -1 1077944320 327319 0 0 0 228250 224 0 0 20 0 19 0 48664904 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 140736219734640 139854011342583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
/proc/26605/statm: 3313806 144262 3273 1 0 3302098 0
[pid=26605/tid=26606] ppid=26603 vsize=13255224 CPUtime=0.7 cores=0,2,4,6
/proc/26605/task/26606/stat : 26606 (java) S 26603 26603 25139 0 -1 1077944384 11497 0 0 0 66 4 0 0 20 0 19 0 48664904 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139854015583360 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26607] ppid=26603 vsize=13255224 CPUtime=3.82 cores=0,2,4,6
/proc/26605/task/26607/stat : 26607 (java) S 26603 26603 25139 0 -1 1077944384 19221 0 0 0 357 25 0 0 20 0 19 0 48664905 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139853934168592 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26608] ppid=26603 vsize=13255224 CPUtime=3.84 cores=0,2,4,6
/proc/26605/task/26608/stat : 26608 (java) S 26603 26603 25139 0 -1 1077944384 18326 0 0 0 360 24 0 0 20 0 19 0 48664905 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139853614279312 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26609] ppid=26603 vsize=13255224 CPUtime=3.83 cores=0,2,4,6
/proc/26605/task/26609/stat : 26609 (java) S 26603 26603 25139 0 -1 1077944384 18993 0 0 0 358 25 0 0 20 0 19 0 48664905 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139853613226256 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26610] ppid=26603 vsize=13255224 CPUtime=3.83 cores=0,2,4,6
/proc/26605/task/26610/stat : 26610 (java) S 26603 26603 25139 0 -1 1077944384 20183 0 0 0 359 24 0 0 20 0 19 0 48664905 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139853612173712 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26611] ppid=26603 vsize=13255224 CPUtime=2.02 cores=0,2,4,6
/proc/26605/task/26611/stat : 26611 (java) S 26603 26603 25139 0 -1 1077944384 38229 0 0 0 99 103 0 0 20 0 19 0 48664907 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852966169328 139854011353730 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26612] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26612/stat : 26612 (java) S 26603 26603 25139 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 48664907 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852965115616 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26613] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26613/stat : 26613 (java) S 26603 26603 25139 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 48664907 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852964062464 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26614] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26614/stat : 26614 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852963011024 139854011361179 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26615] ppid=26603 vsize=13255224 CPUtime=4.66 cores=0,2,4,6
/proc/26605/task/26615/stat : 26615 (java) S 26603 26603 25139 0 -1 1077944384 24392 0 0 0 464 2 0 0 20 0 19 0 48664910 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852961958128 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26616] ppid=26603 vsize=13255224 CPUtime=5.15 cores=0,2,4,6
/proc/26605/task/26616/stat : 26616 (java) S 26603 26603 25139 0 -1 1077944384 27673 0 0 0 513 2 0 0 20 0 19 0 48664910 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852960905584 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26617] ppid=26603 vsize=13255224 CPUtime=0.86 cores=0,2,4,6
/proc/26605/task/26617/stat : 26617 (java) S 26603 26603 25139 0 -1 1077944384 13399 0 0 0 85 1 0 0 20 0 19 0 48664910 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852959852528 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26618] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26618/stat : 26618 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852958800224 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26619] ppid=26603 vsize=13255224 CPUtime=0.17 cores=0,2,4,6
/proc/26605/task/26619/stat : 26619 (java) S 26603 26603 25139 0 -1 1077944384 1119 0 0 0 0 17 0 0 20 0 19 0 48664915 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852957748272 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26935] ppid=26603 vsize=13255224 CPUtime=167.19 cores=0,2,4,6
/proc/26605/task/26935/stat : 26935 (java) R 26603 26603 25139 0 -1 4202560 7715 0 0 0 16719 0 0 0 20 0 19 0 48706150 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852942374608 139853624040587 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26936] ppid=26603 vsize=13255224 CPUtime=167.31 cores=0,2,4,6
/proc/26605/task/26936/stat : 26936 (java) R 26603 26603 25139 0 -1 4202560 16367 0 0 0 16729 2 0 0 20 0 19 0 48706150 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852943425208 139853617932799 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26937] ppid=26603 vsize=13255224 CPUtime=167.19 cores=0,2,4,6
/proc/26605/task/26937/stat : 26937 (java) R 26603 26603 25139 0 -1 4202560 8200 0 0 0 16719 0 0 0 20 0 19 0 48706150 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852946574944 139853624040544 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26938] ppid=26603 vsize=13255224 CPUtime=167.21 cores=0,2,4,6
/proc/26605/task/26938/stat : 26938 (java) R 26603 26603 25139 0 -1 4202560 12993 0 0 0 16719 2 0 0 20 0 19 0 48706150 13573349376 144262 18446744073709551615 4194304 4196468 140736219752096 139852948680744 139853619793595 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
Current children cumulated CPU time (s) 2284.74
Current children cumulated vsize (KiB) 13264736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+611.301 s]
/proc/loadavg: 8.63 8.59 7.30 12/225 27042
/proc/meminfo: memFree=30178372/32770624 swapFree=0/392964
[pid=26603] ppid=26600 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26603/stat : 26603 (xcsp3-exec) S 26600 26603 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48664895 9740288 345 18446744073709551615 4194304 5098028 140736461231216 140736461229320 140382983508604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34594816 140736461234585 140736461234794 140736461234794 140736461238251 0
/proc/26603/statm: 2378 345 289 221 0 87 0
[pid=26605] ppid=26603 vsize=13255224 CPUtime=2400.02 cores=0,2,4,6
/proc/26605/stat : 26605 (java) S 26603 26603 25139 0 -1 1077944320 329045 0 0 0 239766 236 0 0 20 0 19 0 48664904 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 140736219734640 139854011342583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
/proc/26605/statm: 3313806 151968 3273 1 0 3302098 0
[pid=26605/tid=26606] ppid=26603 vsize=13255224 CPUtime=0.7 cores=0,2,4,6
/proc/26605/task/26606/stat : 26606 (java) S 26603 26603 25139 0 -1 1077944384 11497 0 0 0 66 4 0 0 20 0 19 0 48664904 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139854015583360 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26607] ppid=26603 vsize=13255224 CPUtime=4.09 cores=0,2,4,6
/proc/26605/task/26607/stat : 26607 (java) S 26603 26603 25139 0 -1 1077944384 19273 0 0 0 382 27 0 0 20 0 19 0 48664905 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139853934168592 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26608] ppid=26603 vsize=13255224 CPUtime=4.12 cores=0,2,4,6
/proc/26605/task/26608/stat : 26608 (java) S 26603 26603 25139 0 -1 1077944384 18367 0 0 0 386 26 0 0 20 0 19 0 48664905 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139853614279312 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26609] ppid=26603 vsize=13255224 CPUtime=4.1 cores=0,2,4,6
/proc/26605/task/26609/stat : 26609 (java) S 26603 26603 25139 0 -1 1077944384 19025 0 0 0 384 26 0 0 20 0 19 0 48664905 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139853613226256 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26610] ppid=26603 vsize=13255224 CPUtime=4.09 cores=0,2,4,6
/proc/26605/task/26610/stat : 26610 (java) S 26603 26603 25139 0 -1 1077944384 20820 0 0 0 384 25 0 0 20 0 19 0 48664905 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139853612173712 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26611] ppid=26603 vsize=13255224 CPUtime=2.12 cores=0,2,4,6
/proc/26605/task/26611/stat : 26611 (java) S 26603 26603 25139 0 -1 1077944384 39057 0 0 0 104 108 0 0 20 0 19 0 48664907 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852966169328 139854011353730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26612] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26612/stat : 26612 (java) S 26603 26603 25139 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 48664907 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852965115616 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26613] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26613/stat : 26613 (java) S 26603 26603 25139 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 48664907 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852964062464 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26614] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26614/stat : 26614 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852963011024 139854011361179 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26615] ppid=26603 vsize=13255224 CPUtime=4.66 cores=0,2,4,6
/proc/26605/task/26615/stat : 26615 (java) S 26603 26603 25139 0 -1 1077944384 24394 0 0 0 464 2 0 0 20 0 19 0 48664910 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852961958128 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26616] ppid=26603 vsize=13255224 CPUtime=5.15 cores=0,2,4,6
/proc/26605/task/26616/stat : 26616 (java) S 26603 26603 25139 0 -1 1077944384 27675 0 0 0 513 2 0 0 20 0 19 0 48664910 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852960905584 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26617] ppid=26603 vsize=13255224 CPUtime=0.86 cores=0,2,4,6
/proc/26605/task/26617/stat : 26617 (java) S 26603 26603 25139 0 -1 1077944384 13401 0 0 0 85 1 0 0 20 0 19 0 48664910 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852959852528 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26618] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26618/stat : 26618 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852958800224 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26619] ppid=26603 vsize=13255224 CPUtime=0.18 cores=0,2,4,6
/proc/26605/task/26619/stat : 26619 (java) S 26603 26603 25139 0 -1 1077944384 1128 0 0 0 0 18 0 0 20 0 19 0 48664915 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852957748272 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26935] ppid=26603 vsize=13255224 CPUtime=195.65 cores=0,2,4,6
/proc/26605/task/26935/stat : 26935 (java) R 26603 26603 25139 0 -1 4202560 7734 0 0 0 19564 1 0 0 20 0 19 0 48706150 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852942371568 139853624040571 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26936] ppid=26603 vsize=13255224 CPUtime=195.82 cores=0,2,4,6
/proc/26605/task/26936/stat : 26936 (java) R 26603 26603 25139 0 -1 4202560 16406 0 0 0 19580 2 0 0 20 0 19 0 48706150 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852943427952 139853624040194 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26937] ppid=26603 vsize=13255224 CPUtime=195.77 cores=0,2,4,6
/proc/26605/task/26937/stat : 26937 (java) R 26603 26603 25139 0 -1 4202560 8220 0 0 0 19577 0 0 0 20 0 19 0 48706150 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852946575192 139853623744928 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26938] ppid=26603 vsize=13255224 CPUtime=195.74 cores=0,2,4,6
/proc/26605/task/26938/stat : 26938 (java) R 26603 26603 25139 0 -1 4202560 13036 0 0 0 19572 2 0 0 20 0 19 0 48706150 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852948680920 139853621508345 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13264736

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 26605 sig 9
??? kill 26603 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+611.301 s]
/proc/loadavg: 8.63 8.59 7.30 12/225 27042
/proc/meminfo: memFree=30178372/32770624 swapFree=0/392964
[pid=26603] ppid=26600 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26603/stat : 26603 (xcsp3-exec) S 26600 26603 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48664895 9740288 345 18446744073709551615 4194304 5098028 140736461231216 140736461229320 140382983508604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34594816 140736461234585 140736461234794 140736461234794 140736461238251 0
/proc/26603/statm: 2378 345 289 221 0 87 0
[pid=26605] ppid=26603 vsize=13255224 CPUtime=2400.02 cores=0,2,4,6
/proc/26605/stat : 26605 (java) S 26603 26603 25139 0 -1 1077944320 329045 0 0 0 239766 236 0 0 20 0 19 0 48664904 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 140736219734640 139854011342583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
/proc/26605/statm: 3313806 151968 3273 1 0 3302098 0
[pid=26605/tid=26606] ppid=26603 vsize=13255224 CPUtime=0.7 cores=0,2,4,6
/proc/26605/task/26606/stat : 26606 (java) S 26603 26603 25139 0 -1 1077944384 11497 0 0 0 66 4 0 0 20 0 19 0 48664904 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139854015583360 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26607] ppid=26603 vsize=13255224 CPUtime=4.09 cores=0,2,4,6
/proc/26605/task/26607/stat : 26607 (java) S 26603 26603 25139 0 -1 1077944384 19273 0 0 0 382 27 0 0 20 0 19 0 48664905 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139853934168592 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26608] ppid=26603 vsize=13255224 CPUtime=4.12 cores=0,2,4,6
/proc/26605/task/26608/stat : 26608 (java) S 26603 26603 25139 0 -1 1077944384 18367 0 0 0 386 26 0 0 20 0 19 0 48664905 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139853614279312 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26609] ppid=26603 vsize=13255224 CPUtime=4.1 cores=0,2,4,6
/proc/26605/task/26609/stat : 26609 (java) S 26603 26603 25139 0 -1 1077944384 19025 0 0 0 384 26 0 0 20 0 19 0 48664905 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139853613226256 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26610] ppid=26603 vsize=13255224 CPUtime=4.09 cores=0,2,4,6
/proc/26605/task/26610/stat : 26610 (java) S 26603 26603 25139 0 -1 1077944384 20820 0 0 0 384 25 0 0 20 0 19 0 48664905 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139853612173712 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26611] ppid=26603 vsize=13255224 CPUtime=2.12 cores=0,2,4,6
/proc/26605/task/26611/stat : 26611 (java) S 26603 26603 25139 0 -1 1077944384 39057 0 0 0 104 108 0 0 20 0 19 0 48664907 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852966169328 139854011353730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26612] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26612/stat : 26612 (java) S 26603 26603 25139 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 48664907 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852965115616 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26613] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26613/stat : 26613 (java) S 26603 26603 25139 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 48664907 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852964062464 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26614] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26614/stat : 26614 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852963011024 139854011361179 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26615] ppid=26603 vsize=13255224 CPUtime=4.66 cores=0,2,4,6
/proc/26605/task/26615/stat : 26615 (java) S 26603 26603 25139 0 -1 1077944384 24394 0 0 0 464 2 0 0 20 0 19 0 48664910 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852961958128 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26616] ppid=26603 vsize=13255224 CPUtime=5.15 cores=0,2,4,6
/proc/26605/task/26616/stat : 26616 (java) S 26603 26603 25139 0 -1 1077944384 27675 0 0 0 513 2 0 0 20 0 19 0 48664910 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852960905584 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26617] ppid=26603 vsize=13255224 CPUtime=0.86 cores=0,2,4,6
/proc/26605/task/26617/stat : 26617 (java) S 26603 26603 25139 0 -1 1077944384 13401 0 0 0 85 1 0 0 20 0 19 0 48664910 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852959852528 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26618] ppid=26603 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/26605/task/26618/stat : 26618 (java) S 26603 26603 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48664910 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852958800224 139854011352789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26619] ppid=26603 vsize=13255224 CPUtime=0.18 cores=0,2,4,6
/proc/26605/task/26619/stat : 26619 (java) S 26603 26603 25139 0 -1 1077944384 1128 0 0 0 0 18 0 0 20 0 19 0 48664915 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852957748272 139854011353730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26935] ppid=26603 vsize=13255224 CPUtime=195.65 cores=0,2,4,6
/proc/26605/task/26935/stat : 26935 (java) R 26603 26603 25139 0 -1 4202560 7734 0 0 0 19564 1 0 0 20 0 19 0 48706150 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852942371568 139853624040571 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26936] ppid=26603 vsize=13255224 CPUtime=195.82 cores=0,2,4,6
/proc/26605/task/26936/stat : 26936 (java) R 26603 26603 25139 0 -1 4202560 16406 0 0 0 19580 2 0 0 20 0 19 0 48706150 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852943427952 139853624040194 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26937] ppid=26603 vsize=13255224 CPUtime=195.77 cores=0,2,4,6
/proc/26605/task/26937/stat : 26937 (java) R 26603 26603 25139 0 -1 4202560 8220 0 0 0 19577 0 0 0 20 0 19 0 48706150 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852946575192 139853623744928 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
[pid=26605/tid=26938] ppid=26603 vsize=13255224 CPUtime=195.74 cores=0,2,4,6
/proc/26605/task/26938/stat : 26938 (java) R 26603 26603 25139 0 -1 4202560 13036 0 0 0 19572 2 0 0 20 0 19 0 48706150 13573349376 151968 18446744073709551615 4194304 4196468 140736219752096 139852948680920 139853621508345 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140736219754966 140736219755142 140736219755142 140736219758543 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13264736

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 611.315
CPU time (s): 2400.02
CPU user time (s): 2397.66
CPU system time (s): 2.36
CPU usage (%): 392.599
Max. virtual memory (cumulated for all children) (KiB): 13264736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001707
system time used= 0.000118
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.94905 second user time and 4.58623 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-06 11:12:30
IDJOB=4244633
IDBENCH=115828
IDSOLVER=2626
FILE ID=node134/4244633-1502011589
RUNJOBID= node134-1502009484-25215
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
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-4244633-1502011589/watcher-4244633-1502011589 -o /tmp/evaluation-result-4244633-1502011589/solver-4244633-1502011589 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502009484-25215 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 280752845 HOME/instance-4244633-1502011589.xml

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

MD5SUM BENCH= c933cd09e9acfeb17baa8719fd3b3e7c
RANDOM SEED=280752845

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:        30851036 kB
MemAvailable:   31322956 kB
Buffers:          168080 kB
Cached:           595608 kB
SwapCached:            0 kB
Active:          1082648 kB
Inactive:         415708 kB
Active(anon):     736860 kB
Inactive(anon):    23032 kB
Active(file):     345788 kB
Inactive(file):   392676 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8060 kB
Writeback:             4 kB
AnonPages:        733948 kB
Mapped:            50804 kB
Shmem:             25276 kB
Slab:             124596 kB
SReclaimable:      98580 kB
SUnreclaim:        26016 kB
KernelStack:        3568 kB
PageTables:         6352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1953164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    579584 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= 62016 MiB
End job on node134 at 2017-08-06 11:22:42