Trace number 4272818

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 5a (2017-07-26)OPT1 26.612499 20.0382

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-04-06.xml
MD5SUMbc597584f482d34acd2131afdcab0789
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.109919
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints91
Number of domains1
Minimum domain size24
Maximum domain size24
Distribution of domain sizes[{"size":24,"count":24}]
Minimum variable degree17
Maximum variable degree17
Distribution of variable degrees[{"degree":17,"count":24}]
Minimum constraint arity4
Maximum constraint arity24
Distribution of constraint arities[{"arity":4,"count":90},{"arity":24,"count":1}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"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.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272818-1502856850.xml"  -tl '2520s' -p 1 -x 3
0.06/0.30	c [HOME/instance-4272818-1502856850.xml, -tl, 2520s, -p, 1, -x, 3]
0.23/0.36	c simple solver
0.42/0.42	c parse instance...
24.02/18.02	c solve instance...
26.15/19.86	o 2 
26.41/19.99	o 1 
26.58/20.01	s OPTIMUM FOUND
26.58/20.01	v <instantiation>
26.58/20.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] </list>
26.58/20.01	v 	<values>0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 </values>
26.58/20.01	v </instantiation>

Verifier Data 

OK	1

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 (11186 MiB free)
  memory of node 1: 16384 MiB (15187 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272818-1502856850/watcher-4272818-1502856850 -o /tmp/evaluation-result-4272818-1502856850/solver-4272818-1502856850 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1548367047 HOME/instance-4272818-1502856850.xml 

running on 4 cores: 1,3,5,7

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

solver pid=11752, runsolver pid=11749

[startup+0.10019 s]*
/proc/loadavg: 2.57 2.14 2.04 3/203 11754
/proc/meminfo: memFree=27006888/32770624 swapFree=67108860/67108860
[pid=11752] ppid=11749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11752/stat : 11752 (xcsp3-exec) S 11749 11752 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 39567555 9740288 345 18446744073709551615 4194304 5098028 140730887816736 140730887814840 140327666369148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24604672 140730887823737 140730887823942 140730887823942 140730887827435 0
/proc/11752/statm: 2378 345 289 221 0 87 0
[pid=11754] ppid=11752 vsize=11660708 memory=7776 CPUtime=0 cores=1,3,5,7
/proc/11754/stat : 11754 (java) S 11752 11752 7968 0 -1 1077944320 2195 0 0 0 0 0 0 0 20 0 5 0 39567565 11940564992 1944 18446744073709551615 4194304 4196468 140723300223056 140723300205600 140479081828087 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
/proc/11754/statm: 2915434 1944 1162 1 0 2905404 0
[pid=11754/tid=11755] ppid=11752 vsize=13356504 memory=-6871798056557643345 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11755/stat : 11755 (java) R 11752 11752 7968 0 -1 4202560 1137 0 0 0 0 0 0 0 20 0 6 0 39567565 13677060096 2089 18446744073709551615 4194304 4196468 140723300223056 140479086069864 140479067909375 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11756] ppid=11752 vsize=13356504 memory=5118961333147690361 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11756/stat : 11756 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 39567566 13677060096 2089 18446744073709551615 4194304 4196468 140723300223056 140479053671312 140479081838293 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11757] ppid=11752 vsize=13356504 memory=139909576136320 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11757/stat : 11757 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 39567566 13677060096 2154 18446744073709551615 4194304 4196468 140723300223056 140478680918800 140479081838293 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11758] ppid=11752 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11758/stat : 11758 (java) S 11752 11752 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 39567566 13677060096 2154 18446744073709551615 4194304 4196468 140723300223056 140478679866512 140479081838293 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11759] ppid=11752 vsize=13356504 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11759/stat : 11759 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 39567566 13677060096 2154 18446744073709551615 4194304 4196468 140723300223056 140478678813712 140479081838293 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11670220 KiB
Current children cumulated memory: 9156 KiB

