Trace number 4254562

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-07-26)OPT1021 37.390701 5.8924499

General information on the benchmark

NameKnapsack/Knapsack-m1-s40/
Knapsack-40-150-07.xml
MD5SUMddd3703b8a67d475e5b0b20416c98cf0
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1021
Best CPU time to get the best result obtained on this benchmark6.25983
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints1
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":40}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":40}]
Minimum constraint arity40
Maximum constraint arity40
Distribution of constraint arities[{"arity":40,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

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.06	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254562-1501690029.xml"  -tl '1920s' -p 8 -x 0
0.00/0.27	c [HOME/instance-4254562-1501690029.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.34	c 8 solvers in parallel
0.00/0.41	c parse instance...
0.00/0.57	c solve instance...
0.00/0.60	o 649 
0.00/0.60	o 667 
0.00/0.60	o 688 
0.00/0.61	o 692 
0.00/0.61	o 702 
0.00/0.61	o 740 
0.00/0.63	o 748 
0.00/0.63	o 764 
0.00/0.63	o 774 
0.00/0.63	o 798 
0.00/0.63	o 808 
0.00/0.64	o 826 
0.00/0.72	o 835 
0.00/0.76	o 850 
0.00/0.78	o 863 
0.00/0.82	o 878 
0.00/0.84	o 881 
0.00/0.89	o 883 
0.00/0.89	o 887 
0.00/0.90	o 895 
0.00/0.94	o 904 
0.00/1.02	o 936 
4.51/1.13	o 947 
4.51/1.18	o 952 
4.51/1.18	o 958 
5.30/1.22	o 979 
6.82/1.43	o 985 
6.82/1.48	o 997 
7.64/1.53	o 1008 
8.39/1.60	o 1017 
8.39/1.67	o 1021 
36.82/5.88	s OPTIMUM FOUND
36.82/5.88	v <instantiation>
36.82/5.88	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] </list>
36.82/5.88	v 	<values>0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 </values>
36.82/5.88	v </instantiation>

Verifier Data 

OK	1021

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254562-1501690029/watcher-4254562-1501690029 -o /tmp/evaluation-result-4254562-1501690029/solver-4254562-1501690029 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 134622937 HOME/instance-4254562-1501690029.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 7.22 7.45 7.33 2/173 23857
/proc/meminfo: memFree=31042976/32770624 swapFree=0/891484
[pid=23857] ppid=23854 vsize=23672 CPUtime=0 cores=0-7
/proc/23857/stat : 23857 (runsolver) D 23854 23857 31529 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 17627538 24240128 108 18446744073709551615 4194304 4338465 140729272447088 140729272444728 139990809494231 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 29290496 140729272451155 140729272451651 140729272451651 140729272455114 0
/proc/23857/statm: 5918 108 54 36 0 2156 0

[startup+0.100156 s]
/proc/loadavg: 7.22 7.45 7.33 2/173 23857
/proc/meminfo: memFree=31042976/32770624 swapFree=0/891484
[pid=23857] ppid=23854 vsize=9512 CPUtime=0 cores=0-7
/proc/23857/stat : 23857 (xcsp3-exec) S 23854 23857 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17627538 9740288 345 18446744073709551615 4194304 5098028 140721639525888 140721639523992 140226280616572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13029376 140721639530899 140721639531108 140721639531108 140721639534571 0
/proc/23857/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200354 s]
/proc/loadavg: 7.22 7.45 7.33 2/173 23857
/proc/meminfo: memFree=31042976/32770624 swapFree=0/891484
[pid=23857] ppid=23854 vsize=9512 CPUtime=0 cores=0-7
/proc/23857/stat : 23857 (xcsp3-exec) S 23854 23857 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17627538 9740288 345 18446744073709551615 4194304 5098028 140721639525888 140721639523992 140226280616572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13029376 140721639530899 140721639531108 140721639531108 140721639534571 0
/proc/23857/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300295 s]
/proc/loadavg: 7.22 7.45 7.33 2/173 23857
/proc/meminfo: memFree=31042976/32770624 swapFree=0/891484
[pid=23857] ppid=23854 vsize=9512 CPUtime=0 cores=0-7
/proc/23857/stat : 23857 (xcsp3-exec) S 23854 23857 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17627538 9740288 345 18446744073709551615 4194304 5098028 140721639525888 140721639523992 140226280616572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13029376 140721639530899 140721639531108 140721639531108 140721639534571 0
/proc/23857/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700188 s]
/proc/loadavg: 7.22 7.45 7.33 2/173 23857
/proc/meminfo: memFree=31042976/32770624 swapFree=0/891484
[pid=23857] ppid=23854 vsize=9512 CPUtime=0 cores=0-7
/proc/23857/stat : 23857 (xcsp3-exec) S 23854 23857 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17627538 9740288 345 18446744073709551615 4194304 5098028 140721639525888 140721639523992 140226280616572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13029376 140721639530899 140721639531108 140721639531108 140721639534571 0
/proc/23857/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50625 s]
/proc/loadavg: 7.22 7.45 7.33 13/202 24061
/proc/meminfo: memFree=30840708/32770624 swapFree=0/891244
[pid=23857] ppid=23854 vsize=9512 CPUtime=0 cores=0-7
/proc/23857/stat : 23857 (xcsp3-exec) S 23854 23857 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17627538 9740288 345 18446744073709551615 4194304 5098028 140721639525888 140721639523992 140226280616572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13029376 140721639530899 140721639531108 140721639531108 140721639534571 0
/proc/23857/statm: 2378 345 289 221 0 87 0
[pid=23859] ppid=23857 vsize=26667584 CPUtime=7.64 cores=0-7
/proc/23859/stat : 23859 (java) S 23857 23857 31529 0 -1 1077944320 28028 0 0 0 752 12 0 0 20 0 28 0 17627545 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140737174268688 140434255027959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
/proc/23859/statm: 6666896 55792 3196 1 0 6655197 0
[pid=23859/tid=23860] ppid=23857 vsize=26667584 CPUtime=0.45 cores=0-7
/proc/23859/task/23860/stat : 23860 (java) S 23857 23857 31529 0 -1 1077944384 8625 0 0 0 42 3 0 0 20 0 28 0 17627545 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140434259268736 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23861] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23861/stat : 23861 (java) S 23857 23857 31529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140434224741136 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23862] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23862/stat : 23862 (java) S 23857 23857 31529 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140433816779664 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23863] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23863/stat : 23863 (java) S 23857 23857 31529 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140433815727120 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23864] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23864/stat : 23864 (java) S 23857 23857 31529 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140433814674576 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23865] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23865/stat : 23865 (java) S 23857 23857 31529 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140433813621008 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23866] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23866/stat : 23866 (java) S 23857 23857 31529 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140433812568464 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23867] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23867/stat : 23867 (java) S 23857 23857 31529 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140433811515920 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23868] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23868/stat : 23868 (java) S 23857 23857 31529 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140433810463376 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23869] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23869/stat : 23869 (java) S 23857 23857 31529 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 17627547 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140432598043120 140434255039106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23870] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23870/stat : 23870 (java) S 23857 23857 31529 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17627548 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140432596989408 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23871] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23871/stat : 23871 (java) S 23857 23857 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 17627548 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140432595936768 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23872] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23872/stat : 23872 (java) S 23857 23857 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17627551 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140432594885328 140434255046555 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23873] ppid=23857 vsize=26667584 CPUtime=0.75 cores=0-7
/proc/23859/task/23873/stat : 23873 (java) R 23857 23857 31529 0 -1 4202560 3516 0 0 0 75 0 0 0 20 0 28 0 17627551 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140432593818128 140434236573258 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23874] ppid=23857 vsize=26667584 CPUtime=0.62 cores=0-7
/proc/23859/task/23874/stat : 23874 (java) R 23857 23857 31529 0 -1 4202560 2155 0 0 0 62 0 0 0 20 0 28 0 17627551 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140432592755472 140434238554400 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23875] ppid=23857 vsize=26667584 CPUtime=0.76 cores=0-7
/proc/23859/task/23875/stat : 23875 (java) R 23857 23857 31529 0 -1 4202560 5830 0 0 0 75 1 0 0 20 0 28 0 17627551 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140432591712328 140434236547612 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23876] ppid=23857 vsize=26667584 CPUtime=0.35 cores=0-7
/proc/23859/task/23876/stat : 23876 (java) S 23857 23857 31529 0 -1 1077944384 2309 0 0 0 34 1 0 0 20 0 28 0 17627551 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140432590674288 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23877] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23877/stat : 23877 (java) S 23857 23857 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17627551 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140432589621984 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23878] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23878/stat : 23878 (java) S 23857 23857 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17627557 27307606016 55792 18446744073709551615 4194304 4196468 140737174286144 140432588569520 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 26677096

