Trace number 4281160

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
choco-solver 4.0.5 par (2017-08-18)SAT (TO)3 20078.301 2520.1499

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-09-11.xml
MD5SUM40f8709457985e2479c772f6dd1ec4a8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables99
Number of constraints1981
Number of domains1
Minimum domain size99
Maximum domain size99
Distribution of domain sizes[{"size":99,"count":99}]
Minimum variable degree82
Maximum variable degree82
Distribution of variable degrees[{"degree":82,"count":99}]
Minimum constraint arity4
Maximum constraint arity99
Distribution of constraint arities[{"arity":4,"count":1980},{"arity":99,"count":1}]
Number of extensional constraints0
Number of intensional constraints1980
Distribution of constraint types[{"type":"intension","count":1980},{"type":"lex","count":1}]
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.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281160-1503177384.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281160-1503177384.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
6.15/1.66	c solve instance...
8.08/1.97	o 8 
8.92/2.03	o 7 
11.19/2.30	o 6 
13.56/2.63	o 5 
148.06/19.53	o 4 
157.49/20.79	o 3 
20077.49/2520.10	s SATISFIABLE
20077.49/2520.10	v <instantiation>
20077.49/2520.10	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] </list>
20077.49/2520.10	v 	<values>0 0 0 1 2 2 2 2 2 3 3 1 1 1 2 0 1 2 3 3 0 1 1 2 2 1 0 0 2 0 3 1 2 2 1 2 1 1 0 1 2 3 0 0 2 1 3 2 3 2 3 1 0 0 2 3 0 2 0 2 3 1 0 3 0 1 3 2 0 2 1 1 0 0 1 1 0 3 2 3 0 1 0 0 1 0 2 1 3 3 1 3 0 2 1 1 0 1 0 </values>
20077.49/2520.10	v </instantiation>
20077.49/2520.10	c Unexpected resolution interruption!

Verifier Data 

OK	3

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11446 MiB free)
  memory of node 1: 16384 MiB (11427 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281160-1503177384/watcher-4281160-1503177384 -o /tmp/evaluation-result-4281160-1503177384/solver-4281160-1503177384 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503176515-16689 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1769304983 HOME/instance-4281160-1503177384.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16840, runsolver pid=16837

[startup+0.100156 s]*
/proc/loadavg: 6.12 7.40 7.66 2/201 16861
/proc/meminfo: memFree=23408624/32770624 swapFree=67108860/67108860
[pid=16840] ppid=16837 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16840/stat : 16840 (xcsp3-exec) S 16837 16840 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150809903 9740288 346 33554432000 4194304 5098028 140722090455200 140722090453304 140423645213308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34123776 140722090460260 140722090460471 140722090460471 140722090463211 0
/proc/16840/statm: 2378 346 289 221 0 87 0
[pid=16842] ppid=16840 vsize=25999808 memory=26580 CPUtime=0.11 cores=0-7
/proc/16842/stat : 16842 (java) S 16840 16840 16662 0 -1 1077944320 5487 0 0 0 10 1 0 0 20 0 20 0 150809903 26623803392 6645 33554432000 4194304 4196468 140722841780576 140722841763120 140419944611575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
/proc/16842/statm: 6499952 6645 2866 1 0 6488269 0
[pid=16842/tid=16843] ppid=16840 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16842/task/16843/stat : 16843 (java) R 16840 16840 16662 0 -1 4202560 3478 0 0 0 8 0 0 0 20 0 20 0 150809904 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419948827728 140419927963050 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16844] ppid=16840 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16842/task/16844/stat : 16844 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809904 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419867192208 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16845] ppid=16840 vsize=25999808 memory=140604820428416 CPUtime=0 cores=0-7
/proc/16842/task/16845/stat : 16845 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419866139408 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16846] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16846/stat : 16846 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419865087120 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16847] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16847/stat : 16847 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419864034320 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16848] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16848/stat : 16848 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809904 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419498269072 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16849] ppid=16840 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16842/task/16849/stat : 16849 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419497216272 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16850] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16850/stat : 16850 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809904 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419496163984 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16851] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16851/stat : 16851 (java) S 16840 16840 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150809904 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419495111184 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16852] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16852/stat : 16852 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809906 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419339909744 140419944622722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16853] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16853/stat : 16853 (java) S 16840 16840 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150809906 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419338855712 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16854] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16854/stat : 16854 (java) S 16840 16840 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150809907 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419337803376 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16855] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16855/stat : 16855 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809909 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419336751696 140419944630171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16856] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16856/stat : 16856 (java) S 16840 16840 16662 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 150809909 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419335698544 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16857] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16857/stat : 16857 (java) S 16840 16840 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150809909 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419334645744 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16858] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16858/stat : 16858 (java) S 16840 16840 16662 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 150809909 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419333593456 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16859] ppid=16840 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16842/task/16859/stat : 16859 (java) S 16840 16840 16662 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 20 0 150809909 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419332540656 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16860] ppid=16840 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16860/stat : 16860 (java) S 16840 16840 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150809909 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419331488608 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16861] ppid=16840 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16842/task/16861/stat : 16861 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809909 26623803392 6645 33554432000 4194304 4196468 140722841780576 140419330435888 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27964 KiB

