Trace number 4404753

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-20 parallelSAT (TO)0 20011.2 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-4404753-1569006837.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404753-1569006837.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.03/0.59	c solve instance...
13688.02/1723.99	o 0 
20010.53/2520.07	s SATISFIABLE
20010.53/2520.07	v <instantiation>
20010.53/2520.07	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>
20010.53/2520.07	v 	<values>0 200 167 164 157 156 156 200 165 163 163 158 151 200 165 156 156 156 154 199 198 187 186 185 0 198 175 171 152 152 152 197 185 184 184 182 0 197 177 172 154 150 150 194 182 171 153 150 150 194 181 181 179 179 0 193 170 163 162 156 155 192 167 163 160 158 158 191 185 178 177 177 0 191 179 169 155 155 151 191 171 170 169 169 0 190 189 185 180 179 0 190 188 188 187 177 0 184 183 183 183 182 0 174 173 173 161 160 159 </values>
20010.53/2520.07	v </instantiation>
20010.53/2520.07	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 (8872 MiB free)
  memory of node 1: 16384 MiB (7153 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404753-1569006837/watcher-4404753-1569006837 -o /var/tmp/evaluation-result-4404753-1569006837/solver-4404753-1569006837 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569003138-317 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1423853615 HOME/instance-4404753-1569006837.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
solver pid=336, runsolver pid=333
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 7.57 8.08 8.22 2/211 359
/proc/meminfo: memFree=16392948/32770624 swapFree=66955340/67108860
[pid=336] ppid=333 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/336/stat : 336 (xcsp3-exec) S 333 336 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476941681 115843072 362 33554432000 4194304 5098028 140733602202272 140733602200376 139714373309052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24457216 140733602210641 140733602210901 140733602210901 140733602213830 0
/proc/336/statm: 28282 362 304 221 0 87 0
[pid=340] ppid=336 vsize=28227396 memory=30076 CPUtime=0.12 cores=0-7
/proc/340/stat : 340 (java) S 336 336 32757 0 -1 1077944320 5487 0 0 0 10 2 0 0 20 0 20 0 476941681 28904853504 7519 33554432000 4194304 4196468 140726759007344 140726758989888 140576453594871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
/proc/340/statm: 7056849 7519 3123 1 0 7019032 0
[pid=340/tid=341] ppid=336 vsize=28227396 memory=8318255677412212789 CPUtime=0.09 cores=0-7
/proc/340/task/341/stat : 341 (java) R 336 336 32757 0 -1 4202560 3399 0 0 0 8 1 0 0 20 0 20 0 476941681 28904853504 7519 33554432000 4194304 4196468 140726759007344 140576457831296 140576453606806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=342] ppid=336 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/340/task/342/stat : 342 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 7519 33554432000 4194304 4196468 140726759007344 140576373447312 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=343] ppid=336 vsize=28227396 memory=3906226306391025312 CPUtime=0 cores=0-7
/proc/340/task/343/stat : 343 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 7519 33554432000 4194304 4196468 140726759007344 140576372394512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=344] ppid=336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/340/task/344/stat : 344 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 7519 33554432000 4194304 4196468 140726759007344 140576371341712 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=345] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/345/stat : 345 (java) S 336 336 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 7519 33554432000 4194304 4196468 140726759007344 140576370288912 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=346] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/346/stat : 346 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 7519 33554432000 4194304 4196468 140726759007344 140576369237136 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=347] ppid=336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/340/task/347/stat : 347 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 7519 33554432000 4194304 4196468 140726759007344 140576368184336 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=348] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/348/stat : 348 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 7519 33554432000 4194304 4196468 140726759007344 140576367131536 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=349] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/349/stat : 349 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 7519 33554432000 4194304 4196468 140726759007344 140576366078736 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=350] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/350/stat : 350 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941683 28904853504 7519 33554432000 4194304 4196468 140726759007344 140574783457648 140576453606018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=351] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/351/stat : 351 (java) S 336 336 32757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476941684 28904853504 7519 33554432000 4194304 4196468 140726759007344 140574782403616 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=352] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/352/stat : 352 (java) S 336 336 32757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476941684 28904853504 7519 33554432000 4194304 4196468 140726759007344 140574781350768 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=353] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/353/stat : 353 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941686 28904853504 7519 33554432000 4194304 4196468 140726759007344 140574780299088 140576453613467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=354] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/354/stat : 354 (java) R 336 336 32757 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 476941686 28904853504 7519 33554432000 4194304 4196468 140726759007344 140574779247472 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=355] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/355/stat : 355 (java) S 336 336 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476941686 28904853504 7519 33554432000 4194304 4196468 140726759007344 140574778194672 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=356] ppid=336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/340/task/356/stat : 356 (java) R 336 336 32757 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476941687 28904853504 7519 33554432000 4194304 4196468 140726759007344 140574777141872 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=357] ppid=336 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/340/task/357/stat : 357 (java) R 336 336 32757 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 476941687 28904853504 7519 33554432000 4194304 4196468 140726759007344 140574776089072 140576453616218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=358] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/358/stat : 358 (java) S 336 336 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476941687 28904853504 7519 33554432000 4194304 4196468 140726759007344 140574775036512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=359] ppid=336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/340/task/359/stat : 359 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941687 28904853504 7519 33554432000 4194304 4196468 140726759007344 140574773983792 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31524 KiB