[startup+3.10125 s]
/proc/loadavg: 7.22 7.45 7.33 7/202 24133
/proc/meminfo: memFree=30831468/32770624 swapFree=0/891244
[pid=23857] ppid=23854 vsize=9512 CPUtime=0 cores=0-7
/proc/23857/stat : 23857 (xcsp3-exec) S 23854 23857 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17627538 9740288 345 18446744073709551615 4194304 5098028 140721639525888 140721639523992 140226280616572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13029376 140721639530899 140721639531108 140721639531108 140721639534571 0
/proc/23857/statm: 2378 345 289 221 0 87 0
[pid=23859] ppid=23857 vsize=26667584 CPUtime=18.54 cores=0-7
/proc/23859/stat : 23859 (java) S 23857 23857 31529 0 -1 1077944320 30868 0 0 0 1811 43 0 0 20 0 28 0 17627545 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140737174268688 140434255027959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
/proc/23859/statm: 6666896 56297 3198 1 0 6655197 0
[pid=23859/tid=23860] ppid=23857 vsize=26667584 CPUtime=0.45 cores=0-7
/proc/23859/task/23860/stat : 23860 (java) S 23857 23857 31529 0 -1 1077944384 8625 0 0 0 42 3 0 0 20 0 28 0 17627545 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140434259268736 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23861] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23861/stat : 23861 (java) S 23857 23857 31529 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140434224741136 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23862] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23862/stat : 23862 (java) S 23857 23857 31529 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140433816779664 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23863] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23863/stat : 23863 (java) S 23857 23857 31529 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140433815727120 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23864] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23864/stat : 23864 (java) S 23857 23857 31529 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140433814674576 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23865] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23865/stat : 23865 (java) S 23857 23857 31529 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140433813621008 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23866] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23866/stat : 23866 (java) S 23857 23857 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140433812568464 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23867] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23867/stat : 23867 (java) S 23857 23857 31529 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140433811515920 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23868] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23868/stat : 23868 (java) S 23857 23857 31529 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140433810463376 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23869] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23869/stat : 23869 (java) S 23857 23857 31529 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 17627547 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432598043120 140434255039106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23870] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23870/stat : 23870 (java) S 23857 23857 31529 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17627548 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432596989408 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23871] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23871/stat : 23871 (java) S 23857 23857 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 17627548 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432595936768 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23872] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23872/stat : 23872 (java) S 23857 23857 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17627551 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432594885328 140434255046555 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23873] ppid=23857 vsize=26667584 CPUtime=1.07 cores=0-7
/proc/23859/task/23873/stat : 23873 (java) R 23857 23857 31529 0 -1 4202560 4045 0 0 0 106 1 0 0 20 0 28 0 17627551 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432593832216 140434234262471 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23874] ppid=23857 vsize=26667584 CPUtime=0.89 cores=0-7
/proc/23859/task/23874/stat : 23874 (java) S 23857 23857 31529 0 -1 1077944384 2350 0 0 0 89 0 0 0 20 0 28 0 17627551 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432592779376 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23875] ppid=23857 vsize=26667584 CPUtime=1.04 cores=0-7
/proc/23859/task/23875/stat : 23875 (java) S 23857 23857 31529 0 -1 1077944384 6299 0 0 0 103 1 0 0 20 0 28 0 17627551 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432591726832 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23876] ppid=23857 vsize=26667584 CPUtime=0.39 cores=0-7
/proc/23859/task/23876/stat : 23876 (java) S 23857 23857 31529 0 -1 1077944384 2531 0 0 0 38 1 0 0 20 0 28 0 17627551 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432590674288 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23877] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23877/stat : 23877 (java) S 23857 23857 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17627551 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432589621984 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23878] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23878/stat : 23878 (java) S 23857 23857 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17627557 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432588569520 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24126] ppid=23857 vsize=26667584 CPUtime=1.12 cores=0-7
/proc/23859/task/24126/stat : 24126 (java) R 23857 23857 31529 0 -1 4202560 27 0 0 0 108 4 0 0 20 0 28 0 17627705 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432578952384 140433898892872 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24127] ppid=23857 vsize=26667584 CPUtime=1.11 cores=0-7
/proc/23859/task/24127/stat : 24127 (java) S 23857 23857 31529 0 -1 1077944384 52 0 0 0 108 3 0 0 20 0 28 0 17627705 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432574742912 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24128] ppid=23857 vsize=26667584 CPUtime=1.11 cores=0-7
/proc/23859/task/24128/stat : 24128 (java) R 23857 23857 31529 0 -1 4202560 39 0 0 0 108 3 0 0 20 0 28 0 17627705 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432577901056 140433899836085 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24129] ppid=23857 vsize=26667584 CPUtime=1.2 cores=0-7
/proc/23859/task/24129/stat : 24129 (java) R 23857 23857 31529 0 -1 4202560 89 0 0 0 118 2 0 0 20 0 28 0 17627705 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432576847392 140433900548624 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24130] ppid=23857 vsize=26667584 CPUtime=1.04 cores=0-7
/proc/23859/task/24130/stat : 24130 (java) R 23857 23857 31529 0 -1 4202560 127 0 0 0 101 3 0 0 20 0 28 0 17627705 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432581058304 140433900502292 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24131] ppid=23857 vsize=26667584 CPUtime=1.26 cores=0-7
/proc/23859/task/24131/stat : 24131 (java) R 23857 23857 31529 0 -1 4202560 110 0 0 0 124 2 0 0 20 0 28 0 17627705 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432580006152 140433899529677 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24132] ppid=23857 vsize=26667584 CPUtime=1.15 cores=0-7
/proc/23859/task/24132/stat : 24132 (java) R 23857 23857 31529 0 -1 1077944384 195 0 0 0 112 3 0 0 20 0 28 0 17627705 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432571584512 140434255038165 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24133] ppid=23857 vsize=26667584 CPUtime=1.06 cores=0-7
/proc/23859/task/24133/stat : 24133 (java) S 23857 23857 31529 0 -1 1077944384 89 0 0 0 102 4 0 0 20 0 28 0 17627705 27307606016 56297 18446744073709551615 4194304 4196468 140737174286144 140432575795328 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
Current children cumulated CPU time (s) 18.54
Current children cumulated vsize (KiB) 26677096

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23859 sig 9
??? kill 23857 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.21825 s]
/proc/loadavg: 7.22 7.45 7.33 7/202 24133
/proc/meminfo: memFree=30831468/32770624 swapFree=0/891244
[pid=23857] ppid=23854 vsize=9512 CPUtime=0 cores=0-7
/proc/23857/stat : 23857 (xcsp3-exec) S 23854 23857 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17627538 9740288 345 18446744073709551615 4194304 5098028 140721639525888 140721639523992 140226280616572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13029376 140721639530899 140721639531108 140721639531108 140721639534571 0
/proc/23857/statm: 2378 345 289 221 0 87 0
[pid=23859] ppid=23857 vsize=26667584 CPUtime=19.23 cores=0-7
/proc/23859/stat : 23859 (java) S 23857 23857 31529 0 -1 1077944320 31431 0 0 0 1879 44 0 0 20 0 28 0 17627545 27307606016 56343 18446744073709551615 4194304 4196468 140737174286144 140737174268688 140434255027959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
/proc/23859/statm: 6666896 56343 3199 1 0 6655197 0
[pid=23859/tid=23860] ppid=23857 vsize=26667584 CPUtime=0.45 cores=0-7
/proc/23859/task/23860/stat : 23860 (java) S 23857 23857 31529 0 -1 1077944384 8625 0 0 0 42 3 0 0 20 0 28 0 17627545 27307606016 56343 18446744073709551615 4194304 4196468 140737174286144 140434259268736 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0

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

