Trace number 4280367

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)OPT17 11.7717 2.0424099

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-06-a4.xml
MD5SUM3be13f028e00a9c301b8790857e4d16d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark0.214339
Satisfiable
(Un)Satisfiability was proved
Number of variables6
Number of constraints87
Number of domains1
Minimum domain size501
Maximum domain size501
Distribution of domain sizes[{"size":501,"count":6}]
Minimum variable degree51
Maximum variable degree52
Distribution of variable degrees[{"degree":51,"count":4},{"degree":52,"count":2}]
Minimum constraint arity1
Maximum constraint arity6
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":40},{"arity":4,"count":45},{"arity":6,"count":1}]
Number of extensional constraints0
Number of intensional constraints86
Distribution of constraint types[{"type":"intension","count":86},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

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-4280367-1503139585.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280367-1503139585.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.31/0.67	c solve instance...
2.49/0.82	o 20 
2.49/0.87	o 18 
3.15/0.99	o 17 
10.99/1.99	s OPTIMUM FOUND
10.99/1.99	v <instantiation>
10.99/1.99	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] </list>
10.99/1.99	v 	<values>0 1 4 10 12 17 </values>
10.99/1.99	v </instantiation>

Verifier Data 

OK	17

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280367-1503139585/watcher-4280367-1503139585 -o /tmp/evaluation-result-4280367-1503139585/solver-4280367-1503139585 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503136204-9383 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1775288155 HOME/instance-4280367-1503139585.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=9746, runsolver pid=9743

[startup+0.100146 s]*
/proc/loadavg: 7.46 8.02 8.21 3/200 9767
/proc/meminfo: memFree=22996328/32770624 swapFree=67108860/67108860
[pid=9746] ppid=9743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9746/stat : 9746 (xcsp3-exec) S 9743 9746 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147030014 9740288 346 33554432000 4194304 5098028 140726093645072 140726093643176 140702476882556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36003840 140726093653092 140726093653303 140726093653303 140726093656043 0
/proc/9746/statm: 2378 346 289 221 0 87 0
[pid=9748] ppid=9746 vsize=25999808 memory=26348 CPUtime=0.12 cores=0-7
/proc/9748/stat : 9748 (java) S 9746 9746 9356 0 -1 1077944320 5487 0 0 0 11 1 0 0 20 0 20 0 147030014 26623803392 6587 33554432000 4194304 4196468 140729760285728 140729760268272 139726371852023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
/proc/9748/statm: 6499952 6587 2845 1 0 6488269 0
[pid=9748/tid=9749] ppid=9746 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/9748/task/9749/stat : 9749 (java) R 9746 9746 9356 0 -1 4202560 3491 0 0 0 8 0 0 0 20 0 20 0 147030015 26623803392 6587 33554432000 4194304 4196468 140729760285728 139726376084272 139726371863958 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9750] ppid=9746 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9748/task/9750/stat : 9750 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147030016 26623803392 6587 33554432000 4194304 4196468 140729760285728 139726294432400 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9751] ppid=9746 vsize=25999808 memory=140643100870272 CPUtime=0 cores=0-7
/proc/9748/task/9751/stat : 9751 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147030016 26623803392 6587 33554432000 4194304 4196468 140729760285728 139726293379600 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9752] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9752/stat : 9752 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147030016 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725928159632 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9753] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9753/stat : 9753 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147030016 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725927106832 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9754] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9754/stat : 9754 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725926055056 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9755] ppid=9746 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9748/task/9755/stat : 9755 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725925002256 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9756] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9756/stat : 9756 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725923949456 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9757] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9757/stat : 9757 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725922896656 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9758] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9758/stat : 9758 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147030017 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725767694704 139726371863170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9759] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9759/stat : 9759 (java) S 9746 9746 9356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147030017 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725766640672 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9760] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9760/stat : 9760 (java) S 9746 9746 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147030018 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725765587824 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9761] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9761/stat : 9761 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030020 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725764536144 139726371870619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9762] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9762/stat : 9762 (java) S 9746 9746 9356 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 147030020 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725763484528 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9763] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9763/stat : 9763 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147030020 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725762431728 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9764] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9764/stat : 9764 (java) S 9746 9746 9356 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 147030020 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725761378928 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9765] ppid=9746 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9748/task/9765/stat : 9765 (java) R 9746 9746 9356 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 147030020 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725760326128 139726353089584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9766] ppid=9746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9766/stat : 9766 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147030020 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725759273568 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9767] ppid=9746 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9748/task/9767/stat : 9767 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030021 26623803392 6587 33554432000 4194304 4196468 140729760285728 139725758220848 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27732 KiB

