Trace number 4398813

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 parallel? (TO) 2009.51 252.04

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-030-15-2.xml
MD5SUMba573a75edcb56a5f29535772f8b277a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables480
Number of constraints495
Number of domains1
Minimum domain size1932
Maximum domain size1932
Distribution of domain sizes[{"size":1932,"count":480}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":450}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":30},{"arity":2,"count":450},{"arity":30,"count":15}]
Number of extensional constraints0
Number of intensional constraints480
Distribution of constraint types[{"type":"intension","count":480},{"type":"noOverlap","count":15}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

2009.38/252.02	c
2009.38/252.02	c This is cosoco 2.00 --  
2009.38/252.02	c
2009.38/252.02	c command line: cosoco -model -nbcores=8 HOME/instance-4398813-1568604431.xml 
2009.38/252.02	c enable optimization
2009.38/252.02	c ========================================[ Problem Statistics ]===========================================
2009.38/252.02	c |                                                                                                       
2009.38/252.02	c |  Parse time        :         0.20 s 
2009.38/252.02	c |
2009.38/252.02	c |               Variables: 480
2009.38/252.02	c |            Domain Sizes: 1932..1932
2009.38/252.02	c |
2009.38/252.02	c |             Constraints: 7006
2009.38/252.02	c |                   Arity: 1..30  -- Unary: 30  -- Binary: 6975
2009.38/252.02	c | 
2009.38/252.02	c |                   Types: 
2009.38/252.02	c |                          (X -Y <= k): 420
2009.38/252.02	c |                          Disjunctive: 6525
2009.38/252.02	c |                          Intension: 30
2009.38/252.02	c |                          Max constant: 1
2009.38/252.02	c |                          Unary: 30
2009.38/252.02	c |                          
2009.38/252.02	c |               Objective: Minimize Max constant
2009.38/252.02	
2009.38/252.02	c =========================================================================================================
2009.38/252.02	c Parallel mode: Portfolio
2009.38/252.02	c [pFactory][Group N°0] created (threads:8).
2009.38/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
2009.38/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
2009.38/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
2009.38/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
2009.38/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
2009.38/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
2009.38/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
2009.38/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
2009.38/252.02	c [pFactory][Group N°0] concurrent mode: enabled.
2009.38/252.02	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
2009.38/252.02	c [pFactory][Group N°0] task 7 launched on thread 0.
2009.38/252.02	c [pFactory][Group N°0] task 6 launched on thread 1.
2009.38/252.02	c [pFactory][Group N°0] task 5 launched on thread 6.
2009.38/252.02	c [pFactory][Group N°0] task 4 launched on thread 2.
2009.38/252.02	c [pFactory][Group N°0] task 3 launched on thread 7.
2009.38/252.02	c [pFactory][Group N°0] task 2 launched on thread 3.
2009.38/252.02	c [pFactory][Group N°0] task 1 launched on thread 5.
2009.38/252.02	c [pFactory][Group N°0] task 0 launched on thread 4.
2009.38/252.02	
2009.38/252.02	c *** INTERRUPTED ***
2009.38/252.02	c call to solver        : 0
2009.38/252.02	c
2009.38/252.02	c restarts              : 16476       
2009.38/252.02	c conflicts             : 190529       (95 /sec)
2009.38/252.02	c decisions             : 334680       (167 /sec)
2009.38/252.02	c propagations          : 405131144   (201687 /sec)
2009.38/252.02	c root propagations     : 355523      
2009.38/252.02	c filter calls          : 130686949      (65060 /sec)
2009.38/252.02	c useless filter calls  : 122265505      (93 %)
2009.38/252.02	c Memory used           : 1061.31 MB
2009.38/252.02	c Best bound time (wc)  : -1.5686e+09 s
2009.38/252.02	c CPU time              : 2008.72 s
2009.38/252.02	c real time             : 252.017 s
2009.38/252.02	
2009.38/252.02	c No Bound found!
2009.38/252.02	
2009.38/252.02	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 (15046 MiB free)
  memory of node 1: 16384 MiB (15414 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398813-1568604431/watcher-4398813-1568604431 -o /tmp/evaluation-result-4398813-1568604431/solver-4398813-1568604431 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568595972-12105 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398813-1568604431.xml 

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

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


[startup+0.100166 s]*
/proc/loadavg: 8.45 8.69 8.58 2/196 13933
/proc/meminfo: memFree=31113732/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=106104 memory=82340 CPUtime=0.09 cores=0-7
/proc/13932/stat : 13932 (cosoco) R 13929 13932 12078 0 -1 4202496 20803 0 0 0 6 3 0 0 20 0 1 0 436682724 108650496 20585 33554432000 4194304 6211092 140732850082288 140732850078824 140343505050597 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 26526 20585 827 493 0 19831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106104 KiB
Current children cumulated memory: 82340 KiB

[startup+0.209562 s]*
/proc/loadavg: 8.45 8.69 8.58 2/196 13933
/proc/meminfo: memFree=31062396/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=171920 memory=148324 CPUtime=0.21 cores=0-7
/proc/13932/stat : 13932 (cosoco) R 13929 13932 12078 0 -1 4202496 37245 0 0 0 16 5 0 0 20 0 1 0 436682724 176046080 37081 33554432000 4194304 6211092 140732850082288 140732850078824 140343505050597 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 42980 37081 838 493 0 36285 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 171920 KiB
Current children cumulated memory: 148324 KiB

[startup+0.312038 s]*
/proc/loadavg: 8.45 8.69 8.58 6/204 13941
/proc/meminfo: memFree=30978596/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=824600 memory=218776 CPUtime=0.53 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 55155 0 0 0 45 8 0 0 20 0 9 0 436682724 844390400 54694 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 206150 54694 883 493 0 199455 0
[pid=13932/tid=13934] ppid=13929 vsize=824600 memory=6935054825532540783 CPUtime=0.03 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) D 13929 13932 12078 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 9 0 436682752 844390400 54760 33554432000 4194304 6211092 140732850082288 140343497947912 140343505526359 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=824600 memory=4872558044660077418 CPUtime=0.02 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 284 0 0 0 2 0 0 0 20 0 9 0 436682752 844390400 54760 33554432000 4194304 6211092 140732850082288 140343489555048 140343505046334 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=824600 memory=0 CPUtime=0.03 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 265 0 0 0 3 0 0 0 20 0 9 0 436682752 844390400 54958 33554432000 4194304 6211092 140732850082288 140343481162408 140343505046334 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=824600 memory=0 CPUtime=0.03 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 264 0 0 0 3 0 0 0 20 0 9 0 436682752 844390400 54958 33554432000 4194304 6211092 140732850082288 140343472769736 140343505050597 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=824600 memory=6656426216303648864 CPUtime=0.03 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) D 13929 13932 12078 0 -1 4202560 274 0 0 0 3 0 0 0 20 0 9 0 436682752 844390400 54958 33554432000 4194304 6211092 140732850082288 140343464377032 140343505050597 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=824600 memory=0 CPUtime=0.03 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 279 0 0 0 3 0 0 0 20 0 9 0 436682752 844390400 54958 33554432000 4194304 6211092 140732850082288 140343455984328 140343505050597 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=824600 memory=0 CPUtime=0.03 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) D 13929 13932 12078 0 -1 4202560 265 0 0 0 3 0 0 0 20 0 9 0 436682752 844390400 54958 33554432000 4194304 6211092 140732850082288 140343447591592 140343505526359 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=824600 memory=0 CPUtime=0.03 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 266 0 0 0 3 0 0 0 20 0 9 0 436682752 844390400 54958 33554432000 4194304 6211092 140732850082288 140343439198888 140343505046334 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 824600 KiB
Current children cumulated memory: 218776 KiB

