Trace number 4398440

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.O parallelOPT2 71.4859 11.0335

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.3246
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 

5.15/2.75	c
5.15/2.75	c This is cosoco 2.00 --  
5.15/2.75	c
5.15/2.75	c command line: cosoco -model -nbcores=8 HOME/instance-4398440-1568614365.xml 
5.15/2.75	c enable optimization
5.15/2.75	c ========================================[ Problem Statistics ]===========================================
5.15/2.75	c |                                                                                                       
5.15/2.75	c |  Parse time        :         2.28 s 
5.15/2.75	c |
5.15/2.75	c |               Variables: 80
5.15/2.75	c |            Domain Sizes: 80..80
5.15/2.75	c |
5.15/2.75	c |             Constraints: 1277
5.15/2.75	c |                   Arity: 4..80
5.15/2.75	c | 
5.15/2.75	c |                   Types: 
5.15/2.75	c |                          Intension: 1260
5.15/2.75	c |                          Lex: 16
5.15/2.75	c |                          Max constant: 1
5.15/2.75	c |                          
5.15/2.75	c |               Objective: Minimize Max constant
5.15/2.75	
5.15/2.75	c =========================================================================================================
5.15/2.75	c Parallel mode: Portfolio
5.15/2.75	c [pFactory][Group N°0] created (threads:8).
5.15/2.75	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
5.15/2.75	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
5.15/2.75	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
5.15/2.75	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
5.15/2.75	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
5.15/2.75	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
5.15/2.75	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
5.15/2.75	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
5.15/2.75	c [pFactory][Group N°0] concurrent mode: enabled.
5.15/2.75	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
5.15/2.75	c [pFactory][Group N°0] task 7 launched on thread 3.
5.15/2.75	c [pFactory][Group N°0] task 6 launched on thread 0.
5.15/2.75	c [pFactory][Group N°0] task 5 launched on thread 2.
5.15/2.75	c [pFactory][Group N°0] task 4 launched on thread 6.
5.15/2.75	c [pFactory][Group N°0] task 3 launched on thread 1.
5.15/2.75	c [pFactory][Group N°0] task 2 launched on thread 7.
5.15/2.75	c [pFactory][Group N°0] task 1 launched on thread 5.
5.15/2.75	c [pFactory][Group N°0] task 0 launched on thread 4.
5.15/2.75	o 79
5.95/2.86	o 4
7.60/3.04	o 3
59.43/9.56	o 2
71.45/11.01	c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 2.
71.45/11.01	c [pFactory][Group N°0] Thread N°0 is joined.
71.45/11.01	c [pFactory][Group N°0] Thread N°1 is joined.
71.45/11.01	c [pFactory][Group N°0] Thread N°2 is joined.
71.45/11.01	c [pFactory][Group N°0] Thread N°3 is joined.
71.45/11.01	c [pFactory][Group N°0] Thread N°4 is joined.
71.45/11.01	c [pFactory][Group N°0] Thread N°5 is joined.
71.45/11.01	c [pFactory][Group N°0] Thread N°6 is joined.
71.45/11.01	c [pFactory][Group N°0] Thread N°7 is joined.
71.45/11.01	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°7)
71.45/11.01	s OPTIMUM FOUND
71.45/11.01	c call to solver        : 3
71.45/11.01	c
71.45/11.01	c restarts              : 127         
71.45/11.01	c conflicts             : 1699         (24 /sec)
71.45/11.01	c decisions             : 7042         (99 /sec)
71.45/11.01	c propagations          : 51382       (723 /sec)
71.45/11.01	c root propagations     : 6957        
71.45/11.01	c filter calls          : 1274806        (17943 /sec)
71.45/11.01	c useless filter calls  : 1251551        (98 %)
71.45/11.01	c Memory used           : 689.70 MB
71.45/11.01	c Best bound time (wc)  : 9.5573 s
71.45/11.01	c CPU time              : 71.0478 s
71.45/11.01	c real time             : 11.009 s
71.45/11.01	
71.45/11.01	
71.45/11.01	v <instantiation type='solution' cost='2'>
71.45/11.01	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>
71.45/11.01	v <values>0 0 0 0 0 1 1 1 2 2 0 1 1 2 2 0 0 2 1 1 0 1 2 1 2 1 2 0 0 2 1 1 0 2 1 2 0 1 0 2 1 2 0 1 2 0 1 0 1 0 1 2 2 2 0 1 0 0 2 1 2 0 1 1 2 2 0 1 2 0 2 2 1 0 1 0 1 2 0 2 </values>
71.45/11.01	v </instantiation>
71.45/11.01

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398440-1568614365/watcher-4398440-1568614365 -o /tmp/evaluation-result-4398440-1568614365/solver-4398440-1568614365 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568606289-14109 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398440-1568614365.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=15288, runsolver pid=15285
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 5.12 5.25 6.63 2/201 15289
/proc/meminfo: memFree=31946828/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=31976 memory=8316 CPUtime=0.1 cores=0-7
/proc/15288/stat : 15288 (cosoco) R 15285 15288 14082 0 -1 4202496 2245 0 0 0 10 0 0 0 20 0 1 0 437686083 32743424 2079 33554432000 4194304 6211092 140720357958480 140720357955016 140650527382501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 7994 2079 823 493 0 1299 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31976 KiB
Current children cumulated memory: 8316 KiB

