2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
cosoco 2	? (TO)		2520.04	2520.01

0.10/0.14	c
0.10/0.14	c This is cosoco 2.00 --  
0.10/0.14	c
0.10/0.14	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389879-1568326655.xml 
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.14	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
0.10/0.15	0
2520.03/2520.00	c enable optimization
2520.03/2520.00	c ========================================[ Problem Statistics ]===========================================
2520.03/2520.00	c |                                                                                                       
2520.03/2520.00	c |  Parse time        :         0.16 s 
2520.03/2520.00	c |
2520.03/2520.00	c |               Variables: 7590
2520.03/2520.00	c |            Domain Sizes: 2..166
2520.03/2520.00	c |
2520.03/2520.00	c |             Constraints: 2079
2520.03/2520.00	c |                   Arity: 2..690  -- Binary: 689
2520.03/2520.00	c | 
2520.03/2520.00	c |                   Types: 
2520.03/2520.00	c |                          (X -Y <= k): 689
2520.03/2520.00	c |                          Lex: 689
2520.03/2520.00	c |                          Sum: 701
2520.03/2520.00	c |                          
2520.03/2520.00	c |               Objective: Minimize Sum
2520.03/2520.00	
2520.03/2520.00	c =========================================================================================================
2520.03/2520.00	
2520.03/2520.00	c *** INTERRUPTED ***
2520.03/2520.00	c call to solver        : 0
2520.03/2520.00	c
2520.03/2520.00	c restarts              : 46          
2520.03/2520.00	c conflicts             : 82112        (33 /sec)
2520.03/2520.00	c decisions             : 4750088      (1885 /sec)
2520.03/2520.00	c propagations          : 474567862   (188326 /sec)
2520.03/2520.00	c root propagations     : 670680      
2520.03/2520.00	c filter calls          : 175257487      (69549 /sec)
2520.03/2520.00	c useless filter calls  : 117789712      (67 %)
2520.03/2520.00	c Memory used           : 186.08 MB
2520.03/2520.00	c Best bound time (wc)  : -1.56833e+09 s
2520.03/2520.00	c CPU time              : 2519.92 s
2520.03/2520.00	c real time             : 2520.01 s
2520.03/2520.00	
2520.03/2520.00	c No Bound found!
2520.03/2520.00	
2520.03/2520.00	s UNKNOWN

Verifier Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389879-1568326655/watcher-4389879-1568326655 -o /tmp/evaluation-result-4389879-1568326655/solver-4389879-1568326655 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568311188-14001 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389879-1568326655.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16839, runsolver pid=16836
Current StackSize limit: 8192 KiB


[startup+0.100114 s]*
/proc/loadavg: 2.22 2.14 2.09 3/199 16840
/proc/meminfo: memFree=29076760/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=43716 memory=19916 CPUtime=0.1 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 5194 0 0 0 10 0 0 0 20 0 1 0 408930372 44765184 4979 33554432000 4194304 6210612 140724544151296 140724544147832 139808015588325 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 10929 4979 836 493 0 4234 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 19916 KiB

[startup+0.209801 s]*
/proc/loadavg: 2.22 2.14 2.09 3/199 16840
/proc/meminfo: memFree=29016496/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=100508 memory=76968 CPUtime=0.21 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 19469 0 0 0 18 3 0 0 20 0 1 0 408930372 102920192 19242 33554432000 4194304 6210612 140724544151296 140724544147832 139808015585866 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 25127 19242 848 493 0 18432 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 100508 KiB
Current children cumulated memory: 76968 KiB

[startup+0.31001 s]*
/proc/loadavg: 2.22 2.14 2.09 3/199 16840
/proc/meminfo: memFree=29016496/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=100508 memory=77232 CPUtime=0.31 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 19471 0 0 0 28 3 0 0 20 0 1 0 408930372 102920192 19308 33554432000 4194304 6210612 140724544151296 140724544147832 5397066 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 25127 19308 889 493 0 18432 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 100508 KiB
Current children cumulated memory: 77232 KiB

