Trace number 4410000

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
cosoco 2.0 parallelOPT2 263.103 35.1516

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-08-10.xml
MD5SUM23e84b7c24701222a8a18862c478c748
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark18.5291
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints1261
Number of domains1
Minimum domain size80
Maximum domain size80
Distribution of domain sizes[{"size":80,"count":80}]
Minimum variable degree65
Maximum variable degree65
Distribution of variable degrees[{"degree":65,"count":80}]
Minimum constraint arity4
Maximum constraint arity80
Distribution of constraint arities[{"arity":4,"count":1260},{"arity":80,"count":1}]
Number of extensional constraints0
Number of intensional constraints1260
Distribution of constraint types[{"type":"intension","count":1260},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

1.49/2.90	c
1.49/2.90	c This is cosoco 2.00 --  
1.49/2.90	c
1.49/2.90	c command line: cosoco -model -nbcores=8 HOME/instance-4410000-1569831837.xml 
1.49/2.90	c enable optimization
1.49/2.90	c ========================================[ Problem Statistics ]===========================================
1.49/2.90	c |                                                                                                       
1.49/2.90	c |  Parse time        :         2.26 s 
1.49/2.90	c |
1.49/2.90	c |               Variables: 80
1.49/2.90	c |            Domain Sizes: 80..80
1.49/2.90	c |
1.49/2.90	c |             Constraints: 1277
1.49/2.90	c |                   Arity: 4..80
1.49/2.90	c | 
1.49/2.90	c |                   Types: 
1.49/2.90	c |                          Intension: 1260
1.49/2.90	c |                          Lex: 16
1.49/2.90	c |                          Max constant: 1
1.49/2.90	c |                          
1.49/2.90	c |               Objective: Minimize Max constant
1.49/2.90	
1.49/2.90	c =========================================================================================================
1.49/2.90	c Parallel mode: Portfolio
1.49/2.90	c [pFactory][Group N°0] created (threads:8).
1.49/2.90	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1.49/9.00	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1.49/9.00	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1.49/9.00	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1.49/9.00	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1.49/9.00	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1.49/9.00	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1.49/9.00	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1.49/9.00	c [pFactory][Group N°0] concurrent mode: enabled.
1.49/9.00	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1.49/9.00	c [pFactory][Group N°0] task 7 launched on thread 4.
1.49/9.00	c [pFactory][Group N°0] task 6 launched on thread 1.
1.49/9.00	c [pFactory][Group N°0] task 5 launched on thread 5.
1.49/9.00	c [pFactory][Group N°0] task 4 launched on thread 0.
1.49/9.00	c [pFactory][Group N°0] task 3 launched on thread 2.
1.49/9.00	c [pFactory][Group N°0] task 2 launched on thread 3.
1.49/9.00	c [pFactory][Group N°0] task 1 launched on thread 6.
1.49/9.00	c [pFactory][Group N°0] task 0 launched on thread 7.
1.49/9.00	o 79
1.49/9.00	o 4
1.49/9.00	o 3
242.17/32.56	o 2
262.87/35.13	c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 0.
262.87/35.13	c [pFactory][Group N°0] Thread N°0 is joined.
262.87/35.13	c [pFactory][Group N°0] Thread N°1 is joined.
262.87/35.13	c [pFactory][Group N°0] Thread N°2 is joined.
262.87/35.13	c [pFactory][Group N°0] Thread N°3 is joined.
262.87/35.13	c [pFactory][Group N°0] Thread N°4 is joined.
262.87/35.13	c [pFactory][Group N°0] Thread N°5 is joined.
262.87/35.13	c [pFactory][Group N°0] Thread N°6 is joined.
262.87/35.13	c [pFactory][Group N°0] Thread N°7 is joined.
262.87/35.13	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°7)
262.87/35.13	s OPTIMUM FOUND
262.87/35.13	c call to solver        : 4
262.87/35.13	c
262.87/35.13	c restarts              : 1085        
262.87/35.13	c conflicts             : 7532         (29 /sec)
262.87/35.13	c decisions             : 32135        (123 /sec)
262.87/35.13	c propagations          : 206665      (789 /sec)
262.87/35.13	c root propagations     : 6957        
262.87/35.13	c filter calls          : 5894315        (22498 /sec)
262.87/35.13	c useless filter calls  : 5774694        (97 %)
262.87/35.13	c Memory used           : 689.70 MB
262.87/35.13	c Best bound time (wc)  : 32.5577 s
262.87/35.13	c CPU time              : 261.992 s
262.87/35.13	c real time             : 35.1326 s
262.87/35.13	
262.87/35.13	
262.87/35.13	v <instantiation type='solution' cost='2'>
262.87/35.13	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] </list>
262.87/35.13	v <values>0 0 1 1 1 1 2 2 2 2 0 1 0 1 2 2 0 0 1 2 0 1 1 2 0 0 1 2 0 1 1 0 2 2 0 1 2 0 1 0 1 2 1 2 2 0 0 1 2 0 2 0 0 2 1 0 1 1 1 2 2 1 0 0 2 1 2 1 0 0 2 2 2 0 0 2 0 2 1 1 </values>
262.87/35.13	v </instantiation>
262.87/35.13

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410000-1569831837/watcher-4410000-1569831837 -o /tmp/evaluation-result-4410000-1569831837/solver-4410000-1569831837 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569817277-6491 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410000-1569831837.xml 

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

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