[startup+0.209549 s]*
/proc/loadavg: 5.12 5.25 6.63 2/201 15289
/proc/meminfo: memFree=31940876/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=37616 memory=13960 CPUtime=0.21 cores=0-7
/proc/15288/stat : 15288 (cosoco) R 15285 15288 14082 0 -1 4202496 3680 0 0 0 21 0 0 0 20 0 1 0 437686083 38518784 3490 33554432000 4194304 6211092 140720357958480 140720357955016 140650527382501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 9404 3490 823 493 0 2709 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37616 KiB
Current children cumulated memory: 13960 KiB

[startup+0.309177 s]*
/proc/loadavg: 5.12 5.25 6.63 2/201 15289
/proc/meminfo: memFree=31935792/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=42868 memory=19208 CPUtime=0.31 cores=0-7
/proc/15288/stat : 15288 (cosoco) R 15285 15288 14082 0 -1 4202496 4992 0 0 0 31 0 0 0 20 0 1 0 437686083 43896832 4802 33554432000 4194304 6211092 140720357958480 140720357955016 140650527382501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 10717 4802 823 493 0 4022 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42868 KiB
Current children cumulated memory: 19208 KiB

[startup+0.700346 s]
/proc/loadavg: 5.12 5.25 6.63 2/201 15289
/proc/meminfo: memFree=31925500/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=63056 memory=39264 CPUtime=0.69 cores=0-7
/proc/15288/stat : 15288 (cosoco) R 15285 15288 14082 0 -1 4202496 10026 0 0 0 68 1 0 0 20 0 1 0 437686083 64569344 9816 33554432000 4194304 6211092 140720357958480 140720357955016 140650527382501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 15764 9816 823 493 0 9069 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63056 KiB
Current children cumulated memory: 39264 KiB

[startup+1.50033 s]
/proc/loadavg: 5.12 5.25 6.63 2/201 15289
/proc/meminfo: memFree=31899196/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=105108 memory=81320 CPUtime=1.49 cores=0-7
/proc/15288/stat : 15288 (cosoco) R 15285 15288 14082 0 -1 4202496 20544 0 0 0 146 3 0 0 20 0 1 0 437686083 107630592 20330 33554432000 4194304 6211092 140720357958480 140720357955016 140650527382501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 26277 20330 823 493 0 19582 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105108 KiB
Current children cumulated memory: 81320 KiB