[startup+0.210431 s]*
/proc/loadavg: 2.57 2.14 2.04 2/216 11767
/proc/meminfo: memFree=26996680/32770624 swapFree=67108860/67108860
[pid=11752] ppid=11749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11752/stat : 11752 (xcsp3-exec) S 11749 11752 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 39567555 9740288 345 18446744073709551615 4194304 5098028 140730887816736 140730887814840 140327666369148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24604672 140730887823737 140730887823942 140730887823942 140730887827435 0
/proc/11752/statm: 2378 345 289 221 0 87 0
[pid=11754] ppid=11752 vsize=13973868 memory=22940 CPUtime=0.06 cores=1,3,5,7
/proc/11754/stat : 11754 (java) S 11752 11752 7968 0 -1 1077944320 4671 0 0 0 5 1 0 0 20 0 15 0 39567565 14309240832 5735 18446744073709551615 4194304 4196468 140723300223056 140723300205600 140479081828087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
/proc/11754/statm: 3493467 5735 2579 1 0 3482964 0
[pid=11754/tid=11755] ppid=11752 vsize=13973868 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/11754/task/11755/stat : 11755 (java) R 11752 11752 7968 0 -1 4202560 2838 0 0 0 4 0 0 0 20 0 15 0 39567565 14309240832 5735 18446744073709551615 4194304 4196468 140723300223056 140479086057968 140479081850013 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11756] ppid=11752 vsize=13973868 memory=11602 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11756/stat : 11756 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14309240832 5735 18446744073709551615 4194304 4196468 140723300223056 140479053671312 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11757] ppid=11752 vsize=13973868 memory=288370285727848064 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11757/stat : 11757 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14309240832 5735 18446744073709551615 4194304 4196468 140723300223056 140478680918800 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11758] ppid=11752 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11758/stat : 11758 (java) S 11752 11752 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39567566 14309240832 5735 18446744073709551615 4194304 4196468 140723300223056 140478679866512 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11759] ppid=11752 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11759/stat : 11759 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14309240832 5735 18446744073709551615 4194304 4196468 140723300223056 140478678813712 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11760] ppid=11752 vsize=13974352 memory=139909576136320 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11760/stat : 11760 (java) S 11752 11752 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39567567 14309736448 5735 18446744073709551615 4194304 4196468 140723300223056 140478560278640 140479081839234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11761] ppid=11752 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11761/stat : 11761 (java) S 11752 11752 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39567567 14309736448 5735 18446744073709551615 4194304 4196468 140723300223056 140478559224608 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11762] ppid=11752 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11762/stat : 11762 (java) S 11752 11752 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39567568 14309736448 5800 18446744073709551615 4194304 4196468 140723300223056 140478558172272 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11763] ppid=11752 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11763/stat : 11763 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14309736448 5800 18446744073709551615 4194304 4196468 140723300223056 140478557120592 140479081846683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11764] ppid=11752 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11764/stat : 11764 (java) S 11752 11752 7968 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 39567570 14309736448 5800 18446744073709551615 4194304 4196468 140723300223056 140478556068464 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11765] ppid=11752 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11765/stat : 11765 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14309736448 5800 18446744073709551615 4194304 4196468 140723300223056 140478555015664 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11766] ppid=11752 vsize=13974352 memory=139909576136320 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11766/stat : 11766 (java) S 11752 11752 7968 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 39567570 14309736448 5800 18446744073709551615 4194304 4196468 140723300223056 140478553963376 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11767] ppid=11752 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11767/stat : 11767 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14309736448 5800 18446744073709551615 4194304 4196468 140723300223056 140478552910816 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11768] ppid=11752 vsize=13974352 memory=139909576136320 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11768/stat : 11768 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567576 14309736448 5800 18446744073709551615 4194304 4196468 140723300223056 140478551857584 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 24320 KiB

