Trace number 4407153

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-24 parallelSAT (TO)0 20017.4 2520.1

General information on the benchmark

NameBinPacking/BinPacking-sum-sw100/
BinPacking-sum-sw100-01.xml
MD5SUM158e2c33e228ebf79a07c013c2cd02f9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark20012.7
Satisfiable
(Un)Satisfiability was proved
Number of variables109
Number of constraints39
Number of domains2
Minimum domain size19
Maximum domain size47
Distribution of domain sizes[{"size":19,"count":1},{"size":47,"count":108}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":90},{"degree":5,"count":18}]
Minimum constraint arity6
Maximum constraint arity108
Distribution of constraint arities[{"arity":6,"count":36},{"arity":19,"count":1},{"arity":108,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":18},{"type":"lex","count":1},{"type":"sum","count":18},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407153-1569356775.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4407153-1569356775.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
1.05/0.60	c solve instance...
1783.83/224.37	o 0 
20016.83/2520.06	s SATISFIABLE
20016.83/2520.06	v <instantiation>
20016.83/2520.06	v 	<list>x b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] </list>
20016.83/2520.06	v 	<values>0 200 198 194 191 191 0 200 198 193 185 183 0 200 197 197 194 189 0 199 163 160 160 159 158 192 175 170 155 155 153 191 169 169 169 151 150 190 180 161 156 156 156 190 167 165 162 158 157 188 183 181 181 174 0 188 183 179 179 179 0 187 184 184 182 151 0 187 184 171 150 150 150 186 177 173 156 154 152 185 185 178 177 177 0 185 179 172 171 171 0 182 165 164 163 163 163 182 158 156 156 155 152 177 173 170 167 154 152 </values>
20016.83/2520.06	v </instantiation>
20016.83/2520.06	c Unexpected resolution interruption!

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407153-1569356775/watcher-4407153-1569356775 -o /var/tmp/evaluation-result-4407153-1569356775/solver-4407153-1569356775 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569352967-7589 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1233545140 HOME/instance-4407153-1569356775.xml 

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

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

solver pid=7701, runsolver pid=7698

[startup+0.100134 s]*
/proc/loadavg: 6.71 7.48 7.93 2/211 7722
/proc/meminfo: memFree=26175868/32770624 swapFree=66956852/67108860
[pid=7701] ppid=7698 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7701/stat : 7701 (xcsp3-exec) S 7698 7701 7562 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511935231 115843072 362 33554432000 4194304 5098028 140727645463568 140727645461672 140140145701500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16117760 140727645467473 140727645467733 140727645467733 140727645470662 0
/proc/7701/statm: 28282 362 304 221 0 87 0
[pid=7703] ppid=7701 vsize=28227396 memory=29544 CPUtime=0.11 cores=0-7
/proc/7703/stat : 7703 (java) S 7701 7701 7562 0 -1 1077944320 5856 0 0 0 10 1 0 0 20 0 20 0 511935231 28904853504 7386 33554432000 4194304 4196468 140722608806752 140722608789296 140386995715831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
/proc/7703/statm: 7056849 7386 3116 1 0 7019032 0
[pid=7703/tid=7704] ppid=7701 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/7703/task/7704/stat : 7704 (java) R 7701 7701 7562 0 -1 4202560 3811 0 0 0 8 1 0 0 20 0 20 0 511935231 28904853504 7386 33554432000 4194304 4196468 140722608806752 140386999948192 140386995727766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7705] ppid=7701 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7703/task/7705/stat : 7705 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 7386 33554432000 4194304 4196468 140722608806752 140386915567888 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7706] ppid=7701 vsize=28227396 memory=140285876795008 CPUtime=0 cores=0-7
/proc/7703/task/7706/stat : 7706 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 7386 33554432000 4194304 4196468 140722608806752 140386914515344 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7707] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7707/stat : 7707 (java) S 7701 7701 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 7386 33554432000 4194304 4196468 140722608806752 140386913462800 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7708] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7708/stat : 7708 (java) S 7701 7701 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 7386 33554432000 4194304 4196468 140722608806752 140386543721104 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7709] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7709/stat : 7709 (java) S 7701 7701 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 7386 33554432000 4194304 4196468 140722608806752 140386542668560 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7710] ppid=7701 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7703/task/7710/stat : 7710 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 7386 33554432000 4194304 4196468 140722608806752 140386541616016 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7711] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7711/stat : 7711 (java) S 7701 7701 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 7386 33554432000 4194304 4196468 140722608806752 140386540563472 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7712] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7712/stat : 7712 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 7386 33554432000 4194304 4196468 140722608806752 140386539510928 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7713] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7713/stat : 7713 (java) S 7701 7701 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511935233 28904853504 7386 33554432000 4194304 4196468 140722608806752 140385710409712 140386995726978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7714] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7714/stat : 7714 (java) S 7701 7701 7562 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511935234 28904853504 7386 33554432000 4194304 4196468 140722608806752 140385709355936 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7715] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7715/stat : 7715 (java) S 7701 7701 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511935234 28904853504 7386 33554432000 4194304 4196468 140722608806752 140385708303344 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7716] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7716/stat : 7716 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935237 28904853504 7386 33554432000 4194304 4196468 140722608806752 140385707251920 140386995734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7717] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7717/stat : 7717 (java) S 7701 7701 7562 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 511935237 28904853504 7386 33554432000 4194304 4196468 140722608806752 140385706199536 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7718] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7718/stat : 7718 (java) S 7701 7701 7562 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511935237 28904853504 7386 33554432000 4194304 4196468 140722608806752 140385705146992 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7719] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7719/stat : 7719 (java) S 7701 7701 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511935237 28904853504 7386 33554432000 4194304 4196468 140722608806752 140385587423984 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7720] ppid=7701 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7703/task/7720/stat : 7720 (java) R 7701 7701 7562 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 20 0 511935237 28904853504 7386 33554432000 4194304 4196468 140722608806752 140385586371440 140386987952958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7721] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7721/stat : 7721 (java) S 7701 7701 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511935237 28904853504 7386 33554432000 4194304 4196468 140722608806752 140385585318112 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7722] ppid=7701 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7703/task/7722/stat : 7722 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935237 28904853504 7386 33554432000 4194304 4196468 140722608806752 140385584265648 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30992 KiB