[startup+0.210666 s]*
/proc/loadavg: 7.57 8.08 8.22 3/211 359
/proc/meminfo: memFree=16379844/32770624 swapFree=66955340/67108860
[pid=336] ppid=333 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/336/stat : 336 (xcsp3-exec) S 333 336 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476941681 115843072 362 33554432000 4194304 5098028 140733602202272 140733602200376 139714373309052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24457216 140733602210641 140733602210901 140733602210901 140733602213830 0
/proc/336/statm: 28282 362 304 221 0 87 0
[pid=340] ppid=336 vsize=28227396 memory=41432 CPUtime=0.33 cores=0-7
/proc/340/stat : 340 (java) S 336 336 32757 0 -1 1077944320 9071 0 0 0 29 4 0 0 20 0 20 0 476941681 28904853504 10358 33554432000 4194304 4196468 140726759007344 140726758989888 140576453594871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
/proc/340/statm: 7056849 10358 3305 1 0 7019032 0
[pid=340/tid=341] ppid=336 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/340/task/341/stat : 341 (java) R 336 336 32757 0 -1 4202560 6208 0 0 0 17 2 0 0 20 0 20 0 476941681 28904853504 10358 33554432000 4194304 4196468 140726759007344 140576457828336 140576453616797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=342] ppid=336 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/340/task/342/stat : 342 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 10358 33554432000 4194304 4196468 140726759007344 140576373447312 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=343] ppid=336 vsize=28227396 memory=3906226306391025312 CPUtime=0 cores=0-7
/proc/340/task/343/stat : 343 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 10358 33554432000 4194304 4196468 140726759007344 140576372394512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=344] ppid=336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/340/task/344/stat : 344 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 10358 33554432000 4194304 4196468 140726759007344 140576371341712 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=345] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/345/stat : 345 (java) S 336 336 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 10358 33554432000 4194304 4196468 140726759007344 140576370288912 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=346] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/346/stat : 346 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 10358 33554432000 4194304 4196468 140726759007344 140576369237136 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=347] ppid=336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/340/task/347/stat : 347 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 10358 33554432000 4194304 4196468 140726759007344 140576368184336 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=348] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/348/stat : 348 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 10358 33554432000 4194304 4196468 140726759007344 140576367131536 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=349] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/349/stat : 349 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28904853504 10358 33554432000 4194304 4196468 140726759007344 140576366078736 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=350] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/350/stat : 350 (java) S 336 336 32757 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476941683 28904853504 10358 33554432000 4194304 4196468 140726759007344 140574783457648 140576453606018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=351] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/351/stat : 351 (java) S 336 336 32757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476941684 28904853504 10358 33554432000 4194304 4196468 140726759007344 140574782403616 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=352] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/352/stat : 352 (java) S 336 336 32757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476941684 28904853504 10358 33554432000 4194304 4196468 140726759007344 140574781350768 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=353] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/353/stat : 353 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941686 28904853504 10358 33554432000 4194304 4196468 140726759007344 140574780299088 140576453613467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=354] ppid=336 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/340/task/354/stat : 354 (java) R 336 336 32757 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 476941686 28904853504 10358 33554432000 4194304 4196468 140726759007344 140574779247472 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=355] ppid=336 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/340/task/355/stat : 355 (java) R 336 336 32757 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 20 0 476941686 28904853504 10358 33554432000 4194304 4196468 140726759007344 140574778194672 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=356] ppid=336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/340/task/356/stat : 356 (java) S 336 336 32757 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 476941687 28904853504 10358 33554432000 4194304 4196468 140726759007344 140574777141872 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=357] ppid=336 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/340/task/357/stat : 357 (java) S 336 336 32757 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 20 0 476941687 28904853504 10358 33554432000 4194304 4196468 140726759007344 140574776089072 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=358] ppid=336 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/340/task/358/stat : 358 (java) S 336 336 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476941687 28904853504 10358 33554432000 4194304 4196468 140726759007344 140574775036512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=359] ppid=336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/340/task/359/stat : 359 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941687 28904853504 10358 33554432000 4194304 4196468 140726759007344 140574773983792 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42880 KiB