[startup+0.310813 s]*
/proc/loadavg: 2.57 2.14 2.04 3/217 11768
/proc/meminfo: memFree=26981708/32770624 swapFree=67108860/67108860
[pid=11752] ppid=11749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11752/stat : 11752 (xcsp3-exec) S 11749 11752 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 39567555 9740288 345 18446744073709551615 4194304 5098028 140730887816736 140730887814840 140327666369148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24604672 140730887823737 140730887823942 140730887823942 140730887827435 0
/proc/11752/statm: 2378 345 289 221 0 87 0
[pid=11754] ppid=11752 vsize=13974352 memory=37292 CPUtime=0.23 cores=1,3,5,7
/proc/11754/stat : 11754 (java) S 11752 11752 7968 0 -1 1077944320 8434 0 0 0 21 2 0 0 20 0 15 0 39567565 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140723300205600 140479081828087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
/proc/11754/statm: 3493588 9323 2977 1 0 3482964 0
[pid=11754/tid=11755] ppid=11752 vsize=13974352 memory=7311146985107750967 CPUtime=0.15 cores=1,3,5,7
/proc/11754/task/11755/stat : 11755 (java) R 11752 11752 7968 0 -1 4202560 5668 0 0 0 13 2 0 0 20 0 15 0 39567565 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140479086042224 140479065908574 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11756] ppid=11752 vsize=13974352 memory=11602 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11756/stat : 11756 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140479053671312 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11757] ppid=11752 vsize=13974352 memory=301929670088476288 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11757/stat : 11757 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478680918800 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11758] ppid=11752 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11758/stat : 11758 (java) S 11752 11752 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39567566 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478679866512 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11759] ppid=11752 vsize=13974352 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11759/stat : 11759 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478678813712 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11760] ppid=11752 vsize=13974352 memory=4211961485117259767 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11760/stat : 11760 (java) S 11752 11752 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39567567 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478560278640 140479081839234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11761] ppid=11752 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11761/stat : 11761 (java) S 11752 11752 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39567567 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478559224608 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11762] ppid=11752 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11762/stat : 11762 (java) S 11752 11752 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39567568 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478558172272 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11763] ppid=11752 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11763/stat : 11763 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478557120592 140479081846683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11764] ppid=11752 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11754/task/11764/stat : 11764 (java) R 11752 11752 7968 0 -1 4202560 395 0 0 0 1 0 0 0 20 0 15 0 39567570 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478556068464 140479066723789 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11765] ppid=11752 vsize=13974352 memory=3472328279047811119 CPUtime=0.01 cores=1,3,5,7
/proc/11754/task/11765/stat : 11765 (java) S 11752 11752 7968 0 -1 1077944384 384 0 0 0 1 0 0 0 20 0 15 0 39567570 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478555015664 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11766] ppid=11752 vsize=13974352 memory=139909576136320 CPUtime=0.05 cores=1,3,5,7
/proc/11754/task/11766/stat : 11766 (java) S 11752 11752 7968 0 -1 1077944384 688 0 0 0 5 0 0 0 20 0 15 0 39567570 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478553963376 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11767] ppid=11752 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11767/stat : 11767 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478552910816 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11768] ppid=11752 vsize=13974352 memory=139909576136320 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11768/stat : 11768 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567576 14309736448 9323 18446744073709551615 4194304 4196468 140723300223056 140478551857584 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38672 KiB

[startup+0.706193 s]
/proc/loadavg: 2.57 2.14 2.04 3/217 11768
/proc/meminfo: memFree=26971188/32770624 swapFree=67108860/67108860
[pid=11752] ppid=11749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11752/stat : 11752 (xcsp3-exec) S 11749 11752 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 39567555 9740288 345 18446744073709551615 4194304 5098028 140730887816736 140730887814840 140327666369148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24604672 140730887823737 140730887823942 140730887823942 140730887827435 0
/proc/11752/statm: 2378 345 289 221 0 87 0
[pid=11754] ppid=11752 vsize=13980732 memory=74368 CPUtime=1.02 cores=1,3,5,7
/proc/11754/stat : 11754 (java) S 11752 11752 7968 0 -1 1077944320 11636 0 0 0 97 5 0 0 20 0 15 0 39567565 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140723300205600 140479081828087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
/proc/11754/statm: 3495183 18592 3160 1 0 3483476 0
[pid=11754/tid=11755] ppid=11752 vsize=13980732 memory=2556377958145 CPUtime=0.53 cores=1,3,5,7
/proc/11754/task/11755/stat : 11755 (java) R 11752 11752 7968 0 -1 4202560 7996 0 0 0 50 3 0 0 20 0 15 0 39567565 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140479086062928 140478725397964 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11756] ppid=11752 vsize=13980732 memory=2560672925441 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11756/stat : 11756 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140479053671312 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11757] ppid=11752 vsize=13980732 memory=2586442729217 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11757/stat : 11757 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478680918800 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11758] ppid=11752 vsize=13980732 memory=2633687369217 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11758/stat : 11758 (java) S 11752 11752 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39567566 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478679866512 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11759] ppid=11752 vsize=13980732 memory=2676637042177 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11759/stat : 11759 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478678813712 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11760] ppid=11752 vsize=13980732 memory=2764 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11760/stat : 11760 (java) S 11752 11752 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39567567 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478560278640 140479081839234 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11761] ppid=11752 vsize=13980732 memory=4278483708103473607 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11761/stat : 11761 (java) S 11752 11752 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39567567 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478559224608 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11762] ppid=11752 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11762/stat : 11762 (java) S 11752 11752 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39567568 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478558172272 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11763] ppid=11752 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11763/stat : 11763 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478557120592 140479081846683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11764] ppid=11752 vsize=13980732 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/11754/task/11764/stat : 11764 (java) S 11752 11752 7968 0 -1 1077944384 719 0 0 0 13 0 0 0 20 0 15 0 39567570 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478556068464 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11765] ppid=11752 vsize=13980732 memory=6656426216303648864 CPUtime=0.11 cores=1,3,5,7
/proc/11754/task/11765/stat : 11765 (java) S 11752 11752 7968 0 -1 1077944384 662 0 0 0 11 0 0 0 20 0 15 0 39567570 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478555015664 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11766] ppid=11752 vsize=13980732 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/11754/task/11766/stat : 11766 (java) S 11752 11752 7968 0 -1 1077944384 952 0 0 0 22 0 0 0 20 0 15 0 39567570 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478553963376 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11767] ppid=11752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11767/stat : 11767 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478552910816 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11768] ppid=11752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11768/stat : 11768 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567576 14316269568 18592 18446744073709551615 4194304 4196468 140723300223056 140478551857584 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 75748 KiB