/proc/23859/task/23870/stat : 23870 (java) S 23857 23857 31529 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17627548 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432596989408 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23871] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23871/stat : 23871 (java) S 23857 23857 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 17627548 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432595936768 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23872] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23872/stat : 23872 (java) S 23857 23857 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17627551 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432594885328 140434255046555 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23873] ppid=23857 vsize=26667584 CPUtime=1.11 cores=0-7
/proc/23859/task/23873/stat : 23873 (java) S 23857 23857 31529 0 -1 1077944384 4337 0 0 0 110 1 0 0 20 0 28 0 17627551 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432593831920 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23874] ppid=23857 vsize=26667584 CPUtime=0.92 cores=0-7
/proc/23859/task/23874/stat : 23874 (java) S 23857 23857 31529 0 -1 1077944384 2555 0 0 0 92 0 0 0 20 0 28 0 17627551 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432592779376 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23875] ppid=23857 vsize=26667584 CPUtime=1.06 cores=0-7
/proc/23859/task/23875/stat : 23875 (java) S 23857 23857 31529 0 -1 1077944384 6391 0 0 0 105 1 0 0 20 0 28 0 17627551 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432591726832 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23876] ppid=23857 vsize=26667584 CPUtime=0.41 cores=0-7
/proc/23859/task/23876/stat : 23876 (java) S 23857 23857 31529 0 -1 1077944384 2651 0 0 0 40 1 0 0 20 0 28 0 17627551 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432590674288 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23877] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23877/stat : 23877 (java) S 23857 23857 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17627551 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432589621984 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23878] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23878/stat : 23878 (java) S 23857 23857 31529 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 17627557 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432588569520 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24126] ppid=23857 vsize=26667584 CPUtime=2.47 cores=0-7
/proc/23859/task/24126/stat : 24126 (java) R 23857 23857 31529 0 -1 4202560 32 0 0 0 240 7 0 0 20 0 28 0 17627705 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432578952384 140433899080391 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24127] ppid=23857 vsize=26667584 CPUtime=2.48 cores=0-7
/proc/23859/task/24127/stat : 24127 (java) S 23857 23857 31529 0 -1 1077944384 57 0 0 0 240 8 0 0 20 0 28 0 17627705 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432574742912 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24128] ppid=23857 vsize=26667584 CPUtime=2.48 cores=0-7
/proc/23859/task/24128/stat : 24128 (java) S 23857 23857 31529 0 -1 1077944384 48 0 0 0 240 8 0 0 20 0 28 0 17627705 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432577901056 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24129] ppid=23857 vsize=26667584 CPUtime=2.67 cores=0-7
/proc/23859/task/24129/stat : 24129 (java) R 23857 23857 31529 0 -1 4202560 115 0 0 0 263 4 0 0 20 0 28 0 17627705 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432576847488 140737175103746 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24130] ppid=23857 vsize=26667584 CPUtime=2.43 cores=0-7
/proc/23859/task/24130/stat : 24130 (java) R 23857 23857 31529 0 -1 4202560 149 0 0 0 235 8 0 0 20 0 28 0 17627705 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432581058208 140433899835207 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24131] ppid=23857 vsize=26667584 CPUtime=2.76 cores=0-7
/proc/23859/task/24131/stat : 24131 (java) R 23857 23857 31529 0 -1 4202560 124 0 0 0 271 5 0 0 20 0 28 0 17627705 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432580005760 140434240269249 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24132] ppid=23857 vsize=26667584 CPUtime=2.57 cores=0-7
/proc/23859/task/24132/stat : 24132 (java) R 23857 23857 31529 0 -1 4202560 212 0 0 0 249 8 0 0 20 0 28 0 17627705 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432571584512 140433898708143 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24133] ppid=23857 vsize=26667584 CPUtime=2.39 cores=0-7
/proc/23859/task/24133/stat : 24133 (java) R 23857 23857 31529 0 -1 1077944384 98 0 0 0 231 8 0 0 20 0 28 0 17627705 27307606016 55983 18446744073709551615 4194304 4196468 140737174286144 140432575795328 140434255038165 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (KiB) 26677096