[startup+0.210633 s]*
/proc/loadavg: 6.71 7.48 7.93 2/211 7722
/proc/meminfo: memFree=26162828/32770624 swapFree=66956852/67108860
[pid=7701] ppid=7698 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7701/stat : 7701 (xcsp3-exec) S 7698 7701 7562 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511935231 115843072 362 33554432000 4194304 5098028 140727645463568 140727645461672 140140145701500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16117760 140727645467473 140727645467733 140727645467733 140727645470662 0
/proc/7701/statm: 28282 362 304 221 0 87 0
[pid=7703] ppid=7701 vsize=28227396 memory=41104 CPUtime=0.33 cores=0-7
/proc/7703/stat : 7703 (java) S 7701 7701 7562 0 -1 1077944320 9524 0 0 0 30 3 0 0 20 0 20 0 511935231 28904853504 10276 33554432000 4194304 4196468 140722608806752 140722608789296 140386995715831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
/proc/7703/statm: 7056849 10276 3270 1 0 7019032 0
[pid=7703/tid=7704] ppid=7701 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7703/task/7704/stat : 7704 (java) R 7701 7701 7562 0 -1 4202560 6650 0 0 0 18 2 0 0 20 0 20 0 511935231 28904853504 10276 33554432000 4194304 4196468 140722608806752 140386999949952 140386979796318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7705] ppid=7701 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/7703/task/7705/stat : 7705 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 10276 33554432000 4194304 4196468 140722608806752 140386915567888 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7706] ppid=7701 vsize=28227396 memory=288370662028506752 CPUtime=0 cores=0-7
/proc/7703/task/7706/stat : 7706 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 10276 33554432000 4194304 4196468 140722608806752 140386914515344 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7707] ppid=7701 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7703/task/7707/stat : 7707 (java) S 7701 7701 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 10276 33554432000 4194304 4196468 140722608806752 140386913462800 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7708] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7708/stat : 7708 (java) S 7701 7701 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 10276 33554432000 4194304 4196468 140722608806752 140386543721104 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7709] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7709/stat : 7709 (java) S 7701 7701 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 10276 33554432000 4194304 4196468 140722608806752 140386542668560 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7710] ppid=7701 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7703/task/7710/stat : 7710 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 10276 33554432000 4194304 4196468 140722608806752 140386541616016 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7711] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7711/stat : 7711 (java) S 7701 7701 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 10276 33554432000 4194304 4196468 140722608806752 140386540563472 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7712] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7712/stat : 7712 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28904853504 10276 33554432000 4194304 4196468 140722608806752 140386539510928 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7713] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7713/stat : 7713 (java) S 7701 7701 7562 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511935233 28904853504 10276 33554432000 4194304 4196468 140722608806752 140385710409712 140386995726978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7714] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7714/stat : 7714 (java) S 7701 7701 7562 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511935234 28904853504 10276 33554432000 4194304 4196468 140722608806752 140385709355936 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7715] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7715/stat : 7715 (java) S 7701 7701 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511935234 28904853504 10276 33554432000 4194304 4196468 140722608806752 140385708303344 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7716] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7716/stat : 7716 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935237 28904853504 10276 33554432000 4194304 4196468 140722608806752 140385707251920 140386995734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7717] ppid=7701 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7703/task/7717/stat : 7717 (java) S 7701 7701 7562 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 511935237 28904853504 10276 33554432000 4194304 4196468 140722608806752 140385706199536 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7718] ppid=7701 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7703/task/7718/stat : 7718 (java) S 7701 7701 7562 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 20 0 511935237 28904853504 10276 33554432000 4194304 4196468 140722608806752 140385705146992 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7719] ppid=7701 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/7703/task/7719/stat : 7719 (java) S 7701 7701 7562 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 20 0 511935237 28904853504 10276 33554432000 4194304 4196468 140722608806752 140385587423984 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7720] ppid=7701 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/7703/task/7720/stat : 7720 (java) R 7701 7701 7562 0 -1 4202560 757 0 0 0 8 0 0 0 20 0 20 0 511935237 28904853504 10276 33554432000 4194304 4196468 140722608806752 140385586371440 140386980267744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7721] ppid=7701 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7721/stat : 7721 (java) S 7701 7701 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511935237 28904853504 10276 33554432000 4194304 4196468 140722608806752 140385585318112 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7722] ppid=7701 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7703/task/7722/stat : 7722 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935237 28904853504 10276 33554432000 4194304 4196468 140722608806752 140385584265648 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42552 KiB