[startup+1.50095 s]
/proc/loadavg: 2.57 2.14 2.04 3/217 11768
/proc/meminfo: memFree=26926844/32770624 swapFree=67108860/67108860
[pid=11752] ppid=11749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11752/stat : 11752 (xcsp3-exec) S 11749 11752 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 39567555 9740288 345 18446744073709551615 4194304 5098028 140730887816736 140730887814840 140327666369148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24604672 140730887823737 140730887823942 140730887823942 140730887827435 0
/proc/11752/statm: 2378 345 289 221 0 87 0
[pid=11754] ppid=11752 vsize=13980732 memory=144392 CPUtime=1.9 cores=1,3,5,7
/proc/11754/stat : 11754 (java) S 11752 11752 7968 0 -1 1077944320 12674 0 0 0 185 5 0 0 20 0 15 0 39567565 14316269568 36098 18446744073709551615 4194304 4196468 140723300223056 140723300205600 140479081828087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
/proc/11754/statm: 3495183 36098 3161 1 0 3483476 0
[pid=11754/tid=11755] ppid=11752 vsize=13980732 memory=279818864165104 CPUtime=1.33 cores=1,3,5,7
/proc/11754/task/11755/stat : 11755 (java) R 11752 11752 7968 0 -1 4202560 8642 0 0 0 129 4 0 0 20 0 15 0 39567565 14316269568 36098 18446744073709551615 4194304 4196468 140723300223056 140479086063736 140478725466919 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11756] ppid=11752 vsize=13980732 memory=16724602654207 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11756/stat : 11756 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14316269568 36098 18446744073709551615 4194304 4196468 140723300223056 140479053671312 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11757] ppid=11752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11757/stat : 11757 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14316269568 36098 18446744073709551615 4194304 4196468 140723300223056 140478680918800 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11758] ppid=11752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11758/stat : 11758 (java) S 11752 11752 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39567566 14316269568 36098 18446744073709551615 4194304 4196468 140723300223056 140478679866512 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11759] ppid=11752 vsize=13980732 memory=279818864165104 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11759/stat : 11759 (java) S 11752 11752 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39567566 14316269568 36098 18446744073709551615 4194304 4196468 140723300223056 140478678813712 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11760] ppid=11752 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11760/stat : 11760 (java) S 11752 11752 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39567567 14316269568 36098 18446744073709551615 4194304 4196468 140723300223056 140478560278640 140479081839234 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11761] ppid=11752 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11761/stat : 11761 (java) S 11752 11752 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39567567 14316269568 36098 18446744073709551615 4194304 4196468 140723300223056 140478559224608 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11762] ppid=11752 vsize=13980732 memory=26925 CPUtime=0 cores=1,3,5,7

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