[startup+0.209956 s]*
/proc/loadavg: 7.46 8.02 8.21 2/200 9767
/proc/meminfo: memFree=22984128/32770624 swapFree=67108860/67108860
[pid=9746] ppid=9743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9746/stat : 9746 (xcsp3-exec) S 9743 9746 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147030014 9740288 346 33554432000 4194304 5098028 140726093645072 140726093643176 140702476882556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36003840 140726093653092 140726093653303 140726093653303 140726093656043 0
/proc/9746/statm: 2378 346 289 221 0 87 0
[pid=9748] ppid=9746 vsize=26004064 memory=39116 CPUtime=0.33 cores=0-7
/proc/9748/stat : 9748 (java) S 9746 9746 9356 0 -1 1077944320 8349 0 0 0 31 2 0 0 20 0 20 0 147030014 26628161536 9779 33554432000 4194304 4196468 140729760285728 140729760268272 139726371852023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
/proc/9748/statm: 6501016 9779 3048 1 0 6488269 0
[pid=9748/tid=9749] ppid=9746 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9748/task/9749/stat : 9749 (java) R 9746 9746 9356 0 -1 4202560 5400 0 0 0 18 1 0 0 20 0 20 0 147030015 26628161536 9779 33554432000 4194304 4196468 140729760285728 139726376074928 139726371873949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9750] ppid=9746 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/9748/task/9750/stat : 9750 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 9779 33554432000 4194304 4196468 140729760285728 139726294432400 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9751] ppid=9746 vsize=26004064 memory=140643100879912 CPUtime=0 cores=0-7
/proc/9748/task/9751/stat : 9751 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 9779 33554432000 4194304 4196468 140729760285728 139726293379600 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9752] ppid=9746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9748/task/9752/stat : 9752 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725928159632 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9753] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9753/stat : 9753 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725927106832 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9754] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9754/stat : 9754 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725926055056 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9755] ppid=9746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9748/task/9755/stat : 9755 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725925002256 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9756] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9756/stat : 9756 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725923949456 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9757] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9757/stat : 9757 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725922896656 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9758] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9758/stat : 9758 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147030017 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725767694704 139726371863170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9759] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9759/stat : 9759 (java) S 9746 9746 9356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147030017 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725766640672 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9760] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9760/stat : 9760 (java) S 9746 9746 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147030018 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725765587824 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9761] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9761/stat : 9761 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030020 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725764536144 139726371870619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9762] ppid=9746 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9748/task/9762/stat : 9762 (java) S 9746 9746 9356 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 20 0 147030020 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725763484528 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9763] ppid=9746 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/9748/task/9763/stat : 9763 (java) S 9746 9746 9356 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 20 0 147030020 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725762431728 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9764] ppid=9746 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/9748/task/9764/stat : 9764 (java) S 9746 9746 9356 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 20 0 147030020 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725761378928 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9765] ppid=9746 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/9748/task/9765/stat : 9765 (java) R 9746 9746 9356 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 20 0 147030020 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725760326128 139726351210538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9766] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9766/stat : 9766 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147030020 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725759273568 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9767] ppid=9746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9748/task/9767/stat : 9767 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030021 26628161536 9779 33554432000 4194304 4196468 140729760285728 139725758220848 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40500 KiB