[startup+5.60672 s]
/proc/loadavg: 6.64 7.33 7.29 7/202 24133
/proc/meminfo: memFree=30829480/32770624 swapFree=0/891248
[pid=23857] ppid=23854 vsize=9512 CPUtime=0 cores=0-7
/proc/23857/stat : 23857 (xcsp3-exec) S 23854 23857 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17627538 9740288 345 18446744073709551615 4194304 5098028 140721639525888 140721639523992 140226280616572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13029376 140721639530899 140721639531108 140721639531108 140721639534571 0
/proc/23857/statm: 2378 345 289 221 0 87 0
[pid=23859] ppid=23857 vsize=26667584 CPUtime=35.46 cores=0-7
/proc/23859/stat : 23859 (java) S 23857 23857 31529 0 -1 1077944320 33189 0 0 0 3451 95 0 0 20 0 28 0 17627545 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140737174268688 140434255027959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
/proc/23859/statm: 6666896 56311 3217 1 0 6655197 0
[pid=23859/tid=23860] ppid=23857 vsize=26667584 CPUtime=0.45 cores=0-7
/proc/23859/task/23860/stat : 23860 (java) S 23857 23857 31529 0 -1 1077944384 8625 0 0 0 42 3 0 0 20 0 28 0 17627545 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140434259268736 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23861] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23861/stat : 23861 (java) S 23857 23857 31529 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140434224741136 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23862] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23862/stat : 23862 (java) S 23857 23857 31529 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433816779664 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23863] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23863/stat : 23863 (java) S 23857 23857 31529 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433815727120 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23864] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23864/stat : 23864 (java) S 23857 23857 31529 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433814674576 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23865] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23865/stat : 23865 (java) S 23857 23857 31529 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433813621008 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23866] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23866/stat : 23866 (java) S 23857 23857 31529 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433812568464 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23867] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23867/stat : 23867 (java) S 23857 23857 31529 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433811515920 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23868] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23868/stat : 23868 (java) S 23857 23857 31529 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433810463376 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23869] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23869/stat : 23869 (java) S 23857 23857 31529 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 28 0 17627547 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432598043120 140434255039106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23870] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23870/stat : 23870 (java) S 23857 23857 31529 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17627548 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432596989408 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23871] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23871/stat : 23871 (java) S 23857 23857 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 17627548 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432595936768 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23872] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23872/stat : 23872 (java) S 23857 23857 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432594885328 140434255046555 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23873] ppid=23857 vsize=26667584 CPUtime=1.11 cores=0-7
/proc/23859/task/23873/stat : 23873 (java) S 23857 23857 31529 0 -1 1077944384 4337 0 0 0 110 1 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432593831920 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23874] ppid=23857 vsize=26667584 CPUtime=0.92 cores=0-7
/proc/23859/task/23874/stat : 23874 (java) S 23857 23857 31529 0 -1 1077944384 2555 0 0 0 92 0 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432592779376 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23875] ppid=23857 vsize=26667584 CPUtime=1.06 cores=0-7
/proc/23859/task/23875/stat : 23875 (java) S 23857 23857 31529 0 -1 1077944384 6391 0 0 0 105 1 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432591726832 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23876] ppid=23857 vsize=26667584 CPUtime=0.41 cores=0-7
/proc/23859/task/23876/stat : 23876 (java) S 23857 23857 31529 0 -1 1077944384 2651 0 0 0 40 1 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432590674288 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23877] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23877/stat : 23877 (java) S 23857 23857 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432589621984 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23878] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23878/stat : 23878 (java) S 23857 23857 31529 0 -1 1077944384 705 0 0 0 0 0 0 0 20 0 28 0 17627557 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432588569520 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24126] ppid=23857 vsize=26667584 CPUtime=3.16 cores=0-7
/proc/23859/task/24126/stat : 24126 (java) R 23857 23857 31529 0 -1 4202560 75 0 0 0 306 10 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432578952384 140433898892950 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24127] ppid=23857 vsize=26667584 CPUtime=3.14 cores=0-7
/proc/23859/task/24127/stat : 24127 (java) R 23857 23857 31529 0 -1 4202560 78 0 0 0 303 11 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432574742912 140433900571919 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24128] ppid=23857 vsize=26667584 CPUtime=3.17 cores=0-7
/proc/23859/task/24128/stat : 24128 (java) R 23857 23857 31529 0 -1 4202560 77 0 0 0 306 11 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432577901056 140433898708109 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24129] ppid=23857 vsize=26667584 CPUtime=3.39 cores=0-7
/proc/23859/task/24129/stat : 24129 (java) S 23857 23857 31529 0 -1 1077944384 190 0 0 0 334 5 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432576847488 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24130] ppid=23857 vsize=26667584 CPUtime=3.11 cores=0-7
/proc/23859/task/24130/stat : 24130 (java) R 23857 23857 31529 0 -1 4202560 222 0 0 0 301 10 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432581058304 140433899080391 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24131] ppid=23857 vsize=26667584 CPUtime=3.48 cores=0-7
/proc/23859/task/24131/stat : 24131 (java) R 23857 23857 31529 0 -1 1077944384 154 0 0 0 341 7 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432580005760 140434255038165 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24132] ppid=23857 vsize=26667584 CPUtime=3.27 cores=0-7
/proc/23859/task/24132/stat : 24132 (java) S 23857 23857 31529 0 -1 1077944384 275 0 0 0 317 10 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432571584512 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24133] ppid=23857 vsize=26667584 CPUtime=3.07 cores=0-7
/proc/23859/task/24133/stat : 24133 (java) R 23857 23857 31529 0 -1 4202560 142 0 0 0 296 11 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432575795232 140433900639884 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
Current children cumulated CPU time (s) 35.46
Current children cumulated vsize (KiB) 26677096