solver pid=8882, runsolver pid=8879

[startup+0.100166 s]*
/proc/loadavg: 1.34 1.88 4.53 2/193 8883
/proc/meminfo: memFree=27752904/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=31844 memory=8056 CPUtime=0.1 cores=0-7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 6464 0 -1 4202496 2215 0 0 0 10 0 0 0 20 0 1 0 559454969 32608256 2014 33554432000 4194304 6211132 140732426231808 140732426229080 139711446670309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 7961 2014 823 493 0 1266 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31844 KiB
Current children cumulated memory: 8056 KiB

[startup+0.209443 s]*
/proc/loadavg: 1.34 1.88 4.53 2/193 8883
/proc/meminfo: memFree=27747324/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=37356 memory=13700 CPUtime=0.21 cores=0-7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 6464 0 -1 4202496 3617 0 0 0 20 1 0 0 20 0 1 0 559454969 38252544 3425 33554432000 4194304 6211132 140732426231808 140732426229080 139711446670309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 9372 3425 823 493 0 2677 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37356 KiB
Current children cumulated memory: 13700 KiB

[startup+0.309478 s]*
/proc/loadavg: 1.34 1.88 4.53 2/193 8883
/proc/meminfo: memFree=27742116/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=42604 memory=18948 CPUtime=0.31 cores=0-7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 6464 0 -1 4202496 4901 0 0 0 30 1 0 0 20 0 1 0 559454969 43626496 4737 33554432000 4194304 6211132 140732426231808 140732426229080 139711446670309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 10651 4737 823 493 0 3956 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 18948 KiB

[startup+0.700354 s]
/proc/loadavg: 1.34 1.88 4.53 2/193 8883
/proc/meminfo: memFree=27731700/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=62272 memory=38484 CPUtime=0.69 cores=0-7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 6464 0 -1 4202496 9829 0 0 0 65 4 0 0 20 0 1 0 559454969 63766528 9621 33554432000 4194304 6211132 140732426231808 140732426229080 139711446670309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 15568 9621 823 493 0 8873 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62272 KiB
Current children cumulated memory: 38484 KiB

[startup+1.50036 s]
/proc/loadavg: 1.34 1.88 4.53 2/193 8883
/proc/meminfo: memFree=27706468/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=104188 memory=80400 CPUtime=1.49 cores=0-7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 6464 0 -1 4202496 20297 0 0 0 143 6 0 0 20 0 1 0 559454969 106688512 20100 33554432000 4194304 6211132 140732426231808 140732426226904 139711446670309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 26047 20100 823 493 0 19352 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 104188 KiB
Current children cumulated memory: 80400 KiB

[startup+9.11298 s]
/proc/loadavg: 1.34 1.88 4.53 2/193 8883
/proc/meminfo: memFree=27706468/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=739544 memory=188148 CPUtime=55.72 cores=0-7
/proc/8882/stat : 8882 (cosoco) S 8879 8882 6464 0 -1 1077944320 251048 0 0 0 5502 70 0 0 20 0 9 0 559454969 757293056 47037 33554432000 4194304 6211132 140732426231808 140732426230064 139711462711031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 184886 47037 881 493 0 178191 0
Current children cumulated CPU time: 55.72 s
Current children cumulated vsize: 739544 KiB
Current children cumulated memory: 188148 KiB