[startup+0.309499 s]*
/proc/loadavg: 7.46 8.02 8.21 3/200 9767
/proc/meminfo: memFree=22977720/32770624 swapFree=67108860/67108860
[pid=9746] ppid=9743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9746/stat : 9746 (xcsp3-exec) S 9743 9746 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147030014 9740288 346 33554432000 4194304 5098028 140726093645072 140726093643176 140702476882556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36003840 140726093653092 140726093653303 140726093653303 140726093656043 0
/proc/9746/statm: 2378 346 289 221 0 87 0
[pid=9748] ppid=9746 vsize=26004064 memory=46064 CPUtime=0.49 cores=0-7
/proc/9748/stat : 9748 (java) S 9746 9746 9356 0 -1 1077944320 9228 0 0 0 46 3 0 0 20 0 20 0 147030014 26628161536 11516 33554432000 4194304 4196468 140729760285728 140729760268272 139726371852023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
/proc/9748/statm: 6501016 11516 3103 1 0 6488269 0
[pid=9748/tid=9749] ppid=9746 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9748/task/9749/stat : 9749 (java) R 9746 9746 9356 0 -1 4202560 6138 0 0 0 27 2 0 0 20 0 20 0 147030015 26628161536 11516 33554432000 4194304 4196468 140729760285728 139726376081344 139726371863958 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9750] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9750/stat : 9750 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 11516 33554432000 4194304 4196468 140729760285728 139726294432400 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9751] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9751/stat : 9751 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 11516 33554432000 4194304 4196468 140729760285728 139726293379600 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9752] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9752/stat : 9752 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 11516 33554432000 4194304 4196468 140729760285728 139725928159632 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9753] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9753/stat : 9753 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 11516 33554432000 4194304 4196468 140729760285728 139725927106832 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9754] ppid=9746 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/9748/task/9754/stat : 9754 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 11516 33554432000 4194304 4196468 140729760285728 139725926055056 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9755] ppid=9746 vsize=26004064 memory=140642999169967 CPUtime=0 cores=0-7
/proc/9748/task/9755/stat : 9755 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 11516 33554432000 4194304 4196468 140729760285728 139725925002256 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9756] ppid=9746 vsize=26004064 memory=140642999172272 CPUtime=0 cores=0-7
/proc/9748/task/9756/stat : 9756 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 11516 33554432000 4194304 4196468 140729760285728 139725923949456 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9757] ppid=9746 vsize=26004064 memory=140642999174576 CPUtime=0 cores=0-7
/proc/9748/task/9757/stat : 9757 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030016 26628161536 11516 33554432000 4194304 4196468 140729760285728 139725922896656 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9758] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9758/stat : 9758 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147030017 26628161536 11516 33554432000 4194304 4196468 140729760285728 139725767694704 139726371863170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9759] ppid=9746 vsize=26004064 memory=281285998356112 CPUtime=0 cores=0-7
/proc/9748/task/9759/stat : 9759 (java) S 9746 9746 9356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147030017 26628161536 11516 33554432000 4194304 4196468 140729760285728 139725766640672 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9760] ppid=9746 vsize=26004064 memory=281285998363024 CPUtime=0 cores=0-7
/proc/9748/task/9760/stat : 9760 (java) S 9746 9746 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147030018 26628161536 11516 33554432000 4194304 4196468 140729760285728 139725765587824 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9761] ppid=9746 vsize=26004064 memory=281285998304304 CPUtime=0 cores=0-7
/proc/9748/task/9761/stat : 9761 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030020 26628161536 11516 33554432000 4194304 4196468 140729760285728 139725764536144 139726371870619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9762] ppid=9746 vsize=26004064 memory=281285998376848 CPUtime=0.01 cores=0-7
/proc/9748/task/9762/stat : 9762 (java) S 9746 9746 9356 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 20 0 147030020 26628161536 11528 33554432000 4194304 4196468 140729760285728 139725763484528 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9763] ppid=9746 vsize=26004064 memory=281285998383760 CPUtime=0.03 cores=0-7
/proc/9748/task/9763/stat : 9763 (java) S 9746 9746 9356 0 -1 1077944384 168 0 0 0 3 0 0 0 20 0 20 0 147030020 26628161536 11528 33554432000 4194304 4196468 140729760285728 139725762431728 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9764] ppid=9746 vsize=26004064 memory=281285998381456 CPUtime=0.01 cores=0-7
/proc/9748/task/9764/stat : 9764 (java) S 9746 9746 9356 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 147030020 26628161536 11528 33554432000 4194304 4196468 140729760285728 139725761378928 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9765] ppid=9746 vsize=26004064 memory=281285998397616 CPUtime=0.12 cores=0-7
/proc/9748/task/9765/stat : 9765 (java) R 9746 9746 9356 0 -1 4202560 841 0 0 0 12 0 0 0 20 0 20 0 147030020 26628161536 11528 33554432000 4194304 4196468 140729760285728 139725760326128 139726355932436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9766] ppid=9746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9766/stat : 9766 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147030020 26628161536 11528 33554432000 4194304 4196468 140729760285728 139725759273568 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9767] ppid=9746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9748/task/9767/stat : 9767 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147030021 26628161536 11528 33554432000 4194304 4196468 140729760285728 139725758220848 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47448 KiB

