Trace number 4400409

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 2019-09-16OPT44 10.0825 2.87261

General information on the benchmark

NameGolombRuler/
GolombRuler-a3v18-09_c18.xml
MD5SUM967738086e80168f9eb4b0337d9e8cf6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark3.78942
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints37
Number of domains2
Minimum domain size81
Maximum domain size82
Distribution of domain sizes[{"size":81,"count":36},{"size":82,"count":9}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":45},{"degree":2,"count":36},{"degree":8,"count":8},{"degree":9,"count":1}]
Minimum constraint arity3
Maximum constraint arity36
Distribution of constraint arities[{"arity":3,"count":36},{"arity":36,"count":1}]
Number of extensional constraints0
Number of intensional constraints36
Distribution of constraint types[{"type":"intension","count":36},{"type":"allDifferent","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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400409-1568698016.xml"  -tl '2400s' -p 4
0.13/0.17	c Choco e747e1e
0.13/0.18	c [HOME/instance-4400409-1568698016.xml, -tl, 2400s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
0.98/0.57	c solve instance...
1.29/0.67	o 65 
1.60/0.96	o 61 
1.60/0.96	o 59 
1.60/0.96	o 57 
1.60/0.96	o 53 
1.60/0.96	o 52 
1.60/0.96	o 50 
1.60/0.96	o 49 
1.60/0.96	o 47 
1.60/0.96	o 45 
1.60/0.96	o 44 
9.84/2.85	s OPTIMUM FOUND
9.84/2.85	v <instantiation>
9.84/2.85	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][5] y[4][6] y[4][7] y[4][8] y[5][6] y[5][7] y[5][8] y[6][7] y[6][8] y[7][8] </list>
9.84/2.85	v 	<values>0 1 5 12 25 27 35 41 44 1 5 12 25 27 35 41 44 4 11 24 26 34 40 43 7 20 22 30 36 39 13 15 23 29 32 2 10 16 19 8 14 17 6 9 3 </values>
9.84/2.85	v </instantiation>

Verifier Data 

OK	44

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400409-1568698016/watcher-4400409-1568698016 -o /tmp/evaluation-result-4400409-1568698016/solver-4400409-1568698016 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1446416612 HOME/instance-4400409-1568698016.xml 

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

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

solver pid=9757, runsolver pid=9754

[startup+0.101256 s]*
/proc/loadavg: 9.19 8.38 8.16 6/233 9773
/proc/meminfo: memFree=26893952/32770624 swapFree=66953076/67108860
[pid=9757] ppid=9754 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9757/stat : 9757 (xcsp3-exec) S 9754 9757 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446070440 115843072 363 33554432000 4194304 5098028 140729363814464 140729363812568 139708252910204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13692928 140729363817338 140729363817581 140729363817581 140729363820490 0
/proc/9757/statm: 28282 363 304 221 0 87 0
[pid=9759] ppid=9757 vsize=15144776 memory=29688 CPUtime=0.13 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9757 30406 0 -1 1077944320 5882 0 0 0 13 0 0 0 20 0 15 0 446070441 15508250624 7422 33554432000 4194304 4196468 140724478598976 140724478581520 139632936906487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
/proc/9759/statm: 3786194 7422 3146 1 0 3748377 0
[pid=9759/tid=9760] ppid=9757 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/9759/task/9760/stat : 9760 (java) R 9757 9757 30406 0 -1 4202560 3760 0 0 0 9 0 0 0 20 0 15 0 446070441 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632941136080 139632920950117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9761] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632889526544 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9762] ppid=9757 vsize=15144776 memory=288230376155018656 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632888474000 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9763] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632887421456 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9764] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632886368912 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9765] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070443 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632079469040 139632936917634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9766] ppid=9757 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9757 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446070444 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632078415264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9767] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9757 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446070444 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632077362672 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9768] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446070446 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632076311248 139632936925083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9769] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) R 9757 9757 30406 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 15 0 446070446 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632075257840 139632917606784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9770] ppid=9757 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) R 9757 9757 30406 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 446070446 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632074205296 139632936917634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9771] ppid=9757 vsize=15144776 memory=139849559754368 CPUtime=0.02 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) R 9757 9757 30406 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 446070446 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632073152752 139632915776037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9772] ppid=9757 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446070446 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632004033120 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9773] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) R 9757 9757 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446070447 15508250624 7422 33554432000 4194304 4196468 140724478598976 139632002980656 139632936917634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31140 KiB