[startup+9.20097 s]
/proc/loadavg: 1.34 1.88 4.53 2/193 8883
/proc/meminfo: memFree=27706468/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=739544 memory=188148 CPUtime=56.42 cores=0-7
/proc/8882/stat : 8882 (cosoco) S 8879 8882 6464 0 -1 1077944320 251326 0 0 0 5572 70 0 0 20 0 9 0 559454969 757293056 47037 33554432000 4194304 6211132 140732426231808 140732426230064 139711462711031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 184886 47037 881 493 0 178191 0
Current children cumulated CPU time: 56.42 s
Current children cumulated vsize: 739544 KiB
Current children cumulated memory: 188148 KiB

[startup+12.701 s]
/proc/loadavg: 3.22 2.26 4.63 9/201 8891
/proc/meminfo: memFree=28130980/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=739028 memory=187860 CPUtime=84.22 cores=0-7
/proc/8882/stat : 8882 (cosoco) S 8879 8882 6464 0 -1 1077944320 293746 0 0 0 8335 87 0 0 20 0 9 0 559454969 756764672 46965 33554432000 4194304 6211132 140732426231808 140732426230064 139711462711031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 184757 46965 881 493 0 178062 0
[pid=8882/tid=8884] ppid=8879 vsize=739028 memory=-8962006863834300351 CPUtime=10.25 cores=0-7
/proc/8882/task/8884/stat : 8884 (cosoco) R 8879 8882 6464 0 -1 4202560 26875 0 0 0 1020 5 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711439567544 139711447590800 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8885] ppid=8879 vsize=739028 memory=6944656592455360604 CPUtime=10.18 cores=0-7
/proc/8882/task/8885/stat : 8885 (cosoco) R 8879 8882 6464 0 -1 4202560 27840 0 0 0 1015 3 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711431175496 139711447594544 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8886] ppid=8879 vsize=739028 memory=7679927811743456362 CPUtime=10.25 cores=0-7
/proc/8882/task/8886/stat : 8886 (cosoco) R 8879 8882 6464 0 -1 4202560 26604 0 0 0 1020 5 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711422782136 139711447590836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8887] ppid=8879 vsize=739028 memory=187860 CPUtime=10.25 cores=0-7
/proc/8882/task/8887/stat : 8887 (cosoco) R 8879 8882 6464 0 -1 4202560 29348 0 0 0 1023 2 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711414389432 5452189 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8888] ppid=8879 vsize=739028 memory=6668 CPUtime=10.27 cores=0-7
/proc/8882/task/8888/stat : 8888 (cosoco) R 8879 8882 6464 0 -1 4202560 28468 0 0 0 1021 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711405997384 5164890 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8889] ppid=8879 vsize=739028 memory=504 CPUtime=10.06 cores=0-7
/proc/8882/task/8889/stat : 8889 (cosoco) R 8879 8882 6464 0 -1 4202560 28664 0 0 0 966 40 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711397603944 5193361 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8890] ppid=8879 vsize=739028 memory=1564 CPUtime=10.27 cores=0-7
/proc/8882/task/8890/stat : 8890 (cosoco) R 8879 8882 6464 0 -1 4202560 38847 0 0 0 1023 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711389211976 5069297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8891] ppid=8879 vsize=739028 memory=924 CPUtime=10.26 cores=0-7
/proc/8882/task/8891/stat : 8891 (cosoco) R 8879 8882 6464 0 -1 4202560 40402 0 0 0 1017 9 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711380819272 5069365 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
Current children cumulated CPU time: 84.22 s
Current children cumulated vsize: 739028 KiB
Current children cumulated memory: 187860 KiB