[startup+0.707573 s]
/proc/loadavg: 7.46 8.02 8.21 5/200 9767
/proc/meminfo: memFree=22962460/32770624 swapFree=67108860/67108860
[pid=9746] ppid=9743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9746/stat : 9746 (xcsp3-exec) S 9743 9746 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147030014 9740288 346 33554432000 4194304 5098028 140726093645072 140726093643176 140702476882556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36003840 140726093653092 140726093653303 140726093653303 140726093656043 0
/proc/9746/statm: 2378 346 289 221 0 87 0
[pid=9748] ppid=9746 vsize=26538700 memory=101160 CPUtime=1.77 cores=0-7
/proc/9748/stat : 9748 (java) S 9746 9746 9356 0 -1 1077944320 13119 0 0 0 171 6 0 0 20 0 28 0 147030014 27175628800 25290 33554432000 4194304 4196468 140729760285728 140729760268272 139726371852023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
/proc/9748/statm: 6634675 25290 3200 1 0 6621909 0
[pid=9748/tid=9749] ppid=9746 vsize=26538700 memory=281285998755504 CPUtime=0.65 cores=0-7
/proc/9748/task/9749/stat : 9749 (java) S 9746 9746 9356 0 -1 1077944384 6889 0 0 0 62 3 0 0 20 0 28 0 147030015 27175628800 25290 33554432000 4194304 4196468 140729760285728 139726376092800 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9750] ppid=9746 vsize=26538700 memory=140642999378800 CPUtime=0 cores=0-7
/proc/9748/task/9750/stat : 9750 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 25290 33554432000 4194304 4196468 140729760285728 139726294432400 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9751] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9751/stat : 9751 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 25290 33554432000 4194304 4196468 140729760285728 139726293379600 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9752] ppid=9746 vsize=26538700 memory=1428 CPUtime=0 cores=0-7
/proc/9748/task/9752/stat : 9752 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 25290 33554432000 4194304 4196468 140729760285728 139725928159632 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0

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