[startup+0.209863 s]*
/proc/loadavg: 6.12 7.40 7.66 3/201 16861
/proc/meminfo: memFree=23396636/32770624 swapFree=67108860/67108860
[pid=16840] ppid=16837 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16840/stat : 16840 (xcsp3-exec) S 16837 16840 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150809903 9740288 346 33554432000 4194304 5098028 140722090455200 140722090453304 140423645213308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34123776 140722090460260 140722090460471 140722090460471 140722090463211 0
/proc/16840/statm: 2378 346 289 221 0 87 0
[pid=16842] ppid=16840 vsize=26004064 memory=39380 CPUtime=0.32 cores=0-7
/proc/16842/stat : 16842 (java) S 16840 16840 16662 0 -1 1077944320 8392 0 0 0 31 1 0 0 20 0 20 0 150809903 26628161536 9845 33554432000 4194304 4196468 140722841780576 140722841763120 140419944611575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
/proc/16842/statm: 6501016 9845 3061 1 0 6488269 0
[pid=16842/tid=16843] ppid=16840 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16842/task/16843/stat : 16843 (java) R 16840 16840 16662 0 -1 4202560 5399 0 0 0 18 1 0 0 20 0 20 0 150809904 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419948823504 140419944633501 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16844] ppid=16840 vsize=26004064 memory=339 CPUtime=0 cores=0-7
/proc/16842/task/16844/stat : 16844 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419867192208 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16845] ppid=16840 vsize=26004064 memory=140604821148040 CPUtime=0 cores=0-7
/proc/16842/task/16845/stat : 16845 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419866139408 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16846] ppid=16840 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16842/task/16846/stat : 16846 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419865087120 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16847] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16847/stat : 16847 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419864034320 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16848] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16848/stat : 16848 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419498269072 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16849] ppid=16840 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16842/task/16849/stat : 16849 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419497216272 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16850] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16850/stat : 16850 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419496163984 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16851] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16851/stat : 16851 (java) S 16840 16840 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419495111184 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16852] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16852/stat : 16852 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809906 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419339909744 140419944622722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16853] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16853/stat : 16853 (java) S 16840 16840 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150809906 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419338855712 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16854] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16854/stat : 16854 (java) S 16840 16840 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150809907 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419337803376 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16855] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16855/stat : 16855 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809909 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419336751696 140419944630171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16856] ppid=16840 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16842/task/16856/stat : 16856 (java) S 16840 16840 16662 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 20 0 150809909 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419335698544 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16857] ppid=16840 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16842/task/16857/stat : 16857 (java) S 16840 16840 16662 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 20 0 150809909 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419334645744 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16858] ppid=16840 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/16842/task/16858/stat : 16858 (java) S 16840 16840 16662 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 150809909 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419333593456 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16859] ppid=16840 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/16842/task/16859/stat : 16859 (java) R 16840 16840 16662 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 20 0 150809909 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419332540656 140419923414712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16860] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16860/stat : 16860 (java) S 16840 16840 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150809909 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419331488608 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16861] ppid=16840 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16842/task/16861/stat : 16861 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809909 26628161536 9845 33554432000 4194304 4196468 140722841780576 140419330435888 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40764 KiB