[startup+3.11123 s]
/proc/loadavg: 5.12 5.25 6.63 9/208 15297
/proc/meminfo: memFree=31771500/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=739680 memory=184352 CPUtime=8.41 cores=0-7
/proc/15288/stat : 15288 (cosoco) S 15285 15288 14082 0 -1 1077944320 72607 0 0 0 827 14 0 0 20 0 9 0 437686083 757432320 46088 33554432000 4194304 6211092 140720357958480 140720357956736 140650543423223 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 184920 46088 853 493 0 178225 0
[pid=15288/tid=15290] ppid=15285 vsize=739680 memory=3624 CPUtime=0.75 cores=0-7
/proc/15288/task/15290/stat : 15290 (cosoco) R 15285 15288 14082 0 -1 4202560 2850 0 0 0 75 0 0 0 20 0 9 0 437686317 757432320 46088 33554432000 4194304 6211092 140720357958480 140650520280336 140650528306736 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15291] ppid=15285 vsize=739680 memory=281331363990720 CPUtime=0.75 cores=0-7
/proc/15288/task/15291/stat : 15291 (cosoco) R 15285 15288 14082 0 -1 4202560 2873 0 0 0 75 0 0 0 20 0 9 0 437686317 757432320 46088 33554432000 4194304 6211092 140720357958480 140650511887048 5455634 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15292] ppid=15285 vsize=739680 memory=33 CPUtime=0.75 cores=0-7
/proc/15288/task/15292/stat : 15292 (cosoco) R 15285 15288 14082 0 -1 4202560 2667 0 0 0 74 1 0 0 20 0 9 0 437686317 757432320 46088 33554432000 4194304 6211092 140720357958480 140650503494328 140650537327503 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15293] ppid=15285 vsize=739680 memory=2308 CPUtime=0.75 cores=0-7
/proc/15288/task/15293/stat : 15293 (cosoco) R 15285 15288 14082 0 -1 4202560 3184 0 0 0 75 0 0 0 20 0 9 0 437686317 757432320 46088 33554432000 4194304 6211092 140720357958480 140650495101640 5439786 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15294] ppid=15285 vsize=739680 memory=108144 CPUtime=0.74 cores=0-7
/proc/15288/task/15294/stat : 15294 (cosoco) R 15285 15288 14082 0 -1 4202560 4415 0 0 0 72 2 0 0 20 0 9 0 437686317 757432320 46088 33554432000 4194304 6211092 140720357958480 140650486708904 5446643 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15295] ppid=15285 vsize=739680 memory=301741373374332954 CPUtime=0.75 cores=0-7
/proc/15288/task/15295/stat : 15295 (cosoco) R 15285 15288 14082 0 -1 4202560 3786 0 0 0 75 0 0 0 20 0 9 0 437686317 757432320 46088 33554432000 4194304 6211092 140720357958480 140650478315944 5164850 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15296] ppid=15285 vsize=739680 memory=316378093722009915 CPUtime=0.75 cores=0-7
/proc/15288/task/15296/stat : 15296 (cosoco) R 15285 15288 14082 0 -1 4202560 2943 0 0 0 75 0 0 0 20 0 9 0 437686317 757432320 46088 33554432000 4194304 6211092 140720357958480 140650469923512 140650528308639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15297] ppid=15285 vsize=739680 memory=15255943717849727 CPUtime=0.75 cores=0-7
/proc/15288/task/15297/stat : 15297 (cosoco) R 15285 15288 14082 0 -1 4202560 3079 0 0 0 74 1 0 0 20 0 9 0 437686317 757432320 46088 33554432000 4194304 6211092 140720357958480 140650461530824 5440817 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 739680 KiB
Current children cumulated memory: 184352 KiB