[pid=9748/tid=9760] ppid=9746 vsize=26538700 memory=4012 CPUtime=0 cores=0-7
/proc/9748/task/9760/stat : 9760 (java) S 9746 9746 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 147030018 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725765587824 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9761] ppid=9746 vsize=26538700 memory=40808 CPUtime=0 cores=0-7
/proc/9748/task/9761/stat : 9761 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147030020 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725764536144 139726371870619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9762] ppid=9746 vsize=26538700 memory=1296 CPUtime=0.32 cores=0-7
/proc/9748/task/9762/stat : 9762 (java) R 9746 9746 9356 0 -1 4202560 2595 0 0 0 32 0 0 0 20 0 28 0 147030020 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725763465544 139726352553687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9763] ppid=9746 vsize=26538700 memory=2400 CPUtime=0.28 cores=0-7
/proc/9748/task/9763/stat : 9763 (java) R 9746 9746 9356 0 -1 4202560 2601 0 0 0 28 0 0 0 20 0 28 0 147030020 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725762417192 139726364089150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9764] ppid=9746 vsize=26538700 memory=1728 CPUtime=0.37 cores=0-7
/proc/9748/task/9764/stat : 9764 (java) R 9746 9746 9356 0 -1 4202560 1707 0 0 0 37 0 0 0 20 0 28 0 147030020 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725761368024 139726364948891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9765] ppid=9746 vsize=26538700 memory=12136 CPUtime=0.49 cores=0-7
/proc/9748/task/9765/stat : 9765 (java) R 9746 9746 9356 0 -1 4202560 2382 0 0 0 49 0 0 0 20 0 28 0 147030020 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725760322392 139726350987469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9766] ppid=9746 vsize=26538700 memory=1708 CPUtime=0 cores=0-7
/proc/9748/task/9766/stat : 9766 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147030020 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725759273568 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9767] ppid=9746 vsize=26538700 memory=1012 CPUtime=0 cores=0-7
/proc/9748/task/9767/stat : 9767 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147030021 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725758220848 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9792] ppid=9746 vsize=26538700 memory=796 CPUtime=0.51 cores=0-7
/proc/9748/task/9792/stat : 9792 (java) R 9746 9746 9356 0 -1 4202560 18 0 0 0 51 0 0 0 20 0 28 0 147030113 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725756665696 139725978238153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9793] ppid=9746 vsize=26538700 memory=1228 CPUtime=0.5 cores=0-7
/proc/9748/task/9793/stat : 9793 (java) R 9746 9746 9356 0 -1 4202560 19 0 0 0 50 0 0 0 20 0 28 0 147030113 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725545221816 139725978205946 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9794] ppid=9746 vsize=26538700 memory=0 CPUtime=0.47 cores=0-7
/proc/9748/task/9794/stat : 9794 (java) R 9746 9746 9356 0 -1 4202560 18 0 0 0 47 0 0 0 20 0 28 0 147030113 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725544172680 139725978205577 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9795] ppid=9746 vsize=26538700 memory=0 CPUtime=0.39 cores=0-7
/proc/9748/task/9795/stat : 9795 (java) R 9746 9746 9356 0 -1 4202560 22 0 0 0 39 0 0 0 20 0 28 0 147030114 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725546275112 139725978205784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9796] ppid=9746 vsize=26538700 memory=281285999029264 CPUtime=0.5 cores=0-7
/proc/9748/task/9796/stat : 9796 (java) R 9746 9746 9356 0 -1 4202560 19 0 0 0 50 0 0 0 20 0 28 0 147030114 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725547327880 139725978322264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9797] ppid=9746 vsize=26538700 memory=140642999515680 CPUtime=0.51 cores=0-7
/proc/9748/task/9797/stat : 9797 (java) R 9746 9746 9356 0 -1 4202560 19 0 0 0 51 0 0 0 20 0 28 0 147030114 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725543116632 139725978206320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9798] ppid=9746 vsize=26538700 memory=0 CPUtime=0.46 cores=0-7
/proc/9748/task/9798/stat : 9798 (java) R 9746 9746 9356 0 -1 4202560 51 0 0 0 46 0 0 0 20 0 28 0 147030114 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725541009432 139725978558512 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9799] ppid=9746 vsize=26538700 memory=0 CPUtime=0.48 cores=0-7
/proc/9748/task/9799/stat : 9799 (java) R 9746 9746 9356 0 -1 4202560 19 0 0 0 48 0 0 0 20 0 28 0 147030114 27175628800 43377 33554432000 4194304 4196468 140729760285728 139725542063032 139725978209484 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
Current children cumulated CPU time: 7.87 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 174892 KiB

[startup+2.04235 s]
# the end of solver process 9746 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.6633 s, system=0.108492 s

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