[startup+0.701107 s]
/proc/loadavg: 8.45 8.69 8.58 7/204 13941
/proc/meminfo: memFree=30889016/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=1086776 memory=669932 CPUtime=3 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 100811 0 0 0 272 28 0 0 20 0 9 0 436682724 1112858624 167483 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 271694 167483 885 493 0 264999 0
[pid=13932/tid=13934] ppid=13929 vsize=1086776 memory=2376 CPUtime=0.36 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) R 13929 13932 12078 0 -1 4202560 5600 0 0 0 34 2 0 0 20 0 9 0 436682752 1112858624 167483 33554432000 4194304 6211092 140732850082288 140343497948176 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=1086776 memory=1768 CPUtime=0.33 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 5594 0 0 0 31 2 0 0 20 0 9 0 436682752 1112858624 167483 33554432000 4194304 6211092 140732850082288 140343489555352 140343505604905 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=1086776 memory=111628 CPUtime=0.34 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 6097 0 0 0 31 3 0 0 20 0 9 0 436682752 1112858624 167483 33554432000 4194304 6211092 140732850082288 140343481162424 5403682 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=804 CPUtime=0.3 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 6093 0 0 0 28 2 0 0 20 0 9 0 436682752 1112858624 167483 33554432000 4194304 6211092 140732850082288 140343472769672 140343505912108 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=1660 CPUtime=0.32 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 6098 0 0 0 30 2 0 0 20 0 9 0 436682752 1112858624 167483 33554432000 4194304 6211092 140732850082288 140343464377360 5389812 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=7100839861465685612 CPUtime=0.33 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 6096 0 0 0 31 2 0 0 20 0 9 0 436682752 1112858624 167483 33554432000 4194304 6211092 140732850082288 140343455984464 140343505604905 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=-7175204567652784766 CPUtime=0.32 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 6099 0 0 0 30 2 0 0 20 0 9 0 436682752 1112858624 167483 33554432000 4194304 6211092 140732850082288 140343447591952 5403640 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=1086776 memory=3054156605268465310 CPUtime=0.36 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 6096 0 0 0 34 2 0 0 20 0 9 0 436682752 1112858624 167483 33554432000 4194304 6211092 140732850082288 140343439198856 5168360 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 1086776 KiB
Current children cumulated memory: 669932 KiB