[startup+5.80101 s]
/proc/loadavg: 6.64 7.33 7.29 7/202 24133
/proc/meminfo: memFree=30829480/32770624 swapFree=0/891248
[pid=23857] ppid=23854 vsize=9512 CPUtime=0 cores=0-7
/proc/23857/stat : 23857 (xcsp3-exec) S 23854 23857 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17627538 9740288 345 18446744073709551615 4194304 5098028 140721639525888 140721639523992 140226280616572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13029376 140721639530899 140721639531108 140721639531108 140721639534571 0
/proc/23857/statm: 2378 345 289 221 0 87 0
[pid=23859] ppid=23857 vsize=26667584 CPUtime=36.82 cores=0-7
/proc/23859/stat : 23859 (java) S 23857 23857 31529 0 -1 1077944320 33197 0 0 0 3581 101 0 0 20 0 28 0 17627545 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140737174268688 140434255027959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
/proc/23859/statm: 6666896 56311 3217 1 0 6655197 0
[pid=23859/tid=23860] ppid=23857 vsize=26667584 CPUtime=0.45 cores=0-7
/proc/23859/task/23860/stat : 23860 (java) S 23857 23857 31529 0 -1 1077944384 8625 0 0 0 42 3 0 0 20 0 28 0 17627545 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140434259268736 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23861] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23861/stat : 23861 (java) S 23857 23857 31529 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140434224741136 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23862] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23862/stat : 23862 (java) S 23857 23857 31529 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433816779664 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23863] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23863/stat : 23863 (java) S 23857 23857 31529 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433815727120 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23864] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23864/stat : 23864 (java) S 23857 23857 31529 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433814674576 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23865] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23865/stat : 23865 (java) S 23857 23857 31529 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433813621008 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23866] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23866/stat : 23866 (java) S 23857 23857 31529 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433812568464 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23867] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23867/stat : 23867 (java) S 23857 23857 31529 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433811515920 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23868] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23868/stat : 23868 (java) S 23857 23857 31529 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 17627546 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140433810463376 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23869] ppid=23857 vsize=26667584 CPUtime=0.01 cores=0-7
/proc/23859/task/23869/stat : 23869 (java) S 23857 23857 31529 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 28 0 17627547 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432598043120 140434255039106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23870] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23870/stat : 23870 (java) S 23857 23857 31529 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17627548 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432596989408 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23871] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23871/stat : 23871 (java) S 23857 23857 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 17627548 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432595936768 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23872] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23872/stat : 23872 (java) S 23857 23857 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432594885328 140434255046555 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23873] ppid=23857 vsize=26667584 CPUtime=1.11 cores=0-7
/proc/23859/task/23873/stat : 23873 (java) S 23857 23857 31529 0 -1 1077944384 4337 0 0 0 110 1 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432593831920 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23874] ppid=23857 vsize=26667584 CPUtime=0.92 cores=0-7
/proc/23859/task/23874/stat : 23874 (java) S 23857 23857 31529 0 -1 1077944384 2555 0 0 0 92 0 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432592779376 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23875] ppid=23857 vsize=26667584 CPUtime=1.06 cores=0-7
/proc/23859/task/23875/stat : 23875 (java) S 23857 23857 31529 0 -1 1077944384 6391 0 0 0 105 1 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432591726832 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23876] ppid=23857 vsize=26667584 CPUtime=0.41 cores=0-7
/proc/23859/task/23876/stat : 23876 (java) S 23857 23857 31529 0 -1 1077944384 2651 0 0 0 40 1 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432590674288 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23877] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23877/stat : 23877 (java) S 23857 23857 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17627551 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432589621984 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=23878] ppid=23857 vsize=26667584 CPUtime=0 cores=0-7
/proc/23859/task/23878/stat : 23878 (java) S 23857 23857 31529 0 -1 1077944384 705 0 0 0 0 0 0 0 20 0 28 0 17627557 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432588569520 140434255039106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24126] ppid=23857 vsize=26667584 CPUtime=3.32 cores=0-7
/proc/23859/task/24126/stat : 24126 (java) R 23857 23857 31529 0 -1 4202560 75 0 0 0 321 11 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432578952384 140433898892860 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24127] ppid=23857 vsize=26667584 CPUtime=3.31 cores=0-7
/proc/23859/task/24127/stat : 24127 (java) R 23857 23857 31529 0 -1 4202560 78 0 0 0 319 12 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432574742912 140433899062343 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24128] ppid=23857 vsize=26667584 CPUtime=3.33 cores=0-7
/proc/23859/task/24128/stat : 24128 (java) R 23857 23857 31529 0 -1 4202560 77 0 0 0 322 11 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432577901056 140433898892872 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24129] ppid=23857 vsize=26667584 CPUtime=3.57 cores=0-7
/proc/23859/task/24129/stat : 24129 (java) S 23857 23857 31529 0 -1 1077944384 194 0 0 0 351 6 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432576847488 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24130] ppid=23857 vsize=26667584 CPUtime=3.28 cores=0-7
/proc/23859/task/24130/stat : 24130 (java) S 23857 23857 31529 0 -1 1077944384 222 0 0 0 318 10 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432581058304 140434255038165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24131] ppid=23857 vsize=26667584 CPUtime=3.65 cores=0-7
/proc/23859/task/24131/stat : 24131 (java) R 23857 23857 31529 0 -1 1077944384 155 0 0 0 357 8 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432580005760 140434255038165 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24132] ppid=23857 vsize=26667584 CPUtime=3.44 cores=0-7
/proc/23859/task/24132/stat : 24132 (java) R 23857 23857 31529 0 -1 4202560 278 0 0 0 333 11 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432571584416 140433900506058 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
[pid=23859/tid=24133] ppid=23857 vsize=26667584 CPUtime=3.24 cores=0-7
/proc/23859/task/24133/stat : 24133 (java) R 23857 23857 31529 0 -1 4202560 142 0 0 0 313 11 0 0 20 0 28 0 17627705 27307606016 56311 18446744073709551615 4194304 4196468 140737174286144 140432575795328 140433900505905 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140737174294992 140737174295168 140737174295168 140737174298575 0
Current children cumulated CPU time (s) 36.82
Current children cumulated vsize (KiB) 26677096