[startup+0.309657 s]*
/proc/loadavg: 6.12 7.40 7.66 3/201 16861
/proc/meminfo: memFree=23391488/32770624 swapFree=67108860/67108860
[pid=16840] ppid=16837 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16840/stat : 16840 (xcsp3-exec) S 16837 16840 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150809903 9740288 346 33554432000 4194304 5098028 140722090455200 140722090453304 140423645213308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34123776 140722090460260 140722090460471 140722090460471 140722090463211 0
/proc/16840/statm: 2378 346 289 221 0 87 0
[pid=16842] ppid=16840 vsize=26004064 memory=46076 CPUtime=0.5 cores=0-7
/proc/16842/stat : 16842 (java) S 16840 16840 16662 0 -1 1077944320 9219 0 0 0 48 2 0 0 20 0 20 0 150809903 26628161536 11519 33554432000 4194304 4196468 140722841780576 140722841763120 140419944611575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
/proc/16842/statm: 6501016 11519 3077 1 0 6488269 0
[pid=16842/tid=16843] ppid=16840 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16842/task/16843/stat : 16843 (java) R 16840 16840 16662 0 -1 4202560 6070 0 0 0 28 1 0 0 20 0 20 0 150809904 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419948849088 140419543412539 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16844] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16844/stat : 16844 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419867192208 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16845] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16845/stat : 16845 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419866139408 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16846] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16846/stat : 16846 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419865087120 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16847] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16847/stat : 16847 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419864034320 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16848] ppid=16840 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16842/task/16848/stat : 16848 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419498269072 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16849] ppid=16840 vsize=26004064 memory=140604680008623 CPUtime=0 cores=0-7
/proc/16842/task/16849/stat : 16849 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419497216272 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16850] ppid=16840 vsize=26004064 memory=140604680010928 CPUtime=0 cores=0-7
/proc/16842/task/16850/stat : 16850 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419496163984 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16851] ppid=16840 vsize=26004064 memory=140604680013232 CPUtime=0 cores=0-7
/proc/16842/task/16851/stat : 16851 (java) S 16840 16840 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150809904 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419495111184 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16852] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16852/stat : 16852 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809906 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419339909744 140419944622722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16853] ppid=16840 vsize=26004064 memory=281209360033424 CPUtime=0 cores=0-7
/proc/16842/task/16853/stat : 16853 (java) S 16840 16840 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150809906 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419338855712 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16854] ppid=16840 vsize=26004064 memory=281209360040336 CPUtime=0 cores=0-7
/proc/16842/task/16854/stat : 16854 (java) S 16840 16840 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150809907 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419337803376 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16855] ppid=16840 vsize=26004064 memory=281209359981616 CPUtime=0 cores=0-7
/proc/16842/task/16855/stat : 16855 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809909 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419336751696 140419944630171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16856] ppid=16840 vsize=26004064 memory=281209360054160 CPUtime=0.02 cores=0-7
/proc/16842/task/16856/stat : 16856 (java) R 16840 16840 16662 0 -1 4202560 442 0 0 0 2 0 0 0 20 0 20 0 150809909 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419335698544 140419929180929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16857] ppid=16840 vsize=26004064 memory=281209360061072 CPUtime=0.03 cores=0-7
/proc/16842/task/16857/stat : 16857 (java) S 16840 16840 16662 0 -1 1077944384 301 0 0 0 3 0 0 0 20 0 20 0 150809909 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419334645744 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16858] ppid=16840 vsize=26004064 memory=281209360058768 CPUtime=0.02 cores=0-7
/proc/16842/task/16858/stat : 16858 (java) S 16840 16840 16662 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 20 0 150809909 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419333593456 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16859] ppid=16840 vsize=26004064 memory=281209360074928 CPUtime=0.12 cores=0-7
/proc/16842/task/16859/stat : 16859 (java) R 16840 16840 16662 0 -1 4202560 885 0 0 0 12 0 0 0 20 0 20 0 150809909 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419332537088 140419928655205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16860] ppid=16840 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16860/stat : 16860 (java) S 16840 16840 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150809909 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419331488608 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16861] ppid=16840 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16842/task/16861/stat : 16861 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809909 26628161536 11519 33554432000 4194304 4196468 140722841780576 140419330435888 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47460 KiB