[startup+0.310625 s]*
/proc/loadavg: 7.57 8.08 8.22 4/211 359
/proc/meminfo: memFree=16373056/32770624 swapFree=66955340/67108860
[pid=336] ppid=333 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/336/stat : 336 (xcsp3-exec) S 333 336 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476941681 115843072 362 33554432000 4194304 5098028 140733602202272 140733602200376 139714373309052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24457216 140733602210641 140733602210901 140733602210901 140733602213830 0
/proc/336/statm: 28282 362 304 221 0 87 0
[pid=340] ppid=336 vsize=28231652 memory=50000 CPUtime=0.52 cores=0-7
/proc/340/stat : 340 (java) S 336 336 32757 0 -1 1077944320 10328 0 0 0 47 5 0 0 20 0 20 0 476941681 28909211648 12500 33554432000 4194304 4196468 140726759007344 140726758989888 140576453594871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
/proc/340/statm: 7057913 12500 3356 1 0 7019032 0
[pid=340/tid=341] ppid=336 vsize=28231652 memory=-7035114785800479027 CPUtime=0.3 cores=0-7
/proc/340/task/341/stat : 341 (java) R 336 336 32757 0 -1 4202560 7342 0 0 0 27 3 0 0 20 0 20 0 476941681 28909211648 12592 33554432000 4194304 4196468 140726759007344 140576457826848 140576437675358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=342] ppid=336 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/340/task/342/stat : 342 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28909211648 12592 33554432000 4194304 4196468 140726759007344 140576373447312 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=343] ppid=336 vsize=28231652 memory=140642910283392 CPUtime=0 cores=0-7
/proc/340/task/343/stat : 343 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941682 28909211648 12592 33554432000 4194304 4196468 140726759007344 140576372394512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=344] ppid=336 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/340/task/344/stat : 344 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28909211648 12596 33554432000 4194304 4196468 140726759007344 140576371341712 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=345] ppid=336 vsize=28231652 memory=2240 CPUtime=0 cores=0-7
/proc/340/task/345/stat : 345 (java) S 336 336 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476941682 28909211648 12596 33554432000 4194304 4196468 140726759007344 140576370288912 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=346] ppid=336 vsize=28231652 memory=2241 CPUtime=0 cores=0-7
/proc/340/task/346/stat : 346 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941682 28909211648 12596 33554432000 4194304 4196468 140726759007344 140576369237136 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=347] ppid=336 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/340/task/347/stat : 347 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28909211648 12596 33554432000 4194304 4196468 140726759007344 140576368184336 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=348] ppid=336 vsize=28231652 memory=281285595700768 CPUtime=0 cores=0-7
/proc/340/task/348/stat : 348 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28909211648 12596 33554432000 4194304 4196468 140726759007344 140576367131536 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=349] ppid=336 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/340/task/349/stat : 349 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476941682 28909211648 12596 33554432000 4194304 4196468 140726759007344 140576366078736 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=350] ppid=336 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/340/task/350/stat : 350 (java) S 336 336 32757 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476941683 28909211648 12596 33554432000 4194304 4196468 140726759007344 140574783457648 140576453606018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=351] ppid=336 vsize=28231652 memory=759 CPUtime=0 cores=0-7
/proc/340/task/351/stat : 351 (java) S 336 336 32757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476941684 28909211648 12596 33554432000 4194304 4196468 140726759007344 140574782403616 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=352] ppid=336 vsize=28231652 memory=1286 CPUtime=0 cores=0-7
/proc/340/task/352/stat : 352 (java) S 336 336 32757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476941684 28909211648 12596 33554432000 4194304 4196468 140726759007344 140574781350768 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=353] ppid=336 vsize=28231652 memory=265 CPUtime=0 cores=0-7
/proc/340/task/353/stat : 353 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941686 28909211648 12596 33554432000 4194304 4196468 140726759007344 140574780299088 140576453613467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=354] ppid=336 vsize=28231652 memory=315 CPUtime=0.01 cores=0-7
/proc/340/task/354/stat : 354 (java) S 336 336 32757 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 20 0 476941686 28909211648 12596 33554432000 4194304 4196468 140726759007344 140574779247472 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=355] ppid=336 vsize=28231652 memory=260465 CPUtime=0.03 cores=0-7
/proc/340/task/355/stat : 355 (java) S 336 336 32757 0 -1 1077944384 168 0 0 0 3 0 0 0 20 0 20 0 476941686 28909211648 12596 33554432000 4194304 4196468 140726759007344 140574778194672 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=356] ppid=336 vsize=28231652 memory=1 CPUtime=0.03 cores=0-7
/proc/340/task/356/stat : 356 (java) R 336 336 32757 0 -1 4202560 417 0 0 0 3 0 0 0 20 0 20 0 476941687 28909211648 12596 33554432000 4194304 4196468 140726759007344 140574777141872 140576438720786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=357] ppid=336 vsize=28231652 memory=6072 CPUtime=0.12 cores=0-7
/proc/340/task/357/stat : 357 (java) S 336 336 32757 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 20 0 476941687 28909211648 12596 33554432000 4194304 4196468 140726759007344 140574776089072 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=358] ppid=336 vsize=28231652 memory=3467825727391412274 CPUtime=0 cores=0-7
/proc/340/task/358/stat : 358 (java) S 336 336 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476941687 28909211648 12596 33554432000 4194304 4196468 140726759007344 140574775036512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=359] ppid=336 vsize=28231652 memory=3472895575524712495 CPUtime=0 cores=0-7
/proc/340/task/359/stat : 359 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476941687 28909211648 12596 33554432000 4194304 4196468 140726759007344 140574773983792 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51448 KiB