[startup+6.30523 s]
/proc/loadavg: 5.36 5.29 6.64 10/208 15297
/proc/meminfo: memFree=31768404/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=740580 memory=187416 CPUtime=33.91 cores=0-7
/proc/15288/stat : 15288 (cosoco) S 15285 15288 14082 0 -1 1077944320 163103 0 0 0 3364 27 0 0 20 0 9 0 437686083 758353920 46854 33554432000 4194304 6211092 140720357958480 140720357956736 140650543423223 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 185145 46854 853 493 0 178450 0
[pid=15288/tid=15290] ppid=15285 vsize=740580 memory=0 CPUtime=3.94 cores=0-7
/proc/15288/task/15290/stat : 15290 (cosoco) R 15285 15288 14082 0 -1 4202560 13453 0 0 0 392 2 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650520279736 140650528306764 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15291] ppid=15285 vsize=740580 memory=187416 CPUtime=3.94 cores=0-7
/proc/15288/task/15291/stat : 15291 (cosoco) R 15285 15288 14082 0 -1 4202560 13149 0 0 0 393 1 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650511886984 5451500 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15292] ppid=15285 vsize=740580 memory=140670077150847 CPUtime=3.94 cores=0-7
/proc/15288/task/15292/stat : 15292 (cosoco) R 15285 15288 14082 0 -1 4202560 12050 0 0 0 391 3 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650503494328 5392723 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15293] ppid=15285 vsize=740580 memory=0 CPUtime=3.94 cores=0-7
/proc/15288/task/15293/stat : 15293 (cosoco) R 15285 15288 14082 0 -1 4202560 13220 0 0 0 393 1 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650495102040 5451482 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15294] ppid=15285 vsize=740580 memory=0 CPUtime=3.89 cores=0-7
/proc/15288/task/15294/stat : 15294 (cosoco) R 15285 15288 14082 0 -1 4202560 19753 0 0 0 384 5 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650486708872 5009619 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15295] ppid=15285 vsize=740580 memory=0 CPUtime=3.94 cores=0-7
/proc/15288/task/15295/stat : 15295 (cosoco) R 15285 15288 14082 0 -1 4202560 18404 0 0 0 393 1 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650478316168 5446927 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15296] ppid=15285 vsize=740580 memory=6944656592455350634 CPUtime=3.94 cores=0-7
/proc/15288/task/15296/stat : 15296 (cosoco) R 15285 15288 14082 0 -1 4202560 13076 0 0 0 393 1 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650469923512 5069069 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15297] ppid=15285 vsize=740580 memory=7959677418182421067 CPUtime=3.95 cores=0-7
/proc/15288/task/15297/stat : 15297 (cosoco) R 15285 15288 14082 0 -1 4202560 13188 0 0 0 392 3 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650461530760 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
Current children cumulated CPU time: 33.91 s
Current children cumulated vsize: 740580 KiB
Current children cumulated memory: 187416 KiB

[startup+11.0335 s]
# the end of solver process 15288 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=71.0482 s, system=0.437717 s

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

[startup+6.40623 s]
/proc/loadavg: 5.36 5.29 6.64 10/208 15297
/proc/meminfo: memFree=31768404/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=740580 memory=187416 CPUtime=34.71 cores=0-7
/proc/15288/stat : 15288 (cosoco) S 15285 15288 14082 0 -1 1077944320 163154 0 0 0 3444 27 0 0 20 0 9 0 437686083 758353920 46854 33554432000 4194304 6211092 140720357958480 140720357956736 140650543423223 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 185145 46854 853 493 0 178450 0
[pid=15288/tid=15290] ppid=15285 vsize=740580 memory=6935054825532540783 CPUtime=4.04 cores=0-7
/proc/15288/task/15290/stat : 15290 (cosoco) R 15285 15288 14082 0 -1 4202560 13463 0 0 0 402 2 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650520279736 5451595 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15291] ppid=15285 vsize=740580 memory=288230583182832901 CPUtime=4.04 cores=0-7
/proc/15288/task/15291/stat : 15291 (cosoco) R 15285 15288 14082 0 -1 4202560 13149 0 0 0 403 1 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650511886984 5480253 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15292] ppid=15285 vsize=740580 memory=16105887783516823 CPUtime=4.04 cores=0-7
/proc/15288/task/15292/stat : 15292 (cosoco) R 15285 15288 14082 0 -1 4202560 12051 0 0 0 401 3 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650503494328 5440716 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15293] ppid=15285 vsize=740580 memory=13806 CPUtime=4.05 cores=0-7
/proc/15288/task/15293/stat : 15293 (cosoco) R 15285 15288 14082 0 -1 4202560 13220 0 0 0 404 1 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650495102040 5451484 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15294] ppid=15285 vsize=740580 memory=22791 CPUtime=3.99 cores=0-7
/proc/15288/task/15294/stat : 15294 (cosoco) R 15285 15288 14082 0 -1 4202560 19792 0 0 0 394 5 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650486708872 5446622 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15295] ppid=15285 vsize=740580 memory=-7003737579269690708 CPUtime=4.04 cores=0-7
/proc/15288/task/15295/stat : 15295 (cosoco) R 15285 15288 14082 0 -1 4202560 18405 0 0 0 403 1 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650478316168 4982624 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15296] ppid=15285 vsize=740580 memory=7381229834859799400 CPUtime=4.04 cores=0-7
/proc/15288/task/15296/stat : 15296 (cosoco) R 15285 15288 14082 0 -1 4202560 13076 0 0 0 403 1 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650469923512 140650528308639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15297] ppid=15285 vsize=740580 memory=8099561564667007843 CPUtime=4.05 cores=0-7
/proc/15288/task/15297/stat : 15297 (cosoco) R 15285 15288 14082 0 -1 4202560 13188 0 0 0 402 3 0 0 20 0 9 0 437686317 758353920 46854 33554432000 4194304 6211092 140720357958480 140650461530760 140650528306764 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
Current children cumulated CPU time: 34.71 s
Current children cumulated vsize: 740580 KiB
Current children cumulated memory: 187416 KiB