[startup+0.700986 s]
/proc/loadavg: 6.12 7.40 7.66 5/201 16861
/proc/meminfo: memFree=23358560/32770624 swapFree=67108860/67108860
[pid=16840] ppid=16837 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16840/stat : 16840 (xcsp3-exec) S 16837 16840 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150809903 9740288 346 33554432000 4194304 5098028 140722090455200 140722090453304 140423645213308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34123776 140722090460260 140722090460471 140722090460471 140722090463211 0
/proc/16840/statm: 2378 346 289 221 0 87 0
[pid=16842] ppid=16840 vsize=26006188 memory=107480 CPUtime=2.08 cores=0-7
/proc/16842/stat : 16842 (java) S 16840 16840 16662 0 -1 1077944320 14950 0 0 0 203 5 0 0 20 0 20 0 150809903 26630336512 26870 33554432000 4194304 4196468 140722841780576 140722841763120 140419944611575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
/proc/16842/statm: 6501547 26870 3200 1 0 6488781 0
[pid=16842/tid=16843] ppid=16840 vsize=26006188 memory=281209360432816 CPUtime=0.67 cores=0-7
/proc/16842/task/16843/stat : 16843 (java) R 16840 16840 16662 0 -1 4202560 6773 0 0 0 64 3 0 0 20 0 20 0 150809904 26630336512 26870 33554432000 4194304 4196468 140722841780576 140419948845184 140419927953824 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16844] ppid=16840 vsize=26006188 memory=140604680217456 CPUtime=0 cores=0-7
/proc/16842/task/16844/stat : 16844 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150809904 26630336512 26870 33554432000 4194304 4196468 140722841780576 140419867192208 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16845] ppid=16840 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/16842/task/16845/stat : 16845 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26630336512 26870 33554432000 4194304 4196468 140722841780576 140419866139408 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16846] ppid=16840 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/16842/task/16846/stat : 16846 (java) S 16840 16840 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150809904 26630336512 26870 33554432000 4194304 4196468 140722841780576 140419865087120 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0

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