[startup+1.50111 s]
/proc/loadavg: 8.49 8.70 8.58 9/204 13941
/proc/meminfo: memFree=30511392/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=1086776 memory=684948 CPUtime=9.36 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 145184 0 0 0 888 48 0 0 20 0 9 0 436682724 1112858624 171237 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 271694 171237 887 493 0 264999 0
[pid=13932/tid=13934] ppid=13929 vsize=1086776 memory=6943526294502006880 CPUtime=1.16 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) R 13929 13932 12078 0 -1 4202560 11304 0 0 0 110 6 0 0 20 0 9 0 436682752 1112858624 171237 33554432000 4194304 6211092 140732850082288 140343497947608 140343505971124 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=1086776 memory=0 CPUtime=1.13 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 11828 0 0 0 110 3 0 0 20 0 9 0 436682752 1112858624 171237 33554432000 4194304 6211092 140732850082288 140343489555472 5167904 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=1086776 memory=0 CPUtime=1.14 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 12060 0 0 0 106 8 0 0 20 0 9 0 436682752 1112858624 171237 33554432000 4194304 6211092 140732850082288 140343481162760 5397368 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=7739827803820549220 CPUtime=1.09 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 11952 0 0 0 106 3 0 0 20 0 9 0 436682752 1112858624 171237 33554432000 4194304 6211092 140732850082288 140343472770064 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=5787215008196744544 CPUtime=1.11 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 9521 0 0 0 106 5 0 0 20 0 9 0 436682752 1112858624 171237 33554432000 4194304 6211092 140732850082288 140343464377264 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=0 CPUtime=1.11 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 11914 0 0 0 109 2 0 0 20 0 9 0 436682752 1112858624 171237 33554432000 4194304 6211092 140732850082288 140343455984656 5166618 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=0 CPUtime=1.11 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 11719 0 0 0 109 2 0 0 20 0 9 0 436682752 1112858624 171237 33554432000 4194304 6211092 140732850082288 140343447592064 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=1086776 memory=7598824234097836114 CPUtime=1.15 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 11851 0 0 0 108 7 0 0 20 0 9 0 436682752 1112858624 171237 33554432000 4194304 6211092 140732850082288 140343439199360 5167928 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 1086776 KiB
Current children cumulated memory: 684948 KiB