[startup+0.311638 s]*
/proc/loadavg: 6.71 7.48 7.93 2/211 7722
/proc/meminfo: memFree=26155680/32770624 swapFree=66956852/67108860
[pid=7701] ppid=7698 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7701/stat : 7701 (xcsp3-exec) S 7698 7701 7562 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511935231 115843072 362 33554432000 4194304 5098028 140727645463568 140727645461672 140140145701500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16117760 140727645467473 140727645467733 140727645467733 140727645470662 0
/proc/7701/statm: 28282 362 304 221 0 87 0
[pid=7703] ppid=7701 vsize=28231652 memory=49776 CPUtime=0.51 cores=0-7
/proc/7703/stat : 7703 (java) S 7701 7701 7562 0 -1 1077944320 10770 0 0 0 47 4 0 0 20 0 20 0 511935231 28909211648 12444 33554432000 4194304 4196468 140722608806752 140722608789296 140386995715831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
/proc/7703/statm: 7057913 12444 3304 1 0 7019032 0
[pid=7703/tid=7704] ppid=7701 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/7703/task/7704/stat : 7704 (java) R 7701 7701 7562 0 -1 4202560 7790 0 0 0 27 3 0 0 20 0 20 0 511935231 28909211648 12444 33554432000 4194304 4196468 140722608806752 140386999946944 140386974160622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7705] ppid=7701 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7705/stat : 7705 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28909211648 12444 33554432000 4194304 4196468 140722608806752 140386915567888 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7706] ppid=7701 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7706/stat : 7706 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28909211648 12444 33554432000 4194304 4196468 140722608806752 140386914515344 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7707] ppid=7701 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7707/stat : 7707 (java) S 7701 7701 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511935232 28909211648 12444 33554432000 4194304 4196468 140722608806752 140386913462800 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7708] ppid=7701 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7708/stat : 7708 (java) S 7701 7701 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511935232 28909211648 12444 33554432000 4194304 4196468 140722608806752 140386543721104 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7709] ppid=7701 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7709/stat : 7709 (java) S 7701 7701 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511935232 28909211648 12444 33554432000 4194304 4196468 140722608806752 140386542668560 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7710] ppid=7701 vsize=28231652 memory=140285778684591 CPUtime=0 cores=0-7
/proc/7703/task/7710/stat : 7710 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28909211648 12444 33554432000 4194304 4196468 140722608806752 140386541616016 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7711] ppid=7701 vsize=28231652 memory=140285778686896 CPUtime=0 cores=0-7
/proc/7703/task/7711/stat : 7711 (java) S 7701 7701 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511935232 28909211648 12444 33554432000 4194304 4196468 140722608806752 140386540563472 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7712] ppid=7701 vsize=28231652 memory=140285778689200 CPUtime=0 cores=0-7
/proc/7703/task/7712/stat : 7712 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935232 28909211648 12444 33554432000 4194304 4196468 140722608806752 140386539510928 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7713] ppid=7701 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7713/stat : 7713 (java) S 7701 7701 7562 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511935233 28909211648 12444 33554432000 4194304 4196468 140722608806752 140385710409712 140386995726978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7714] ppid=7701 vsize=28231652 memory=280571557392272 CPUtime=0 cores=0-7
/proc/7703/task/7714/stat : 7714 (java) S 7701 7701 7562 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511935234 28909211648 12444 33554432000 4194304 4196468 140722608806752 140385709355936 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7715] ppid=7701 vsize=28231652 memory=280571557389968 CPUtime=0 cores=0-7
/proc/7703/task/7715/stat : 7715 (java) S 7701 7701 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511935234 28909211648 12444 33554432000 4194304 4196468 140722608806752 140385708303344 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7716] ppid=7701 vsize=28231652 memory=280571557396880 CPUtime=0 cores=0-7
/proc/7703/task/7716/stat : 7716 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935237 28909211648 12444 33554432000 4194304 4196468 140722608806752 140385707251920 140386995734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7717] ppid=7701 vsize=28231652 memory=280571557338160 CPUtime=0.02 cores=0-7
/proc/7703/task/7717/stat : 7717 (java) S 7701 7701 7562 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 20 0 511935237 28909211648 12444 33554432000 4194304 4196468 140722608806752 140385706199536 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7718] ppid=7701 vsize=28231652 memory=280571557410704 CPUtime=0.02 cores=0-7
/proc/7703/task/7718/stat : 7718 (java) S 7701 7701 7562 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 20 0 511935237 28909211648 12444 33554432000 4194304 4196468 140722608806752 140385705146992 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7719] ppid=7701 vsize=28231652 memory=280571557417616 CPUtime=0.02 cores=0-7
/proc/7703/task/7719/stat : 7719 (java) S 7701 7701 7562 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 20 0 511935237 28909211648 12444 33554432000 4194304 4196468 140722608806752 140385587423984 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7720] ppid=7701 vsize=28231652 memory=280571557415312 CPUtime=0.13 cores=0-7
/proc/7703/task/7720/stat : 7720 (java) S 7701 7701 7562 0 -1 1077944384 854 0 0 0 13 0 0 0 20 0 20 0 511935237 28909211648 12444 33554432000 4194304 4196468 140722608806752 140385586371440 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7721] ppid=7701 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7721/stat : 7721 (java) S 7701 7701 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511935237 28909211648 12444 33554432000 4194304 4196468 140722608806752 140385585318112 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7722] ppid=7701 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/7703/task/7722/stat : 7722 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511935237 28909211648 12444 33554432000 4194304 4196468 140722608806752 140385584265648 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51224 KiB