[startup+1.60157 s]
/proc/loadavg: 7.46 8.02 8.21 8/208 9799
/proc/meminfo: memFree=22863472/32770624 swapFree=67108860/67108860
[pid=9746] ppid=9743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9746/stat : 9746 (xcsp3-exec) S 9743 9746 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147030014 9740288 346 33554432000 4194304 5098028 140726093645072 140726093643176 140702476882556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36003840 140726093653092 140726093653303 140726093653303 140726093656043 0
/proc/9746/statm: 2378 346 289 221 0 87 0
[pid=9748] ppid=9746 vsize=26538700 memory=174296 CPUtime=8.61 cores=0-7
/proc/9748/stat : 9748 (java) S 9746 9746 9356 0 -1 1077944320 18522 0 0 0 852 9 0 0 20 0 28 0 147030014 27175628800 43574 33554432000 4194304 4196468 140729760285728 140729760268272 139726371852023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
/proc/9748/statm: 6634675 43574 3229 1 0 6621909 0
[pid=9748/tid=9749] ppid=9746 vsize=26538700 memory=0 CPUtime=0.65 cores=0-7
/proc/9748/task/9749/stat : 9749 (java) S 9746 9746 9356 0 -1 1077944384 6890 0 0 0 62 3 0 0 20 0 28 0 147030015 27175628800 43574 33554432000 4194304 4196468 140729760285728 139726376092800 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9750] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9750/stat : 9750 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 43574 33554432000 4194304 4196468 140729760285728 139726294432400 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9751] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9751/stat : 9751 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 43574 33554432000 4194304 4196468 140729760285728 139726293379600 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9752] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9752/stat : 9752 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725928159632 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9753] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9753/stat : 9753 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725927106832 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9754] ppid=9746 vsize=26538700 memory=-2990783225064662560 CPUtime=0 cores=0-7
/proc/9748/task/9754/stat : 9754 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725926055056 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9755] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9755/stat : 9755 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725925002256 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9756] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9756/stat : 9756 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725923949456 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9757] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9757/stat : 9757 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147030016 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725922896656 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9758] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9758/stat : 9758 (java) S 9746 9746 9356 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 147030017 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725767694704 139726371863170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9759] ppid=9746 vsize=26538700 memory=5784 CPUtime=0 cores=0-7
/proc/9748/task/9759/stat : 9759 (java) S 9746 9746 9356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 147030017 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725766640672 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9760] ppid=9746 vsize=26538700 memory=4616 CPUtime=0 cores=0-7
/proc/9748/task/9760/stat : 9760 (java) S 9746 9746 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 147030018 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725765587824 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9761] ppid=9746 vsize=26538700 memory=1928 CPUtime=0 cores=0-7
/proc/9748/task/9761/stat : 9761 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147030020 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725764536144 139726371870619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9762] ppid=9746 vsize=26538700 memory=1428 CPUtime=0.33 cores=0-7
/proc/9748/task/9762/stat : 9762 (java) D 9746 9746 9356 0 -1 4202560 2620 0 0 0 33 0 0 0 20 0 28 0 147030020 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725763465000 139726364569175 0 4 0 16800975 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9763] ppid=9746 vsize=26538700 memory=1196 CPUtime=0.28 cores=0-7
/proc/9748/task/9763/stat : 9763 (java) D 9746 9746 9356 0 -1 4202560 2641 0 0 0 28 0 0 0 20 0 28 0 147030020 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725762417192 139726364141405 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9764] ppid=9746 vsize=26538700 memory=10684 CPUtime=0.37 cores=0-7
/proc/9748/task/9764/stat : 9764 (java) R 9746 9746 9356 0 -1 4202560 1716 0 0 0 37 0 0 0 20 0 28 0 147030020 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725761368024 139726364141472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9765] ppid=9746 vsize=26538700 memory=15880 CPUtime=0.49 cores=0-7
/proc/9748/task/9765/stat : 9765 (java) D 9746 9746 9356 0 -1 4202560 2421 0 0 0 49 0 0 0 20 0 28 0 147030020 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725760320504 139726364948859 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9766] ppid=9746 vsize=26538700 memory=22420 CPUtime=0 cores=0-7
/proc/9748/task/9766/stat : 9766 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147030020 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725759273568 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9767] ppid=9746 vsize=26538700 memory=16432 CPUtime=0 cores=0-7
/proc/9748/task/9767/stat : 9767 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147030021 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725758220848 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9792] ppid=9746 vsize=26538700 memory=4040 CPUtime=0.6 cores=0-7
/proc/9748/task/9792/stat : 9792 (java) R 9746 9746 9356 0 -1 4202560 18 0 0 0 60 0 0 0 20 0 28 0 147030113 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725756665832 139725978511255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9793] ppid=9746 vsize=26538700 memory=1792 CPUtime=0.59 cores=0-7
/proc/9748/task/9793/stat : 9793 (java) R 9746 9746 9356 0 -1 4202560 19 0 0 0 59 0 0 0 20 0 28 0 147030113 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725545221816 139725978205577 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9794] ppid=9746 vsize=26538700 memory=6382321403058 CPUtime=0.56 cores=0-7
/proc/9748/task/9794/stat : 9794 (java) R 9746 9746 9356 0 -1 4202560 18 0 0 0 56 0 0 0 20 0 28 0 147030113 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725544172680 139725978205946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9795] ppid=9746 vsize=26538700 memory=288230583166042426 CPUtime=0.47 cores=0-7
/proc/9748/task/9795/stat : 9795 (java) R 9746 9746 9356 0 -1 4202560 24 0 0 0 47 0 0 0 20 0 28 0 147030114 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725546271016 139725978238368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9796] ppid=9746 vsize=26538700 memory=13846386974132477 CPUtime=0.6 cores=0-7
/proc/9748/task/9796/stat : 9796 (java) R 9746 9746 9356 0 -1 4202560 19 0 0 0 60 0 0 0 20 0 28 0 147030114 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725547327880 139725978205946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9797] ppid=9746 vsize=26538700 memory=0 CPUtime=0.6 cores=0-7
/proc/9748/task/9797/stat : 9797 (java) R 9746 9746 9356 0 -1 4202560 19 0 0 0 60 0 0 0 20 0 28 0 147030114 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725543116632 139725978206442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9798] ppid=9746 vsize=26538700 memory=0 CPUtime=0.55 cores=0-7
/proc/9748/task/9798/stat : 9798 (java) R 9746 9746 9356 0 -1 4202560 51 0 0 0 55 0 0 0 20 0 28 0 147030114 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725541009432 139725978205577 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9799] ppid=9746 vsize=26538700 memory=6944656575208382560 CPUtime=0.57 cores=0-7
/proc/9748/task/9799/stat : 9799 (java) R 9746 9746 9356 0 -1 4202560 19 0 0 0 57 0 0 0 20 0 28 0 147030114 27175628800 43574 33554432000 4194304 4196468 140729760285728 139725542063032 139725978223568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
Current children cumulated CPU time: 8.61 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 175680 KiB

