Trace number 4399525

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-16 parallelSAT 4.30771 1.04896

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-60-3-5.xml
MD5SUMbe3388c5d29b2a85b1452e4a694387b2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.303618
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":99}]
Minimum variable degree0
Maximum variable degree8
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399525-1568708398.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399525-1568708398.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.31/0.67	c solve instance...
4.12/1.03	s SATISFIABLE
4.12/1.03	v <instantiation>
4.12/1.03	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] </list>
4.12/1.03	v 	<values>7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 17 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 7 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 3 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 13 5 13 11 19 11 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 11 29 </values>
4.12/1.03	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399525-1568708398/watcher-4399525-1568708398 -o /tmp/evaluation-result-4399525-1568708398/solver-4399525-1568708398 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2142125503 HOME/instance-4399525-1568708398.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
solver pid=12613, runsolver pid=12610
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 6.36 7.45 7.94 2/211 12634
/proc/meminfo: memFree=29320336/32770624 swapFree=66939908/67108860
[pid=12613] ppid=12610 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12613/stat : 12613 (xcsp3-exec) S 12610 12613 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446754664 115843072 363 33554432000 4194304 5098028 140726500524800 140726500522904 140572149428860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19238912 140726500529013 140726500529257 140726500529257 140726500532170 0
/proc/12613/statm: 28282 363 304 221 0 87 0
[pid=12615] ppid=12613 vsize=28227396 memory=30012 CPUtime=0.12 cores=0-7
/proc/12615/stat : 12615 (java) S 12613 12613 10570 0 -1 1077944320 5979 0 0 0 11 1 0 0 20 0 20 0 446754664 28904853504 7503 33554432000 4194304 4196468 140726591302992 140726591285536 140402488360695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
/proc/12615/statm: 7056849 7503 3124 1 0 7019032 0
[pid=12615/tid=12616] ppid=12613 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/12615/task/12616/stat : 12616 (java) R 12613 12613 10570 0 -1 4202560 3883 0 0 0 8 0 0 0 20 0 20 0 446754664 28904853504 7503 33554432000 4194304 4196468 140726591302992 140402492587280 140402488372630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12617] ppid=12613 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12615/task/12617/stat : 12617 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 7503 33554432000 4194304 4196468 140726591302992 140402440980752 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12618] ppid=12613 vsize=28227396 memory=139880938497664 CPUtime=0 cores=0-7
/proc/12615/task/12618/stat : 12618 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 7503 33554432000 4194304 4196468 140726591302992 140402439928208 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12619] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12619/stat : 12619 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 7503 33554432000 4194304 4196468 140726591302992 140402438875664 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12620] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12620/stat : 12620 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 7503 33554432000 4194304 4196468 140726591302992 140402437823120 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12621] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12621/stat : 12621 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 7503 33554432000 4194304 4196468 140726591302992 140402436770576 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12622] ppid=12613 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12615/task/12622/stat : 12622 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 7503 33554432000 4194304 4196468 140726591302992 140402435718032 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12623] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12623/stat : 12623 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 7503 33554432000 4194304 4196468 140726591302992 140402434665488 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12624] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12624/stat : 12624 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 7503 33554432000 4194304 4196468 140726591302992 140402433612944 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12625] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12625/stat : 12625 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446754666 28904853504 7503 33554432000 4194304 4196468 140726591302992 140400616515568 140402488371842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12626] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12626/stat : 12626 (java) S 12613 12613 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446754667 28904853504 7503 33554432000 4194304 4196468 140726591302992 140400615461792 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12627] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12627/stat : 12627 (java) S 12613 12613 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446754667 28904853504 7503 33554432000 4194304 4196468 140726591302992 140400614409200 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12628] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12628/stat : 12628 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754670 28904853504 7503 33554432000 4194304 4196468 140726591302992 140400613357776 140402488379291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12629] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12629/stat : 12629 (java) S 12613 12613 10570 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 446754670 28904853504 7503 33554432000 4194304 4196468 140726591302992 140400612305392 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12630] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12630/stat : 12630 (java) S 12613 12613 10570 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446754670 28904853504 7503 33554432000 4194304 4196468 140726591302992 140400611252848 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12631] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12631/stat : 12631 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446754670 28904853504 7503 33554432000 4194304 4196468 140726591302992 140400610200304 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12632] ppid=12613 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12615/task/12632/stat : 12632 (java) R 12613 12613 10570 0 -1 4202560 365 0 0 0 1 0 0 0 20 0 20 0 446754670 28904853504 7503 33554432000 4194304 4196468 140726591302992 140400609147760 140402466899725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12633] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12633/stat : 12633 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446754670 28904853504 7503 33554432000 4194304 4196468 140726591302992 140400608094432 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12634] ppid=12613 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12615/task/12634/stat : 12634 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754670 28904853504 7503 33554432000 4194304 4196468 140726591302992 140400607041968 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31464 KiB