/proc/11752/stat : 11752 (xcsp3-exec) S 11749 11752 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 39567555 9740288 345 18446744073709551615 4194304 5098028 140730887816736 140730887814840 140327666369148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24604672 140730887823737 140730887823942 140730887823942 140730887827435 0
/proc/11752/statm: 2378 345 289 221 0 87 0
[pid=11754] ppid=11752 vsize=13980732 memory=1802356 CPUtime=23.56 cores=1,3,5,7
/proc/11754/stat : 11754 (java) S 11752 11752 7968 0 -1 1077944320 42332 0 0 0 2164 192 0 0 20 0 15 0 39567565 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140723300205600 140479081828087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
/proc/11754/statm: 3495183 450589 3208 1 0 3483476 0
[pid=11754/tid=11755] ppid=11752 vsize=13980732 memory=6943526294502006880 CPUtime=14.16 cores=1,3,5,7
/proc/11754/task/11755/stat : 11755 (java) R 11752 11752 7968 0 -1 4202560 9516 0 0 0 1409 7 0 0 20 0 15 0 39567565 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140479086063296 140478725485884 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11756] ppid=11752 vsize=13980732 memory=-8774313645642428999 CPUtime=1.79 cores=1,3,5,7
/proc/11754/task/11756/stat : 11756 (java) S 11752 11752 7968 0 -1 1077944384 5635 0 0 0 134 45 0 0 20 0 15 0 39567566 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140479053671312 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11757] ppid=11752 vsize=13980732 memory=1228 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11757/stat : 11757 (java) S 11752 11752 7968 0 -1 1077944384 5863 0 0 0 136 44 0 0 20 0 15 0 39567566 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478680918800 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11758] ppid=11752 vsize=13980732 memory=1000 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11758/stat : 11758 (java) S 11752 11752 7968 0 -1 1077944384 6703 0 0 0 135 45 0 0 20 0 15 0 39567566 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478679866512 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11759] ppid=11752 vsize=13980732 memory=2012 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11759/stat : 11759 (java) S 11752 11752 7968 0 -1 1077944384 5893 0 0 0 135 45 0 0 20 0 15 0 39567566 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478678813712 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11760] ppid=11752 vsize=13980732 memory=5520 CPUtime=1.44 cores=1,3,5,7
/proc/11754/task/11760/stat : 11760 (java) S 11752 11752 7968 0 -1 1077944384 2459 0 0 0 144 0 0 0 20 0 15 0 39567567 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478560278640 140479081839234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11761] ppid=11752 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11761/stat : 11761 (java) S 11752 11752 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 39567567 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478559224608 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11762] ppid=11752 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11762/stat : 11762 (java) S 11752 11752 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 39567568 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478558172288 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11763] ppid=11752 vsize=13980732 memory=8712 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11763/stat : 11763 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478557120592 140479081846683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11764] ppid=11752 vsize=13980732 memory=1440 CPUtime=0.2 cores=1,3,5,7
/proc/11754/task/11764/stat : 11764 (java) S 11752 11752 7968 0 -1 1077944384 808 0 0 0 20 0 0 0 20 0 15 0 39567570 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478556068464 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11765] ppid=11752 vsize=13980732 memory=9992 CPUtime=0.15 cores=1,3,5,7
/proc/11754/task/11765/stat : 11765 (java) S 11752 11752 7968 0 -1 1077944384 931 0 0 0 15 0 0 0 20 0 15 0 39567570 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478555015664 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11766] ppid=11752 vsize=13980732 memory=1200 CPUtime=0.32 cores=1,3,5,7
/proc/11754/task/11766/stat : 11766 (java) S 11752 11752 7968 0 -1 1077944384 3066 0 0 0 32 0 0 0 20 0 15 0 39567570 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478553963376 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11767] ppid=11752 vsize=13980732 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11767/stat : 11767 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478552910816 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11768] ppid=11752 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11768/stat : 11768 (java) S 11752 11752 7968 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 39567576 14316269568 450589 18446744073709551615 4194304 4196468 140723300223056 140478551857584 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
Current children cumulated CPU time: 23.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1803736 KiB