[startup+0.701724 s]
/proc/loadavg: 7.57 8.08 8.22 4/211 359
/proc/meminfo: memFree=16356088/32770624 swapFree=66955340/67108860
[pid=336] ppid=333 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/336/stat : 336 (xcsp3-exec) S 333 336 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476941681 115843072 362 33554432000 4194304 5098028 140733602202272 140733602200376 139714373309052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24457216 140733602210641 140733602210901 140733602210901 140733602213830 0
/proc/336/statm: 28282 362 304 221 0 87 0
[pid=340] ppid=336 vsize=28766288 memory=92980 CPUtime=1.98 cores=0-7
/proc/340/stat : 340 (java) S 336 336 32757 0 -1 1077944320 14622 0 0 0 191 7 0 0 20 0 28 0 476941681 29456678912 23245 33554432000 4194304 4196468 140726759007344 140726758989888 140576453594871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
/proc/340/statm: 7191572 23245 3456 1 0 7152672 0
[pid=340/tid=341] ppid=336 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7
/proc/340/task/341/stat : 341 (java) S 336 336 32757 0 -1 1077944384 8761 0 0 0 55 3 0 0 20 0 28 0 476941681 29456678912 23245 33554432000 4194304 4196468 140726759007344 140576457835648 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=342] ppid=336 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/340/task/342/stat : 342 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476941682 29456678912 23245 33554432000 4194304 4196468 140726759007344 140576373447312 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=343] ppid=336 vsize=28766288 memory=4580 CPUtime=0 cores=0-7
/proc/340/task/343/stat : 343 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476941682 29456678912 23245 33554432000 4194304 4196468 140726759007344 140576372394512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=344] ppid=336 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/340/task/344/stat : 344 (java) S 336 336 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476941682 29456678912 23245 33554432000 4194304 4196468 140726759007344 140576371341712 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0

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

[pid=340/tid=513] ppid=336 vsize=28766288 memory=1448 CPUtime=708.47 cores=0-7
/proc/340/task/513/stat : 513 (java) R 336 336 32757 0 -1 4202560 15915 0 0 0 70842 5 0 0 20 0 28 0 477114080 29456678912 152459 33554432000 4194304 4196468 140726759007344 140574763715296 140576046620858 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
Current children cumulated CPU time: 19392.2 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 611284 KiB