[startup+9.60123 s]
/proc/loadavg: 5.36 5.29 6.64 9/208 15297
/proc/meminfo: memFree=31767884/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=740060 memory=187032 CPUtime=60.23 cores=0-7
/proc/15288/stat : 15288 (cosoco) S 15285 15288 14082 0 -1 1077944320 252653 0 0 0 5986 37 0 0 20 0 9 0 437686083 757821440 46758 33554432000 4194304 6211092 140720357958480 140720357956736 140650543423223 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 185015 46758 853 493 0 178320 0
[pid=15288/tid=15290] ppid=15285 vsize=740060 memory=6935054825532540783 CPUtime=7.24 cores=0-7
/proc/15288/task/15290/stat : 15290 (cosoco) R 15285 15288 14082 0 -1 4202560 23327 0 0 0 721 3 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650520279736 5009022 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15291] ppid=15285 vsize=740060 memory=6944656592387989600 CPUtime=7.23 cores=0-7
/proc/15288/task/15291/stat : 15291 (cosoco) R 15285 15288 14082 0 -1 4202560 22541 0 0 0 721 2 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650511887688 5446927 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15292] ppid=15285 vsize=740060 memory=6655300316396806240 CPUtime=7.24 cores=0-7
/proc/15288/task/15292/stat : 15292 (cosoco) R 15285 15288 14082 0 -1 4202560 22158 0 0 0 719 5 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650503494328 4982624 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15293] ppid=15285 vsize=740060 memory=6944656592387989600 CPUtime=7.24 cores=0-7
/proc/15288/task/15293/stat : 15293 (cosoco) R 15285 15288 14082 0 -1 4202560 23497 0 0 0 722 2 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650495102040 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15294] ppid=15285 vsize=740060 memory=0 CPUtime=7.14 cores=0-7
/proc/15288/task/15294/stat : 15294 (cosoco) R 15285 15288 14082 0 -1 4202560 34719 0 0 0 707 7 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650486708872 5451432 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15295] ppid=15285 vsize=740060 memory=288230583149278449 CPUtime=7.24 cores=0-7
/proc/15288/task/15295/stat : 15295 (cosoco) R 15285 15288 14082 0 -1 4202560 33161 0 0 0 721 3 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650478316168 5009164 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15296] ppid=15285 vsize=740060 memory=13851875942355461 CPUtime=7.24 cores=0-7
/proc/15288/task/15296/stat : 15296 (cosoco) R 15285 15288 14082 0 -1 4202560 22946 0 0 0 722 2 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650469923512 5446193 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15297] ppid=15285 vsize=740060 memory=6944656592455360604 CPUtime=7.24 cores=0-7
/proc/15288/task/15297/stat : 15297 (cosoco) R 15285 15288 14082 0 -1 4202560 23494 0 0 0 720 4 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650461531408 5068958 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
Current children cumulated CPU time: 60.23 s
Current children cumulated vsize: 740060 KiB
Current children cumulated memory: 187032 KiB