[startup+19.2009 s]
/proc/loadavg: 2.25 2.10 2.03 4/218 11770
/proc/meminfo: memFree=25217828/32770624 swapFree=67108860/67108860
[pid=11752] ppid=11749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11752/stat : 11752 (xcsp3-exec) S 11749 11752 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 39567555 9740288 345 18446744073709551615 4194304 5098028 140730887816736 140730887814840 140327666369148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24604672 140730887823737 140730887823942 140730887823942 140730887827435 0
/proc/11752/statm: 2378 345 289 221 0 87 0
[pid=11754] ppid=11752 vsize=13980732 memory=1805212 CPUtime=25.47 cores=1,3,5,7
/proc/11754/stat : 11754 (java) S 11752 11752 7968 0 -1 1077944320 47923 0 0 0 2354 193 0 0 20 0 15 0 39567565 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140723300205600 140479081828087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
/proc/11754/statm: 3495183 451303 3225 1 0 3483476 0
[pid=11754/tid=11755] ppid=11752 vsize=13980732 memory=960 CPUtime=15.75 cores=1,3,5,7
/proc/11754/task/11755/stat : 11755 (java) R 11752 11752 7968 0 -1 4202560 13875 0 0 0 1567 8 0 0 20 0 15 0 39567565 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140479086063992 140478726709219 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11756] ppid=11752 vsize=13980732 memory=2248 CPUtime=1.79 cores=1,3,5,7
/proc/11754/task/11756/stat : 11756 (java) S 11752 11752 7968 0 -1 1077944384 5635 0 0 0 134 45 0 0 20 0 15 0 39567566 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140479053671312 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11757] ppid=11752 vsize=13980732 memory=0 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11757/stat : 11757 (java) S 11752 11752 7968 0 -1 1077944384 5863 0 0 0 136 44 0 0 20 0 15 0 39567566 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478680918800 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11758] ppid=11752 vsize=13980732 memory=6944656575208382560 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11758/stat : 11758 (java) S 11752 11752 7968 0 -1 1077944384 6703 0 0 0 135 45 0 0 20 0 15 0 39567566 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478679866512 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11759] ppid=11752 vsize=13980732 memory=1042244 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11759/stat : 11759 (java) S 11752 11752 7968 0 -1 1077944384 5893 0 0 0 135 45 0 0 20 0 15 0 39567566 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478678813712 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11760] ppid=11752 vsize=13980732 memory=469240 CPUtime=1.44 cores=1,3,5,7
/proc/11754/task/11760/stat : 11760 (java) S 11752 11752 7968 0 -1 1077944384 2461 0 0 0 144 0 0 0 20 0 15 0 39567567 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478560278640 140479081839234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11761] ppid=11752 vsize=13980732 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11761/stat : 11761 (java) S 11752 11752 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 39567567 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478559224608 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11762] ppid=11752 vsize=13980732 memory=279818864416928 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11762/stat : 11762 (java) S 11752 11752 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 39567568 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478558172288 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11763] ppid=11752 vsize=13980732 memory=7660742144744843625 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11763/stat : 11763 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478557120592 140479081846683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11764] ppid=11752 vsize=13980732 memory=5865465064658194540 CPUtime=0.32 cores=1,3,5,7
/proc/11754/task/11764/stat : 11764 (java) S 11752 11752 7968 0 -1 1077944384 1268 0 0 0 32 0 0 0 20 0 15 0 39567570 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478556068464 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11765] ppid=11752 vsize=13980732 memory=279818864430176 CPUtime=0.28 cores=1,3,5,7
/proc/11754/task/11765/stat : 11765 (java) S 11752 11752 7968 0 -1 1077944384 1506 0 0 0 28 0 0 0 20 0 15 0 39567570 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478555015664 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11766] ppid=11752 vsize=13980732 memory=279818864306760 CPUtime=0.4 cores=1,3,5,7
/proc/11754/task/11766/stat : 11766 (java) S 11752 11752 7968 0 -1 1077944384 3261 0 0 0 40 0 0 0 20 0 15 0 39567570 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478553963376 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11767] ppid=11752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11767/stat : 11767 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478552910816 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11768] ppid=11752 vsize=13980732 memory=3471342304944617453 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11768/stat : 11768 (java) S 11752 11752 7968 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 39567576 14316269568 451303 18446744073709551615 4194304 4196468 140723300223056 140478551857584 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1806592 KiB