[startup+0.211057 s]*
/proc/loadavg: 9.19 8.38 8.16 6/233 9773
/proc/meminfo: memFree=26882228/32770624 swapFree=66953076/67108860
[pid=9757] ppid=9754 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9757/stat : 9757 (xcsp3-exec) S 9754 9757 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446070440 115843072 363 33554432000 4194304 5098028 140729363814464 140729363812568 139708252910204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13692928 140729363817338 140729363817581 140729363817581 140729363820490 0
/proc/9757/statm: 28282 363 304 221 0 87 0
[pid=9759] ppid=9757 vsize=15144776 memory=41160 CPUtime=0.34 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9757 30406 0 -1 1077944320 9501 0 0 0 32 2 0 0 20 0 15 0 446070441 15508250624 10290 33554432000 4194304 4196468 140724478598976 140724478581520 139632936906487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
/proc/9759/statm: 3786194 10290 3317 1 0 3748377 0
[pid=9759/tid=9760] ppid=9757 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/9759/task/9760/stat : 9760 (java) R 9757 9757 30406 0 -1 4202560 6653 0 0 0 19 1 0 0 20 0 15 0 446070441 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632941139216 139632920986974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9761] ppid=9757 vsize=15144776 memory=4296914231 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632889526544 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9762] ppid=9757 vsize=15144776 memory=139849559779615 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632888474000 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9763] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632887421456 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9764] ppid=9757 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632886368912 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9765] ppid=9757 vsize=15144776 memory=139849559754368 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9757 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446070443 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632079469040 139632936917634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9766] ppid=9757 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9757 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446070444 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632078415264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9767] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9757 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446070444 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632077362672 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9768] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446070446 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632076311248 139632936925083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9769] ppid=9757 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) S 9757 9757 30406 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 446070446 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632075257840 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9770] ppid=9757 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) S 9757 9757 30406 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 446070446 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632074205296 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9771] ppid=9757 vsize=15144776 memory=139849559754368 CPUtime=0.08 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) S 9757 9757 30406 0 -1 1077944384 701 0 0 0 8 0 0 0 20 0 15 0 446070446 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632073152752 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9772] ppid=9757 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446070446 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632004033120 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9773] ppid=9757 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9757 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446070447 15508250624 10290 33554432000 4194304 4196468 140724478598976 139632002980656 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42612 KiB

[startup+0.310816 s]*
/proc/loadavg: 9.19 8.38 8.16 7/233 9773
/proc/meminfo: memFree=26874536/32770624 swapFree=66953076/67108860
[pid=9757] ppid=9754 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9757/stat : 9757 (xcsp3-exec) S 9754 9757 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446070440 115843072 363 33554432000 4194304 5098028 140729363814464 140729363812568 139708252910204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13692928 140729363817338 140729363817581 140729363817581 140729363820490 0
/proc/9757/statm: 28282 363 304 221 0 87 0
[pid=9759] ppid=9757 vsize=15149032 memory=50268 CPUtime=0.53 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9757 30406 0 -1 1077944320 10929 0 0 0 50 3 0 0 20 0 15 0 446070441 15512608768 12567 33554432000 4194304 4196468 140724478598976 140724478581520 139632936906487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
/proc/9759/statm: 3787258 12567 3355 1 0 3748377 0
[pid=9759/tid=9760] ppid=9757 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/9759/task/9760/stat : 9760 (java) R 9757 9757 30406 0 -1 4202560 7867 0 0 0 28 2 0 0 20 0 15 0 446070441 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632941143312 139632936928413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9761] ppid=9757 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632889526544 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9762] ppid=9757 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632888474000 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9763] ppid=9757 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632887421456 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9764] ppid=9757 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446070442 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632886368912 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9765] ppid=9757 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9757 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446070443 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632079469040 139632936917634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9766] ppid=9757 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9757 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446070444 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632078415264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9767] ppid=9757 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9757 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446070444 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632077362672 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9768] ppid=9757 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446070446 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632076311248 139632936925083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9769] ppid=9757 vsize=15149032 memory=6944652177228980320 CPUtime=0.04 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) S 9757 9757 30406 0 -1 1077944384 496 0 0 0 4 0 0 0 20 0 15 0 446070446 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632075257840 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9770] ppid=9757 vsize=15149032 memory=-6654736624941491801 CPUtime=0.05 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) S 9757 9757 30406 0 -1 1077944384 493 0 0 0 5 0 0 0 20 0 15 0 446070446 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632074205296 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9771] ppid=9757 vsize=15149032 memory=5793709814508068001 CPUtime=0.12 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) S 9757 9757 30406 0 -1 1077944384 789 0 0 0 12 0 0 0 20 0 15 0 446070446 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632073152752 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9772] ppid=9757 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446070446 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632004033120 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9773] ppid=9757 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9757 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446070447 15512608768 12567 33554432000 4194304 4196468 140724478598976 139632002980656 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51720 KiB