[startup+2.00121 s]*
/proc/loadavg: 7.46 8.02 8.21 4/199 9799
/proc/meminfo: memFree=22839936/32770624 swapFree=67108860/67108860
[pid=9746] ppid=9743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9746/stat : 9746 (xcsp3-exec) S 9743 9746 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147030014 9740288 346 33554432000 4194304 5098028 140726093645072 140726093643176 140702476882556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36003840 140726093653092 140726093653303 140726093653303 140726093656043 0
/proc/9746/statm: 2378 346 289 221 0 87 0
[pid=9748] ppid=9746 vsize=26538700 memory=186104 CPUtime=11.74 cores=0-7
/proc/9748/stat : 9748 (java) S 9746 9746 9356 0 -1 1077944320 20977 0 0 0 1164 10 0 0 20 0 19 0 147030014 27175628800 46526 33554432000 4194304 4196468 140729760285728 140729760268272 139726371852023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
/proc/9748/statm: 6634675 46526 3229 1 0 6621909 0
[pid=9748/tid=9749] ppid=9746 vsize=26538700 memory=8112282956445269571 CPUtime=0.65 cores=0-7
/proc/9748/task/9749/stat : 9749 (java) S 9746 9746 9356 0 -1 1077944384 6893 0 0 0 62 3 0 0 20 0 19 0 147030015 27175628800 46526 33554432000 4194304 4196468 140729760285728 139726376094864 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9750] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9750/stat : 9750 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 147030016 27175628800 46526 33554432000 4194304 4196468 140729760285728 139726294432400 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9751] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9751/stat : 9751 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 147030016 27175628800 46526 33554432000 4194304 4196468 140729760285728 139726293379600 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9752] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9752/stat : 9752 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 147030016 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725928159632 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9753] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9753/stat : 9753 (java) S 9746 9746 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 147030016 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725927106832 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9754] ppid=9746 vsize=26538700 memory=3544385890265608239 CPUtime=0 cores=0-7
/proc/9748/task/9754/stat : 9754 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 147030016 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725926055056 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9755] ppid=9746 vsize=26538700 memory=7378661388463573605 CPUtime=0 cores=0-7
/proc/9748/task/9755/stat : 9755 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 147030016 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725925002256 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9756] ppid=9746 vsize=26538700 memory=-2605811476043407915 CPUtime=0 cores=0-7
/proc/9748/task/9756/stat : 9756 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 147030016 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725923949456 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9757] ppid=9746 vsize=26538700 memory=-8686725192589007501 CPUtime=0 cores=0-7
/proc/9748/task/9757/stat : 9757 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 147030016 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725922896656 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9758] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9758/stat : 9758 (java) S 9746 9746 9356 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 147030017 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725767694912 139726371863170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9759] ppid=9746 vsize=26538700 memory=3472328296227680303 CPUtime=0 cores=0-7
/proc/9748/task/9759/stat : 9759 (java) S 9746 9746 9356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 147030017 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725766640672 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9760] ppid=9746 vsize=26538700 memory=4279073127177347648 CPUtime=0 cores=0-7
/proc/9748/task/9760/stat : 9760 (java) S 9746 9746 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 147030018 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725765587824 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9761] ppid=9746 vsize=26538700 memory=-7029379521810568556 CPUtime=0 cores=0-7
/proc/9748/task/9761/stat : 9761 (java) S 9746 9746 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 147030020 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725764535200 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9762] ppid=9746 vsize=26538700 memory=-7246659158121525826 CPUtime=0.52 cores=0-7
/proc/9748/task/9762/stat : 9762 (java) R 9746 9746 9356 0 -1 4202560 3729 0 0 0 52 0 0 0 20 0 19 0 147030020 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725763465544 139726353396223 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9763] ppid=9746 vsize=26538700 memory=1384 CPUtime=0.42 cores=0-7
/proc/9748/task/9763/stat : 9763 (java) S 9746 9746 9356 0 -1 1077944384 2787 0 0 0 41 1 0 0 20 0 19 0 147030020 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725762416240 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9764] ppid=9746 vsize=26538700 memory=172452 CPUtime=0.48 cores=0-7
/proc/9748/task/9764/stat : 9764 (java) S 9746 9746 9356 0 -1 1077944384 2710 0 0 0 48 0 0 0 20 0 19 0 147030020 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725761364000 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9765] ppid=9746 vsize=26538700 memory=0 CPUtime=0.54 cores=0-7
/proc/9748/task/9765/stat : 9765 (java) S 9746 9746 9356 0 -1 1077944384 2618 0 0 0 54 0 0 0 20 0 19 0 147030020 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725760326128 139726371863170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
[pid=9748/tid=9766] ppid=9746 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9748/task/9766/stat : 9766 (java) S 9746 9746 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 147030020 27175628800 46526 33554432000 4194304 4196468 140729760285728 139725759273568 139726371862229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729760289938 140729760290115 140729760290115 140729760292815 0
Current children cumulated CPU time: 11.74 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 187488 KiB