[startup+3.1111 s]
/proc/loadavg: 8.49 8.70 8.58 9/204 13941
/proc/meminfo: memFree=30512192/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=1086776 memory=685092 CPUtime=22.22 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 190191 0 0 0 2170 52 0 0 20 0 9 0 436682724 1112858624 171273 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 271694 171273 887 493 0 264999 0
[pid=13932/tid=13934] ppid=13929 vsize=1086776 memory=56 CPUtime=2.77 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) R 13929 13932 12078 0 -1 4202560 13659 0 0 0 271 6 0 0 20 0 9 0 436682752 1112858624 171273 33554432000 4194304 6211092 140732850082288 140343497947608 5393040 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=1086776 memory=0 CPUtime=2.75 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 18943 0 0 0 271 4 0 0 20 0 9 0 436682752 1112858624 171273 33554432000 4194304 6211092 140732850082288 140343489555472 5168336 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=1086776 memory=0 CPUtime=2.74 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 18562 0 0 0 266 8 0 0 20 0 9 0 436682752 1112858624 171273 33554432000 4194304 6211092 140732850082288 140343481162760 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=0 CPUtime=2.67 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 18871 0 0 0 264 3 0 0 20 0 9 0 436682752 1112858624 171273 33554432000 4194304 6211092 140732850082288 140343472770064 5167904 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=0 CPUtime=2.72 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 18571 0 0 0 265 7 0 0 20 0 9 0 436682752 1112858624 171273 33554432000 4194304 6211092 140732850082288 140343464377360 140343505050075 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=200308684778719 CPUtime=2.73 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 16829 0 0 0 270 3 0 0 20 0 9 0 436682752 1112858624 171273 33554432000 4194304 6211092 140732850082288 140343455984656 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=0 CPUtime=2.72 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 12989 0 0 0 270 2 0 0 20 0 9 0 436682752 1112858624 171273 33554432000 4194304 6211092 140732850082288 140343447592064 5167888 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=1086776 memory=280969110407424 CPUtime=2.76 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 18730 0 0 0 269 7 0 0 20 0 9 0 436682752 1112858624 171273 33554432000 4194304 6211092 140732850082288 140343439199360 5443006 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 22.22 s
Current children cumulated vsize: 1086776 KiB
Current children cumulated memory: 685092 KiB

[startup+6.3011 s]
/proc/loadavg: 8.45 8.68 8.58 9/204 13941
/proc/meminfo: memFree=30512228/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=1086776 memory=685280 CPUtime=47.68 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 252829 0 0 0 4711 57 0 0 20 0 9 0 436682724 1112858624 171320 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 271694 171320 887 493 0 264999 0
[pid=13932/tid=13934] ppid=13929 vsize=1086776 memory=140484555170424 CPUtime=5.96 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) R 13929 13932 12078 0 -1 4202560 23538 0 0 0 589 7 0 0 20 0 9 0 436682752 1112858624 171320 33554432000 4194304 6211092 140732850082288 140343497947688 5168369 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=1086776 memory=7596561460631916901 CPUtime=5.94 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 25640 0 0 0 589 5 0 0 20 0 9 0 436682752 1112858624 171320 33554432000 4194304 6211092 140732850082288 140343489555144 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=1086776 memory=280969110272800 CPUtime=5.94 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 25145 0 0 0 585 9 0 0 20 0 9 0 436682752 1112858624 171320 33554432000 4194304 6211092 140732850082288 140343481162760 5454168 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=6944656592455360604 CPUtime=5.82 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 25190 0 0 0 578 4 0 0 20 0 9 0 436682752 1112858624 171320 33554432000 4194304 6211092 140732850082288 140343472770064 5168192 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=140484555314072 CPUtime=5.91 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 25597 0 0 0 583 8 0 0 20 0 9 0 436682752 1112858624 171320 33554432000 4194304 6211092 140732850082288 140343464377264 5446625 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=7306916055891837009 CPUtime=5.92 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 24714 0 0 0 589 3 0 0 20 0 9 0 436682752 1112858624 171320 33554432000 4194304 6211092 140732850082288 140343455984656 5168225 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=685280 CPUtime=5.91 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 24289 0 0 0 588 3 0 0 20 0 9 0 436682752 1112858624 171320 33554432000 4194304 6211092 140732850082288 140343447591952 5167570 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=1086776 memory=0 CPUtime=5.95 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 25678 0 0 0 587 8 0 0 20 0 9 0 436682752 1112858624 171320 33554432000 4194304 6211092 140732850082288 140343439199360 5168369 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 47.68 s
Current children cumulated vsize: 1086776 KiB
Current children cumulated memory: 685280 KiB