[startup+0.704403 s]
/proc/loadavg: 9.19 8.38 8.16 7/233 9773
/proc/meminfo: memFree=26859464/32770624 swapFree=66953076/67108860
[pid=9757] ppid=9754 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9757/stat : 9757 (xcsp3-exec) S 9754 9757 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446070440 115843072 363 33554432000 4194304 5098028 140729363814464 140729363812568 139708252910204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13692928 140729363817338 140729363817581 140729363817581 140729363820490 0
/proc/9757/statm: 28282 363 304 221 0 87 0
[pid=9759] ppid=9757 vsize=15418440 memory=108676 CPUtime=1.6 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9757 30406 0 -1 1077944320 15077 0 0 0 153 7 0 0 20 0 19 0 446070441 15788482560 27169 33554432000 4194304 4196468 140724478598976 140724478581520 139632936906487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
/proc/9759/statm: 3854610 27169 3458 1 0 3815710 0
[pid=9759/tid=9760] ppid=9757 vsize=15418440 memory=4137303382726774134 CPUtime=0.57 cores=1,3,5,7
/proc/9759/task/9760/stat : 9760 (java) S 9757 9757 30406 0 -1 1077944384 9224 0 0 0 54 3 0 0 20 0 19 0 446070441 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632941147264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9761] ppid=9757 vsize=15418440 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446070442 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632889526544 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9762] ppid=9757 vsize=15418440 memory=6940443203498692944 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446070442 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632888474000 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9763] ppid=9757 vsize=15418440 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446070442 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632887421456 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9764] ppid=9757 vsize=15418440 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9757 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446070442 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632886368912 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9765] ppid=9757 vsize=15418440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9757 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446070443 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632079469040 139632936917634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9766] ppid=9757 vsize=15418440 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9757 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446070444 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632078415264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9767] ppid=9757 vsize=15418440 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9757 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446070444 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632077362672 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9768] ppid=9757 vsize=15418440 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070446 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632076311248 139632936925083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9769] ppid=9757 vsize=15418440 memory=2828 CPUtime=0.2 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) R 9757 9757 30406 0 -1 4202560 1336 0 0 0 20 0 0 0 20 0 19 0 446070446 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632075244024 139632914501544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9770] ppid=9757 vsize=15418440 memory=780 CPUtime=0.25 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) R 9757 9757 30406 0 -1 1077944384 980 0 0 0 25 0 0 0 20 0 19 0 446070446 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632074198320 139632936916693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9771] ppid=9757 vsize=15418440 memory=620 CPUtime=0.35 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) S 9757 9757 30406 0 -1 1077944384 1789 0 0 0 35 0 0 0 20 0 19 0 446070446 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632073151936 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9772] ppid=9757 vsize=15418440 memory=1496 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070446 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632004033120 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9773] ppid=9757 vsize=15418440 memory=1016 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9757 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446070447 15788482560 27169 33554432000 4194304 4196468 140724478598976 139632002980656 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 110128 KiB