[startup+0.210632 s]*
/proc/loadavg: 6.36 7.45 7.94 2/211 12634
/proc/meminfo: memFree=29308460/32770624 swapFree=66939908/67108860
[pid=12613] ppid=12610 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12613/stat : 12613 (xcsp3-exec) S 12610 12613 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446754664 115843072 363 33554432000 4194304 5098028 140726500524800 140726500522904 140572149428860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19238912 140726500529013 140726500529257 140726500529257 140726500532170 0
/proc/12613/statm: 28282 363 304 221 0 87 0
[pid=12615] ppid=12613 vsize=28227396 memory=40360 CPUtime=0.33 cores=0-7
/proc/12615/stat : 12615 (java) S 12613 12613 10570 0 -1 1077944320 9395 0 0 0 30 3 0 0 20 0 20 0 446754664 28904853504 10090 33554432000 4194304 4196468 140726591302992 140726591285536 140402488360695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
/proc/12615/statm: 7056849 10090 3259 1 0 7019032 0
[pid=12615/tid=12616] ppid=12613 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12615/task/12616/stat : 12616 (java) R 12613 12613 10570 0 -1 4202560 6648 0 0 0 18 1 0 0 20 0 20 0 446754664 28904853504 10090 33554432000 4194304 4196468 140726591302992 140402492594144 140402472441182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12617] ppid=12613 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/12615/task/12617/stat : 12617 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 10090 33554432000 4194304 4196468 140726591302992 140402440980752 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12618] ppid=12613 vsize=28227396 memory=139880941855614 CPUtime=0 cores=0-7
/proc/12615/task/12618/stat : 12618 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 10090 33554432000 4194304 4196468 140726591302992 140402439928208 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12619] ppid=12613 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12615/task/12619/stat : 12619 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 10090 33554432000 4194304 4196468 140726591302992 140402438875664 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12620] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12620/stat : 12620 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 10090 33554432000 4194304 4196468 140726591302992 140402437823120 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12621] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12621/stat : 12621 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 10090 33554432000 4194304 4196468 140726591302992 140402436770576 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12622] ppid=12613 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12615/task/12622/stat : 12622 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 10090 33554432000 4194304 4196468 140726591302992 140402435718032 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12623] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12623/stat : 12623 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 10090 33554432000 4194304 4196468 140726591302992 140402434665488 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12624] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12624/stat : 12624 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28904853504 10090 33554432000 4194304 4196468 140726591302992 140402433612944 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12625] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12625/stat : 12625 (java) S 12613 12613 10570 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446754666 28904853504 10090 33554432000 4194304 4196468 140726591302992 140400616515568 140402488371842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12626] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12626/stat : 12626 (java) S 12613 12613 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446754667 28904853504 10090 33554432000 4194304 4196468 140726591302992 140400615461792 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12627] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12627/stat : 12627 (java) S 12613 12613 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446754667 28904853504 10090 33554432000 4194304 4196468 140726591302992 140400614409200 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12628] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12628/stat : 12628 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754670 28904853504 10090 33554432000 4194304 4196468 140726591302992 140400613357776 140402488379291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12629] ppid=12613 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12615/task/12629/stat : 12629 (java) S 12613 12613 10570 0 -1 1077944384 394 0 0 0 1 0 0 0 20 0 20 0 446754670 28904853504 10090 33554432000 4194304 4196468 140726591302992 140400612305392 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12630] ppid=12613 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12615/task/12630/stat : 12630 (java) S 12613 12613 10570 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 20 0 446754670 28904853504 10090 33554432000 4194304 4196468 140726591302992 140400611252848 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12631] ppid=12613 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/12615/task/12631/stat : 12631 (java) S 12613 12613 10570 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 446754670 28904853504 10090 33554432000 4194304 4196468 140726591302992 140400610200304 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12632] ppid=12613 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/12615/task/12632/stat : 12632 (java) R 12613 12613 10570 0 -1 4202560 779 0 0 0 7 0 0 0 20 0 20 0 446754670 28904853504 10090 33554432000 4194304 4196468 140726591302992 140400609147568 140402467318489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12633] ppid=12613 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12633/stat : 12633 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446754670 28904853504 10090 33554432000 4194304 4196468 140726591302992 140400608094432 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12634] ppid=12613 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12615/task/12634/stat : 12634 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754670 28904853504 10090 33554432000 4194304 4196468 140726591302992 140400607041968 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41812 KiB