[startup+2502.3 s]
/proc/loadavg: 8.12 8.20 8.21 9/218 577
/proc/meminfo: memFree=15833140/32770624 swapFree=66955360/67108860
[pid=336] ppid=333 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/336/stat : 336 (xcsp3-exec) S 333 336 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476941681 115843072 362 33554432000 4194304 5098028 140733602202272 140733602200376 139714373309052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24457216 140733602210641 140733602210901 140733602210901 140733602213830 0
/proc/336/statm: 28282 362 304 221 0 87 0
[pid=340] ppid=336 vsize=28766288 memory=589128 CPUtime=19870.1 cores=0-7
/proc/340/stat : 340 (java) S 336 336 32757 0 -1 1077944320 488265 0 0 0 1986191 817 0 0 20 0 28 0 476941681 29456678912 147282 33554432000 4194304 4196468 140726759007344 140726758989888 140576453594871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
/proc/340/statm: 7191572 147282 3546 1 0 7152672 0
[pid=340/tid=341] ppid=336 vsize=28766288 memory=1448 CPUtime=0.58 cores=0-7
/proc/340/task/341/stat : 341 (java) S 336 336 32757 0 -1 1077944384 8787 0 0 0 55 3 0 0 20 0 28 0 476941681 29456678912 147282 33554432000 4194304 4196468 140726759007344 140576457835648 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=342] ppid=336 vsize=28766288 memory=611172 CPUtime=8.92 cores=0-7
/proc/340/task/342/stat : 342 (java) S 336 336 32757 0 -1 1077944384 14251 0 0 0 866 26 0 0 20 0 28 0 476941682 29456678912 147282 33554432000 4194304 4196468 140726759007344 140576373447312 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=343] ppid=336 vsize=28766288 memory=1448 CPUtime=8.91 cores=0-7
/proc/340/task/343/stat : 343 (java) S 336 336 32757 0 -1 1077944384 17498 0 0 0 866 25 0 0 20 0 28 0 476941682 29456678912 147282 33554432000 4194304 4196468 140726759007344 140576372394512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=344] ppid=336 vsize=28766288 memory=281285598122464 CPUtime=8.88 cores=0-7
/proc/340/task/344/stat : 344 (java) S 336 336 32757 0 -1 1077944384 14273 0 0 0 865 23 0 0 20 0 28 0 476941682 29456678912 147282 33554432000 4194304 4196468 140726759007344 140576371341712 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=345] ppid=336 vsize=28766288 memory=611172 CPUtime=8.91 cores=0-7
/proc/340/task/345/stat : 345 (java) S 336 336 32757 0 -1 1077944384 16039 0 0 0 862 29 0 0 20 0 28 0 476941682 29456678912 147282 33554432000 4194304 4196468 140726759007344 140576370288912 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=346] ppid=336 vsize=28766288 memory=281285596704096 CPUtime=8.89 cores=0-7
/proc/340/task/346/stat : 346 (java) S 336 336 32757 0 -1 1077944384 15130 0 0 0 862 27 0 0 20 0 28 0 476941682 29456678912 147282 33554432000 4194304 4196468 140726759007344 140576369237136 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=347] ppid=336 vsize=28766288 memory=72417 CPUtime=8.88 cores=0-7
/proc/340/task/347/stat : 347 (java) S 336 336 32757 0 -1 1077944384 15817 0 0 0 861 27 0 0 20 0 28 0 476941682 29456678912 147282 33554432000 4194304 4196468 140726759007344 140576368184336 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=348] ppid=336 vsize=28766288 memory=72638 CPUtime=8.87 cores=0-7
/proc/340/task/348/stat : 348 (java) S 336 336 32757 0 -1 1077944384 15177 0 0 0 862 25 0 0 20 0 28 0 476941682 29456678912 147282 33554432000 4194304 4196468 140726759007344 140576367131536 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=349] ppid=336 vsize=28766288 memory=0 CPUtime=8.88 cores=0-7
/proc/340/task/349/stat : 349 (java) S 336 336 32757 0 -1 1077944384 15711 0 0 0 863 25 0 0 20 0 28 0 476941682 29456678912 147282 33554432000 4194304 4196468 140726759007344 140576366078736 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=350] ppid=336 vsize=28766288 memory=0 CPUtime=9.48 cores=0-7
/proc/340/task/350/stat : 350 (java) S 336 336 32757 0 -1 1077944384 66376 0 0 0 463 485 0 0 20 0 28 0 476941683 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574783457648 140576453606018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=351] ppid=336 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/340/task/351/stat : 351 (java) S 336 336 32757 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 476941684 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574782403680 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=352] ppid=336 vsize=28766288 memory=3608 CPUtime=0 cores=0-7
/proc/340/task/352/stat : 352 (java) S 336 336 32757 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 476941684 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574781350784 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=353] ppid=336 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/340/task/353/stat : 353 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476941686 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574780299088 140576453613467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=354] ppid=336 vsize=28766288 memory=1448 CPUtime=1.43 cores=0-7
/proc/340/task/354/stat : 354 (java) S 336 336 32757 0 -1 1077944384 8592 0 0 0 141 2 0 0 20 0 28 0 476941686 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574779247472 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=355] ppid=336 vsize=28766288 memory=3624 CPUtime=1.52 cores=0-7
/proc/340/task/355/stat : 355 (java) S 336 336 32757 0 -1 1077944384 6839 0 0 0 150 2 0 0 20 0 28 0 476941686 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574778194672 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=356] ppid=336 vsize=28766288 memory=916 CPUtime=1.46 cores=0-7
/proc/340/task/356/stat : 356 (java) S 336 336 32757 0 -1 1077944384 9849 0 0 0 144 2 0 0 20 0 28 0 476941687 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574777141872 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=357] ppid=336 vsize=28766288 memory=3904 CPUtime=0.57 cores=0-7
/proc/340/task/357/stat : 357 (java) S 336 336 32757 0 -1 1077944384 6891 0 0 0 56 1 0 0 20 0 28 0 476941687 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574776089072 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=358] ppid=336 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/340/task/358/stat : 358 (java) S 336 336 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476941687 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574775036512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=359] ppid=336 vsize=28766288 memory=599900 CPUtime=0.78 cores=0-7
/proc/340/task/359/stat : 359 (java) S 336 336 32757 0 -1 1077944384 3050 0 0 0 52 26 0 0 20 0 28 0 476941687 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574773983792 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=506] ppid=336 vsize=28766288 memory=3624 CPUtime=768.23 cores=0-7
/proc/340/task/506/stat : 506 (java) R 336 336 32757 0 -1 4202560 2887 0 0 0 76821 2 0 0 20 0 28 0 477114080 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574757395000 140576046620802 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=507] ppid=336 vsize=28766288 memory=1448 CPUtime=768.38 cores=0-7
/proc/340/task/507/stat : 507 (java) R 336 336 32757 0 -1 4202560 1872 0 0 0 76835 3 0 0 20 0 28 0 477114080 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574764764728 140576046622597 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=508] ppid=336 vsize=28766288 memory=590152 CPUtime=768.76 cores=0-7
/proc/340/task/508/stat : 508 (java) R 336 336 32757 0 -1 4202560 2971 0 0 0 76873 3 0 0 20 0 28 0 477114080 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574762663104 140576046620871 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=509] ppid=336 vsize=28766288 memory=1448 CPUtime=771.23 cores=0-7
/proc/340/task/509/stat : 509 (java) R 336 336 32757 0 -1 4202560 19847 0 0 0 77116 7 0 0 20 0 28 0 477114080 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574758449408 140576047935347 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=510] ppid=336 vsize=28766288 memory=594256 CPUtime=770.06 cores=0-7
/proc/340/task/510/stat : 510 (java) R 336 336 32757 0 -1 4202560 11988 0 0 0 77001 5 0 0 20 0 28 0 477114080 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574761607368 140576046622464 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=511] ppid=336 vsize=28766288 memory=594256 CPUtime=767.79 cores=0-7
/proc/340/task/511/stat : 511 (java) R 336 336 32757 0 -1 4202560 36580 0 0 0 76756 23 0 0 20 0 28 0 477114080 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574760555064 140576046621179 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=512] ppid=336 vsize=28766288 memory=916 CPUtime=770.05 cores=0-7
/proc/340/task/512/stat : 512 (java) R 336 336 32757 0 -1 4202560 1733 0 0 0 77002 3 0 0 20 0 28 0 477114080 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574759501720 140576046620871 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=513] ppid=336 vsize=28766288 memory=3904 CPUtime=768.04 cores=0-7
/proc/340/task/513/stat : 513 (java) R 336 336 32757 0 -1 4202560 15916 0 0 0 76799 5 0 0 20 0 28 0 477114080 29456678912 147282 33554432000 4194304 4196468 140726759007344 140574763712296 140576046621254 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
Current children cumulated CPU time: 19870.1 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 590576 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.08 8.19 8.21 9/218 578
/proc/meminfo: memFree=15852244/32770624 swapFree=66955360/67108860
[pid=336] ppid=333 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/336/stat : 336 (xcsp3-exec) S 333 336 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476941681 115843072 362 33554432000 4194304 5098028 140733602202272 140733602200376 139714373309052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24457216 140733602210641 140733602210901 140733602210901 140733602213830 0
/proc/336/statm: 28282 362 304 221 0 87 0
[pid=340] ppid=336 vsize=28766288 memory=569364 CPUtime=20010.5 cores=0-7
/proc/340/stat : 340 (java) S 336 336 32757 0 -1 1077944320 489480 0 0 0 2000228 825 0 0 20 0 28 0 476941681 29456678912 142341 33554432000 4194304 4196468 140726759007344 140726758989888 140576453594871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
/proc/340/statm: 7191572 142341 3546 1 0 7152672 0
[pid=340/tid=341] ppid=336 vsize=28766288 memory=111632 CPUtime=0.58 cores=0-7
/proc/340/task/341/stat : 341 (java) S 336 336 32757 0 -1 1077944384 8787 0 0 0 55 3 0 0 20 0 28 0 476941681 29456678912 142341 33554432000 4194304 4196468 140726759007344 140576457835648 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=342] ppid=336 vsize=28766288 memory=804 CPUtime=9.02 cores=0-7
/proc/340/task/342/stat : 342 (java) S 336 336 32757 0 -1 1077944384 14287 0 0 0 876 26 0 0 20 0 28 0 476941682 29456678912 142341 33554432000 4194304 4196468 140726759007344 140576373447312 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=343] ppid=336 vsize=28766288 memory=1160 CPUtime=9 cores=0-7
/proc/340/task/343/stat : 343 (java) S 336 336 32757 0 -1 1077944384 17511 0 0 0 875 25 0 0 20 0 28 0 476941682 29456678912 142341 33554432000 4194304 4196468 140726759007344 140576372394512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=344] ppid=336 vsize=28766288 memory=-7035114785800479027 CPUtime=8.97 cores=0-7
/proc/340/task/344/stat : 344 (java) S 336 336 32757 0 -1 1077944384 14299 0 0 0 874 23 0 0 20 0 28 0 476941682 29456678912 142341 33554432000 4194304 4196468 140726759007344 140576371341712 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=345] ppid=336 vsize=28766288 memory=569364 CPUtime=9 cores=0-7
/proc/340/task/345/stat : 345 (java) S 336 336 32757 0 -1 1077944384 16043 0 0 0 871 29 0 0 20 0 28 0 476941682 29456678912 142341 33554432000 4194304 4196468 140726759007344 140576370288912 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=346] ppid=336 vsize=28766288 memory=1760 CPUtime=8.99 cores=0-7
/proc/340/task/346/stat : 346 (java) S 336 336 32757 0 -1 1077944384 15165 0 0 0 872 27 0 0 20 0 28 0 476941682 29456678912 142341 33554432000 4194304 4196468 140726759007344 140576369237136 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=347] ppid=336 vsize=28766288 memory=111632 CPUtime=8.98 cores=0-7
/proc/340/task/347/stat : 347 (java) S 336 336 32757 0 -1 1077944384 15932 0 0 0 871 27 0 0 20 0 28 0 476941682 29456678912 142341 33554432000 4194304 4196468 140726759007344 140576368184336 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=348] ppid=336 vsize=28766288 memory=804 CPUtime=8.96 cores=0-7
/proc/340/task/348/stat : 348 (java) S 336 336 32757 0 -1 1077944384 15214 0 0 0 871 25 0 0 20 0 28 0 476941682 29456678912 142341 33554432000 4194304 4196468 140726759007344 140576367131536 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=349] ppid=336 vsize=28766288 memory=1160 CPUtime=8.97 cores=0-7
/proc/340/task/349/stat : 349 (java) S 336 336 32757 0 -1 1077944384 15789 0 0 0 872 25 0 0 20 0 28 0 476941682 29456678912 142341 33554432000 4194304 4196468 140726759007344 140576366078736 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=350] ppid=336 vsize=28766288 memory=4100 CPUtime=9.59 cores=0-7
/proc/340/task/350/stat : 350 (java) S 336 336 32757 0 -1 1077944384 67001 0 0 0 467 492 0 0 20 0 28 0 476941683 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574783457648 140576453606018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=351] ppid=336 vsize=28766288 memory=1804 CPUtime=0 cores=0-7
/proc/340/task/351/stat : 351 (java) S 336 336 32757 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 476941684 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574782403680 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=352] ppid=336 vsize=28766288 memory=-7035114785800479027 CPUtime=0 cores=0-7
/proc/340/task/352/stat : 352 (java) S 336 336 32757 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 476941684 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574781350784 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=353] ppid=336 vsize=28766288 memory=784 CPUtime=0 cores=0-7
/proc/340/task/353/stat : 353 (java) S 336 336 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476941686 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574780299088 140576453613467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=354] ppid=336 vsize=28766288 memory=1060 CPUtime=1.43 cores=0-7
/proc/340/task/354/stat : 354 (java) S 336 336 32757 0 -1 1077944384 8592 0 0 0 141 2 0 0 20 0 28 0 476941686 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574779247472 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=355] ppid=336 vsize=28766288 memory=14012 CPUtime=1.52 cores=0-7
/proc/340/task/355/stat : 355 (java) S 336 336 32757 0 -1 1077944384 6839 0 0 0 150 2 0 0 20 0 28 0 476941686 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574778194672 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=356] ppid=336 vsize=28766288 memory=19872 CPUtime=1.46 cores=0-7
/proc/340/task/356/stat : 356 (java) S 336 336 32757 0 -1 1077944384 9849 0 0 0 144 2 0 0 20 0 28 0 476941687 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574777141872 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=357] ppid=336 vsize=28766288 memory=1072 CPUtime=0.57 cores=0-7
/proc/340/task/357/stat : 357 (java) S 336 336 32757 0 -1 1077944384 6891 0 0 0 56 1 0 0 20 0 28 0 476941687 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574776089072 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=358] ppid=336 vsize=28766288 memory=6048 CPUtime=0 cores=0-7
/proc/340/task/358/stat : 358 (java) S 336 336 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476941687 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574775036512 140576453605077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=359] ppid=336 vsize=28766288 memory=3904 CPUtime=0.78 cores=0-7
/proc/340/task/359/stat : 359 (java) S 336 336 32757 0 -1 1077944384 3061 0 0 0 52 26 0 0 20 0 28 0 476941687 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574773983792 140576453606018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=506] ppid=336 vsize=28766288 memory=1412 CPUtime=785.61 cores=0-7
/proc/340/task/506/stat : 506 (java) R 336 336 32757 0 -1 4202560 2921 0 0 0 78559 2 0 0 20 0 28 0 477114080 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574757395448 140576045459371 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=507] ppid=336 vsize=28766288 memory=3840 CPUtime=785.86 cores=0-7
/proc/340/task/507/stat : 507 (java) R 336 336 32757 0 -1 4202560 1882 0 0 0 78583 3 0 0 20 0 28 0 477114080 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574764765240 140576046330113 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=508] ppid=336 vsize=28766288 memory=1448 CPUtime=786.1 cores=0-7
/proc/340/task/508/stat : 508 (java) R 336 336 32757 0 -1 4202560 3008 0 0 0 78607 3 0 0 20 0 28 0 477114080 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574762660792 140576046620433 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=509] ppid=336 vsize=28766288 memory=575520 CPUtime=788.78 cores=0-7
/proc/340/task/509/stat : 509 (java) R 336 336 32757 0 -1 4202560 19874 0 0 0 78871 7 0 0 20 0 28 0 477114080 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574758449408 140576047935290 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=510] ppid=336 vsize=28766288 memory=43880 CPUtime=787.54 cores=0-7
/proc/340/task/510/stat : 510 (java) R 336 336 32757 0 -1 4202560 12011 0 0 0 78749 5 0 0 20 0 28 0 477114080 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574761607768 140576046330697 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=511] ppid=336 vsize=28766288 memory=984 CPUtime=785.28 cores=0-7
/proc/340/task/511/stat : 511 (java) R 336 336 32757 0 -1 4202560 36603 0 0 0 78504 24 0 0 20 0 28 0 477114080 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574760557536 140576045692958 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=512] ppid=336 vsize=28766288 memory=2016 CPUtime=787.43 cores=0-7
/proc/340/task/512/stat : 512 (java) R 336 336 32757 0 -1 4202560 1783 0 0 0 78740 3 0 0 20 0 28 0 477114080 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574759502128 140576046622914 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
[pid=340/tid=513] ppid=336 vsize=28766288 memory=928 CPUtime=785.53 cores=0-7
/proc/340/task/513/stat : 513 (java) R 336 336 32757 0 -1 4202560 15947 0 0 0 78548 5 0 0 20 0 28 0 477114080 29456678912 142341 33554432000 4194304 4196468 140726759007344 140574763712904 140576045459063 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27832320 140726759011286 140726759011462 140726759011462 140726759014351 0
Current children cumulated CPU time: 20010.5 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 570812 KiB

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

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