[startup+1.50533 s]
/proc/loadavg: 9.19 8.38 8.16 11/237 9821
/proc/meminfo: memFree=26734484/32770624 swapFree=66953076/67108860
[pid=9757] ppid=9754 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9757/stat : 9757 (xcsp3-exec) S 9754 9757 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446070440 115843072 363 33554432000 4194304 5098028 140729363814464 140729363812568 139708252910204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13692928 140729363817338 140729363817581 140729363817581 140729363820490 0
/proc/9757/statm: 28282 363 304 221 0 87 0

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

/proc/9759/task/9821/stat : 9821 (java) R 9757 9757 30406 0 -1 4202560 18 0 0 0 25 0 0 0 20 0 19 0 446070536 15856644096 47807 33554432000 4194304 4196468 140724478598976 139631993999656 139632562506753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 192680 KiB

[startup+2.87256 s]
# the end of solver process 9757 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.96617 s, system=0.116373 s

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

[startup+1.81134 s]
/proc/loadavg: 9.19 8.38 8.16 11/237 9821
/proc/meminfo: memFree=26734484/32770624 swapFree=66953076/67108860
[pid=9757] ppid=9754 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9757/stat : 9757 (xcsp3-exec) S 9754 9757 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446070440 115843072 363 33554432000 4194304 5098028 140729363814464 140729363812568 139708252910204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13692928 140729363817338 140729363817581 140729363817581 140729363820490 0
/proc/9757/statm: 28282 363 304 221 0 87 0
[pid=9759] ppid=9757 vsize=15485004 memory=191780 CPUtime=5.9 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9757 30406 0 -1 1077944320 21068 0 0 0 580 10 0 0 20 0 19 0 446070441 15856644096 47945 33554432000 4194304 4196468 140724478598976 140724478581520 139632936906487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
/proc/9759/statm: 3871251 47945 3472 1 0 3832351 0
[pid=9759/tid=9760] ppid=9757 vsize=15485004 memory=-6519613052471072158 CPUtime=0.57 cores=1,3,5,7
/proc/9759/task/9760/stat : 9760 (java) S 9757 9757 30406 0 -1 1077944384 9226 0 0 0 54 3 0 0 20 0 19 0 446070441 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632941147264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9761] ppid=9757 vsize=15485004 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070442 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632889526544 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9762] ppid=9757 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070442 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632888474000 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9763] ppid=9757 vsize=15485004 memory=-7595754389018307680 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9757 30406 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 446070442 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632887421456 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9764] ppid=9757 vsize=15485004 memory=-7087961436404378774 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9757 30406 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 446070442 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632886368912 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9765] ppid=9757 vsize=15485004 memory=1399103955520229747 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9757 30406 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 446070443 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632079469040 139632936917634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9766] ppid=9757 vsize=15485004 memory=-7087961436404368800 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9757 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446070444 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632078415264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9767] ppid=9757 vsize=15485004 memory=-7173518748810723480 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9757 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446070444 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632077362672 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9768] ppid=9757 vsize=15485004 memory=4499550617998750595 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070446 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632076311248 139632936925083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9769] ppid=9757 vsize=15485004 memory=-8917295202870309424 CPUtime=1.2 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) R 9757 9757 30406 0 -1 4202560 3057 0 0 0 119 1 0 0 20 0 19 0 446070446 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632075244408 139632921802388 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9770] ppid=9757 vsize=15485004 memory=4568693205185187998 CPUtime=0.91 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) R 9757 9757 30406 0 -1 4202560 3410 0 0 0 90 1 0 0 20 0 19 0 446070446 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632074197784 139632920389964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9771] ppid=9757 vsize=15485004 memory=524 CPUtime=0.54 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) R 9757 9757 30406 0 -1 1077944384 2966 0 0 0 53 1 0 0 20 0 19 0 446070446 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632073152752 139632936917634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9772] ppid=9757 vsize=15485004 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070446 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632004033120 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9773] ppid=9757 vsize=15485004 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9757 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446070447 15856644096 47945 33554432000 4194304 4196468 140724478598976 139632002980656 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9818] ppid=9757 vsize=15485004 memory=3520 CPUtime=0.46 cores=1,3,5,7
/proc/9759/task/9818/stat : 9818 (java) R 9757 9757 30406 0 -1 4202560 21 0 0 0 46 0 0 0 20 0 19 0 446070535 15856644096 47945 33554432000 4194304 4196468 140724478598976 139631990835936 139632562739062 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9819] ppid=9757 vsize=15485004 memory=1976 CPUtime=0.44 cores=1,3,5,7
/proc/9759/task/9819/stat : 9819 (java) R 9757 9757 30406 0 -1 4202560 20 0 0 0 44 0 0 0 20 0 19 0 446070535 15856644096 47945 33554432000 4194304 4196468 140724478598976 139631988735304 139632561872625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9820] ppid=9757 vsize=15485004 memory=2512 CPUtime=0.72 cores=1,3,5,7
/proc/9759/task/9820/stat : 9820 (java) R 9757 9757 30406 0 -1 4202560 19 0 0 0 72 0 0 0 20 0 19 0 446070535 15856644096 47945 33554432000 4194304 4196468 140724478598976 139631991892720 139632561633852 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9821] ppid=9757 vsize=15485004 memory=808 CPUtime=0.42 cores=1,3,5,7
/proc/9759/task/9821/stat : 9821 (java) R 9757 9757 30406 0 -1 4202560 21 0 0 0 42 0 0 0 20 0 19 0 446070536 15856644096 47945 33554432000 4194304 4196468 140724478598976 139631993999336 139632562506753 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 193232 KiB