[startup+0.318877 s]*
/proc/loadavg: 6.36 7.45 7.94 3/211 12634
/proc/meminfo: memFree=29301188/32770624 swapFree=66939908/67108860
[pid=12613] ppid=12610 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12613/stat : 12613 (xcsp3-exec) S 12610 12613 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446754664 115843072 363 33554432000 4194304 5098028 140726500524800 140726500522904 140572149428860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19238912 140726500529013 140726500529257 140726500529257 140726500532170 0
/proc/12613/statm: 28282 363 304 221 0 87 0
[pid=12615] ppid=12613 vsize=28231652 memory=50196 CPUtime=0.53 cores=0-7
/proc/12615/stat : 12615 (java) S 12613 12613 10570 0 -1 1077944320 10942 0 0 0 49 4 0 0 20 0 20 0 446754664 28909211648 12549 33554432000 4194304 4196468 140726591302992 140726591285536 140402488360695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
/proc/12615/statm: 7057913 12549 3363 1 0 7019032 0
[pid=12615/tid=12616] ppid=12613 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/12615/task/12616/stat : 12616 (java) R 12613 12613 10570 0 -1 4202560 7864 0 0 0 28 2 0 0 20 0 20 0 446754664 28909211648 12549 33554432000 4194304 4196468 140726591302992 140402492594480 140402488382621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12617] ppid=12613 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12617/stat : 12617 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446754665 28909211648 12549 33554432000 4194304 4196468 140726591302992 140402440980752 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12618] ppid=12613 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12618/stat : 12618 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446754665 28909211648 12549 33554432000 4194304 4196468 140726591302992 140402439928208 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12619] ppid=12613 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12619/stat : 12619 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28909211648 12549 33554432000 4194304 4196468 140726591302992 140402438875664 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12620] ppid=12613 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12620/stat : 12620 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28909211648 12549 33554432000 4194304 4196468 140726591302992 140402437823120 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12621] ppid=12613 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12621/stat : 12621 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28909211648 12549 33554432000 4194304 4196468 140726591302992 140402436770576 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12622] ppid=12613 vsize=28231652 memory=139880776690351 CPUtime=0 cores=0-7
/proc/12615/task/12622/stat : 12622 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446754665 28909211648 12549 33554432000 4194304 4196468 140726591302992 140402435718032 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12623] ppid=12613 vsize=28231652 memory=139880776692656 CPUtime=0 cores=0-7
/proc/12615/task/12623/stat : 12623 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28909211648 12549 33554432000 4194304 4196468 140726591302992 140402434665488 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12624] ppid=12613 vsize=28231652 memory=139880776694960 CPUtime=0 cores=0-7
/proc/12615/task/12624/stat : 12624 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754665 28909211648 12549 33554432000 4194304 4196468 140726591302992 140402433612944 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12625] ppid=12613 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12625/stat : 12625 (java) S 12613 12613 10570 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446754666 28909211648 12549 33554432000 4194304 4196468 140726591302992 140400616515568 140402488371842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12626] ppid=12613 vsize=28231652 memory=279761553403792 CPUtime=0 cores=0-7
/proc/12615/task/12626/stat : 12626 (java) S 12613 12613 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446754667 28909211648 12549 33554432000 4194304 4196468 140726591302992 140400615461792 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12627] ppid=12613 vsize=28231652 memory=279761553401488 CPUtime=0 cores=0-7
/proc/12615/task/12627/stat : 12627 (java) S 12613 12613 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446754667 28909211648 12549 33554432000 4194304 4196468 140726591302992 140400614409200 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12628] ppid=12613 vsize=28231652 memory=279761553408400 CPUtime=0 cores=0-7
/proc/12615/task/12628/stat : 12628 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754670 28909211648 12549 33554432000 4194304 4196468 140726591302992 140400613357776 140402488379291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12629] ppid=12613 vsize=28231652 memory=279761553349680 CPUtime=0.03 cores=0-7
/proc/12615/task/12629/stat : 12629 (java) S 12613 12613 10570 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 20 0 446754670 28909211648 12549 33554432000 4194304 4196468 140726591302992 140400612305392 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12630] ppid=12613 vsize=28231652 memory=279761553422224 CPUtime=0.03 cores=0-7
/proc/12615/task/12630/stat : 12630 (java) S 12613 12613 10570 0 -1 1077944384 314 0 0 0 3 0 0 0 20 0 20 0 446754670 28909211648 12549 33554432000 4194304 4196468 140726591302992 140400611252848 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12631] ppid=12613 vsize=28231652 memory=279761553429136 CPUtime=0.02 cores=0-7
/proc/12615/task/12631/stat : 12631 (java) R 12613 12613 10570 0 -1 4202560 80 0 0 0 2 0 0 0 20 0 20 0 446754670 28909211648 12549 33554432000 4194304 4196468 140726591302992 140400610200304 140402467681936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12632] ppid=12613 vsize=28231652 memory=279761553426832 CPUtime=0.12 cores=0-7
/proc/12615/task/12632/stat : 12632 (java) S 12613 12613 10570 0 -1 1077944384 934 0 0 0 12 0 0 0 20 0 20 0 446754670 28909211648 12549 33554432000 4194304 4196468 140726591302992 140400609147760 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12633] ppid=12613 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12633/stat : 12633 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446754670 28909211648 12549 33554432000 4194304 4196468 140726591302992 140400608094432 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12634] ppid=12613 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12615/task/12634/stat : 12634 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446754670 28909211648 12549 33554432000 4194304 4196468 140726591302992 140400607041968 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51648 KiB