[startup+0.700334 s]
/proc/loadavg: 2.22 2.14 2.09 3/199 16840
/proc/meminfo: memFree=29013892/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=105524 memory=81984 CPUtime=0.69 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 20704 0 0 0 66 3 0 0 20 0 1 0 408930372 108056576 20496 33554432000 4194304 6210612 140724544151296 140724544149560 5149290 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 26381 20496 890 493 0 19686 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 105524 KiB
Current children cumulated memory: 81984 KiB

[startup+1.50028 s]
/proc/loadavg: 2.22 2.14 2.09 3/200 16842
/proc/meminfo: memFree=29010448/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=105524 memory=81984 CPUtime=1.49 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 20709 0 0 0 146 3 0 0 20 0 1 0 408930372 108056576 20496 33554432000 4194304 6210612 140724544151296 140724544148504 5155864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 26381 20496 890 493 0 19686 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105524 KiB
Current children cumulated memory: 81984 KiB

[startup+3.10959 s]
/proc/loadavg: 2.22 2.14 2.09 3/199 16842
/proc/meminfo: memFree=28935580/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=181080 memory=157532 CPUtime=3.1 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 49596 0 0 0 305 5 0 0 20 0 1 0 408930372 185425920 39383 33554432000 4194304 6210612 140724544151296 140724544148504 5148849 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 45270 39383 890 493 0 38575 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 181080 KiB
Current children cumulated memory: 157532 KiB

[startup+6.30028 s]
/proc/loadavg: 2.04 2.10 2.08 3/199 16842
/proc/meminfo: memFree=28935632/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=181212 memory=157676 CPUtime=6.29 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 70517 0 0 0 622 7 0 0 20 0 1 0 408930372 185561088 39419 33554432000 4194304 6210612 140724544151296 140724544148536 5148667 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 45303 39419 890 493 0 38608 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 181212 KiB
Current children cumulated memory: 157676 KiB

[startup+12.7003 s]
/proc/loadavg: 2.04 2.10 2.08 3/199 16842
/proc/meminfo: memFree=28935136/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=181212 memory=157676 CPUtime=12.69 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 83184 0 0 0 1262 7 0 0 20 0 1 0 408930372 185561088 39419 33554432000 4194304 6210612 140724544151296 140724544148520 5185856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 45303 39419 890 493 0 38608 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 181212 KiB
Current children cumulated memory: 157676 KiB

[startup+25.5003 s]
/proc/loadavg: 2.03 2.10 2.08 3/199 16842
/proc/meminfo: memFree=28934284/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=181212 memory=157696 CPUtime=25.48 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 104053 0 0 0 2540 8 0 0 20 0 1 0 408930372 185561088 39424 33554432000 4194304 6210612 140724544151296 140724544148520 5148768 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 45303 39424 890 493 0 38608 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 181212 KiB
Current children cumulated memory: 157696 KiB

[startup+51.1098 s]
/proc/loadavg: 2.02 2.09 2.07 3/201 16846
/proc/meminfo: memFree=28927328/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=181212 memory=157696 CPUtime=51.09 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 116734 0 0 0 5100 9 0 0 20 0 1 0 408930372 185561088 39424 33554432000 4194304 6210612 140724544151296 140724544148520 5148853 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 45303 39424 890 493 0 38608 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 181212 KiB
Current children cumulated memory: 157696 KiB