[startup+25.501 s]*
/proc/loadavg: 4.41 2.57 4.69 9/200 8894
/proc/meminfo: memFree=28788104/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=739028 memory=187860 CPUtime=186.3 cores=0-7
/proc/8882/stat : 8882 (cosoco) S 8879 8882 6464 0 -1 1077944320 374158 0 0 0 18528 102 0 0 20 0 9 0 559454969 756764672 46965 33554432000 4194304 6211132 140732426231808 140732426230064 139711462711031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 184757 46965 881 493 0 178062 0
[pid=8882/tid=8884] ppid=8879 vsize=739028 memory=-7035114785800479027 CPUtime=23.02 cores=0-7
/proc/8882/task/8884/stat : 8884 (cosoco) R 8879 8882 6464 0 -1 4202560 36129 0 0 0 2296 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711439567544 139711456615238 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8885] ppid=8879 vsize=739028 memory=-7003737579269690708 CPUtime=22.81 cores=0-7
/proc/8882/task/8885/stat : 8885 (cosoco) R 8879 8882 6464 0 -1 4202560 36680 0 0 0 2277 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711431175496 5451516 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8886] ppid=8879 vsize=739028 memory=290763849282617370 CPUtime=22.99 cores=0-7
/proc/8882/task/8886/stat : 8886 (cosoco) R 8879 8882 6464 0 -1 4202560 35440 0 0 0 2293 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711422782136 5009627 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8887] ppid=8879 vsize=739028 memory=288230583166042426 CPUtime=23 cores=0-7
/proc/8882/task/8887/stat : 8887 (cosoco) R 8879 8882 6464 0 -1 4202560 38901 0 0 0 2297 3 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711414389432 139711447594547 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8888] ppid=8879 vsize=739028 memory=14696300872468529 CPUtime=23.07 cores=0-7
/proc/8882/task/8888/stat : 8888 (cosoco) R 8879 8882 6464 0 -1 4202560 37501 0 0 0 2300 7 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711405997384 5480285 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8889] ppid=8879 vsize=739028 memory=0 CPUtime=22.85 cores=0-7
/proc/8882/task/8889/stat : 8889 (cosoco) R 8879 8882 6464 0 -1 4202560 37780 0 0 0 2239 46 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711397603944 5451653 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8890] ppid=8879 vsize=739028 memory=0 CPUtime=23.07 cores=0-7
/proc/8882/task/8890/stat : 8890 (cosoco) R 8879 8882 6464 0 -1 4202560 50844 0 0 0 2301 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711389211976 5439818 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8891] ppid=8879 vsize=739028 memory=0 CPUtime=23.06 cores=0-7
/proc/8882/task/8891/stat : 8891 (cosoco) R 8879 8882 6464 0 -1 4202560 54185 0 0 0 2296 10 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711380819272 139711447590800 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
Current children cumulated CPU time: 186.3 s
Current children cumulated vsize: 739028 KiB
Current children cumulated memory: 187860 KiB

[startup+35.1515 s]
# the end of solver process 8882 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=261.992 s, system=1.11135 s

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

[startup+26.701 s]
/proc/loadavg: 4.41 2.57 4.69 9/200 8894
/proc/meminfo: memFree=28788104/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=739028 memory=187860 CPUtime=195.81 cores=0-7
/proc/8882/stat : 8882 (cosoco) S 8879 8882 6464 0 -1 1077944320 374185 0 0 0 19479 102 0 0 20 0 9 0 559454969 756764672 46965 33554432000 4194304 6211132 140732426231808 140732426230064 139711462711031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 184757 46965 881 493 0 178062 0
[pid=8882/tid=8884] ppid=8879 vsize=739028 memory=280475726101872 CPUtime=24.21 cores=0-7
/proc/8882/task/8884/stat : 8884 (cosoco) R 8879 8882 6464 0 -1 4202560 36129 0 0 0 2415 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711439567544 139711447596447 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8885] ppid=8879 vsize=739028 memory=187860 CPUtime=23.98 cores=0-7
/proc/8882/task/8885/stat : 8885 (cosoco) R 8879 8882 6464 0 -1 4202560 36680 0 0 0 2394 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711431175496 5069016 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8886] ppid=8879 vsize=739028 memory=976 CPUtime=24.18 cores=0-7
/proc/8882/task/8886/stat : 8886 (cosoco) R 8879 8882 6464 0 -1 4202560 35440 0 0 0 2412 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711422782136 5193361 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8887] ppid=8879 vsize=739028 memory=772 CPUtime=24.19 cores=0-7
/proc/8882/task/8887/stat : 8887 (cosoco) R 8879 8882 6464 0 -1 4202560 38901 0 0 0 2416 3 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711414389432 5442988 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8888] ppid=8879 vsize=739028 memory=187860 CPUtime=24.26 cores=0-7
/proc/8882/task/8888/stat : 8888 (cosoco) R 8879 8882 6464 0 -1 4202560 37512 0 0 0 2419 7 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711405997384 5164796 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8889] ppid=8879 vsize=739028 memory=976 CPUtime=24.04 cores=0-7
/proc/8882/task/8889/stat : 8889 (cosoco) R 8879 8882 6464 0 -1 4202560 37780 0 0 0 2358 46 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711397603944 5396704 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8890] ppid=8879 vsize=739028 memory=187860 CPUtime=24.26 cores=0-7
/proc/8882/task/8890/stat : 8890 (cosoco) R 8879 8882 6464 0 -1 4202560 50859 0 0 0 2420 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711389211976 5451642 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8891] ppid=8879 vsize=739028 memory=187860 CPUtime=24.25 cores=0-7
/proc/8882/task/8891/stat : 8891 (cosoco) R 8879 8882 6464 0 -1 4202560 54186 0 0 0 2415 10 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711380819272 5443057 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
Current children cumulated CPU time: 195.81 s
Current children cumulated vsize: 739028 KiB
Current children cumulated memory: 187860 KiB