[startup+0.701823 s]
/proc/loadavg: 6.71 7.48 7.93 3/211 7722
/proc/meminfo: memFree=26138204/32770624 swapFree=66956852/67108860
[pid=7701] ppid=7698 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7701/stat : 7701 (xcsp3-exec) S 7698 7701 7562 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511935231 115843072 362 33554432000 4194304 5098028 140727645463568 140727645461672 140140145701500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16117760 140727645467473 140727645467733 140727645467733 140727645470662 0
/proc/7701/statm: 28282 362 304 221 0 87 0
[pid=7703] ppid=7701 vsize=28766288 memory=94744 CPUtime=1.91 cores=0-7
/proc/7703/stat : 7703 (java) S 7701 7701 7562 0 -1 1077944320 15082 0 0 0 184 7 0 0 20 0 28 0 511935231 29456678912 23686 33554432000 4194304 4196468 140722608806752 140722608789296 140386995715831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
/proc/7703/statm: 7191572 23686 3456 1 0 7152672 0
[pid=7703/tid=7704] ppid=7701 vsize=28766288 memory=0 CPUtime=0.59 cores=0-7
/proc/7703/task/7704/stat : 7704 (java) S 7701 7701 7562 0 -1 1077944384 9151 0 0 0 55 4 0 0 20 0 28 0 511935231 29456678912 23686 33554432000 4194304 4196468 140722608806752 140386999956608 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7705] ppid=7701 vsize=28766288 memory=140285778895728 CPUtime=0 cores=0-7
/proc/7703/task/7705/stat : 7705 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511935232 29456678912 23686 33554432000 4194304 4196468 140722608806752 140386915567888 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7706] ppid=7701 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7706/stat : 7706 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511935232 29456678912 23686 33554432000 4194304 4196468 140722608806752 140386914515344 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7707] ppid=7701 vsize=28766288 memory=784 CPUtime=0 cores=0-7
/proc/7703/task/7707/stat : 7707 (java) S 7701 7701 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511935232 29456678912 23686 33554432000 4194304 4196468 140722608806752 140386913462800 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0

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

[pid=7703/tid=7753] ppid=7701 vsize=28766288 memory=762000 CPUtime=2192.31 cores=0-7
/proc/7703/task/7753/stat : 7753 (java) R 7701 7701 7562 0 -1 4202560 71733 0 0 0 219206 25 0 0 20 0 28 0 511957668 29456678912 191901 33554432000 4194304 4196468 140722608806752 140385367080336 140386598276438 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
Current children cumulated CPU time: 19399.3 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 769052 KiB