[startup+102.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/200 16849
/proc/meminfo: memFree=28926380/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=181404 memory=157856 CPUtime=102.28 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 122888 0 0 0 10219 9 0 0 20 0 1 0 408930372 185757696 39464 33554432000 4194304 6210612 140724544151296 140724544148600 5192892 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 45351 39464 890 493 0 38656 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 181404 KiB
Current children cumulated memory: 157856 KiB

[startup+162.3 s]
/proc/loadavg: 2.66 2.24 2.13 3/201 16854
/proc/meminfo: memFree=28923316/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=184200 memory=160508 CPUtime=162.27 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 124063 0 0 0 16218 9 0 0 20 0 1 0 408930372 188620800 40127 33554432000 4194304 6210612 140724544151296 140724544148536 5149439 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 46050 40127 890 493 0 39355 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 184200 KiB
Current children cumulated memory: 160508 KiB

[startup+222.3 s]
/proc/loadavg: 2.64 2.34 2.17 3/202 16866
/proc/meminfo: memFree=28922100/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=185008 memory=161432 CPUtime=222.27 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 125209 0 0 0 22218 9 0 0 20 0 1 0 408930372 189448192 40358 33554432000 4194304 6210612 140724544151296 140724544148536 5148325 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 46252 40358 890 493 0 39557 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 185008 KiB
Current children cumulated memory: 161432 KiB

[startup+282.3 s]
/proc/loadavg: 2.28 2.30 2.16 3/202 16872
/proc/meminfo: memFree=28922048/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=185140 memory=161708 CPUtime=282.28 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 126363 0 0 0 28218 10 0 0 20 0 1 0 408930372 189583360 40427 33554432000 4194304 6210612 140724544151296 140724544148520 5148311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 46285 40427 890 493 0 39590 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 185140 KiB
Current children cumulated memory: 161708 KiB

[startup+342.3 s]
/proc/loadavg: 2.10 2.24 2.15 3/201 16876
/proc/meminfo: memFree=28918596/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=187688 memory=164340 CPUtime=342.28 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 127659 0 0 0 34218 10 0 0 20 0 1 0 408930372 192192512 41085 33554432000 4194304 6210612 140724544151296 140724544148504 5150635 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 46922 41085 890 493 0 40227 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 187688 KiB
Current children cumulated memory: 164340 KiB

[startup+402.3 s]
/proc/loadavg: 2.04 2.20 2.14 3/201 16880
/proc/meminfo: memFree=28918708/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=187688 memory=164364 CPUtime=402.28 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 128336 0 0 0 40218 10 0 0 20 0 1 0 408930372 192192512 41091 33554432000 4194304 6210612 140724544151296 140724544148504 5192880 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 46922 41091 890 493 0 40227 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 187688 KiB
Current children cumulated memory: 164364 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.16 2.13 3/200 16886
/proc/meminfo: memFree=28919756/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=187688 memory=164364 CPUtime=462.28 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 129103 0 0 0 46218 10 0 0 20 0 1 0 408930372 192192512 41091 33554432000 4194304 6210612 140724544151296 140724544148504 5149050 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 46922 41091 890 493 0 40227 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 187688 KiB
Current children cumulated memory: 164364 KiB


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

/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17005
/proc/meminfo: memFree=28916384/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=1782.31 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 136879 0 0 0 178220 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5149306 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17009
/proc/meminfo: memFree=28917148/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=1842.31 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 137091 0 0 0 184220 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5397066 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17015
/proc/meminfo: memFree=28917140/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=1902.31 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 137317 0 0 0 190220 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5148311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17019
/proc/meminfo: memFree=28917224/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=1962.31 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 137529 0 0 0 196220 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5409301 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17031
/proc/meminfo: memFree=28916840/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=2022.31 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 137752 0 0 0 202220 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5148853 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 17037
/proc/meminfo: memFree=28917184/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=2082.31 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 137971 0 0 0 208220 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5192880 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 17041
/proc/meminfo: memFree=28917052/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=2142.31 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 138197 0 0 0 214220 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5409293 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17045
/proc/meminfo: memFree=28917016/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=2202.31 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 138439 0 0 0 220220 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5148496 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17112
/proc/meminfo: memFree=28920044/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=2262.32 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 138668 0 0 0 226221 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5148345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17117
/proc/meminfo: memFree=28920400/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=2322.32 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 138900 0 0 0 232221 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5397066 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17121
/proc/meminfo: memFree=28919032/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=2382.32 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 139112 0 0 0 238221 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5148316 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17127
/proc/meminfo: memFree=28919128/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190000 memory=166604 CPUtime=2442.32 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 139366 0 0 0 244221 11 0 0 20 0 1 0 408930372 194560000 41651 33554432000 4194304 6210612 140724544151296 140724544148536 5148311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47500 41651 890 493 0 40805 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 190000 KiB
Current children cumulated memory: 166604 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17132
/proc/meminfo: memFree=28919140/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190540 memory=167104 CPUtime=2502.32 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 139722 0 0 0 250221 11 0 0 20 0 1 0 408930372 195112960 41776 33554432000 4194304 6210612 140724544151296 140724544148696 5148316 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47635 41776 890 493 0 40940 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 190540 KiB
Current children cumulated memory: 167104 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 17133
/proc/meminfo: memFree=28919100/32770624 swapFree=66999908/67108860
[pid=16839] ppid=16836 vsize=190540 memory=167156 CPUtime=2520.03 cores=1,3,5,7
/proc/16839/stat : 16839 (cosoco) R 16836 16839 13969 0 -1 4202496 139962 0 0 0 251992 11 0 0 20 0 1 0 408930372 195112960 41789 33554432000 4194304 6210612 140724544151296 140724544148696 5148319 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 28565504 140724544156683 140724544156785 140724544156785 140724544159694 0
/proc/16839/statm: 47635 41789 890 493 0 40940 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 190540 KiB
Current children cumulated memory: 167156 KiB

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

[startup+2520.01 s]
# the end of solver process 16839 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.92 s, system=0.117002 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.04
CPU user time (s): 2519.92
CPU system time (s): 0.117002
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 190540
Max. memory (cumulated for all children) (KiB): 167156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.117002
maximum resident set size= 167224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140016
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= 30
involuntary context switches= 804


# summary of solver processes directly reported to runsolver:
#   pid: 16839
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.92
#   total CPU system time (s): 0.117002

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

The end

Launcher Data

Begin job on node123 at 2019-09-13 00:16:56
IDJOB=4389879
IDBENCH=124207
IDSOLVER=2829
FILE ID=node123/4389879-1568326655
RUNJOBID= node123-1568311188-14001
PBS_JOBID= 21701126
Free space on /tmp= 56796 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-0.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389879-1568326655/watcher-4389879-1568326655 -o /tmp/evaluation-result-4389879-1568326655/solver-4389879-1568326655 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568311188-14001 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389879-1568326655.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ed46a5b20d86f225200b9362bdb8a529
RANDOM SEED=128115361

node123.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.49
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.49
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.49
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.49
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:        29089660 kB
MemAvailable:   31870440 kB
Buffers:           77936 kB
Cached:          2964108 kB
SwapCached:         7396 kB
Active:          1056832 kB
Inactive:        2000096 kB
Active(anon):       4876 kB
Inactive(anon):    51296 kB
Active(file):    1051956 kB
Inactive(file):  1948800 kB
Unevictable:      107524 kB
Mlocked:          107524 kB
SwapTotal:      67108860 kB
SwapFree:       66999908 kB
Dirty:              2828 kB
Writeback:             0 kB
AnonPages:        136488 kB
Mapped:            44264 kB
Shmem:             32672 kB
Slab:             221040 kB
SReclaimable:     191716 kB
SUnreclaim:        29324 kB
KernelStack:        3504 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     529308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56792 MiB
End job on node123 at 2019-09-13 00:58:56

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t08-0.xml
MD5SUM	ed46a5b20d86f225200b9362bdb8a529
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	579
Best CPU time to get the best result obtained on this benchmark	18.7825
Satisfiable
(Un)Satisfiability was proved
Number of variables	7590
Number of constraints	702
Number of domains	11
Minimum domain size	2
Maximum domain size	166
Distribution of domain sizes	[{"size":2,"count":690},{"size":7,"count":690},{"size":56,"count":690},{"size":64,"count":690},{"size":75,"count":690},{"size":98,"count":690},{"size":120,"count":690},{"size":121,"count":690},{"size":141,"count":690},{"size":162,"count":690},{"size":166,"count":690}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":7590}]
Minimum constraint arity	11
Maximum constraint arity	6900
Distribution of constraint arities	[{"arity":11,"count":690},{"arity":690,"count":11},{"arity":6900,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":700}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4389879

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data