[startup+0.707762 s]
/proc/loadavg: 6.36 7.45 7.94 6/211 12634
/proc/meminfo: memFree=29289072/32770624 swapFree=66939908/67108860
[pid=12613] ppid=12610 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12613/stat : 12613 (xcsp3-exec) S 12610 12613 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446754664 115843072 363 33554432000 4194304 5098028 140726500524800 140726500522904 140572149428860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19238912 140726500529013 140726500529257 140726500529257 140726500532170 0
/proc/12613/statm: 28282 363 304 221 0 87 0
[pid=12615] ppid=12613 vsize=28766288 memory=105804 CPUtime=1.8 cores=0-7
/proc/12615/stat : 12615 (java) S 12613 12613 10570 0 -1 1077944320 16833 0 0 0 173 7 0 0 20 0 28 0 446754664 29456678912 26451 33554432000 4194304 4196468 140726591302992 140726591285536 140402488360695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
/proc/12615/statm: 7191572 26451 3460 1 0 7152672 0
[pid=12615/tid=12616] ppid=12613 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7
/proc/12615/task/12616/stat : 12616 (java) S 12613 12613 10570 0 -1 1077944384 9153 0 0 0 63 3 0 0 20 0 28 0 446754664 29456678912 26451 33554432000 4194304 4196468 140726591302992 140402492601472 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12617] ppid=12613 vsize=28766288 memory=139880776901488 CPUtime=0 cores=0-7
/proc/12615/task/12617/stat : 12617 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 26451 33554432000 4194304 4196468 140726591302992 140402440980752 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12618] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12618/stat : 12618 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 26451 33554432000 4194304 4196468 140726591302992 140402439928208 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12619] ppid=12613 vsize=28766288 memory=1256 CPUtime=0 cores=0-7
/proc/12615/task/12619/stat : 12619 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 26451 33554432000 4194304 4196468 140726591302992 140402438875664 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12620] ppid=12613 vsize=28766288 memory=1076 CPUtime=0 cores=0-7
/proc/12615/task/12620/stat : 12620 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 26451 33554432000 4194304 4196468 140726591302992 140402437823120 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12621] ppid=12613 vsize=28766288 memory=14008 CPUtime=0 cores=0-7
/proc/12615/task/12621/stat : 12621 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 26451 33554432000 4194304 4196468 140726591302992 140402436770576 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12622] ppid=12613 vsize=28766288 memory=26500 CPUtime=0 cores=0-7
/proc/12615/task/12622/stat : 12622 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 26451 33554432000 4194304 4196468 140726591302992 140402435718032 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12623] ppid=12613 vsize=28766288 memory=14056 CPUtime=0 cores=0-7
/proc/12615/task/12623/stat : 12623 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 26451 33554432000 4194304 4196468 140726591302992 140402434665488 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12624] ppid=12613 vsize=28766288 memory=2116 CPUtime=0 cores=0-7
/proc/12615/task/12624/stat : 12624 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 26451 33554432000 4194304 4196468 140726591302992 140402433612944 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12625] ppid=12613 vsize=28766288 memory=520 CPUtime=0 cores=0-7
/proc/12615/task/12625/stat : 12625 (java) S 12613 12613 10570 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 446754666 29456678912 26451 33554432000 4194304 4196468 140726591302992 140400616515568 140402488371842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12626] ppid=12613 vsize=28766288 memory=1560 CPUtime=0 cores=0-7
/proc/12615/task/12626/stat : 12626 (java) S 12613 12613 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446754667 29456678912 26451 33554432000 4194304 4196468 140726591302992 140400615461792 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12627] ppid=12613 vsize=28766288 memory=924 CPUtime=0 cores=0-7
/proc/12615/task/12627/stat : 12627 (java) S 12613 12613 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 446754667 29456678912 26451 33554432000 4194304 4196468 140726591302992 140400614409200 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12628] ppid=12613 vsize=28766288 memory=3688 CPUtime=0 cores=0-7
/proc/12615/task/12628/stat : 12628 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754670 29456678912 26451 33554432000 4194304 4196468 140726591302992 140400613357776 140402488379291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12629] ppid=12613 vsize=28766288 memory=33 CPUtime=0.2 cores=0-7
/proc/12615/task/12629/stat : 12629 (java) R 12613 12613 10570 0 -1 4202560 1415 0 0 0 19 1 0 0 20 0 28 0 446754670 29456678912 26451 33554432000 4194304 4196468 140726591302992 140400612286408 140402467742186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12630] ppid=12613 vsize=28766288 memory=-2025810976467231676 CPUtime=0.22 cores=0-7
/proc/12615/task/12630/stat : 12630 (java) R 12613 12613 10570 0 -1 4202560 1309 0 0 0 22 0 0 0 20 0 28 0 446754670 29456678912 26451 33554432000 4194304 4196468 140726591302992 140400611252848 140402469905296 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12631] ppid=12613 vsize=28766288 memory=1548 CPUtime=0.19 cores=0-7
/proc/12615/task/12631/stat : 12631 (java) R 12613 12613 10570 0 -1 4202560 1112 0 0 0 19 0 0 0 20 0 28 0 446754670 29456678912 26451 33554432000 4194304 4196468 140726591302992 140400610181320 140402466494296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12632] ppid=12613 vsize=28766288 memory=1728 CPUtime=0.41 cores=0-7
/proc/12615/task/12632/stat : 12632 (java) S 12613 12613 10570 0 -1 1077944384 2225 0 0 0 40 1 0 0 20 0 28 0 446754670 29456678912 26451 33554432000 4194304 4196468 140726591302992 140400609144128 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12633] ppid=12613 vsize=28766288 memory=8072 CPUtime=0 cores=0-7
/proc/12615/task/12633/stat : 12633 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446754670 29456678912 26451 33554432000 4194304 4196468 140726591302992 140400608094432 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12634] ppid=12613 vsize=28766288 memory=9580 CPUtime=0 cores=0-7
/proc/12615/task/12634/stat : 12634 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754670 29456678912 26451 33554432000 4194304 4196468 140726591302992 140400607041968 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 107256 KiB