[startup+19.6009 s]
/proc/loadavg: 2.25 2.10 2.03 4/218 11770
/proc/meminfo: memFree=25217828/32770624 swapFree=67108860/67108860
[pid=11752] ppid=11749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11752/stat : 11752 (xcsp3-exec) S 11749 11752 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 39567555 9740288 345 18446744073709551615 4194304 5098028 140730887816736 140730887814840 140327666369148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24604672 140730887823737 140730887823942 140730887823942 140730887827435 0
/proc/11752/statm: 2378 345 289 221 0 87 0
[pid=11754] ppid=11752 vsize=13980732 memory=1805252 CPUtime=25.9 cores=1,3,5,7
/proc/11754/stat : 11754 (java) S 11752 11752 7968 0 -1 1077944320 47938 0 0 0 2397 193 0 0 20 0 15 0 39567565 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140723300205600 140479081828087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
/proc/11754/statm: 3495183 451313 3225 1 0 3483476 0
[pid=11754/tid=11755] ppid=11752 vsize=13980732 memory=15254861369313240 CPUtime=16.15 cores=1,3,5,7
/proc/11754/task/11755/stat : 11755 (java) R 11752 11752 7968 0 -1 4202560 13875 0 0 0 1607 8 0 0 20 0 15 0 39567565 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140479086063992 140478726350579 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11756] ppid=11752 vsize=13980732 memory=1380 CPUtime=1.79 cores=1,3,5,7
/proc/11754/task/11756/stat : 11756 (java) S 11752 11752 7968 0 -1 1077944384 5635 0 0 0 134 45 0 0 20 0 15 0 39567566 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140479053671312 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11757] ppid=11752 vsize=13980732 memory=1380 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11757/stat : 11757 (java) S 11752 11752 7968 0 -1 1077944384 5863 0 0 0 136 44 0 0 20 0 15 0 39567566 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478680918800 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11758] ppid=11752 vsize=13980732 memory=1380 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11758/stat : 11758 (java) S 11752 11752 7968 0 -1 1077944384 6703 0 0 0 135 45 0 0 20 0 15 0 39567566 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478679866512 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11759] ppid=11752 vsize=13980732 memory=1044008 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11759/stat : 11759 (java) S 11752 11752 7968 0 -1 1077944384 5893 0 0 0 135 45 0 0 20 0 15 0 39567566 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478678813712 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11760] ppid=11752 vsize=13980732 memory=640 CPUtime=1.44 cores=1,3,5,7
/proc/11754/task/11760/stat : 11760 (java) S 11752 11752 7968 0 -1 1077944384 2461 0 0 0 144 0 0 0 20 0 15 0 39567567 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478560278640 140479081839234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11761] ppid=11752 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11761/stat : 11761 (java) S 11752 11752 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 39567567 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478559224608 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11762] ppid=11752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11762/stat : 11762 (java) S 11752 11752 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 39567568 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478558172288 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11763] ppid=11752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11763/stat : 11763 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478557120592 140479081846683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11764] ppid=11752 vsize=13980732 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/11754/task/11764/stat : 11764 (java) S 11752 11752 7968 0 -1 1077944384 1270 0 0 0 33 0 0 0 20 0 15 0 39567570 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478556068464 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11765] ppid=11752 vsize=13980732 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/11754/task/11765/stat : 11765 (java) S 11752 11752 7968 0 -1 1077944384 1508 0 0 0 29 0 0 0 20 0 15 0 39567570 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478555015664 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11766] ppid=11752 vsize=13980732 memory=279818864412528 CPUtime=0.41 cores=1,3,5,7
/proc/11754/task/11766/stat : 11766 (java) S 11752 11752 7968 0 -1 1077944384 3272 0 0 0 41 0 0 0 20 0 15 0 39567570 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478553963376 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11767] ppid=11752 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11767/stat : 11767 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478552910816 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11768] ppid=11752 vsize=13980732 memory=1804840 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11768/stat : 11768 (java) S 11752 11752 7968 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 39567576 14316269568 451313 18446744073709551615 4194304 4196468 140723300223056 140478551857584 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
Current children cumulated CPU time: 25.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1806632 KiB