[startup+29.901 s]
/proc/loadavg: 4.70 2.66 4.71 9/200 8894
/proc/meminfo: memFree=28788116/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=739028 memory=187860 CPUtime=221.36 cores=0-7
/proc/8882/stat : 8882 (cosoco) S 8879 8882 6464 0 -1 1077944320 411616 0 0 0 22031 105 0 0 20 0 9 0 559454969 756764672 46965 33554432000 4194304 6211132 140732426231808 140732426230064 139711462711031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 184757 46965 881 493 0 178062 0
[pid=8882/tid=8884] ppid=8879 vsize=739028 memory=187860 CPUtime=27.4 cores=0-7
/proc/8882/task/8884/stat : 8884 (cosoco) R 8879 8882 6464 0 -1 4202560 40482 0 0 0 2734 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711439567544 5446172 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8885] ppid=8879 vsize=739028 memory=4206468019014099040 CPUtime=27.14 cores=0-7
/proc/8882/task/8885/stat : 8885 (cosoco) R 8879 8882 6464 0 -1 4202560 40417 0 0 0 2710 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711431175496 5446119 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8886] ppid=8879 vsize=739028 memory=187860 CPUtime=27.37 cores=0-7
/proc/8882/task/8886/stat : 8886 (cosoco) R 8879 8882 6464 0 -1 4202560 39590 0 0 0 2731 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711422782136 5442980 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8887] ppid=8879 vsize=739028 memory=187860 CPUtime=27.39 cores=0-7
/proc/8882/task/8887/stat : 8887 (cosoco) R 8879 8882 6464 0 -1 4202560 43068 0 0 0 2735 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711414389432 4982624 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8888] ppid=8879 vsize=739028 memory=187860 CPUtime=27.46 cores=0-7
/proc/8882/task/8888/stat : 8888 (cosoco) R 8879 8882 6464 0 -1 4202560 42242 0 0 0 2738 8 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711405997384 5443082 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8889] ppid=8879 vsize=739028 memory=3620 CPUtime=27.24 cores=0-7
/proc/8882/task/8889/stat : 8889 (cosoco) R 8879 8882 6464 0 -1 4202560 42249 0 0 0 2678 46 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711397603944 5455682 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8890] ppid=8879 vsize=739028 memory=-7035114785800479027 CPUtime=27.46 cores=0-7
/proc/8882/task/8890/stat : 8890 (cosoco) R 8879 8882 6464 0 -1 4202560 55978 0 0 0 2740 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711389211976 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8891] ppid=8879 vsize=739028 memory=10680 CPUtime=27.45 cores=0-7
/proc/8882/task/8891/stat : 8891 (cosoco) R 8879 8882 6464 0 -1 4202560 60892 0 0 0 2734 11 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711380819272 5446311 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 739028 KiB
Current children cumulated memory: 187860 KiB