[startup+10.4012 s]
/proc/loadavg: 5.57 5.34 6.64 9/208 15297
/proc/meminfo: memFree=31767664/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=740060 memory=187032 CPUtime=66.62 cores=0-7
/proc/15288/stat : 15288 (cosoco) S 15285 15288 14082 0 -1 1077944320 292975 0 0 0 6621 41 0 0 20 0 9 0 437686083 757821440 46758 33554432000 4194304 6211092 140720357958480 140720357956736 140650543423223 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 185015 46758 853 493 0 178320 0
[pid=15288/tid=15290] ppid=15285 vsize=740060 memory=4132769004644038186 CPUtime=8.04 cores=0-7
/proc/15288/task/15290/stat : 15290 (cosoco) R 15285 15288 14082 0 -1 4202560 28293 0 0 0 800 4 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650520279736 140650528303028 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15291] ppid=15285 vsize=740060 memory=-1391509512798377362 CPUtime=8.04 cores=0-7
/proc/15288/task/15291/stat : 15291 (cosoco) R 15285 15288 14082 0 -1 4202560 27437 0 0 0 801 3 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650511887688 5193312 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15292] ppid=15285 vsize=740060 memory=281331364153888 CPUtime=8.04 cores=0-7
/proc/15288/task/15292/stat : 15292 (cosoco) R 15285 15288 14082 0 -1 4202560 26228 0 0 0 799 5 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650503494328 5068965 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15293] ppid=15285 vsize=740060 memory=0 CPUtime=8.04 cores=0-7
/proc/15288/task/15293/stat : 15293 (cosoco) R 15285 15288 14082 0 -1 4202560 28032 0 0 0 802 2 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650495102040 5068958 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15294] ppid=15285 vsize=740060 memory=4137293581110450563 CPUtime=7.92 cores=0-7
/proc/15288/task/15294/stat : 15294 (cosoco) R 15285 15288 14082 0 -1 4202560 40735 0 0 0 785 7 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650486708872 5068981 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15295] ppid=15285 vsize=740060 memory=-9178176117148050014 CPUtime=8.04 cores=0-7
/proc/15288/task/15295/stat : 15295 (cosoco) R 15285 15288 14082 0 -1 4202560 40554 0 0 0 800 4 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650478316168 5065939 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15296] ppid=15285 vsize=740060 memory=6944656592455360569 CPUtime=8.04 cores=0-7
/proc/15288/task/15296/stat : 15296 (cosoco) R 15285 15288 14082 0 -1 4202560 27919 0 0 0 801 3 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650469923512 5009168 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15297] ppid=15285 vsize=740060 memory=187032 CPUtime=8.03 cores=0-7
/proc/15288/task/15297/stat : 15297 (cosoco) R 15285 15288 14082 0 -1 4202560 26967 0 0 0 799 4 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650461531408 5446226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
Current children cumulated CPU time: 66.62 s
Current children cumulated vsize: 740060 KiB
Current children cumulated memory: 187032 KiB

[startup+10.8012 s]
/proc/loadavg: 5.57 5.34 6.64 9/208 15297
/proc/meminfo: memFree=31767664/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=740060 memory=187032 CPUtime=69.81 cores=0-7
/proc/15288/stat : 15288 (cosoco) S 15285 15288 14082 0 -1 1077944320 294148 0 0 0 6940 41 0 0 20 0 9 0 437686083 757821440 46758 33554432000 4194304 6211092 140720357958480 140720357956736 140650543423223 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 185015 46758 853 493 0 178320 0
[pid=15288/tid=15290] ppid=15285 vsize=740060 memory=6935054825532540783 CPUtime=8.44 cores=0-7
/proc/15288/task/15290/stat : 15290 (cosoco) R 15285 15288 14082 0 -1 4202560 28492 0 0 0 840 4 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650520279736 5451548 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15291] ppid=15285 vsize=740060 memory=187176 CPUtime=8.44 cores=0-7
/proc/15288/task/15291/stat : 15291 (cosoco) R 15285 15288 14082 0 -1 4202560 27452 0 0 0 841 3 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650511887688 5452153 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15292] ppid=15285 vsize=740060 memory=1716 CPUtime=8.44 cores=0-7
/proc/15288/task/15292/stat : 15292 (cosoco) R 15285 15288 14082 0 -1 4202560 26243 0 0 0 839 5 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650503494328 140650528303011 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15293] ppid=15285 vsize=740060 memory=1216 CPUtime=8.44 cores=0-7
/proc/15288/task/15293/stat : 15293 (cosoco) R 15285 15288 14082 0 -1 4202560 28293 0 0 0 842 2 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650495102040 5451477 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15294] ppid=15285 vsize=740060 memory=1000 CPUtime=8.32 cores=0-7
/proc/15288/task/15294/stat : 15294 (cosoco) R 15285 15288 14082 0 -1 4202560 40739 0 0 0 825 7 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650486708872 5068981 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15295] ppid=15285 vsize=740060 memory=8008 CPUtime=8.44 cores=0-7
/proc/15288/task/15295/stat : 15295 (cosoco) R 15285 15288 14082 0 -1 4202560 40606 0 0 0 840 4 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650478316168 5451416 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15296] ppid=15285 vsize=740060 memory=6935054825532540783 CPUtime=8.44 cores=0-7
/proc/15288/task/15296/stat : 15296 (cosoco) R 15285 15288 14082 0 -1 4202560 27919 0 0 0 841 3 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650469923512 5454160 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
[pid=15288/tid=15297] ppid=15285 vsize=740060 memory=0 CPUtime=8.43 cores=0-7
/proc/15288/task/15297/stat : 15297 (cosoco) R 15285 15288 14082 0 -1 4202560 27594 0 0 0 839 4 0 0 20 0 9 0 437686317 757821440 46758 33554432000 4194304 6211092 140720357958480 140650461531408 5451500 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
Current children cumulated CPU time: 69.81 s
Current children cumulated vsize: 740060 KiB
Current children cumulated memory: 187032 KiB