/proc/meminfo: memFree=18214900/32770624 swapFree=67108860/67108860
[pid=16840] ppid=16837 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16840/stat : 16840 (xcsp3-exec) S 16837 16840 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150809903 9740288 346 33554432000 4194304 5098028 140722090455200 140722090453304 140423645213308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34123776 140722090460260 140722090460471 140722090460471 140722090463211 0
/proc/16840/statm: 2378 346 289 221 0 87 0
[pid=16842] ppid=16840 vsize=26538700 memory=5215460 CPUtime=19936.4 cores=0-7
/proc/16842/stat : 16842 (java) S 16840 16840 16662 0 -1 1077944320 495128 0 0 0 1993198 446 0 0 20 0 28 0 150809903 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140722841763120 140419944611575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
/proc/16842/statm: 6634675 1303865 3292 1 0 6621909 0
[pid=16842/tid=16843] ppid=16840 vsize=26538700 memory=5215452 CPUtime=1.58 cores=0-7
/proc/16842/task/16843/stat : 16843 (java) S 16840 16840 16662 0 -1 1077944384 7246 0 0 0 152 6 0 0 20 0 28 0 150809904 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419948852352 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16844] ppid=16840 vsize=26538700 memory=1384 CPUtime=1.86 cores=0-7
/proc/16842/task/16844/stat : 16844 (java) S 16840 16840 16662 0 -1 1077944384 18976 0 0 0 175 11 0 0 20 0 28 0 150809904 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419867192208 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16845] ppid=16840 vsize=26538700 memory=5215452 CPUtime=1.92 cores=0-7
/proc/16842/task/16845/stat : 16845 (java) S 16840 16840 16662 0 -1 1077944384 16603 0 0 0 178 14 0 0 20 0 28 0 150809904 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419866139408 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16846] ppid=16840 vsize=26538700 memory=5215460 CPUtime=1.89 cores=0-7
/proc/16842/task/16846/stat : 16846 (java) S 16840 16840 16662 0 -1 1077944384 17643 0 0 0 175 14 0 0 20 0 28 0 150809904 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419865087120 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16847] ppid=16840 vsize=26538700 memory=5215460 CPUtime=1.92 cores=0-7
/proc/16842/task/16847/stat : 16847 (java) S 16840 16840 16662 0 -1 1077944384 17878 0 0 0 179 13 0 0 20 0 28 0 150809904 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419864034320 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16848] ppid=16840 vsize=26538700 memory=1384 CPUtime=1.9 cores=0-7
/proc/16842/task/16848/stat : 16848 (java) S 16840 16840 16662 0 -1 1077944384 17506 0 0 0 176 14 0 0 20 0 28 0 150809904 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419498269072 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16849] ppid=16840 vsize=26538700 memory=5215452 CPUtime=1.92 cores=0-7
/proc/16842/task/16849/stat : 16849 (java) S 16840 16840 16662 0 -1 1077944384 19753 0 0 0 178 14 0 0 20 0 28 0 150809904 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419497216272 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16850] ppid=16840 vsize=26538700 memory=281209362449968 CPUtime=1.91 cores=0-7
/proc/16842/task/16850/stat : 16850 (java) S 16840 16840 16662 0 -1 1077944384 17279 0 0 0 178 13 0 0 20 0 28 0 150809904 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419496163984 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16851] ppid=16840 vsize=26538700 memory=5215460 CPUtime=1.91 cores=0-7
/proc/16842/task/16851/stat : 16851 (java) S 16840 16840 16662 0 -1 1077944384 18320 0 0 0 179 12 0 0 20 0 28 0 150809904 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419495111184 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16852] ppid=16840 vsize=26538700 memory=5215460 CPUtime=1.17 cores=0-7
/proc/16842/task/16852/stat : 16852 (java) S 16840 16840 16662 0 -1 1077944384 56017 0 0 0 103 14 0 0 20 0 28 0 150809906 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419339909744 140419944622722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16853] ppid=16840 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/16842/task/16853/stat : 16853 (java) S 16840 16840 16662 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 150809906 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419338855776 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16854] ppid=16840 vsize=26538700 memory=5207208 CPUtime=0 cores=0-7
/proc/16842/task/16854/stat : 16854 (java) S 16840 16840 16662 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 150809907 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419337803392 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16855] ppid=16840 vsize=26538700 memory=281209361571888 CPUtime=0 cores=0-7
/proc/16842/task/16855/stat : 16855 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150809909 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419336751696 140419944630171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16856] ppid=16840 vsize=26538700 memory=281209360874152 CPUtime=2.99 cores=0-7
/proc/16842/task/16856/stat : 16856 (java) S 16840 16840 16662 0 -1 1077944384 19810 0 0 0 294 5 0 0 20 0 28 0 150809909 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419335698544 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16857] ppid=16840 vsize=26538700 memory=1152 CPUtime=2.84 cores=0-7
/proc/16842/task/16857/stat : 16857 (java) S 16840 16840 16662 0 -1 1077944384 14033 0 0 0 282 2 0 0 20 0 28 0 150809909 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419334645744 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16858] ppid=16840 vsize=26538700 memory=3872 CPUtime=3.02 cores=0-7
/proc/16842/task/16858/stat : 16858 (java) S 16840 16840 16662 0 -1 1077944384 19259 0 0 0 299 3 0 0 20 0 28 0 150809909 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419333593456 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16859] ppid=16840 vsize=26538700 memory=1384 CPUtime=0.95 cores=0-7
/proc/16842/task/16859/stat : 16859 (java) S 16840 16840 16662 0 -1 1077944384 15178 0 0 0 92 3 0 0 20 0 28 0 150809909 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419332540656 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16860] ppid=16840 vsize=26538700 memory=12136 CPUtime=0 cores=0-7
/proc/16842/task/16860/stat : 16860 (java) S 16840 16840 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150809909 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419331488608 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16861] ppid=16840 vsize=26538700 memory=1012 CPUtime=1.05 cores=0-7
/proc/16842/task/16861/stat : 16861 (java) S 16840 16840 16662 0 -1 1077944384 5978 0 0 0 0 105 0 0 20 0 28 0 150809909 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419330435888 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16910] ppid=16840 vsize=26538700 memory=796 CPUtime=2464.83 cores=0-7
/proc/16842/task/16910/stat : 16910 (java) R 16840 16840 16662 0 -1 4202560 13126 0 0 0 246476 7 0 0 20 0 28 0 150811982 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419119603080 140419551915920 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16911] ppid=16840 vsize=26538700 memory=1384 CPUtime=2476.78 cores=0-7
/proc/16842/task/16911/stat : 16911 (java) R 16840 16840 16662 0 -1 4202560 10087 0 0 0 247670 8 0 0 20 0 28 0 150811983 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419116445864 140419552859716 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16912] ppid=16840 vsize=26538700 memory=5215452 CPUtime=2474.31 cores=0-7
/proc/16842/task/16912/stat : 16912 (java) R 16840 16840 16662 0 -1 4202560 10951 0 0 0 247425 6 0 0 20 0 28 0 150811983 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419114339872 140419551976250 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16913] ppid=16840 vsize=26538700 memory=1384 CPUtime=2474.2 cores=0-7
/proc/16842/task/16913/stat : 16913 (java) R 16840 16840 16662 0 -1 4202560 65699 0 0 0 247297 123 0 0 20 0 28 0 150811983 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419113287576 140419551849514 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16914] ppid=16840 vsize=26538700 memory=1384 CPUtime=2468.94 cores=0-7
/proc/16842/task/16914/stat : 16914 (java) R 16840 16840 16662 0 -1 4202560 12502 0 0 0 246888 6 0 0 20 0 28 0 150811983 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419327209640 140419552859716 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16915] ppid=16840 vsize=26538700 memory=1384 CPUtime=2463.12 cores=0-7
/proc/16842/task/16915/stat : 16915 (java) R 16840 16840 16662 0 -1 4202560 8989 0 0 0 246307 5 0 0 20 0 28 0 150811983 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419118550968 140419552859843 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16916] ppid=16840 vsize=26538700 memory=5215452 CPUtime=2466.04 cores=0-7
/proc/16842/task/16916/stat : 16916 (java) R 16840 16840 16662 0 -1 4202560 42852 0 0 0 246557 47 0 0 20 0 28 0 150811983 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419117501392 140419552859676 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16917] ppid=16840 vsize=26538700 memory=1384 CPUtime=2472.99 cores=0-7
/proc/16842/task/16917/stat : 16917 (java) R 16840 16840 16662 0 -1 4202560 39024 0 0 0 247266 33 0 0 20 0 28 0 150811983 27175628800 1303865 33554432000 4194304 4196468 140722841780576 140419115393320 140419552646825 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
Current children cumulated CPU time: 19936.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5216844 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.89 8.51 8.34 9/208 16947
/proc/meminfo: memFree=18212652/32770624 swapFree=67108860/67108860
[pid=16840] ppid=16837 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16840/stat : 16840 (xcsp3-exec) S 16837 16840 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150809903 9740288 346 33554432000 4194304 5098028 140722090455200 140722090453304 140423645213308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34123776 140722090460260 140722090460471 140722090460471 140722090463211 0
/proc/16840/statm: 2378 346 289 221 0 87 0
[pid=16842] ppid=16840 vsize=26538700 memory=5217528 CPUtime=20077.5 cores=0-7
/proc/16842/stat : 16842 (java) S 16840 16840 16662 0 -1 1077944320 498602 0 0 0 2007302 447 0 0 20 0 28 0 150809903 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140722841763120 140419944611575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
/proc/16842/statm: 6634675 1304382 3292 1 0 6621909 0
[pid=16842/tid=16843] ppid=16840 vsize=26538700 memory=6791534058613427641 CPUtime=1.58 cores=0-7
/proc/16842/task/16843/stat : 16843 (java) S 16840 16840 16662 0 -1 1077944384 7246 0 0 0 152 6 0 0 20 0 28 0 150809904 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419948852352 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16844] ppid=16840 vsize=26538700 memory=4872558044660077418 CPUtime=1.87 cores=0-7
/proc/16842/task/16844/stat : 16844 (java) S 16840 16840 16662 0 -1 1077944384 19028 0 0 0 176 11 0 0 20 0 28 0 150809904 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419867192208 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16845] ppid=16840 vsize=26538700 memory=4616 CPUtime=1.94 cores=0-7
/proc/16842/task/16845/stat : 16845 (java) S 16840 16840 16662 0 -1 1077944384 16953 0 0 0 180 14 0 0 20 0 28 0 150809904 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419866139408 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16846] ppid=16840 vsize=26538700 memory=1928 CPUtime=1.91 cores=0-7
/proc/16842/task/16846/stat : 16846 (java) S 16840 16840 16662 0 -1 1077944384 17739 0 0 0 177 14 0 0 20 0 28 0 150809904 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419865087120 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16847] ppid=16840 vsize=26538700 memory=1428 CPUtime=1.93 cores=0-7
/proc/16842/task/16847/stat : 16847 (java) S 16840 16840 16662 0 -1 1077944384 17989 0 0 0 180 13 0 0 20 0 28 0 150809904 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419864034320 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16848] ppid=16840 vsize=26538700 memory=920 CPUtime=1.92 cores=0-7
/proc/16842/task/16848/stat : 16848 (java) S 16840 16840 16662 0 -1 1077944384 17673 0 0 0 178 14 0 0 20 0 28 0 150809904 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419498269072 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16849] ppid=16840 vsize=26538700 memory=4116 CPUtime=1.93 cores=0-7
/proc/16842/task/16849/stat : 16849 (java) S 16840 16840 16662 0 -1 1077944384 19788 0 0 0 179 14 0 0 20 0 28 0 150809904 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419497216272 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16850] ppid=16840 vsize=26538700 memory=1384 CPUtime=1.93 cores=0-7
/proc/16842/task/16850/stat : 16850 (java) S 16840 16840 16662 0 -1 1077944384 17800 0 0 0 180 13 0 0 20 0 28 0 150809904 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419496163984 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16851] ppid=16840 vsize=26538700 memory=5217528 CPUtime=1.93 cores=0-7
/proc/16842/task/16851/stat : 16851 (java) S 16840 16840 16662 0 -1 1077944384 18532 0 0 0 181 12 0 0 20 0 28 0 150809904 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419495111184 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16852] ppid=16840 vsize=26538700 memory=5217508 CPUtime=1.18 cores=0-7
/proc/16842/task/16852/stat : 16852 (java) S 16840 16840 16662 0 -1 1077944384 56564 0 0 0 104 14 0 0 20 0 28 0 150809906 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419339909744 140419944622722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16853] ppid=16840 vsize=26538700 memory=5217508 CPUtime=0 cores=0-7
/proc/16842/task/16853/stat : 16853 (java) S 16840 16840 16662 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 150809906 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419338855776 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16854] ppid=16840 vsize=26538700 memory=5207204 CPUtime=0 cores=0-7
/proc/16842/task/16854/stat : 16854 (java) S 16840 16840 16662 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 150809907 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419337803392 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16855] ppid=16840 vsize=26538700 memory=5217528 CPUtime=0 cores=0-7
/proc/16842/task/16855/stat : 16855 (java) S 16840 16840 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150809909 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419336751696 140419944630171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16856] ppid=16840 vsize=26538700 memory=1384 CPUtime=2.99 cores=0-7
/proc/16842/task/16856/stat : 16856 (java) S 16840 16840 16662 0 -1 1077944384 19814 0 0 0 294 5 0 0 20 0 28 0 150809909 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419335698544 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16857] ppid=16840 vsize=26538700 memory=5217528 CPUtime=2.84 cores=0-7
/proc/16842/task/16857/stat : 16857 (java) S 16840 16840 16662 0 -1 1077944384 14039 0 0 0 282 2 0 0 20 0 28 0 150809909 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419334645744 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16858] ppid=16840 vsize=26538700 memory=15880 CPUtime=3.02 cores=0-7
/proc/16842/task/16858/stat : 16858 (java) S 16840 16840 16662 0 -1 1077944384 19263 0 0 0 299 3 0 0 20 0 28 0 150809909 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419333593456 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16859] ppid=16840 vsize=26538700 memory=22996 CPUtime=0.95 cores=0-7
/proc/16842/task/16859/stat : 16859 (java) S 16840 16840 16662 0 -1 1077944384 15182 0 0 0 92 3 0 0 20 0 28 0 150809909 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419332540656 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16860] ppid=16840 vsize=26538700 memory=16432 CPUtime=0 cores=0-7
/proc/16842/task/16860/stat : 16860 (java) S 16840 16840 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150809909 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419331488608 140419944621781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16861] ppid=16840 vsize=26538700 memory=4040 CPUtime=1.06 cores=0-7
/proc/16842/task/16861/stat : 16861 (java) S 16840 16840 16662 0 -1 1077944384 5996 0 0 0 0 106 0 0 20 0 28 0 150809909 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419330435888 140419944622722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16910] ppid=16840 vsize=26538700 memory=1792 CPUtime=2482.38 cores=0-7
/proc/16842/task/16910/stat : 16910 (java) R 16840 16840 16662 0 -1 4202560 13209 0 0 0 248231 7 0 0 20 0 28 0 150811982 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419119603688 140419551915920 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16911] ppid=16840 vsize=26538700 memory=640 CPUtime=2494.46 cores=0-7
/proc/16842/task/16911/stat : 16911 (java) R 16840 16840 16662 0 -1 4202560 10109 0 0 0 249437 9 0 0 20 0 28 0 150811983 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419116446104 140419551915736 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16912] ppid=16840 vsize=26538700 memory=960 CPUtime=2491.95 cores=0-7
/proc/16842/task/16912/stat : 16912 (java) R 16840 16840 16662 0 -1 4202560 11041 0 0 0 249189 6 0 0 20 0 28 0 150811983 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419114339976 140419550896291 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16913] ppid=16840 vsize=26538700 memory=1232 CPUtime=2491.84 cores=0-7
/proc/16842/task/16913/stat : 16913 (java) R 16840 16840 16662 0 -1 4202560 65937 0 0 0 249061 123 0 0 20 0 28 0 150811983 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419113287232 140419547835083 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16914] ppid=16840 vsize=26538700 memory=2428 CPUtime=2486.56 cores=0-7
/proc/16842/task/16914/stat : 16914 (java) R 16840 16840 16662 0 -1 4202560 12574 0 0 0 248650 6 0 0 20 0 28 0 150811983 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419327209496 140419551915801 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16915] ppid=16840 vsize=26538700 memory=1576 CPUtime=2480.58 cores=0-7
/proc/16842/task/16915/stat : 16915 (java) R 16840 16840 16662 0 -1 4202560 9032 0 0 0 248053 5 0 0 20 0 28 0 150811983 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419118550560 140419551915468 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16916] ppid=16840 vsize=26538700 memory=928 CPUtime=2483.7 cores=0-7
/proc/16842/task/16916/stat : 16916 (java) R 16840 16840 16662 0 -1 4202560 43111 0 0 0 248322 48 0 0 20 0 28 0 150811983 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419117501392 140419551916287 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
[pid=16842/tid=16917] ppid=16840 vsize=26538700 memory=2240 CPUtime=2490.64 cores=0-7
/proc/16842/task/16917/stat : 16917 (java) R 16840 16840 16662 0 -1 4202560 39564 0 0 0 249031 33 0 0 20 0 28 0 150811983 27175628800 1304382 33554432000 4194304 4196468 140722841780576 140419115393320 140419550831129 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 25817088 140722841785490 140722841785667 140722841785667 140722841788367 0
Current children cumulated CPU time: 20077.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5218912 KiB

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