[startup+33.101 s]
/proc/loadavg: 4.70 2.66 4.71 9/200 8894
/proc/meminfo: memFree=28787072/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=739028 memory=187860 CPUtime=246.89 cores=0-7
/proc/8882/stat : 8882 (cosoco) S 8879 8882 6464 0 -1 1077944320 412725 0 0 0 24584 105 0 0 20 0 9 0 559454969 756764672 46965 33554432000 4194304 6211132 140732426231808 140732426230064 139711462711031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 184757 46965 881 493 0 178062 0
[pid=8882/tid=8884] ppid=8879 vsize=739028 memory=2032 CPUtime=30.6 cores=0-7
/proc/8882/task/8884/stat : 8884 (cosoco) R 8879 8882 6464 0 -1 4202560 40491 0 0 0 3054 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711439567544 5068958 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8885] ppid=8879 vsize=739028 memory=148 CPUtime=30.34 cores=0-7
/proc/8882/task/8885/stat : 8885 (cosoco) R 8879 8882 6464 0 -1 4202560 40715 0 0 0 3030 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711431175496 5164628 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8886] ppid=8879 vsize=739028 memory=0 CPUtime=30.57 cores=0-7
/proc/8882/task/8886/stat : 8886 (cosoco) R 8879 8882 6464 0 -1 4202560 39624 0 0 0 3051 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711422782736 5068932 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8887] ppid=8879 vsize=739028 memory=187860 CPUtime=30.59 cores=0-7
/proc/8882/task/8887/stat : 8887 (cosoco) R 8879 8882 6464 0 -1 4202560 43361 0 0 0 3055 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711414389432 5451658 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8888] ppid=8879 vsize=739028 memory=187860 CPUtime=30.66 cores=0-7
/proc/8882/task/8888/stat : 8888 (cosoco) R 8879 8882 6464 0 -1 4202560 42255 0 0 0 3058 8 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711405997384 5068978 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8889] ppid=8879 vsize=739028 memory=-7035114785800479027 CPUtime=30.39 cores=0-7
/proc/8882/task/8889/stat : 8889 (cosoco) R 8879 8882 6464 0 -1 4202560 42316 0 0 0 2993 46 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711397603944 5446258 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8890] ppid=8879 vsize=739028 memory=1056 CPUtime=30.66 cores=0-7
/proc/8882/task/8890/stat : 8890 (cosoco) R 8879 8882 6464 0 -1 4202560 56253 0 0 0 3059 7 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711389211976 5164867 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8891] ppid=8879 vsize=739028 memory=744 CPUtime=30.65 cores=0-7
/proc/8882/task/8891/stat : 8891 (cosoco) R 8879 8882 6464 0 -1 4202560 61013 0 0 0 3054 11 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711380819272 5443040 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
Current children cumulated CPU time: 246.89 s
Current children cumulated vsize: 739028 KiB
Current children cumulated memory: 187860 KiB

[startup+33.901 s]
/proc/loadavg: 4.70 2.66 4.71 9/200 8894
/proc/meminfo: memFree=28787072/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=739028 memory=187860 CPUtime=253.28 cores=0-7
/proc/8882/stat : 8882 (cosoco) S 8879 8882 6464 0 -1 1077944320 412737 0 0 0 25223 105 0 0 20 0 9 0 559454969 756764672 46965 33554432000 4194304 6211132 140732426231808 140732426230064 139711462711031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 184757 46965 881 493 0 178062 0
[pid=8882/tid=8884] ppid=8879 vsize=739028 memory=0 CPUtime=31.4 cores=0-7
/proc/8882/task/8884/stat : 8884 (cosoco) R 8879 8882 6464 0 -1 4202560 40491 0 0 0 3134 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711439567544 5065987 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8885] ppid=8879 vsize=739028 memory=0 CPUtime=31.14 cores=0-7
/proc/8882/task/8885/stat : 8885 (cosoco) R 8879 8882 6464 0 -1 4202560 40715 0 0 0 3110 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711431175496 5443143 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8886] ppid=8879 vsize=739028 memory=-7035114785800479027 CPUtime=31.37 cores=0-7
/proc/8882/task/8886/stat : 8886 (cosoco) R 8879 8882 6464 0 -1 4202560 39624 0 0 0 3131 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711422782736 5451520 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8887] ppid=8879 vsize=739028 memory=3760840173143547989 CPUtime=31.39 cores=0-7
/proc/8882/task/8887/stat : 8887 (cosoco) R 8879 8882 6464 0 -1 4202560 43361 0 0 0 3135 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711414389432 5452185 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8888] ppid=8879 vsize=739028 memory=-9109213556524817781 CPUtime=31.46 cores=0-7
/proc/8882/task/8888/stat : 8888 (cosoco) R 8879 8882 6464 0 -1 4202560 42264 0 0 0 3138 8 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711405997384 5068928 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8889] ppid=8879 vsize=739028 memory=-1807685766275235412 CPUtime=31.18 cores=0-7
/proc/8882/task/8889/stat : 8889 (cosoco) R 8879 8882 6464 0 -1 4202560 42316 0 0 0 3072 46 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711397603944 5164740 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8890] ppid=8879 vsize=739028 memory=-7035114785800479027 CPUtime=31.46 cores=0-7
/proc/8882/task/8890/stat : 8890 (cosoco) R 8879 8882 6464 0 -1 4202560 56255 0 0 0 3139 7 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711389211976 5443124 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8891] ppid=8879 vsize=739028 memory=-2746958450906831424 CPUtime=31.45 cores=0-7
/proc/8882/task/8891/stat : 8891 (cosoco) R 8879 8882 6464 0 -1 4202560 61013 0 0 0 3134 11 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711380819272 5442996 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
Current children cumulated CPU time: 253.28 s
Current children cumulated vsize: 739028 KiB
Current children cumulated memory: 187860 KiB