[startup+2.60433 s]
/proc/loadavg: 9.19 8.38 8.16 11/237 9821
/proc/meminfo: memFree=26731248/32770624 swapFree=66953076/67108860
[pid=9757] ppid=9754 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9757/stat : 9757 (xcsp3-exec) S 9754 9757 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446070440 115843072 363 33554432000 4194304 5098028 140729363814464 140729363812568 139708252910204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13692928 140729363817338 140729363817581 140729363817581 140729363820490 0
/proc/9757/statm: 28282 363 304 221 0 87 0
[pid=9759] ppid=9757 vsize=15487052 memory=193240 CPUtime=9.05 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9757 30406 0 -1 1077944320 21445 0 0 0 895 10 0 0 20 0 19 0 446070441 15858741248 48310 33554432000 4194304 4196468 140724478598976 140724478581520 139632936906487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
/proc/9759/statm: 3871763 48310 3488 1 0 3832863 0
[pid=9759/tid=9760] ppid=9757 vsize=15487052 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/9759/task/9760/stat : 9760 (java) S 9757 9757 30406 0 -1 1077944384 9226 0 0 0 54 3 0 0 20 0 19 0 446070441 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632941147264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9761] ppid=9757 vsize=15487052 memory=10 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070442 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632889526544 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9762] ppid=9757 vsize=15487052 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070442 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632888474000 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9763] ppid=9757 vsize=15487052 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9757 30406 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 446070442 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632887421456 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9764] ppid=9757 vsize=15487052 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9757 30406 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 446070442 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632886368912 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9765] ppid=9757 vsize=15487052 memory=81588 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9757 30406 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 446070443 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632079469040 139632936917634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9766] ppid=9757 vsize=15487052 memory=16100368647981698 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9757 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446070444 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632078415264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9767] ppid=9757 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9757 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446070444 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632077362672 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9768] ppid=9757 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070446 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632076311248 139632936925083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9769] ppid=9757 vsize=15487052 memory=0 CPUtime=1.72 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) R 9757 9757 30406 0 -1 4202560 3217 0 0 0 171 1 0 0 20 0 19 0 446070446 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632075243856 139632920109892 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9770] ppid=9757 vsize=15487052 memory=0 CPUtime=1.56 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) R 9757 9757 30406 0 -1 4202560 3528 0 0 0 155 1 0 0 20 0 19 0 446070446 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632074205592 139632920406593 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9771] ppid=9757 vsize=15487052 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) R 9757 9757 30406 0 -1 1077944384 3064 0 0 0 58 1 0 0 20 0 19 0 446070446 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632073152752 139632936917634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9772] ppid=9757 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070446 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632004033120 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9773] ppid=9757 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9757 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446070447 15858741248 48310 33554432000 4194304 4196468 140724478598976 139632002980656 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9818] ppid=9757 vsize=15487052 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/9759/task/9818/stat : 9818 (java) R 9757 9757 30406 0 -1 4202560 21 0 0 0 88 0 0 0 20 0 19 0 446070535 15858741248 48310 33554432000 4194304 4196468 140724478598976 139631990839472 139632562739010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9819] ppid=9757 vsize=15487052 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/9759/task/9819/stat : 9819 (java) R 9757 9757 30406 0 -1 4202560 20 0 0 0 89 0 0 0 20 0 19 0 446070535 15858741248 48310 33554432000 4194304 4196468 140724478598976 139631988736760 139632562306668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9820] ppid=9757 vsize=15487052 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/9759/task/9820/stat : 9820 (java) R 9757 9757 30406 0 -1 4202560 19 0 0 0 124 0 0 0 20 0 19 0 446070535 15858741248 48310 33554432000 4194304 4196468 140724478598976 139631991893128 139632561872441 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9821] ppid=9757 vsize=15487052 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/9759/task/9821/stat : 9821 (java) R 9757 9757 30406 0 -1 4202560 22 0 0 0 96 0 0 0 20 0 19 0 446070536 15858741248 48310 33554432000 4194304 4196468 140724478598976 139631993998664 139632562739596 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
Current children cumulated CPU time: 9.05 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 194692 KiB