[startup+12.7011 s]
/proc/loadavg: 8.42 8.67 8.57 9/204 13941
/proc/meminfo: memFree=30509668/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=1086776 memory=685300 CPUtime=98.76 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 304936 0 0 0 9815 61 0 0 20 0 9 0 436682724 1112858624 171325 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 271694 171325 887 493 0 264999 0
[pid=13932/tid=13934] ppid=13929 vsize=1086776 memory=685300 CPUtime=12.37 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) R 13929 13932 12078 0 -1 4202560 29598 0 0 0 1229 8 0 0 20 0 9 0 436682752 1112858624 171325 33554432000 4194304 6211092 140732850082288 140343497947608 5168369 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=1086776 memory=1220 CPUtime=12.33 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 31949 0 0 0 1228 5 0 0 20 0 9 0 436682752 1112858624 171325 33554432000 4194304 6211092 140732850082288 140343489554904 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=1086776 memory=685300 CPUtime=12.33 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 31267 0 0 0 1224 9 0 0 20 0 9 0 436682752 1112858624 171325 33554432000 4194304 6211092 140732850082288 140343481162760 5451521 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=3280 CPUtime=12.18 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 31820 0 0 0 1214 4 0 0 20 0 9 0 436682752 1112858624 171325 33554432000 4194304 6211092 140732850082288 140343472770064 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=685000 CPUtime=12.3 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 32174 0 0 0 1222 8 0 0 20 0 9 0 436682752 1112858624 171325 33554432000 4194304 6211092 140732850082288 140343464377264 5186269 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=0 CPUtime=12.31 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 31566 0 0 0 1228 3 0 0 20 0 9 0 436682752 1112858624 171325 33554432000 4194304 6211092 140732850082288 140343455984656 5166660 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=685300 CPUtime=12.26 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 31336 0 0 0 1222 4 0 0 20 0 9 0 436682752 1112858624 171325 33554432000 4194304 6211092 140732850082288 140343447591952 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0

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

/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 42804 0 0 0 2500 10 0 0 20 0 9 0 436682752 1112858624 171339 33554432000 4194304 6211092 140732850082288 140343481162880 5168225 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=685332 CPUtime=24.98 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 43114 0 0 0 2493 5 0 0 20 0 9 0 436682752 1112858624 171339 33554432000 4194304 6211092 140732850082288 140343472770064 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=6390911337647 CPUtime=25.09 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 43485 0 0 0 2500 9 0 0 20 0 9 0 436682752 1112858624 171339 33554432000 4194304 6211092 140732850082288 140343464377264 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=685280 CPUtime=25.1 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 42360 0 0 0 2506 4 0 0 20 0 9 0 436682752 1112858624 171339 33554432000 4194304 6211092 140732850082288 140343455984656 5166698 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=280969110705136 CPUtime=24.85 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 41726 0 0 0 2481 4 0 0 20 0 9 0 436682752 1112858624 171339 33554432000 4194304 6211092 140732850082288 140343447591952 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=1086776 memory=0 CPUtime=25.13 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 43058 0 0 0 2504 9 0 0 20 0 9 0 436682752 1112858624 171339 33554432000 4194304 6211092 140732850082288 140343439199360 5167904 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 200.89 s
Current children cumulated vsize: 1086776 KiB
Current children cumulated memory: 685356 KiB

[startup+51.1111 s]
/proc/loadavg: 8.37 8.62 8.56 10/204 13944
/proc/meminfo: memFree=30509276/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=1086776 memory=685436 CPUtime=405.31 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 434343 0 0 0 40461 70 0 0 20 0 9 0 436682724 1112858624 171359 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 271694 171359 887 493 0 264999 0
[pid=13932/tid=13934] ppid=13929 vsize=1086776 memory=685436 CPUtime=50.76 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) R 13929 13932 12078 0 -1 4202560 45777 0 0 0 5067 9 0 0 20 0 9 0 436682752 1112858624 171359 33554432000 4194304 6211092 140732850082288 140343497947848 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=1086776 memory=7740673289926371696 CPUtime=50.4 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 48023 0 0 0 5034 6 0 0 20 0 9 0 436682752 1112858624 171359 33554432000 4194304 6211092 140732850082288 140343489555144 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=1086776 memory=685432 CPUtime=50.71 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 48057 0 0 0 5060 11 0 0 20 0 9 0 436682752 1112858624 171359 33554432000 4194304 6211092 140732850082288 140343481162880 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=33 CPUtime=50.58 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 48204 0 0 0 5052 6 0 0 20 0 9 0 436682752 1112858624 171359 33554432000 4194304 6211092 140732850082288 140343472770064 5167888 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=56 CPUtime=50.69 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 49145 0 0 0 5060 9 0 0 20 0 9 0 436682752 1112858624 171359 33554432000 4194304 6211092 140732850082288 140343464377264 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=0 CPUtime=50.69 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 47303 0 0 0 5065 4 0 0 20 0 9 0 436682752 1112858624 171359 33554432000 4194304 6211092 140732850082288 140343455984768 5168225 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=685436 CPUtime=50.41 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 46937 0 0 0 5036 5 0 0 20 0 9 0 436682752 1112858624 171359 33554432000 4194304 6211092 140732850082288 140343447591952 5167538 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=1086776 memory=56 CPUtime=50.74 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 47859 0 0 0 5064 10 0 0 20 0 9 0 436682752 1112858624 171359 33554432000 4194304 6211092 140732850082288 140343439199360 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 405.31 s
Current children cumulated vsize: 1086776 KiB
Current children cumulated memory: 685436 KiB