[startup+2502.31 s]
/proc/loadavg: 8.11 8.26 8.21 9/218 7948
/proc/meminfo: memFree=25380264/32770624 swapFree=66956860/67108860
[pid=7701] ppid=7698 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7701/stat : 7701 (xcsp3-exec) S 7698 7701 7562 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511935231 115843072 362 33554432000 4194304 5098028 140727645463568 140727645461672 140140145701500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16117760 140727645467473 140727645467733 140727645467733 140727645470662 0
/proc/7701/statm: 28282 362 304 221 0 87 0
[pid=7703] ppid=7701 vsize=28766288 memory=825008 CPUtime=19876.4 cores=0-7
/proc/7703/stat : 7703 (java) S 7701 7701 7562 0 -1 1077944320 903100 0 0 0 1986802 839 0 0 20 0 28 0 511935231 29456678912 206252 33554432000 4194304 4196468 140722608806752 140722608789296 140386995715831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
/proc/7703/statm: 7191572 206252 3546 1 0 7152672 0
[pid=7703/tid=7704] ppid=7701 vsize=28766288 memory=823952 CPUtime=0.59 cores=0-7
/proc/7703/task/7704/stat : 7704 (java) S 7701 7701 7562 0 -1 1077944384 9329 0 0 0 55 4 0 0 20 0 28 0 511935231 29456678912 206252 33554432000 4194304 4196468 140722608806752 140386999956608 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7705] ppid=7701 vsize=28766288 memory=824476 CPUtime=9.6 cores=0-7
/proc/7703/task/7705/stat : 7705 (java) S 7701 7701 7562 0 -1 1077944384 34195 0 0 0 923 37 0 0 20 0 28 0 511935232 29456678912 206252 33554432000 4194304 4196468 140722608806752 140386915567888 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7706] ppid=7701 vsize=28766288 memory=823952 CPUtime=9.71 cores=0-7
/proc/7703/task/7706/stat : 7706 (java) S 7701 7701 7562 0 -1 1077944384 27783 0 0 0 939 32 0 0 20 0 28 0 511935232 29456678912 206252 33554432000 4194304 4196468 140722608806752 140386914515344 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7707] ppid=7701 vsize=28766288 memory=825040 CPUtime=9.63 cores=0-7
/proc/7703/task/7707/stat : 7707 (java) S 7701 7701 7562 0 -1 1077944384 29888 0 0 0 929 34 0 0 20 0 28 0 511935232 29456678912 206252 33554432000 4194304 4196468 140722608806752 140386913462800 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7708] ppid=7701 vsize=28766288 memory=825008 CPUtime=9.61 cores=0-7
/proc/7703/task/7708/stat : 7708 (java) S 7701 7701 7562 0 -1 1077944384 26435 0 0 0 928 33 0 0 20 0 28 0 511935232 29456678912 206252 33554432000 4194304 4196468 140722608806752 140386543721104 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7709] ppid=7701 vsize=28766288 memory=1448 CPUtime=9.62 cores=0-7
/proc/7703/task/7709/stat : 7709 (java) S 7701 7701 7562 0 -1 1077944384 24314 0 0 0 931 31 0 0 20 0 28 0 511935232 29456678912 206252 33554432000 4194304 4196468 140722608806752 140386542668560 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7710] ppid=7701 vsize=28766288 memory=789968 CPUtime=9.62 cores=0-7
/proc/7703/task/7710/stat : 7710 (java) S 7701 7701 7562 0 -1 1077944384 25402 0 0 0 928 34 0 0 20 0 28 0 511935232 29456678912 206252 33554432000 4194304 4196468 140722608806752 140386541616016 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7711] ppid=7701 vsize=28766288 memory=1448 CPUtime=9.68 cores=0-7
/proc/7703/task/7711/stat : 7711 (java) S 7701 7701 7562 0 -1 1077944384 26257 0 0 0 938 30 0 0 20 0 28 0 511935232 29456678912 206252 33554432000 4194304 4196468 140722608806752 140386540563472 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7712] ppid=7701 vsize=28766288 memory=1060 CPUtime=9.69 cores=0-7
/proc/7703/task/7712/stat : 7712 (java) S 7701 7701 7562 0 -1 1077944384 29232 0 0 0 939 30 0 0 20 0 28 0 511935232 29456678912 206252 33554432000 4194304 4196468 140722608806752 140386539510928 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7713] ppid=7701 vsize=28766288 memory=14012 CPUtime=8.37 cores=0-7
/proc/7703/task/7713/stat : 7713 (java) S 7701 7701 7562 0 -1 1077944384 170403 0 0 0 435 402 0 0 20 0 28 0 511935233 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385710409712 140386995726978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7714] ppid=7701 vsize=28766288 memory=33 CPUtime=0 cores=0-7
/proc/7703/task/7714/stat : 7714 (java) S 7701 7701 7562 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 511935234 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385709356000 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7715] ppid=7701 vsize=28766288 memory=7739276948478193263 CPUtime=0 cores=0-7
/proc/7703/task/7715/stat : 7715 (java) S 7701 7701 7562 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 511935234 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385708303360 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7716] ppid=7701 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/7703/task/7716/stat : 7716 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511935237 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385707251920 140386995734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7717] ppid=7701 vsize=28766288 memory=7595432270275568237 CPUtime=1.39 cores=0-7
/proc/7703/task/7717/stat : 7717 (java) S 7701 7701 7562 0 -1 1077944384 7583 0 0 0 137 2 0 0 20 0 28 0 511935237 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385706199536 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7718] ppid=7701 vsize=28766288 memory=790164 CPUtime=1.55 cores=0-7
/proc/7703/task/7718/stat : 7718 (java) S 7701 7701 7562 0 -1 1077944384 10864 0 0 0 152 3 0 0 20 0 28 0 511935237 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385705146992 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7719] ppid=7701 vsize=28766288 memory=280571559149312 CPUtime=1.56 cores=0-7
/proc/7703/task/7719/stat : 7719 (java) S 7701 7701 7562 0 -1 1077944384 9698 0 0 0 155 1 0 0 20 0 28 0 511935237 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385587423984 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7720] ppid=7701 vsize=28766288 memory=824476 CPUtime=0.6 cores=0-7
/proc/7703/task/7720/stat : 7720 (java) S 7701 7701 7562 0 -1 1077944384 7878 0 0 0 59 1 0 0 20 0 28 0 511935237 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385586371440 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7721] ppid=7701 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/7703/task/7721/stat : 7721 (java) S 7701 7701 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511935237 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385585318112 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7722] ppid=7701 vsize=28766288 memory=1448 CPUtime=0.54 cores=0-7
/proc/7703/task/7722/stat : 7722 (java) S 7701 7701 7562 0 -1 1077944384 4238 0 0 0 18 36 0 0 20 0 28 0 511935237 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385584265648 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7746] ppid=7701 vsize=28766288 memory=823960 CPUtime=2246.91 cores=0-7
/proc/7703/task/7746/stat : 7746 (java) R 7701 7701 7562 0 -1 4202560 16118 0 0 0 224678 13 0 0 20 0 28 0 511957668 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385368132840 140386598276438 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7747] ppid=7701 vsize=28766288 memory=1448 CPUtime=2250.8 cores=0-7
/proc/7703/task/7747/stat : 7747 (java) R 7701 7701 7562 0 -1 4202560 10891 0 0 0 225069 11 0 0 20 0 28 0 511957668 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385572126616 140386598276753 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7748] ppid=7701 vsize=28766288 memory=825040 CPUtime=2251.16 cores=0-7
/proc/7703/task/7748/stat : 7748 (java) R 7701 7701 7562 0 -1 4202560 17156 0 0 0 225102 14 0 0 20 0 28 0 511957668 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385574232088 140386597964994 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7749] ppid=7701 vsize=28766288 memory=1448 CPUtime=2256.56 cores=0-7
/proc/7703/task/7749/stat : 7749 (java) R 7701 7701 7562 0 -1 4202560 112140 0 0 0 225621 35 0 0 20 0 28 0 511957668 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385366028416 140386599802562 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7750] ppid=7701 vsize=28766288 memory=823952 CPUtime=2249.26 cores=0-7
/proc/7703/task/7750/stat : 7750 (java) R 7701 7701 7562 0 -1 4202560 119986 0 0 0 224891 35 0 0 20 0 28 0 511957668 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385575285016 140386598748704 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7751] ppid=7701 vsize=28766288 memory=823960 CPUtime=2251.02 cores=0-7
/proc/7703/task/7751/stat : 7751 (java) R 7701 7701 7562 0 -1 4202560 76013 0 0 0 225073 29 0 0 20 0 28 0 511957668 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385571077472 140386597964861 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7752] ppid=7701 vsize=28766288 memory=1448 CPUtime=2249.59 cores=0-7
/proc/7703/task/7752/stat : 7752 (java) R 7701 7701 7562 0 -1 4202560 10532 0 0 0 224950 9 0 0 20 0 28 0 511957668 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385573178904 140386598276857 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7753] ppid=7701 vsize=28766288 memory=824476 CPUtime=2251.65 cores=0-7
/proc/7703/task/7753/stat : 7753 (java) R 7701 7701 7562 0 -1 4202560 80797 0 0 0 225136 29 0 0 20 0 28 0 511957668 29456678912 206252 33554432000 4194304 4196468 140722608806752 140385367080448 140386598276423 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
Current children cumulated CPU time: 19876.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 826456 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.09 8.25 8.20 9/218 7950
/proc/meminfo: memFree=25381920/32770624 swapFree=66956860/67108860
[pid=7701] ppid=7698 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7701/stat : 7701 (xcsp3-exec) S 7698 7701 7562 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511935231 115843072 362 33554432000 4194304 5098028 140727645463568 140727645461672 140140145701500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16117760 140727645467473 140727645467733 140727645467733 140727645470662 0
/proc/7701/statm: 28282 362 304 221 0 87 0
[pid=7703] ppid=7701 vsize=28766288 memory=821896 CPUtime=20016.8 cores=0-7
/proc/7703/stat : 7703 (java) S 7701 7701 7562 0 -1 1077944320 922829 0 0 0 2000831 852 0 0 20 0 28 0 511935231 29456678912 205474 33554432000 4194304 4196468 140722608806752 140722608789296 140386995715831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
/proc/7703/statm: 7191572 205474 3546 1 0 7152672 0
[pid=7703/tid=7704] ppid=7701 vsize=28766288 memory=3860 CPUtime=0.59 cores=0-7
/proc/7703/task/7704/stat : 7704 (java) S 7701 7701 7562 0 -1 1077944384 9329 0 0 0 55 4 0 0 20 0 28 0 511935231 29456678912 205474 33554432000 4194304 4196468 140722608806752 140386999956608 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7705] ppid=7701 vsize=28766288 memory=1548 CPUtime=9.71 cores=0-7
/proc/7703/task/7705/stat : 7705 (java) S 7701 7701 7562 0 -1 1077944384 34402 0 0 0 933 38 0 0 20 0 28 0 511935232 29456678912 205474 33554432000 4194304 4196468 140722608806752 140386915567888 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7706] ppid=7701 vsize=28766288 memory=7552 CPUtime=9.81 cores=0-7
/proc/7703/task/7706/stat : 7706 (java) S 7701 7701 7562 0 -1 1077944384 28030 0 0 0 949 32 0 0 20 0 28 0 511935232 29456678912 205474 33554432000 4194304 4196468 140722608806752 140386914515344 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7707] ppid=7701 vsize=28766288 memory=3608 CPUtime=9.73 cores=0-7
/proc/7703/task/7707/stat : 7707 (java) S 7701 7701 7562 0 -1 1077944384 30089 0 0 0 938 35 0 0 20 0 28 0 511935232 29456678912 205474 33554432000 4194304 4196468 140722608806752 140386913462800 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7708] ppid=7701 vsize=28766288 memory=616 CPUtime=9.72 cores=0-7
/proc/7703/task/7708/stat : 7708 (java) S 7701 7701 7562 0 -1 1077944384 26521 0 0 0 938 34 0 0 20 0 28 0 511935232 29456678912 205474 33554432000 4194304 4196468 140722608806752 140386543721104 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7709] ppid=7701 vsize=28766288 memory=2832 CPUtime=9.72 cores=0-7
/proc/7703/task/7709/stat : 7709 (java) S 7701 7701 7562 0 -1 1077944384 24965 0 0 0 940 32 0 0 20 0 28 0 511935232 29456678912 205474 33554432000 4194304 4196468 140722608806752 140386542668560 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7710] ppid=7701 vsize=28766288 memory=1620 CPUtime=9.72 cores=0-7
/proc/7703/task/7710/stat : 7710 (java) S 7701 7701 7562 0 -1 1077944384 25587 0 0 0 937 35 0 0 20 0 28 0 511935232 29456678912 205474 33554432000 4194304 4196468 140722608806752 140386541616016 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7711] ppid=7701 vsize=28766288 memory=1136 CPUtime=9.79 cores=0-7
/proc/7703/task/7711/stat : 7711 (java) S 7701 7701 7562 0 -1 1077944384 26489 0 0 0 948 31 0 0 20 0 28 0 511935232 29456678912 205474 33554432000 4194304 4196468 140722608806752 140386540563472 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7712] ppid=7701 vsize=28766288 memory=1072 CPUtime=9.78 cores=0-7
/proc/7703/task/7712/stat : 7712 (java) S 7701 7701 7562 0 -1 1077944384 29696 0 0 0 948 30 0 0 20 0 28 0 511935232 29456678912 205474 33554432000 4194304 4196468 140722608806752 140386539510928 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7713] ppid=7701 vsize=28766288 memory=6196 CPUtime=8.45 cores=0-7
/proc/7703/task/7713/stat : 7713 (java) S 7701 7701 7562 0 -1 1077944384 172349 0 0 0 438 407 0 0 20 0 28 0 511935233 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385710409712 140386995726978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7714] ppid=7701 vsize=28766288 memory=784 CPUtime=0 cores=0-7
/proc/7703/task/7714/stat : 7714 (java) S 7701 7701 7562 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 511935234 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385709356000 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7715] ppid=7701 vsize=28766288 memory=1060 CPUtime=0 cores=0-7
/proc/7703/task/7715/stat : 7715 (java) S 7701 7701 7562 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 511935234 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385708303360 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7716] ppid=7701 vsize=28766288 memory=14012 CPUtime=0 cores=0-7
/proc/7703/task/7716/stat : 7716 (java) S 7701 7701 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511935237 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385707251920 140386995734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7717] ppid=7701 vsize=28766288 memory=2580 CPUtime=1.39 cores=0-7
/proc/7703/task/7717/stat : 7717 (java) S 7701 7701 7562 0 -1 1077944384 7591 0 0 0 137 2 0 0 20 0 28 0 511935237 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385706199536 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7718] ppid=7701 vsize=28766288 memory=1760 CPUtime=1.55 cores=0-7
/proc/7703/task/7718/stat : 7718 (java) S 7701 7701 7562 0 -1 1077944384 10870 0 0 0 152 3 0 0 20 0 28 0 511935237 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385705146992 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7719] ppid=7701 vsize=28766288 memory=111632 CPUtime=1.56 cores=0-7
/proc/7703/task/7719/stat : 7719 (java) S 7701 7701 7562 0 -1 1077944384 9704 0 0 0 155 1 0 0 20 0 28 0 511935237 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385587423984 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7720] ppid=7701 vsize=28766288 memory=804 CPUtime=0.6 cores=0-7
/proc/7703/task/7720/stat : 7720 (java) S 7701 7701 7562 0 -1 1077944384 7886 0 0 0 59 1 0 0 20 0 28 0 511935237 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385586371440 140386995726978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7721] ppid=7701 vsize=28766288 memory=4104 CPUtime=0 cores=0-7
/proc/7703/task/7721/stat : 7721 (java) S 7701 7701 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511935237 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385585318112 140386995726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7722] ppid=7701 vsize=28766288 memory=1808 CPUtime=0.54 cores=0-7
/proc/7703/task/7722/stat : 7722 (java) R 7701 7701 7562 0 -1 1077944384 4292 0 0 0 18 36 0 0 20 0 28 0 511935237 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385584265648 140386995726978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7746] ppid=7701 vsize=28766288 memory=920 CPUtime=2264.26 cores=0-7
/proc/7703/task/7746/stat : 7746 (java) R 7701 7701 7562 0 -1 4202560 16414 0 0 0 226413 13 0 0 20 0 28 0 511957668 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385368132792 140386598275951 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7747] ppid=7701 vsize=28766288 memory=4132 CPUtime=2268.24 cores=0-7
/proc/7703/task/7747/stat : 7747 (java) R 7701 7701 7562 0 -1 4202560 11122 0 0 0 226813 11 0 0 20 0 28 0 511957668 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385572126616 140386597530287 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7748] ppid=7701 vsize=28766288 memory=1412 CPUtime=2268.66 cores=0-7
/proc/7703/task/7748/stat : 7748 (java) R 7701 7701 7562 0 -1 4202560 17429 0 0 0 226852 14 0 0 20 0 28 0 511957668 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385574232600 140386597168464 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7749] ppid=7701 vsize=28766288 memory=3860 CPUtime=2274.05 cores=0-7
/proc/7703/task/7749/stat : 7749 (java) R 7701 7701 7562 0 -1 4202560 115807 0 0 0 227370 35 0 0 20 0 28 0 511957668 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385366028416 140386599802452 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7750] ppid=7701 vsize=28766288 memory=1448 CPUtime=2266.6 cores=0-7
/proc/7703/task/7750/stat : 7750 (java) R 7701 7701 7562 0 -1 4202560 125168 0 0 0 226624 36 0 0 20 0 28 0 511957668 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385575284904 140386597168367 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7751] ppid=7701 vsize=28766288 memory=821896 CPUtime=2268.52 cores=0-7
/proc/7703/task/7751/stat : 7751 (java) R 7701 7701 7562 0 -1 4202560 79659 0 0 0 226822 30 0 0 20 0 28 0 511957668 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385571077472 140386598276753 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7752] ppid=7701 vsize=28766288 memory=1160 CPUtime=2267.07 cores=0-7
/proc/7703/task/7752/stat : 7752 (java) R 7701 7701 7562 0 -1 4202560 10731 0 0 0 226698 9 0 0 20 0 28 0 511957668 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385573178904 140386598277007 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
[pid=7703/tid=7753] ppid=7701 vsize=28766288 memory=1976 CPUtime=2269.1 cores=0-7
/proc/7703/task/7753/stat : 7753 (java) R 7701 7701 7562 0 -1 4202560 82731 0 0 0 226879 31 0 0 20 0 28 0 511957668 29456678912 205474 33554432000 4194304 4196468 140722608806752 140385367080488 140386597391571 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 17182720 140722608813014 140722608813190 140722608813190 140722608816079 0
Current children cumulated CPU time: 20016.8 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 823344 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.1
CPU time (s): 20017.4
CPU user time (s): 20008.9
CPU system time (s): 8.54508
CPU usage (%): 794.313
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 826488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20008.9
system time used= 8.54508
maximum resident set size= 828048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 923647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 211387
involuntary context switches= 228139