[startup+1.04892 s]
# the end of solver process 12613 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.20677 s, system=0.100945 s

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

[startup+0.807764 s]
/proc/loadavg: 6.36 7.45 7.94 6/211 12634
/proc/meminfo: memFree=29289072/32770624 swapFree=66939908/67108860
[pid=12613] ppid=12610 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12613/stat : 12613 (xcsp3-exec) S 12610 12613 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446754664 115843072 363 33554432000 4194304 5098028 140726500524800 140726500522904 140572149428860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19238912 140726500529013 140726500529257 140726500529257 140726500532170 0
/proc/12613/statm: 28282 363 304 221 0 87 0
[pid=12615] ppid=12613 vsize=28766288 memory=109628 CPUtime=2.54 cores=0-7
/proc/12615/stat : 12615 (java) S 12613 12613 10570 0 -1 1077944320 17377 0 0 0 246 8 0 0 20 0 28 0 446754664 29456678912 27407 33554432000 4194304 4196468 140726591302992 140726591285536 140402488360695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
/proc/12615/statm: 7191572 27407 3462 1 0 7152672 0
[pid=12615/tid=12616] ppid=12613 vsize=28766288 memory=2832 CPUtime=0.66 cores=0-7
/proc/12615/task/12616/stat : 12616 (java) S 12613 12613 10570 0 -1 1077944384 9153 0 0 0 63 3 0 0 20 0 28 0 446754664 29456678912 27407 33554432000 4194304 4196468 140726591302992 140402492601472 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12617] ppid=12613 vsize=28766288 memory=668 CPUtime=0 cores=0-7
/proc/12615/task/12617/stat : 12617 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 27407 33554432000 4194304 4196468 140726591302992 140402440980752 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12618] ppid=12613 vsize=28766288 memory=1256 CPUtime=0 cores=0-7
/proc/12615/task/12618/stat : 12618 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 27407 33554432000 4194304 4196468 140726591302992 140402439928208 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12619] ppid=12613 vsize=28766288 memory=1076 CPUtime=0 cores=0-7
/proc/12615/task/12619/stat : 12619 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 27407 33554432000 4194304 4196468 140726591302992 140402438875664 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12620] ppid=12613 vsize=28766288 memory=7014751519650698577 CPUtime=0 cores=0-7
/proc/12615/task/12620/stat : 12620 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 27407 33554432000 4194304 4196468 140726591302992 140402437823120 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12621] ppid=12613 vsize=28766288 memory=7883949533483390309 CPUtime=0 cores=0-7
/proc/12615/task/12621/stat : 12621 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 27407 33554432000 4194304 4196468 140726591302992 140402436770576 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12622] ppid=12613 vsize=28766288 memory=7881696724453321575 CPUtime=0 cores=0-7
/proc/12615/task/12622/stat : 12622 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 27407 33554432000 4194304 4196468 140726591302992 140402435718032 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12623] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12623/stat : 12623 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 27407 33554432000 4194304 4196468 140726591302992 140402434665488 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12624] ppid=12613 vsize=28766288 memory=33 CPUtime=0 cores=0-7
/proc/12615/task/12624/stat : 12624 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 27407 33554432000 4194304 4196468 140726591302992 140402433612944 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12625] ppid=12613 vsize=28766288 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/12615/task/12625/stat : 12625 (java) S 12613 12613 10570 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 446754666 29456678912 27407 33554432000 4194304 4196468 140726591302992 140400616515568 140402488371842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12626] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12626/stat : 12626 (java) S 12613 12613 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446754667 29456678912 27407 33554432000 4194304 4196468 140726591302992 140400615461792 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12627] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12627/stat : 12627 (java) S 12613 12613 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 446754667 29456678912 27407 33554432000 4194304 4196468 140726591302992 140400614409200 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12628] ppid=12613 vsize=28766288 memory=6297835844906604903 CPUtime=0 cores=0-7
/proc/12615/task/12628/stat : 12628 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754670 29456678912 27407 33554432000 4194304 4196468 140726591302992 140400613357776 140402488379291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12629] ppid=12613 vsize=28766288 memory=7811607157311039314 CPUtime=0.24 cores=0-7
/proc/12615/task/12629/stat : 12629 (java) R 12613 12613 10570 0 -1 1077944384 1448 0 0 0 23 1 0 0 20 0 28 0 446754670 29456678912 27407 33554432000 4194304 4196468 140726591302992 140400612281376 140402488370901 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12630] ppid=12613 vsize=28766288 memory=7523071198212214892 CPUtime=0.3 cores=0-7
/proc/12615/task/12630/stat : 12630 (java) R 12613 12613 10570 0 -1 4202560 1673 0 0 0 30 0 0 0 20 0 28 0 446754670 29456678912 27407 33554432000 4194304 4196468 140726591302992 140400611233864 140402466377707 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12631] ppid=12613 vsize=28766288 memory=-7749694995119233653 CPUtime=0.28 cores=0-7
/proc/12615/task/12631/stat : 12631 (java) R 12613 12613 10570 0 -1 4202560 1142 0 0 0 28 0 0 0 20 0 28 0 446754670 29456678912 27407 33554432000 4194304 4196468 140726591302992 140400610193328 140402472649552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12632] ppid=12613 vsize=28766288 memory=-8529969244802432963 CPUtime=0.45 cores=0-7
/proc/12615/task/12632/stat : 12632 (java) R 12613 12613 10570 0 -1 4202560 2320 0 0 0 44 1 0 0 20 0 28 0 446754670 29456678912 27407 33554432000 4194304 4196468 140726591302992 140400609142800 140402488372630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12633] ppid=12613 vsize=28766288 memory=1400504754925836930 CPUtime=0 cores=0-7
/proc/12615/task/12633/stat : 12633 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446754670 29456678912 27407 33554432000 4194304 4196468 140726591302992 140400608094432 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12634] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12634/stat : 12634 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754670 29456678912 27407 33554432000 4194304 4196468 140726591302992 140400607041968 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 111080 KiB