[startup+102.301 s]
/proc/loadavg: 8.24 8.55 8.54 9/204 13948
/proc/meminfo: memFree=30505796/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=1086776 memory=685452 CPUtime=813.98 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 488142 0 0 0 81324 74 0 0 20 0 9 0 436682724 1112858624 171363 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 271694 171363 887 493 0 264999 0
[pid=13932/tid=13934] ppid=13929 vsize=1086776 memory=3280 CPUtime=101.89 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) R 13929 13932 12078 0 -1 4202560 52548 0 0 0 10180 9 0 0 20 0 9 0 436682752 1112858624 171363 33554432000 4194304 6211092 140732850082288 140343497947848 5168363 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=1086776 memory=685444 CPUtime=100.87 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 55149 0 0 0 10081 6 0 0 20 0 9 0 436682752 1112858624 171363 33554432000 4194304 6211092 140732850082288 140343489555144 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=1086776 memory=685452 CPUtime=101.89 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 54685 0 0 0 10178 11 0 0 20 0 9 0 436682752 1112858624 171363 33554432000 4194304 6211092 140732850082288 140343481162880 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=3280 CPUtime=101.75 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 54783 0 0 0 10169 6 0 0 20 0 9 0 436682752 1112858624 171363 33554432000 4194304 6211092 140732850082288 140343472770064 5168336 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=685452 CPUtime=101.87 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 55669 0 0 0 10177 10 0 0 20 0 9 0 436682752 1112858624 171363 33554432000 4194304 6211092 140732850082288 140343464377264 5193733 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=3280 CPUtime=101.85 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 54134 0 0 0 10180 5 0 0 20 0 9 0 436682752 1112858624 171363 33554432000 4194304 6211092 140732850082288 140343455984656 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=45644 CPUtime=101.59 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 53859 0 0 0 10154 5 0 0 20 0 9 0 436682752 1112858624 171363 33554432000 4194304 6211092 140732850082288 140343447591952 5168336 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=1086776 memory=685452 CPUtime=101.91 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 54277 0 0 0 10181 10 0 0 20 0 9 0 436682752 1112858624 171363 33554432000 4194304 6211092 140732850082288 140343439199248 5167904 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 813.98 s
Current children cumulated vsize: 1086776 KiB
Current children cumulated memory: 685452 KiB

[startup+162.301 s]
/proc/loadavg: 8.16 8.48 8.52 9/204 13953
/proc/meminfo: memFree=30506984/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=1086776 memory=687484 CPUtime=1293.04 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 506304 0 0 0 129228 76 0 0 20 0 9 0 436682724 1112858624 171871 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 271694 171871 887 493 0 264999 0
[pid=13932/tid=13934] ppid=13929 vsize=1086776 memory=687484 CPUtime=161.89 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) R 13929 13932 12078 0 -1 4202560 55311 0 0 0 16179 10 0 0 20 0 9 0 436682752 1112858624 171871 33554432000 4194304 6211092 140732850082288 140343497947848 5046864 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=1086776 memory=687484 CPUtime=160.26 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 57610 0 0 0 16019 7 0 0 20 0 9 0 436682752 1112858624 171871 33554432000 4194304 6211092 140732850082288 140343489555144 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=1086776 memory=687484 CPUtime=161.88 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 57322 0 0 0 16176 12 0 0 20 0 9 0 436682752 1112858624 171871 33554432000 4194304 6211092 140732850082288 140343481162880 5168219 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=687484 CPUtime=161.75 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 56612 0 0 0 16169 6 0 0 20 0 9 0 436682752 1112858624 171871 33554432000 4194304 6211092 140732850082288 140343472770064 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=687484 CPUtime=161.86 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 58158 0 0 0 16176 10 0 0 20 0 9 0 436682752 1112858624 171871 33554432000 4194304 6211092 140732850082288 140343464377264 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=687484 CPUtime=161.56 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 55859 0 0 0 16151 5 0 0 20 0 9 0 436682752 1112858624 171871 33554432000 4194304 6211092 140732850082288 140343455984656 5167507 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=687484 CPUtime=161.59 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 55928 0 0 0 16154 5 0 0 20 0 9 0 436682752 1112858624 171871 33554432000 4194304 6211092 140732850082288 140343447591952 5168225 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=1086776 memory=687484 CPUtime=161.9 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 56466 0 0 0 16180 10 0 0 20 0 9 0 436682752 1112858624 171871 33554432000 4194304 6211092 140732850082288 140343439199248 5167892 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 1293.04 s
Current children cumulated vsize: 1086776 KiB
Current children cumulated memory: 687484 KiB