[startup+11.0013 s]*
/proc/loadavg: 5.57 5.34 6.64 8/207 15297
/proc/meminfo: memFree=31768352/32770624 swapFree=66970520/67108860
[pid=15288] ppid=15285 vsize=739028 memory=186412 CPUtime=71.45 cores=0-7
/proc/15288/stat : 15288 (cosoco) S 15285 15288 14082 0 -1 1077944320 296905 0 0 0 7104 41 0 0 20 0 2 0 437686083 756764672 46603 33554432000 4194304 6211092 140720357958480 140720357956736 140650543423223 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
/proc/15288/statm: 184757 46603 854 493 0 178062 0
[pid=15288/tid=15294] ppid=15285 vsize=739028 memory=281331363741936 CPUtime=8.53 cores=0-7
/proc/15288/task/15294/stat : 15294 (cosoco) R 15285 15288 14082 0 -1 4202560 41873 0 0 0 846 7 0 0 20 0 2 0 437686317 756764672 46603 33554432000 4194304 6211092 140720357958480 140650486709576 5072868 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34664448 140720357962769 140720357962861 140720357962861 140720357965774 0
Current children cumulated CPU time: 71.45 s
Current children cumulated vsize: 739028 KiB
Current children cumulated memory: 186412 KiB

Child status: 0
Real time (s): 11.0335
CPU time (s): 71.4859
CPU user time (s): 71.0482
CPU system time (s): 0.437717
CPU usage (%): 647.896
Max. virtual memory (cumulated for all children) (KiB): 740712
Max. memory (cumulated for all children) (KiB): 187416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.0482
system time used= 0.437717
maximum resident set size= 187416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297084
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= 2943
involuntary context switches= 625


# summary of solver processes directly reported to runsolver:
#   pid: 15288
#   total CPU time (s): 71.4859
#   total CPU user time (s): 71.0482
#   total CPU system time (s): 0.437717

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

The end

Launcher Data 

Begin job on node135 at 2019-09-16 08:12:05
IDJOB=4398440
IDBENCH=139745
IDSOLVER=2851
FILE ID=node135/4398440-1568614365
RUNJOBID= node135-1568606289-14109
PBS_JOBID= 21703426
Free space on /tmp= 61372 MiB

SOLVER NAME= cosoco 2.O 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-4398440-1568614365/watcher-4398440-1568614365 -o /tmp/evaluation-result-4398440-1568614365/solver-4398440-1568614365 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568606289-14109 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398440-1568614365.xml

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

MD5SUM BENCH= 23e84b7c24701222a8a18862c478c748
RANDOM SEED=1010673397

node135.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.76
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.76
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.76
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.76
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:        31950688 kB
MemAvailable:   31895924 kB
Buffers:           46244 kB
Cached:           165456 kB
SwapCached:        32644 kB
Active:           144060 kB
Inactive:         106260 kB
Active(anon):       2316 kB
Inactive(anon):    79520 kB
Active(file):     141744 kB
Inactive(file):    26740 kB
Unevictable:      109492 kB
Mlocked:          109492 kB
SwapTotal:      67108860 kB
SwapFree:       66970520 kB
Dirty:              2696 kB
Writeback:             4 kB
AnonPages:        116704 kB
Mapped:            41668 kB
Shmem:             34560 kB
Slab:             159456 kB
SReclaimable:     128404 kB
SUnreclaim:        31052 kB
KernelStack:        3600 kB
PageTables:         6068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61368 MiB
End job on node135 at 2019-09-16 08:12:16