# summary of solver processes directly reported to runsolver:
#   pid: 7701,7703
#   total CPU time (s): 20017.4
#   total CPU user time (s): 20008.9
#   total CPU system time (s): 8.54508

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4445 second user time and 27.0655 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 21:24:34
IDJOB=4407153
IDBENCH=138148
IDSOLVER=2871
FILE ID=node105/4407153-1569356775
RUNJOBID= node105-1569352967-7589
PBS_JOBID= 21705104
Free space on /var/tmp= 13180 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-sw100/BinPacking-sum-sw100-01.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407153-1569356775/watcher-4407153-1569356775 -o /var/tmp/evaluation-result-4407153-1569356775/solver-4407153-1569356775 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569352967-7589 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1233545140 HOME/instance-4407153-1569356775.xml

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

MD5SUM BENCH= 158e2c33e228ebf79a07c013c2cd02f9
RANDOM SEED=1233545140

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
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.00
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.00
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.00
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:        26193052 kB
MemAvailable:   31800056 kB
Buffers:          123096 kB
Cached:          5615480 kB
SwapCached:        48340 kB
Active:          2859584 kB
Inactive:        2928096 kB
Active(anon):       4216 kB
Inactive(anon):    99564 kB
Active(file):    2855368 kB
Inactive(file):  2828532 kB
Unevictable:      110936 kB
Mlocked:          110936 kB
SwapTotal:      67108860 kB
SwapFree:       66956852 kB
Dirty:             26376 kB
Writeback:             0 kB
AnonPages:        114012 kB
Mapped:            54368 kB
Shmem:             45928 kB
Slab:             380440 kB
SReclaimable:     351564 kB
SUnreclaim:        28876 kB
KernelStack:        3424 kB
PageTables:         4944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13152 MiB
End job on node105 at 2019-09-24 22:06:34