[startup+222.301 s]
/proc/loadavg: 8.14 8.41 8.49 9/205 13965
/proc/meminfo: memFree=30501592/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=1086776 memory=693596 CPUtime=1772.16 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 512629 0 0 0 177139 77 0 0 20 0 9 0 436682724 1112858624 173399 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 271694 173399 887 493 0 264999 0
[pid=13932/tid=13934] ppid=13929 vsize=1086776 memory=693596 CPUtime=221.87 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) R 13929 13932 12078 0 -1 4202560 56025 0 0 0 22177 10 0 0 20 0 9 0 436682752 1112858624 173399 33554432000 4194304 6211092 140732850082288 140343497947848 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=1086776 memory=693596 CPUtime=220.26 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 58432 0 0 0 22019 7 0 0 20 0 9 0 436682752 1112858624 173399 33554432000 4194304 6211092 140732850082288 140343489554888 5167547 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=1086776 memory=693596 CPUtime=221.88 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 58192 0 0 0 22176 12 0 0 20 0 9 0 436682752 1112858624 173399 33554432000 4194304 6211092 140732850082288 140343481162880 5168216 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=3280 CPUtime=221.74 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 57172 0 0 0 22168 6 0 0 20 0 9 0 436682752 1112858624 173399 33554432000 4194304 6211092 140732850082288 140343472770064 5392400 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=693596 CPUtime=221.86 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 59147 0 0 0 22176 10 0 0 20 0 9 0 436682752 1112858624 173399 33554432000 4194304 6211092 140732850082288 140343464377264 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=693596 CPUtime=220.74 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 56745 0 0 0 22069 5 0 0 20 0 9 0 436682752 1112858624 173399 33554432000 4194304 6211092 140732850082288 140343455984656 5168472 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=693596 CPUtime=221.58 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 56913 0 0 0 22153 5 0 0 20 0 9 0 436682752 1112858624 173399 33554432000 4194304 6211092 140732850082288 140343447591952 5167518 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=1086776 memory=3280 CPUtime=221.87 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 56965 0 0 0 22177 10 0 0 20 0 9 0 436682752 1112858624 173399 33554432000 4194304 6211092 140732850082288 140343439199248 5168363 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 1772.16 s
Current children cumulated vsize: 1086776 KiB
Current children cumulated memory: 693596 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.14 8.39 8.48 9/205 13967
/proc/meminfo: memFree=30499380/32770624 swapFree=67004452/67108860
[pid=13932] ppid=13929 vsize=1086776 memory=695640 CPUtime=2009.38 cores=0-7
/proc/13932/stat : 13932 (cosoco) S 13929 13932 12078 0 -1 1077944320 513745 0 0 0 200861 77 0 0 20 0 9 0 436682724 1112858624 173910 33554432000 4194304 6211092 140732850082288 140732850080544 140343521091319 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
/proc/13932/statm: 271694 173910 887 493 0 264999 0
[pid=13932/tid=13934] ppid=13929 vsize=1086776 memory=2116 CPUtime=251.58 cores=0-7
/proc/13932/task/13934/stat : 13934 (cosoco) R 13929 13932 12078 0 -1 4202560 56303 0 0 0 25148 10 0 0 20 0 9 0 436682752 1112858624 173910 33554432000 4194304 6211092 140732850082288 140343497947848 5167901 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13935] ppid=13929 vsize=1086776 memory=4872558044660077418 CPUtime=249.96 cores=0-7
/proc/13932/task/13935/stat : 13935 (cosoco) R 13929 13932 12078 0 -1 4202560 58715 0 0 0 24989 7 0 0 20 0 9 0 436682752 1112858624 173910 33554432000 4194304 6211092 140732850082288 140343489554888 5168192 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13936] ppid=13929 vsize=1086776 memory=928 CPUtime=251.59 cores=0-7
/proc/13932/task/13936/stat : 13936 (cosoco) R 13929 13932 12078 0 -1 4202560 58526 0 0 0 25147 12 0 0 20 0 9 0 436682752 1112858624 173910 33554432000 4194304 6211092 140732850082288 140343481162880 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13937] ppid=13929 vsize=1086776 memory=1744 CPUtime=251.45 cores=0-7
/proc/13932/task/13937/stat : 13937 (cosoco) R 13929 13932 12078 0 -1 4202560 57174 0 0 0 25139 6 0 0 20 0 9 0 436682752 1112858624 173910 33554432000 4194304 6211092 140732850082288 140343472770064 5168336 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13938] ppid=13929 vsize=1086776 memory=792 CPUtime=251.57 cores=0-7
/proc/13932/task/13938/stat : 13938 (cosoco) R 13929 13932 12078 0 -1 4202560 59163 0 0 0 25147 10 0 0 20 0 9 0 436682752 1112858624 173910 33554432000 4194304 6211092 140732850082288 140343464377264 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13939] ppid=13929 vsize=1086776 memory=1440 CPUtime=250 cores=0-7
/proc/13932/task/13939/stat : 13939 (cosoco) R 13929 13932 12078 0 -1 4202560 56750 0 0 0 24995 5 0 0 20 0 9 0 436682752 1112858624 173910 33554432000 4194304 6211092 140732850082288 140343455984656 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13940] ppid=13929 vsize=1086776 memory=1984 CPUtime=251.29 cores=0-7
/proc/13932/task/13940/stat : 13940 (cosoco) R 13929 13932 12078 0 -1 4202560 57023 0 0 0 25124 5 0 0 20 0 9 0 436682752 1112858624 173910 33554432000 4194304 6211092 140732850082288 140343447591952 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
[pid=13932/tid=13941] ppid=13929 vsize=1086776 memory=695640 CPUtime=251.58 cores=0-7
/proc/13932/task/13941/stat : 13941 (cosoco) R 13929 13932 12078 0 -1 4202560 57053 0 0 0 25148 10 0 0 20 0 9 0 436682752 1112858624 173910 33554432000 4194304 6211092 140732850082288 140343439199248 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16068608 140732850091030 140732850091122 140732850091122 140732850094030 0
Current children cumulated CPU time: 2009.38 s
Current children cumulated vsize: 1086776 KiB
Current children cumulated memory: 695640 KiB

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