[startup+1.00177 s]*
/proc/loadavg: 6.36 7.45 7.94 13/219 12642
/proc/meminfo: memFree=29228760/32770624 swapFree=66939908/67108860
[pid=12613] ppid=12610 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12613/stat : 12613 (xcsp3-exec) S 12610 12613 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446754664 115843072 363 33554432000 4194304 5098028 140726500524800 140726500522904 140572149428860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19238912 140726500529013 140726500529257 140726500529257 140726500532170 0
/proc/12613/statm: 28282 363 304 221 0 87 0
[pid=12615] ppid=12613 vsize=28766288 memory=125580 CPUtime=4.12 cores=0-7
/proc/12615/stat : 12615 (java) S 12613 12613 10570 0 -1 1077944320 19301 0 0 0 404 8 0 0 20 0 28 0 446754664 29456678912 31395 33554432000 4194304 4196468 140726591302992 140726591285536 140402488360695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
/proc/12615/statm: 7191572 31395 3494 1 0 7152672 0
[pid=12615/tid=12616] ppid=12613 vsize=28766288 memory=47684428588266 CPUtime=0.66 cores=0-7
/proc/12615/task/12616/stat : 12616 (java) S 12613 12613 10570 0 -1 1077944384 9153 0 0 0 63 3 0 0 20 0 28 0 446754664 29456678912 31395 33554432000 4194304 4196468 140726591302992 140402492601472 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12617] ppid=12613 vsize=28766288 memory=279761553570276 CPUtime=0 cores=0-7
/proc/12615/task/12617/stat : 12617 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 31395 33554432000 4194304 4196468 140726591302992 140402440980752 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12618] ppid=12613 vsize=28766288 memory=3835289452261775028 CPUtime=0 cores=0-7
/proc/12615/task/12618/stat : 12618 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 31395 33554432000 4194304 4196468 140726591302992 140402439928208 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12619] ppid=12613 vsize=28766288 memory=2319406795981862450 CPUtime=0 cores=0-7
/proc/12615/task/12619/stat : 12619 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 31395 33554432000 4194304 4196468 140726591302992 140402438875664 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12620] ppid=12613 vsize=28766288 memory=8028913621761808744 CPUtime=0 cores=0-7
/proc/12615/task/12620/stat : 12620 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 31395 33554432000 4194304 4196468 140726591302992 140402437823120 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12621] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12621/stat : 12621 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 31395 33554432000 4194304 4196468 140726591302992 140402436770576 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12622] ppid=12613 vsize=28766288 memory=-1 CPUtime=0 cores=0-7
/proc/12615/task/12622/stat : 12622 (java) S 12613 12613 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 31395 33554432000 4194304 4196468 140726591302992 140402435718032 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12623] ppid=12613 vsize=28766288 memory=29678448712876256 CPUtime=0 cores=0-7
/proc/12615/task/12623/stat : 12623 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 31395 33554432000 4194304 4196468 140726591302992 140402434665488 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12624] ppid=12613 vsize=28766288 memory=288230583199607071 CPUtime=0 cores=0-7
/proc/12615/task/12624/stat : 12624 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754665 29456678912 31395 33554432000 4194304 4196468 140726591302992 140402433612944 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12625] ppid=12613 vsize=28766288 memory=3364302 CPUtime=0 cores=0-7
/proc/12615/task/12625/stat : 12625 (java) S 12613 12613 10570 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 446754666 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400616515568 140402488371842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12626] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12626/stat : 12626 (java) S 12613 12613 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446754667 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400615461792 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12627] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12627/stat : 12627 (java) S 12613 12613 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 446754667 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400614409200 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12628] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12628/stat : 12628 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754670 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400613357776 140402488379291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12629] ppid=12613 vsize=28766288 memory=0 CPUtime=0.4 cores=0-7
/proc/12615/task/12629/stat : 12629 (java) R 12613 12613 10570 0 -1 4202560 2134 0 0 0 39 1 0 0 20 0 28 0 446754670 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400612286408 140402469061604 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12630] ppid=12613 vsize=28766288 memory=0 CPUtime=0.5 cores=0-7
/proc/12615/task/12630/stat : 12630 (java) R 12613 12613 10570 0 -1 4202560 2293 0 0 0 50 0 0 0 20 0 28 0 446754670 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400611234048 140402471892201 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12631] ppid=12613 vsize=28766288 memory=0 CPUtime=0.43 cores=0-7
/proc/12615/task/12631/stat : 12631 (java) R 12613 12613 10570 0 -1 4202560 1377 0 0 0 43 0 0 0 20 0 28 0 446754670 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400610186184 140402465908518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12632] ppid=12613 vsize=28766288 memory=0 CPUtime=0.52 cores=0-7
/proc/12615/task/12632/stat : 12632 (java) S 12613 12613 10570 0 -1 1077944384 2689 0 0 0 51 1 0 0 20 0 28 0 446754670 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400609147760 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12633] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12633/stat : 12633 (java) S 12613 12613 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446754670 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400608094432 140402488370901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12634] ppid=12613 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12615/task/12634/stat : 12634 (java) S 12613 12613 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446754670 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400607041968 140402488371842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12635] ppid=12613 vsize=28766288 memory=0 CPUtime=0.15 cores=0-7
/proc/12615/task/12635/stat : 12635 (java) R 12613 12613 10570 0 -1 4202560 53 0 0 0 15 0 0 0 20 0 28 0 446754732 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400290155720 140402100325641 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12636] ppid=12613 vsize=28766288 memory=0 CPUtime=0.23 cores=0-7
/proc/12615/task/12636/stat : 12636 (java) R 12613 12613 10570 0 -1 4202560 45 0 0 0 23 0 0 0 20 0 28 0 446754732 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400289103896 140402100326160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12637] ppid=12613 vsize=28766288 memory=139885233464959 CPUtime=0.14 cores=0-7
/proc/12615/task/12637/stat : 12637 (java) R 12613 12613 10570 0 -1 4202560 43 0 0 0 14 0 0 0 20 0 28 0 446754732 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400288051328 140402100925431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12638] ppid=12613 vsize=28766288 memory=0 CPUtime=0.21 cores=0-7
/proc/12615/task/12638/stat : 12638 (java) R 12613 12613 10570 0 -1 4202560 78 0 0 0 21 0 0 0 20 0 28 0 446754732 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400287000760 140402100367174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12639] ppid=12613 vsize=28766288 memory=0 CPUtime=0.16 cores=0-7
/proc/12615/task/12639/stat : 12639 (java) R 12613 12613 10570 0 -1 4202560 28 0 0 0 16 0 0 0 20 0 28 0 446754732 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400285946344 140402100326104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12640] ppid=12613 vsize=28766288 memory=0 CPUtime=0.26 cores=0-7
/proc/12615/task/12640/stat : 12640 (java) R 12613 12613 10570 0 -1 4202560 35 0 0 0 26 0 0 0 20 0 28 0 446754732 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400284893800 140402100666365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12641] ppid=12613 vsize=28766288 memory=0 CPUtime=0.16 cores=0-7
/proc/12615/task/12641/stat : 12641 (java) R 12613 12613 10570 0 -1 4202560 27 0 0 0 16 0 0 0 20 0 28 0 446754733 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400283841800 140402100670284 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
[pid=12615/tid=12642] ppid=12613 vsize=28766288 memory=0 CPUtime=0.22 cores=0-7
/proc/12615/task/12642/stat : 12642 (java) R 12613 12613 10570 0 -1 4202560 32 0 0 0 22 0 0 0 20 0 28 0 446754733 29456678912 31395 33554432000 4194304 4196468 140726591302992 140400282787408 140402100577060 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12578816 140726591308778 140726591308950 140726591308950 140726591311823 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 127032 KiB