[startup+34.701 s]
/proc/loadavg: 4.96 2.75 4.73 9/200 8894
/proc/meminfo: memFree=28787072/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=739028 memory=187860 CPUtime=259.67 cores=0-7
/proc/8882/stat : 8882 (cosoco) S 8879 8882 6464 0 -1 1077944320 412744 0 0 0 25862 105 0 0 20 0 9 0 559454969 756764672 46965 33554432000 4194304 6211132 140732426231808 140732426230064 139711462711031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 184757 46965 881 493 0 178062 0
[pid=8882/tid=8884] ppid=8879 vsize=739028 memory=3620 CPUtime=32.2 cores=0-7
/proc/8882/task/8884/stat : 8884 (cosoco) R 8879 8882 6464 0 -1 4202560 40498 0 0 0 3214 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711439567544 5452185 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8885] ppid=8879 vsize=739028 memory=10680 CPUtime=31.94 cores=0-7
/proc/8882/task/8885/stat : 8885 (cosoco) R 8879 8882 6464 0 -1 4202560 40715 0 0 0 3190 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711431175496 5446161 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8886] ppid=8879 vsize=739028 memory=187860 CPUtime=32.17 cores=0-7
/proc/8882/task/8886/stat : 8886 (cosoco) R 8879 8882 6464 0 -1 4202560 39624 0 0 0 3211 6 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711422782736 5446681 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8887] ppid=8879 vsize=739028 memory=6944656592455360604 CPUtime=32.19 cores=0-7
/proc/8882/task/8887/stat : 8887 (cosoco) R 8879 8882 6464 0 -1 4202560 43361 0 0 0 3215 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711414389432 5068981 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8888] ppid=8879 vsize=739028 memory=187860 CPUtime=32.26 cores=0-7
/proc/8882/task/8888/stat : 8888 (cosoco) R 8879 8882 6464 0 -1 4202560 42264 0 0 0 3218 8 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711405997384 5446956 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8889] ppid=8879 vsize=739028 memory=-7035114785800479027 CPUtime=31.96 cores=0-7
/proc/8882/task/8889/stat : 8889 (cosoco) R 8879 8882 6464 0 -1 4202560 42316 0 0 0 3150 46 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711397603944 5446681 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8890] ppid=8879 vsize=739028 memory=187860 CPUtime=32.26 cores=0-7
/proc/8882/task/8890/stat : 8890 (cosoco) R 8879 8882 6464 0 -1 4202560 56255 0 0 0 3219 7 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711389211976 5440859 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8891] ppid=8879 vsize=739028 memory=1124 CPUtime=32.25 cores=0-7
/proc/8882/task/8891/stat : 8891 (cosoco) R 8879 8882 6464 0 -1 4202560 61013 0 0 0 3214 11 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711380819272 5455682 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
Current children cumulated CPU time: 259.67 s
Current children cumulated vsize: 739028 KiB
Current children cumulated memory: 187860 KiB