[startup+252.04 s]
# the end of solver process 13932 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2008.72 s, system=0.791544 s

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

Child status: 1
Real time (s): 252.04
CPU time (s): 2009.51
CPU user time (s): 2008.72
CPU system time (s): 0.791544
CPU usage (%): 797.296
Max. virtual memory (cumulated for all children) (KiB): 1086776
Max. memory (cumulated for all children) (KiB): 695640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2008.72
system time used= 0.791544
maximum resident set size= 695788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513790
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= 23891
involuntary context switches= 18634


# summary of solver processes directly reported to runsolver:
#   pid: 13932
#   total CPU time (s): 2009.51
#   total CPU user time (s): 2008.72
#   total CPU system time (s): 0.791544

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

The end

Launcher Data 

Begin job on node133 at 2019-09-16 05:26:32
IDJOB=4398813
IDBENCH=115769
IDSOLVER=2852
FILE ID=node133/4398813-1568604431
RUNJOBID= node133-1568595972-12105
PBS_JOBID= 21703396
Free space on /tmp= 59576 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-030-15-2.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398813-1568604431/watcher-4398813-1568604431 -o /tmp/evaluation-result-4398813-1568604431/solver-4398813-1568604431 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568595972-12105 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4398813-1568604431.xml

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

MD5SUM BENCH= ba573a75edcb56a5f29535772f8b277a
RANDOM SEED=1110438748

node133.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.18
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.18
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.18
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.18
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:        31191864 kB
MemAvailable:   31888872 kB
Buffers:          223884 kB
Cached:           764296 kB
SwapCached:         3216 kB
Active:           461116 kB
Inactive:         532084 kB
Active(anon):      29124 kB
Inactive(anon):    24388 kB
Active(file):     431992 kB
Inactive(file):   507696 kB
Unevictable:      111236 kB
Mlocked:          111236 kB
SwapTotal:      67108860 kB
SwapFree:       67004452 kB
Dirty:              2776 kB
Writeback:             0 kB
AnonPages:        113700 kB
Mapped:            46132 kB
Shmem:             40004 kB
Slab:             174960 kB
SReclaimable:     146308 kB
SUnreclaim:        28652 kB
KernelStack:        3456 kB
PageTables:         5696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59572 MiB
End job on node133 at 2019-09-16 05:30:44