[startup+2520.04 s]
# the end of solver process 16840 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001946 s, system=0 s

[startup+2520.15 s]
# the end of solver process 16842 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20073.8 s, system=4.51566 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.13 s]*
/proc/loadavg: 8.89 8.51 8.34 2/181 16949
/proc/meminfo: memFree=21188992/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001946 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 20078.3
CPU user time (s): 20073.8
CPU system time (s): 4.51566
CPU usage (%): 796.711
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5507996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20073.8
system time used= 4.51566
maximum resident set size= 5506612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131894
involuntary context switches= 207385


# summary of solver processes directly reported to runsolver:
#   pid: 16840,16842
#   total CPU time (s): 20078.3
#   total CPU user time (s): 20073.8
#   total CPU system time (s): 4.51566

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.2424 second user time and 29.4948 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-19 23:02:04
IDJOB=4281160
IDBENCH=139746
IDSOLVER=2675
FILE ID=node105/4281160-1503177384
RUNJOBID= node105-1503176515-16689
PBS_JOBID= 20630848
Free space on /tmp= 61848 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-09-11.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281160-1503177384/watcher-4281160-1503177384 -o /tmp/evaluation-result-4281160-1503177384/solver-4281160-1503177384 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503176515-16689 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1769304983 HOME/instance-4281160-1503177384.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 40f8709457985e2479c772f6dd1ec4a8
RANDOM SEED=1769304983

node105.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:        23423716 kB
MemAvailable:   31970332 kB
Buffers:          236440 kB
Cached:          8600324 kB
SwapCached:            0 kB
Active:          1042788 kB
Inactive:        7848444 kB
Active(anon):       4352 kB
Inactive(anon):    85904 kB
Active(file):    1038436 kB
Inactive(file):  7762540 kB
Unevictable:        7324 kB
Mlocked:            7324 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             8 kB
AnonPages:         61232 kB
Mapped:            51320 kB
Shmem:             33420 kB
Slab:             149560 kB
SReclaimable:     122952 kB
SUnreclaim:        26608 kB
KernelStack:        3200 kB
PageTables:         4724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61840 MiB
End job on node105 at 2017-08-19 23:44:05