Child status: 0
Real time (s): 1.04896
CPU time (s): 4.30771
CPU user time (s): 4.20677
CPU system time (s): 0.100945
CPU usage (%): 410.665
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 127032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.20677
system time used= 0.100945
maximum resident set size= 131400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2808
involuntary context switches= 78


# summary of solver processes directly reported to runsolver:
#   pid: 12613
#   total CPU time (s): 4.30771
#   total CPU user time (s): 4.20677
#   total CPU system time (s): 0.100945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041783 second user time and 0.045859 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-17 10:19:18
IDJOB=4399525
IDBENCH=133432
IDSOLVER=2854
FILE ID=node119/4399525-1568708398
RUNJOBID= node119-1568700441-10597
PBS_JOBID= 21703893
Free space on /tmp= 61344 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-60-3-5.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 /tmp/evaluation-result-4399525-1568708398/watcher-4399525-1568708398 -o /tmp/evaluation-result-4399525-1568708398/solver-4399525-1568708398 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2142125503 HOME/instance-4399525-1568708398.xml

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

MD5SUM BENCH= be3388c5d29b2a85b1452e4a694387b2
RANDOM SEED=2142125503

node119.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.47
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.47
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.47
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.47
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:        29337956 kB
MemAvailable:   31821780 kB
Buffers:          129564 kB
Cached:          2637952 kB
SwapCached:        61072 kB
Active:          1403700 kB
Inactive:        1430320 kB
Active(anon):       5480 kB
Inactive(anon):   110908 kB
Active(file):    1398220 kB
Inactive(file):  1319412 kB
Unevictable:      107484 kB
Mlocked:          107484 kB
SwapTotal:      67108860 kB
SwapFree:       66939908 kB
Dirty:             26400 kB
Writeback:             0 kB
AnonPages:         67288 kB
Mapped:            48628 kB
Shmem:             41008 kB
Slab:             193052 kB
SReclaimable:     164056 kB
SUnreclaim:        28996 kB
KernelStack:        3872 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61320 MiB
End job on node119 at 2019-09-17 10:19:19