Child status: 0
Real time (s): 2.04241
CPU time (s): 11.7717
CPU user time (s): 11.6633
CPU system time (s): 0.108492
CPU usage (%): 576.365
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 187488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6633
system time used= 0.108492
maximum resident set size= 187092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21507
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= 4164
involuntary context switches= 269


# summary of solver processes directly reported to runsolver:
#   pid: 9746
#   total CPU time (s): 11.7717
#   total CPU user time (s): 11.6633
#   total CPU system time (s): 0.108492

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042918 second user time and 0.060149 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-19 12:32:05
IDJOB=4280367
IDBENCH=126251
IDSOLVER=2675
FILE ID=node105/4280367-1503139585
RUNJOBID= node105-1503136204-9383
PBS_JOBID= 20630791
Free space on /tmp= 61848 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-06-a4.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-4280367-1503139585/watcher-4280367-1503139585 -o /tmp/evaluation-result-4280367-1503139585/solver-4280367-1503139585 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503136204-9383 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1775288155 HOME/instance-4280367-1503139585.xml

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

MD5SUM BENCH= 3be13f028e00a9c301b8790857e4d16d
RANDOM SEED=1775288155

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:        23011940 kB
MemAvailable:   31971312 kB
Buffers:          279644 kB
Cached:          8970640 kB
SwapCached:            0 kB
Active:          1057616 kB
Inactive:        8245760 kB
Active(anon):      56184 kB
Inactive(anon):    33200 kB
Active(file):    1001432 kB
Inactive(file):  8212560 kB
Unevictable:        7324 kB
Mlocked:            7324 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7868 kB
Writeback:             4 kB
AnonPages:         60852 kB
Mapped:            50852 kB
Shmem:             33420 kB
Slab:             148500 kB
SReclaimable:     122432 kB
SUnreclaim:        26068 kB
KernelStack:        3168 kB
PageTables:         4700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332388 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 12:32:08