[startup+20.0009 s]*
/proc/loadavg: 2.25 2.10 2.03 3/217 11770
/proc/meminfo: memFree=25216232/32770624 swapFree=67108860/67108860
[pid=11752] ppid=11749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11752/stat : 11752 (xcsp3-exec) S 11749 11752 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 39567555 9740288 345 18446744073709551615 4194304 5098028 140730887816736 140730887814840 140327666369148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24604672 140730887823737 140730887823942 140730887823942 140730887827435 0
/proc/11752/statm: 2378 345 289 221 0 87 0
[pid=11754] ppid=11752 vsize=13980732 memory=1806680 CPUtime=26.58 cores=1,3,5,7
/proc/11754/stat : 11754 (java) S 11752 11752 7968 0 -1 1077944320 49487 0 0 0 2464 194 0 0 20 0 15 0 39567565 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140723300205600 140479081828087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
/proc/11754/statm: 3495183 451670 3229 1 0 3483476 0
[pid=11754/tid=11755] ppid=11752 vsize=13980732 memory=-6871798056557643345 CPUtime=16.56 cores=1,3,5,7
/proc/11754/task/11755/stat : 11755 (java) R 11752 11752 7968 0 -1 4202560 15116 0 0 0 1648 8 0 0 20 0 15 0 39567565 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140479086062736 140478726440842 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11756] ppid=11752 vsize=13980732 memory=5118961333147690361 CPUtime=1.79 cores=1,3,5,7
/proc/11754/task/11756/stat : 11756 (java) S 11752 11752 7968 0 -1 1077944384 5635 0 0 0 134 45 0 0 20 0 15 0 39567566 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140479053671312 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11757] ppid=11752 vsize=13980732 memory=3467964537455920800 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11757/stat : 11757 (java) S 11752 11752 7968 0 -1 1077944384 5863 0 0 0 136 44 0 0 20 0 15 0 39567566 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478680918800 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11758] ppid=11752 vsize=13980732 memory=7013349724047108696 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11758/stat : 11758 (java) S 11752 11752 7968 0 -1 1077944384 6703 0 0 0 135 45 0 0 20 0 15 0 39567566 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478679866512 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11759] ppid=11752 vsize=13980732 memory=6944656592455097440 CPUtime=1.8 cores=1,3,5,7
/proc/11754/task/11759/stat : 11759 (java) S 11752 11752 7968 0 -1 1077944384 5893 0 0 0 135 45 0 0 20 0 15 0 39567566 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478678813712 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11760] ppid=11752 vsize=13980732 memory=6944652177228980320 CPUtime=1.44 cores=1,3,5,7
/proc/11754/task/11760/stat : 11760 (java) S 11752 11752 7968 0 -1 1077944384 2461 0 0 0 144 0 0 0 20 0 15 0 39567567 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478560278640 140479081839234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11761] ppid=11752 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11761/stat : 11761 (java) S 11752 11752 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 39567567 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478559224608 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11762] ppid=11752 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11762/stat : 11762 (java) S 11752 11752 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 39567568 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478558172288 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11763] ppid=11752 vsize=13980732 memory=-2098775911743863648 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11763/stat : 11763 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478557120592 140479081846683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11764] ppid=11752 vsize=13980732 memory=-7966001967256141664 CPUtime=0.46 cores=1,3,5,7
/proc/11754/task/11764/stat : 11764 (java) R 11752 11752 7968 0 -1 4202560 1456 0 0 0 46 0 0 0 20 0 15 0 39567570 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478556068464 140479063183992 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11765] ppid=11752 vsize=13980732 memory=-7019007802211091872 CPUtime=0.36 cores=1,3,5,7
/proc/11754/task/11765/stat : 11765 (java) S 11752 11752 7968 0 -1 1077944384 1538 0 0 0 35 1 0 0 20 0 15 0 39567570 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478555015664 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11766] ppid=11752 vsize=13980732 memory=-7533522213388100735 CPUtime=0.47 cores=1,3,5,7
/proc/11754/task/11766/stat : 11766 (java) S 11752 11752 7968 0 -1 1077944384 3364 0 0 0 47 0 0 0 20 0 15 0 39567570 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478553963376 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11767] ppid=11752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11767/stat : 11767 (java) S 11752 11752 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39567570 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478552910816 140479081838293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
[pid=11754/tid=11768] ppid=11752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11754/task/11768/stat : 11768 (java) S 11752 11752 7968 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 39567576 14316269568 451670 18446744073709551615 4194304 4196468 140723300223056 140478551857584 140479081839234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 6643712 140723300225458 140723300225634 140723300225634 140723300229071 0
Current children cumulated CPU time: 26.58 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1808060 KiB

Child status: 0
Real time (s): 20.0382
CPU time (s): 26.6125
CPU user time (s): 24.6567
CPU system time (s): 1.95585
CPU usage (%): 132.809
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1808060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6567
system time used= 1.95585
maximum resident set size= 1807864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3174
involuntary context switches= 111


# summary of solver processes directly reported to runsolver:
#   pid: 11752
#   total CPU time (s): 26.6125
#   total CPU user time (s): 24.6567
#   total CPU system time (s): 1.95585

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.152569 second user time and 0.261685 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-16 06:00:12
IDJOB=4272818
IDBENCH=139741
IDSOLVER=2664
FILE ID=node128/4272818-1502856850
RUNJOBID= node128-1502649221-29001
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-04-06.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272818-1502856850/watcher-4272818-1502856850 -o /tmp/evaluation-result-4272818-1502856850/solver-4272818-1502856850 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1548367047 HOME/instance-4272818-1502856850.xml

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

MD5SUM BENCH= bc597584f482d34acd2131afdcab0789
RANDOM SEED=1548367047

node128.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.94
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.94
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.94
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.94
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:        27007260 kB
MemAvailable:   27983848 kB
Buffers:          242684 kB
Cached:          1024768 kB
SwapCached:            0 kB
Active:          4420352 kB
Inactive:         913916 kB
Active(anon):    4066908 kB
Inactive(anon):    24956 kB
Active(file):     353444 kB
Inactive(file):   888960 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7964 kB
Writeback:             0 kB
AnonPages:       4074544 kB
Mapped:            52888 kB
Shmem:             25308 kB
Slab:             125184 kB
SReclaimable:     100040 kB
SUnreclaim:        25144 kB
KernelStack:        3808 kB
PageTables:        13204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4930920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3938304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62012 MiB
End job on node128 at 2017-08-16 06:00:32