[startup+2520.1 s]
# the end of solver process 340 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20002.9 s, system=8.27099 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): 20011.2
CPU user time (s): 20002.9
CPU system time (s): 8.27099
CPU usage (%): 794.063
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 1031272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20002.9
system time used= 8.27099
maximum resident set size= 1051404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207146
involuntary context switches= 226570


# summary of solver processes directly reported to runsolver:
#   pid: 336,340
#   total CPU time (s): 20011.2
#   total CPU user time (s): 20002.9
#   total CPU system time (s): 8.27099

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7819 second user time and 28.5512 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-20 20:12:18
IDJOB=4404753
IDBENCH=138148
IDSOLVER=2865
FILE ID=node105/4404753-1569006837
RUNJOBID= node105-1569003138-317
PBS_JOBID= 21704763
Free space on /var/tmp= 13180 MiB

SOLVER NAME= choco-solver 2019-09-20 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-4404753-1569006837/watcher-4404753-1569006837 -o /var/tmp/evaluation-result-4404753-1569006837/solver-4404753-1569006837 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569003138-317 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1423853615 HOME/instance-4404753-1569006837.xml

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

MD5SUM BENCH= 158e2c33e228ebf79a07c013c2cd02f9
RANDOM SEED=1423853615

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:        16410828 kB
MemAvailable:   31807624 kB
Buffers:          148124 kB
Cached:         15191000 kB
SwapCached:        49488 kB
Active:          7592392 kB
Inactive:        7796776 kB
Active(anon):       3404 kB
Inactive(anon):    91944 kB
Active(file):    7588988 kB
Inactive(file):  7704832 kB
Unevictable:      110932 kB
Mlocked:          110932 kB
SwapTotal:      67108860 kB
SwapFree:       66955340 kB
Dirty:             26004 kB
Writeback:             0 kB
AnonPages:        113116 kB
Mapped:            48024 kB
Shmem:             36692 kB
Slab:             559864 kB
SReclaimable:     531436 kB
SUnreclaim:        28428 kB
KernelStack:        3296 kB
PageTables:         5564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497500 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-20 20:54:18