[startup+2.80133 s]
/proc/loadavg: 9.19 8.38 8.16 11/237 9821
/proc/meminfo: memFree=26731248/32770624 swapFree=66953076/67108860
[pid=9757] ppid=9754 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9757/stat : 9757 (xcsp3-exec) S 9754 9757 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446070440 115843072 363 33554432000 4194304 5098028 140729363814464 140729363812568 139708252910204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13692928 140729363817338 140729363817581 140729363817581 140729363820490 0
/proc/9757/statm: 28282 363 304 221 0 87 0
[pid=9759] ppid=9757 vsize=15487052 memory=193940 CPUtime=9.84 cores=1,3,5,7
/proc/9759/stat : 9759 (java) S 9757 9757 30406 0 -1 1077944320 26332 0 0 0 974 10 0 0 20 0 19 0 446070441 15858741248 48485 33554432000 4194304 4196468 140724478598976 140724478581520 139632936906487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
/proc/9759/statm: 3871763 48485 3490 1 0 3832863 0
[pid=9759/tid=9760] ppid=9757 vsize=15487052 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/9759/task/9760/stat : 9760 (java) S 9757 9757 30406 0 -1 1077944384 9226 0 0 0 54 3 0 0 20 0 19 0 446070441 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632941147264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9761] ppid=9757 vsize=15487052 memory=576460756337256219 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9761/stat : 9761 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070442 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632889526544 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9762] ppid=9757 vsize=15487052 memory=279698873516272 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9762/stat : 9762 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070442 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632888474000 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9763] ppid=9757 vsize=15487052 memory=6298961813566417513 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9763/stat : 9763 (java) S 9757 9757 30406 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 446070442 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632887421456 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9764] ppid=9757 vsize=15487052 memory=6441370576508249454 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9764/stat : 9764 (java) S 9757 9757 30406 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 446070442 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632886368912 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9765] ppid=9757 vsize=15487052 memory=6372146437206206569 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9765/stat : 9765 (java) S 9757 9757 30406 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 446070443 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632079469040 139632936917634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9766] ppid=9757 vsize=15487052 memory=6300629931383167147 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9766/stat : 9766 (java) S 9757 9757 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446070444 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632078415264 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9767] ppid=9757 vsize=15487052 memory=15961902764 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9767/stat : 9767 (java) S 9757 9757 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446070444 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632077362672 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9768] ppid=9757 vsize=15487052 memory=139849437102262 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9768/stat : 9768 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070446 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632076311248 139632936925083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9769] ppid=9757 vsize=15487052 memory=279698874189424 CPUtime=1.8 cores=1,3,5,7
/proc/9759/task/9769/stat : 9769 (java) D 9757 9757 30406 0 -1 4202560 5073 0 0 0 179 1 0 0 20 0 19 0 446070446 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632075250328 139632929195869 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9770] ppid=9757 vsize=15487052 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/9759/task/9770/stat : 9770 (java) R 9757 9757 30406 0 -1 4202560 5605 0 0 0 164 1 0 0 20 0 19 0 446070446 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632074198488 139632916767161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9771] ppid=9757 vsize=15487052 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/9759/task/9771/stat : 9771 (java) D 9757 9757 30406 0 -1 4202560 3511 0 0 0 58 1 0 0 20 0 19 0 446070446 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632073149688 139632929623639 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9772] ppid=9757 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9772/stat : 9772 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070446 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632004033120 139632936916693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9773] ppid=9757 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9759/task/9773/stat : 9773 (java) S 9757 9757 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446070447 15858741248 48485 33554432000 4194304 4196468 140724478598976 139632002980656 139632936917634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9818] ppid=9757 vsize=15487052 memory=1452 CPUtime=1.07 cores=1,3,5,7
/proc/9759/task/9818/stat : 9818 (java) R 9757 9757 30406 0 -1 4202560 98 0 0 0 107 0 0 0 20 0 19 0 446070535 15858741248 48485 33554432000 4194304 4196468 140724478598976 139631990842328 139632562308887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9819] ppid=9757 vsize=15487052 memory=192028 CPUtime=1 cores=1,3,5,7
/proc/9759/task/9819/stat : 9819 (java) R 9757 9757 30406 0 -1 4202560 145 0 0 0 100 0 0 0 20 0 19 0 446070535 15858741248 48485 33554432000 4194304 4196468 140724478598976 139631988736760 140724479117512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9820] ppid=9757 vsize=15487052 memory=111632 CPUtime=1.43 cores=1,3,5,7
/proc/9759/task/9820/stat : 9820 (java) R 9757 9757 30406 0 -1 4202560 255 0 0 0 143 0 0 0 20 0 19 0 446070535 15858741248 48485 33554432000 4194304 4196468 140724478598976 139631991893400 139632561872476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
[pid=9759/tid=9821] ppid=9757 vsize=15487052 memory=800 CPUtime=1.09 cores=1,3,5,7
/proc/9759/task/9821/stat : 9821 (java) R 9757 9757 30406 0 -1 4202560 89 0 0 0 109 0 0 0 20 0 19 0 446070536 15858741248 48485 33554432000 4194304 4196468 140724478598976 139631994000472 139632562740951 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26255360 140724478600175 140724478600346 140724478600346 140724478603215 0
Current children cumulated CPU time: 9.84 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 195392 KiB