[startup+35.101 s]
/proc/loadavg: 4.96 2.75 4.73 9/200 8894
/proc/meminfo: memFree=28787072/32770624 swapFree=66956804/67108860
[pid=8882] ppid=8879 vsize=739028 memory=187860 CPUtime=262.87 cores=0-7
/proc/8882/stat : 8882 (cosoco) S 8879 8882 6464 0 -1 1077944320 442555 0 0 0 26178 109 0 0 20 0 9 0 559454969 756764672 46965 33554432000 4194304 6211132 140732426231808 140732426230064 139711462711031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
/proc/8882/statm: 184757 46965 881 493 0 178062 0
[pid=8882/tid=8884] ppid=8879 vsize=739028 memory=2832 CPUtime=32.61 cores=0-7
/proc/8882/task/8884/stat : 8884 (cosoco) R 8879 8882 6464 0 -1 4202560 43613 0 0 0 3254 7 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711439567544 5164809 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8885] ppid=8879 vsize=739028 memory=1548 CPUtime=32.34 cores=0-7
/proc/8882/task/8885/stat : 8885 (cosoco) R 8879 8882 6464 0 -1 4202560 43963 0 0 0 3230 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711431175496 5443143 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8886] ppid=8879 vsize=739028 memory=1056 CPUtime=32.57 cores=0-7
/proc/8882/task/8886/stat : 8886 (cosoco) R 8879 8882 6464 0 -1 4202560 42441 0 0 0 3250 7 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711422782736 5446311 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8887] ppid=8879 vsize=739028 memory=744 CPUtime=32.59 cores=0-7
/proc/8882/task/8887/stat : 8887 (cosoco) R 8879 8882 6464 0 -1 4202560 47234 0 0 0 3255 4 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711414389432 5193364 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8888] ppid=8879 vsize=739028 memory=8444 CPUtime=32.66 cores=0-7
/proc/8882/task/8888/stat : 8888 (cosoco) R 8879 8882 6464 0 -1 4202560 44874 0 0 0 3258 8 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711405997384 5193383 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8889] ppid=8879 vsize=739028 memory=6324 CPUtime=32.37 cores=0-7
/proc/8882/task/8889/stat : 8889 (cosoco) R 8879 8882 6464 0 -1 4202560 46309 0 0 0 3190 47 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711397603944 5193364 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8890] ppid=8879 vsize=739028 memory=164 CPUtime=32.66 cores=0-7
/proc/8882/task/8890/stat : 8890 (cosoco) R 8879 8882 6464 0 -1 4202560 62118 0 0 0 3259 7 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711389211976 5456338 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
[pid=8882/tid=8891] ppid=8879 vsize=739028 memory=7306916055891837008 CPUtime=32.66 cores=0-7
/proc/8882/task/8891/stat : 8891 (cosoco) R 8879 8882 6464 0 -1 4202560 65305 0 0 0 3254 12 0 0 20 0 9 0 559455205 756764672 46965 33554432000 4194304 6211132 140732426231808 139711380819272 5193364 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11509760 140732426236950 140732426237042 140732426237042 140732426239950 0
Current children cumulated CPU time: 262.87 s
Current children cumulated vsize: 739028 KiB
Current children cumulated memory: 187860 KiB

Child status: 0
Real time (s): 35.1516
CPU time (s): 263.103
CPU user time (s): 261.992
CPU system time (s): 1.11135
CPU usage (%): 748.481
Max. virtual memory (cumulated for all children) (KiB): 739544
Max. memory (cumulated for all children) (KiB): 188148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 261.992
system time used= 1.11135
maximum resident set size= 188968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8568
involuntary context switches= 2421


# summary of solver processes directly reported to runsolver:
#   pid: 8882
#   total CPU time (s): 263.103
#   total CPU user time (s): 261.992
#   total CPU system time (s): 1.11135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.164169 second user time and 0.275929 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-30 10:23:16
IDJOB=4410000
IDBENCH=139745
IDSOLVER=2878
FILE ID=node151/4410000-1569831837
RUNJOBID= node151-1569817277-6491
PBS_JOBID= 21705917
Free space on /tmp= 61448 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-08-10.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4410000-1569831837/watcher-4410000-1569831837 -o /tmp/evaluation-result-4410000-1569831837/solver-4410000-1569831837 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569817277-6491 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4410000-1569831837.xml

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

MD5SUM BENCH= 23e84b7c24701222a8a18862c478c748
RANDOM SEED=2114101137

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27756328 kB
MemAvailable:   31800232 kB
Buffers:          162536 kB
Cached:          4194960 kB
SwapCached:        50424 kB
Active:          1749692 kB
Inactive:        2664744 kB
Active(anon):       9016 kB
Inactive(anon):   127264 kB
Active(file):    1740676 kB
Inactive(file):  2537480 kB
Unevictable:      108524 kB
Mlocked:          108524 kB
SwapTotal:      67108860 kB
SwapFree:       66956804 kB
Dirty:            952184 kB
Writeback:         81124 kB
AnonPages:        125364 kB
Mapped:            28084 kB
Shmem:             70724 kB
Slab:             193052 kB
SReclaimable:     163164 kB
SUnreclaim:        29888 kB
KernelStack:        3744 kB
PageTables:         5960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     541392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 62028 MiB
End job on node151 at 2019-09-30 10:23:51