Child status: 0
Real time (s): 5.89245
CPU time (s): 37.3907
CPU user time (s): 36.3464
CPU system time (s): 1.04423
CPU usage (%): 634.552
Max. virtual memory (cumulated for all children) (KiB): 26679040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.3464
system time used= 1.04423
maximum resident set size= 226496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 359852
involuntary context switches= 317

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033575 second user time and 0.052338 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 17:53:10
IDJOB=4254562
IDBENCH=133504
IDSOLVER=2636
FILE ID=node128/4254562-1501690029
RUNJOBID= node128-1501676495-31585
PBS_JOBID= 
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s40/Knapsack-40-150-07.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-4254562-1501690029/watcher-4254562-1501690029 -o /tmp/evaluation-result-4254562-1501690029/solver-4254562-1501690029 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324  ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 134622937 HOME/instance-4254562-1501690029.xml

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

MD5SUM BENCH= ddd3703b8a67d475e5b0b20416c98cf0
RANDOM SEED=134622937

node128.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.05
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.05
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.05
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.05
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:        31043000 kB
MemAvailable:   32008604 kB
Buffers:          150120 kB
Cached:          1101816 kB
SwapCached:            0 kB
Active:           401292 kB
Inactive:         908208 kB
Active(anon):      57956 kB
Inactive(anon):    16724 kB
Active(file):     343336 kB
Inactive(file):   891484 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7876 kB
Writeback:             0 kB
AnonPages:         57836 kB
Mapped:            31080 kB
Shmem:             17064 kB
Slab:             119612 kB
SReclaimable:      93240 kB
SUnreclaim:        26372 kB
KernelStack:        3136 kB
PageTables:         4340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     290032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61940 MiB
End job on node128 at 2017-08-02 17:53:16