Child status: 0
Real time (s): 2.87261
CPU time (s): 10.0825
CPU user time (s): 9.96617
CPU system time (s): 0.116373
CPU usage (%): 350.989
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 195392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.96617
system time used= 0.116373
maximum resident set size= 194320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27845
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= 2507
involuntary context switches= 562


# summary of solver processes directly reported to runsolver:
#   pid: 9757
#   total CPU time (s): 10.0825
#   total CPU user time (s): 9.96617
#   total CPU system time (s): 0.116373

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038281 second user time and 0.077113 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-17 07:26:16
IDJOB=4400409
IDBENCH=141376
IDSOLVER=2856
FILE ID=node127/4400409-1568698016
RUNJOBID= node127-1568694277-30438
PBS_JOBID= 21703804
Free space on /tmp= 61288 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-09_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400409-1568698016/watcher-4400409-1568698016 -o /tmp/evaluation-result-4400409-1568698016/solver-4400409-1568698016 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1446416612 HOME/instance-4400409-1568698016.xml

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

MD5SUM BENCH= 967738086e80168f9eb4b0337d9e8cf6
RANDOM SEED=1446416612

node127.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.55
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.55
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.55
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.55
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:        26910836 kB
MemAvailable:   28072224 kB
Buffers:           90808 kB
Cached:          1354832 kB
SwapCached:        51464 kB
Active:          4278948 kB
Inactive:         974804 kB
Active(anon):    3767200 kB
Inactive(anon):    89816 kB
Active(file):     511748 kB
Inactive(file):   884988 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       66953076 kB
Dirty:             26040 kB
Writeback:           132 kB
AnonPages:       3868476 kB
Mapped:            61844 kB
Shmem:             40672 kB
Slab:             191352 kB
SReclaimable:     160976 kB
SUnreclaim:        30376 kB
KernelStack:        3824 kB
PageTables:        13708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5399200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3710976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61260 MiB
End job on node127 at 2019-09-17 07:26:19