Trace number 4409282

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0 parallelUNSAT 5786.04 736.32

General information on the benchmark

NamePropStress/PropStress-m1-s1/
PropStress-0150.xml
MD5SUMb9bf68be3b756b1f34bbd3d4e06d542d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark19.599
Satisfiable
(Un)Satisfiability was proved
Number of variables302
Number of constraints11626
Number of domains1
Minimum domain size22501
Maximum domain size22501
Distribution of domain sizes[{"size":22501,"count":302}]
Minimum variable degree2
Maximum variable degree151
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":149},{"degree":150,"count":149},{"degree":151,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":11626}]
Number of extensional constraints0
Number of intensional constraints11626
Distribution of constraint types[{"type":"intension","count":11626}]
Optimization problemNO
Type of objective

Solver Data 

5785.92/736.21	c
5785.92/736.21	c This is cosoco 2.00 --  
5785.92/736.21	c
5785.92/736.21	c command line: cosoco -model -nbcores=8 HOME/instance-4409282-1569825102.xml 
5785.92/736.21	c ========================================[ Problem Statistics ]===========================================
5785.92/736.21	c |                                                                                                       
5785.92/736.21	c |  Parse time        :         5.80 s 
5785.92/736.21	c |
5785.92/736.21	c |               Variables: 302
5785.92/736.21	c |            Domain Sizes: 22501..22501
5785.92/736.21	c |
5785.92/736.21	c |             Constraints: 11626
5785.92/736.21	c |                   Arity: 2..2  -- Binary: 11626
5785.92/736.21	c | 
5785.92/736.21	c |                   Types: 
5785.92/736.21	c |                          (X -Y <= k): 11626
5785.92/736.21	c |                          
5785.92/736.21	c =========================================================================================================
5785.92/736.21	c Parallel mode: Portfolio
5785.92/736.21	c [pFactory][Group N°0] created (threads:8).
5785.92/736.21	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
5785.92/736.21	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
5785.92/736.21	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
5785.92/736.21	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
5785.92/736.21	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
5785.92/736.21	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
5785.92/736.21	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
5785.92/736.21	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
5785.92/736.21	c [pFactory][Group N°0] concurrent mode: enabled.
5785.92/736.21	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
5785.92/736.21	c [pFactory][Group N°0] task 7 launched on thread 1.
5785.92/736.21	c [pFactory][Group N°0] task 6 launched on thread 0.
5785.92/736.21	c [pFactory][Group N°0] task 5 launched on thread 6.
5785.92/736.21	c [pFactory][Group N°0] task 4 launched on thread 4.
5785.92/736.21	c [pFactory][Group N°0] task 3 launched on thread 7.
5785.92/736.21	c [pFactory][Group N°0] task 2 launched on thread 2.
5785.92/736.21	c [pFactory][Group N°0] task 1 launched on thread 5.
5785.92/736.21	c [pFactory][Group N°0] task 0 launched on thread 3.
5785.92/736.21	c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 3.
5785.92/736.21	c [pFactory][Group N°0] Thread N°0 is joined.
5785.92/736.21	c [pFactory][Group N°0] Thread N°1 is joined.
5785.92/736.21	c [pFactory][Group N°0] Thread N°2 is joined.
5785.92/736.21	c [pFactory][Group N°0] Thread N°3 is joined.
5785.92/736.21	c [pFactory][Group N°0] Thread N°4 is joined.
5785.92/736.21	c [pFactory][Group N°0] Thread N°5 is joined.
5785.92/736.21	c [pFactory][Group N°0] Thread N°6 is joined.
5785.92/736.21	c [pFactory][Group N°0] Thread N°7 is joined.
5785.92/736.21	c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°7)
5785.92/736.21	s UNSATISFIABLE
5785.92/736.21	c restarts              : 0           
5785.92/736.21	c conflicts             : 0            (0 /sec)
5785.92/736.21	c decisions             : 0            (0 /sec)
5785.92/736.21	c propagations          : 5356662     (927 /sec)
5785.92/736.21	c root propagations     : 5356662     
5785.92/736.21	c filter calls          : 8699069        (1505 /sec)
5785.92/736.21	c useless filter calls  : 3365060        (38 %)
5785.92/736.21	c Memory used           : 2827.04 MB
5785.92/736.21	c CPU time              : 5780.37 s
5785.92/736.21	c real time             : 736.211 s
5785.92/736.21

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409282-1569825102/watcher-4409282-1569825102 -o /tmp/evaluation-result-4409282-1569825102/solver-4409282-1569825102 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569817234-15805 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409282-1569825102.xml 

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

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


[startup+0.10017 s]*
/proc/loadavg: 7.82 8.15 7.85 2/192 18270
/proc/meminfo: memFree=31607436/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=189424 memory=165520 CPUtime=0.1 cores=0-7
/proc/18269/stat : 18269 (cosoco) R 18266 18269 15778 0 -1 4202496 41535 0 0 0 6 4 0 0 20 0 1 0 558778970 193970176 41314 33554432000 4194304 6211132 140734185286128 140734185282664 5231349 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 47356 41380 751 493 0 40661 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 189424 KiB
Current children cumulated memory: 165520 KiB

[startup+0.209668 s]*
/proc/loadavg: 7.82 8.15 7.85 2/192 18270
/proc/meminfo: memFree=31435572/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=361168 memory=337120 CPUtime=0.2 cores=0-7
/proc/18269/stat : 18269 (cosoco) R 18266 18269 15778 0 -1 4202496 84489 0 0 0 12 8 0 0 20 0 1 0 558778970 369836032 84280 33554432000 4194304 6211132 140734185286128 140734185282664 5231349 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 90292 84280 751 493 0 83597 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 361168 KiB
Current children cumulated memory: 337120 KiB

[startup+0.309497 s]*
/proc/loadavg: 7.82 8.15 7.85 2/192 18270
/proc/meminfo: memFree=31328436/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=454832 memory=431176 CPUtime=0.3 cores=0-7
/proc/18269/stat : 18269 (cosoco) R 18266 18269 15778 0 -1 4202496 107988 0 0 0 19 11 0 0 20 0 1 0 558778970 465747968 107794 33554432000 4194304 6211132 140734185286128 140734185282664 140285784980453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 113708 107794 821 493 0 107013 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 454832 KiB
Current children cumulated memory: 431176 KiB

[startup+0.700283 s]
/proc/loadavg: 7.82 8.15 7.85 2/192 18270
/proc/meminfo: memFree=31321368/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=469460 memory=445640 CPUtime=0.69 cores=0-7
/proc/18269/stat : 18269 (cosoco) R 18266 18269 15778 0 -1 4202496 111636 0 0 0 57 12 0 0 20 0 1 0 558778970 480727040 111410 33554432000 4194304 6211132 140734185286128 140734185282664 140285784980453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 117365 111410 822 493 0 110670 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 469460 KiB
Current children cumulated memory: 445640 KiB

[startup+1.50031 s]
/proc/loadavg: 7.82 8.15 7.85 2/192 18270
/proc/meminfo: memFree=31297560/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=512260 memory=488408 CPUtime=1.49 cores=0-7
/proc/18269/stat : 18269 (cosoco) R 18266 18269 15778 0 -1 4202496 122338 0 0 0 135 14 0 0 20 0 1 0 558778970 524554240 122102 33554432000 4194304 6211132 140734185286128 140734185279016 5489391 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 128065 122102 822 493 0 121370 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 512260 KiB
Current children cumulated memory: 488408 KiB

[startup+3.10932 s]
/proc/loadavg: 7.28 8.03 7.81 2/191 18270
/proc/meminfo: memFree=31190152/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=598004 memory=573992 CPUtime=3.1 cores=0-7
/proc/18269/stat : 18269 (cosoco) R 18266 18269 15778 0 -1 4202496 145081 0 0 0 292 18 0 0 20 0 1 0 558778970 612356096 143498 33554432000 4194304 6211132 140734185286128 140734185280648 140285784980453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 149501 143498 822 493 0 142806 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 598004 KiB
Current children cumulated memory: 573992 KiB

[startup+6.30128 s]
/proc/loadavg: 7.28 8.03 7.81 2/191 18270
/proc/meminfo: memFree=31030052/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=1344532 memory=731240 CPUtime=7.74 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 305230 0 0 0 717 57 0 0 20 0 9 0 558778970 1376800768 182810 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 336133 182810 849 493 0 329438 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 1344532 KiB
Current children cumulated memory: 731240 KiB

[startup+12.7013 s]
/proc/loadavg: 7.34 8.03 7.81 9/199 18278
/proc/meminfo: memFree=31028064/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=1344532 memory=734972 CPUtime=58.84 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 496372 0 0 0 5813 71 0 0 20 0 9 0 558778970 1376800768 183743 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 336133 183743 849 493 0 329438 0
[pid=18269/tid=18271] ppid=18266 vsize=1344532 memory=0 CPUtime=6.6 cores=0-7
/proc/18269/task/18271/stat : 18271 (cosoco) R 18266 18269 15778 0 -1 4202560 30689 0 0 0 653 7 0 0 20 0 9 0 558779579 1376800768 183743 33554432000 4194304 6211132 140734185286128 140285777877960 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18272] ppid=18266 vsize=1344532 memory=733716 CPUtime=6.6 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 32409 0 0 0 658 2 0 0 20 0 9 0 558779579 1376800768 183743 33554432000 4194304 6211132 140734185286128 140285769485192 5172469 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18273] ppid=18266 vsize=1344532 memory=0 CPUtime=6.6 cores=0-7
/proc/18269/task/18273/stat : 18273 (cosoco) R 18266 18269 15778 0 -1 4202560 30420 0 0 0 652 8 0 0 20 0 9 0 558779579 1376800768 183743 33554432000 4194304 6211132 140734185286128 140285761092552 5392384 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18274] ppid=18266 vsize=1344532 memory=164 CPUtime=6.6 cores=0-7
/proc/18269/task/18274/stat : 18274 (cosoco) R 18266 18269 15778 0 -1 4202560 31151 0 0 0 658 2 0 0 20 0 9 0 558779579 1376800768 183743 33554432000 4194304 6211132 140734185286128 140285752699848 5392384 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18275] ppid=18266 vsize=1344532 memory=139632004161480 CPUtime=6.6 cores=0-7
/proc/18269/task/18275/stat : 18275 (cosoco) R 18266 18269 15778 0 -1 4202560 29946 0 0 0 651 9 0 0 20 0 9 0 558779579 1376800768 183743 33554432000 4194304 6211132 140734185286128 140285744307144 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18276] ppid=18266 vsize=1344532 memory=734260 CPUtime=6.59 cores=0-7
/proc/18269/task/18276/stat : 18276 (cosoco) R 18266 18269 15778 0 -1 4202560 32070 0 0 0 657 2 0 0 20 0 9 0 558779579 1376800768 183743 33554432000 4194304 6211132 140734185286128 140285735914440 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18277] ppid=18266 vsize=1344532 memory=279264008665696 CPUtime=6.51 cores=0-7
/proc/18269/task/18277/stat : 18277 (cosoco) R 18266 18269 15778 0 -1 4202560 28343 0 0 0 649 2 0 0 20 0 9 0 558779579 1376800768 183743 33554432000 4194304 6211132 140734185286128 140285727521736 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18278] ppid=18266 vsize=1344532 memory=0 CPUtime=6.6 cores=0-7
/proc/18269/task/18278/stat : 18278 (cosoco) R 18266 18269 15778 0 -1 4202560 29439 0 0 0 651 9 0 0 20 0 9 0 558779579 1376800768 183743 33554432000 4194304 6211132 140734185286128 140285719129032 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 58.84 s
Current children cumulated vsize: 1344532 KiB
Current children cumulated memory: 734972 KiB

[startup+25.5013 s]
/proc/loadavg: 7.48 8.03 7.82 9/199 18279
/proc/meminfo: memFree=31016216/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=1344532 memory=749284 CPUtime=161.04 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 620254 0 0 0 16019 85 0 0 20 0 9 0 558778970 1376800768 187321 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 336133 187321 849 493 0 329438 0
[pid=18269/tid=18271] ppid=18266 vsize=1344532 memory=279264008329088 CPUtime=19.39 cores=0-7
/proc/18269/task/18271/stat : 18271 (cosoco) R 18266 18269 15778 0 -1 4202560 46269 0 0 0 1931 8 0 0 20 0 9 0 558779579 1376800768 187321 33554432000 4194304 6211132 140734185286128 140285777877960 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18272] ppid=18266 vsize=1344532 memory=742692 CPUtime=19.38 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 47857 0 0 0 1935 3 0 0 20 0 9 0 558779579 1376800768 187321 33554432000 4194304 6211132 140734185286128 140285769485096 5392352 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18273] ppid=18266 vsize=1344532 memory=743320 CPUtime=19.39 cores=0-7
/proc/18269/task/18273/stat : 18273 (cosoco) R 18266 18269 15778 0 -1 4202560 46232 0 0 0 1930 9 0 0 20 0 9 0 558779579 1376800768 187321 33554432000 4194304 6211132 140734185286128 140285761092456 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18274] ppid=18266 vsize=1344532 memory=56 CPUtime=19.4 cores=0-7
/proc/18269/task/18274/stat : 18274 (cosoco) R 18266 18269 15778 0 -1 4202560 47095 0 0 0 1935 5 0 0 20 0 9 0 558779579 1376800768 187321 33554432000 4194304 6211132 140734185286128 140285752699752 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18275] ppid=18266 vsize=1344532 memory=0 CPUtime=19.4 cores=0-7
/proc/18269/task/18275/stat : 18275 (cosoco) R 18266 18269 15778 0 -1 4202560 44932 0 0 0 1930 10 0 0 20 0 9 0 558779579 1376800768 187321 33554432000 4194304 6211132 140734185286128 140285744307048 5392352 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18276] ppid=18266 vsize=1344532 memory=279264008959232 CPUtime=19.39 cores=0-7
/proc/18269/task/18276/stat : 18276 (cosoco) R 18266 18269 15778 0 -1 4202560 47602 0 0 0 1936 3 0 0 20 0 9 0 558779579 1376800768 187321 33554432000 4194304 6211132 140734185286128 140285735914440 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18277] ppid=18266 vsize=1344532 memory=3624 CPUtime=19.13 cores=0-7
/proc/18269/task/18277/stat : 18277 (cosoco) R 18266 18269 15778 0 -1 4202560 43724 0 0 0 1909 4 0 0 20 0 9 0 558779579 1376800768 187321 33554432000 4194304 6211132 140734185286128 140285727521640 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18278] ppid=18266 vsize=1344532 memory=10556 CPUtime=19.39 cores=0-7
/proc/18269/task/18278/stat : 18278 (cosoco) R 18266 18269 15778 0 -1 4202560 44638 0 0 0 1929 10 0 0 20 0 9 0 558779579 1376800768 187321 33554432000 4194304 6211132 140734185286128 140285719128936 5392352 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 161.04 s
Current children cumulated vsize: 1344532 KiB
Current children cumulated memory: 749284 KiB

[startup+51.1103 s]
/proc/loadavg: 7.66 8.03 7.82 9/199 18281
/proc/meminfo: memFree=30984540/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=1344532 memory=782144 CPUtime=365.48 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 751653 0 0 0 36443 105 0 0 20 0 9 0 558778970 1376800768 195536 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 336133 195536 849 493 0 329438 0
[pid=18269/tid=18271] ppid=18266 vsize=1344532 memory=2273 CPUtime=45 cores=0-7
/proc/18269/task/18271/stat : 18271 (cosoco) R 18266 18269 15778 0 -1 4202560 62396 0 0 0 4489 11 0 0 20 0 9 0 558779579 1376800768 195536 33554432000 4194304 6211132 140734185286128 140285777877896 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18272] ppid=18266 vsize=1344532 memory=735700 CPUtime=44.98 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 64821 0 0 0 4492 6 0 0 20 0 9 0 558779579 1376800768 195536 33554432000 4194304 6211132 140734185286128 140285769485256 5397400 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18273] ppid=18266 vsize=1344532 memory=0 CPUtime=44.99 cores=0-7
/proc/18269/task/18273/stat : 18273 (cosoco) R 18266 18269 15778 0 -1 4202560 62807 0 0 0 4487 12 0 0 20 0 9 0 558779579 1376800768 195536 33554432000 4194304 6211132 140734185286128 140285761092552 5186256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18274] ppid=18266 vsize=1344532 memory=0 CPUtime=44.99 cores=0-7
/proc/18269/task/18274/stat : 18274 (cosoco) R 18266 18269 15778 0 -1 4202560 63820 0 0 0 4492 7 0 0 20 0 9 0 558779579 1376800768 195536 33554432000 4194304 6211132 140734185286128 140285752699688 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18275] ppid=18266 vsize=1344532 memory=56 CPUtime=44.99 cores=0-7
/proc/18269/task/18275/stat : 18275 (cosoco) R 18266 18269 15778 0 -1 4202560 61031 0 0 0 4487 12 0 0 20 0 9 0 558779579 1376800768 195536 33554432000 4194304 6211132 140734185286128 140285744307080 5186256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18276] ppid=18266 vsize=1344532 memory=0 CPUtime=45 cores=0-7
/proc/18269/task/18276/stat : 18276 (cosoco) R 18266 18269 15778 0 -1 4202560 63727 0 0 0 4495 5 0 0 20 0 9 0 558779579 1376800768 195536 33554432000 4194304 6211132 140734185286128 140285735914280 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18277] ppid=18266 vsize=1344532 memory=139633681760835 CPUtime=44.37 cores=0-7
/proc/18269/task/18277/stat : 18277 (cosoco) R 18266 18269 15778 0 -1 4202560 59940 0 0 0 4431 6 0 0 20 0 9 0 558779579 1376800768 195536 33554432000 4194304 6211132 140734185286128 140285727521576 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18278] ppid=18266 vsize=1344532 memory=732864 CPUtime=45 cores=0-7
/proc/18269/task/18278/stat : 18278 (cosoco) R 18266 18269 15778 0 -1 4202560 61209 0 0 0 4487 13 0 0 20 0 9 0 558779579 1376800768 195536 33554432000 4194304 6211132 140734185286128 140285719128872 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 365.48 s
Current children cumulated vsize: 1344532 KiB
Current children cumulated memory: 782144 KiB

[startup+102.301 s]
/proc/loadavg: 7.93 8.04 7.84 9/199 18284
/proc/meminfo: memFree=30920068/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=1344532 memory=846880 CPUtime=774.14 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 895486 0 0 0 77280 134 0 0 20 0 9 0 558778970 1376800768 211720 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 336133 211720 849 493 0 329438 0
[pid=18269/tid=18271] ppid=18266 vsize=1344532 memory=801076 CPUtime=96.17 cores=0-7
/proc/18269/task/18271/stat : 18271 (cosoco) R 18266 18269 15778 0 -1 4202560 80255 0 0 0 9602 15 0 0 20 0 9 0 558779579 1376800768 211720 33554432000 4194304 6211132 140734185286128 140285777877896 5392384 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18272] ppid=18266 vsize=1344532 memory=845748 CPUtime=95.62 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 83113 0 0 0 9553 9 0 0 20 0 9 0 558779579 1376800768 211720 33554432000 4194304 6211132 140734185286128 140285769485256 5172264 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18273] ppid=18266 vsize=1344532 memory=846880 CPUtime=96.18 cores=0-7
/proc/18269/task/18273/stat : 18273 (cosoco) R 18266 18269 15778 0 -1 4202560 81091 0 0 0 9602 16 0 0 20 0 9 0 558779579 1376800768 211720 33554432000 4194304 6211132 140734185286128 140285761092552 5392384 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18274] ppid=18266 vsize=1344532 memory=836776 CPUtime=96.18 cores=0-7
/proc/18269/task/18274/stat : 18274 (cosoco) R 18266 18269 15778 0 -1 4202560 81865 0 0 0 9606 12 0 0 20 0 9 0 558779579 1376800768 211720 33554432000 4194304 6211132 140734185286128 140285752699784 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18275] ppid=18266 vsize=1344532 memory=3624 CPUtime=96.16 cores=0-7
/proc/18269/task/18275/stat : 18275 (cosoco) R 18266 18269 15778 0 -1 4202560 78603 0 0 0 9600 16 0 0 20 0 9 0 558779579 1376800768 211720 33554432000 4194304 6211132 140734185286128 140285744307080 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18276] ppid=18266 vsize=1344532 memory=837376 CPUtime=96.05 cores=0-7
/proc/18269/task/18276/stat : 18276 (cosoco) R 18266 18269 15778 0 -1 4202560 81341 0 0 0 9598 7 0 0 20 0 9 0 558779579 1376800768 211720 33554432000 4194304 6211132 140734185286128 140285735914440 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18277] ppid=18266 vsize=1344532 memory=837804 CPUtime=95.47 cores=0-7
/proc/18269/task/18277/stat : 18277 (cosoco) R 18266 18269 15778 0 -1 4202560 77806 0 0 0 9537 10 0 0 20 0 9 0 558779579 1376800768 211720 33554432000 4194304 6211132 140734185286128 140285727521672 5172261 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18278] ppid=18266 vsize=1344532 memory=57 CPUtime=96.16 cores=0-7
/proc/18269/task/18278/stat : 18278 (cosoco) R 18266 18269 15778 0 -1 4202560 79507 0 0 0 9599 17 0 0 20 0 9 0 558779579 1376800768 211720 33554432000 4194304 6211132 140734185286128 140285719128968 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0

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

/proc/loadavg: 8.05 8.18 8.04 13/199 18327
/proc/meminfo: memFree=29625588/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=2403380 memory=2139944 CPUtime=5561.77 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 1402485 0 0 0 555667 510 0 0 20 0 9 0 558778970 2461061120 534986 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 600845 534986 849 493 0 594150 0
[pid=18269/tid=18271] ppid=18266 vsize=2403380 memory=2132872 CPUtime=695.34 cores=0-7
/proc/18269/task/18271/stat : 18271 (cosoco) R 18266 18269 15778 0 -1 4202560 145012 0 0 0 69472 62 0 0 20 0 9 0 558779579 2461061120 534986 33554432000 4194304 6211132 140734185286128 140285777877960 5389476 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18272] ppid=18266 vsize=2403380 memory=2117196 CPUtime=693.14 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 145844 0 0 0 69260 54 0 0 20 0 9 0 558779579 2461061120 534986 33554432000 4194304 6211132 140734185286128 140285769485256 5393072 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18273] ppid=18266 vsize=2403380 memory=2125932 CPUtime=695.56 cores=0-7
/proc/18269/task/18273/stat : 18273 (cosoco) R 18266 18269 15778 0 -1 4202560 146151 0 0 0 69494 62 0 0 20 0 9 0 558779579 2461061120 534986 33554432000 4194304 6211132 140734185286128 140285761092456 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18274] ppid=18266 vsize=2403380 memory=2081664 CPUtime=695.14 cores=0-7
/proc/18269/task/18274/stat : 18274 (cosoco) R 18266 18269 15778 0 -1 4202560 145255 0 0 0 69452 62 0 0 20 0 9 0 558779579 2461061120 534986 33554432000 4194304 6211132 140734185286128 140285752699848 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18275] ppid=18266 vsize=2403380 memory=2075624 CPUtime=694.8 cores=0-7
/proc/18269/task/18275/stat : 18275 (cosoco) R 18266 18269 15778 0 -1 4202560 141048 0 0 0 69419 61 0 0 20 0 9 0 558779579 2461061120 534986 33554432000 4194304 6211132 140734185286128 140285744307080 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18276] ppid=18266 vsize=2403380 memory=1990064 CPUtime=693.42 cores=0-7
/proc/18269/task/18276/stat : 18276 (cosoco) R 18266 18269 15778 0 -1 4202560 142669 0 0 0 69290 52 0 0 20 0 9 0 558779579 2461061120 534986 33554432000 4194304 6211132 140734185286128 140285735914440 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18277] ppid=18266 vsize=2403380 memory=1983168 CPUtime=692.54 cores=0-7
/proc/18269/task/18277/stat : 18277 (cosoco) R 18266 18269 15778 0 -1 4202560 140367 0 0 0 69197 57 0 0 20 0 9 0 558779579 2461061120 534986 33554432000 4194304 6211132 140734185286128 140285727521736 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18278] ppid=18266 vsize=2403380 memory=2138476 CPUtime=695.67 cores=0-7
/proc/18269/task/18278/stat : 18278 (cosoco) R 18266 18269 15778 0 -1 4202560 144234 0 0 0 69499 68 0 0 20 0 9 0 558779579 2461061120 534986 33554432000 4194304 6211132 140734185286128 140285719128936 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 5561.77 s
Current children cumulated vsize: 2403380 KiB
Current children cumulated memory: 2139944 KiB

[startup+736.32 s]
# the end of solver process 18269 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5780.37 s, system=5.67555 s

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

[startup+716.801 s]
/proc/loadavg: 8.04 8.18 8.04 10/200 18329
/proc/meminfo: memFree=29523676/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=2468916 memory=2243864 CPUtime=5677.25 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 1437200 0 0 0 567192 533 0 0 20 0 9 0 558778970 2528169984 560966 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 617229 560966 849 493 0 610534 0
[pid=18269/tid=18271] ppid=18266 vsize=2468916 memory=1428 CPUtime=709.8 cores=0-7
/proc/18269/task/18271/stat : 18271 (cosoco) R 18266 18269 15778 0 -1 4202560 149785 0 0 0 70915 65 0 0 20 0 9 0 558779579 2528169984 560966 33554432000 4194304 6211132 140734185286128 140285777877960 140285784976190 0 0 4096 8405026 0 0 0 -1 0 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18272] ppid=18266 vsize=2468916 memory=2236208 CPUtime=707.61 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 149706 0 0 0 70704 57 0 0 20 0 9 0 558779579 2528169984 560966 33554432000 4194304 6211132 140734185286128 140285769485256 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18273] ppid=18266 vsize=2468916 memory=1056 CPUtime=710 cores=0-7
/proc/18269/task/18273/stat : 18273 (cosoco) R 18266 18269 15778 0 -1 4202560 151043 0 0 0 70935 65 0 0 20 0 9 0 558779579 2528169984 560966 33554432000 4194304 6211132 140734185286128 140285761092488 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18274] ppid=18266 vsize=2468916 memory=1188 CPUtime=709.6 cores=0-7
/proc/18269/task/18274/stat : 18274 (cosoco) R 18266 18269 15778 0 -1 4202560 149278 0 0 0 70895 65 0 0 20 0 9 0 558779579 2528169984 560966 33554432000 4194304 6211132 140734185286128 140285752699752 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18275] ppid=18266 vsize=2468916 memory=620 CPUtime=709.26 cores=0-7
/proc/18269/task/18275/stat : 18275 (cosoco) R 18266 18269 15778 0 -1 4202560 145243 0 0 0 70864 62 0 0 20 0 9 0 558779579 2528169984 560966 33554432000 4194304 6211132 140734185286128 140285744307080 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18276] ppid=18266 vsize=2468916 memory=1496 CPUtime=707.86 cores=0-7
/proc/18269/task/18276/stat : 18276 (cosoco) R 18266 18269 15778 0 -1 4202560 146482 0 0 0 70730 56 0 0 20 0 9 0 558779579 2528169984 560966 33554432000 4194304 6211132 140734185286128 140285735914376 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18277] ppid=18266 vsize=2468916 memory=1016 CPUtime=706.83 cores=0-7
/proc/18269/task/18277/stat : 18277 (cosoco) R 18266 18269 15778 0 -1 4202560 144281 0 0 0 70623 60 0 0 20 0 9 0 558779579 2528169984 560966 33554432000 4194304 6211132 140734185286128 140285727521672 5393072 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18278] ppid=18266 vsize=2468916 memory=6256 CPUtime=710.13 cores=0-7
/proc/18269/task/18278/stat : 18278 (cosoco) R 18266 18269 15778 0 -1 4202560 149477 0 0 0 70942 71 0 0 20 0 9 0 558779579 2528169984 560966 33554432000 4194304 6211132 140734185286128 140285719129032 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 5677.25 s
Current children cumulated vsize: 2468916 KiB
Current children cumulated memory: 2243864 KiB

[startup+729.601 s]
/proc/loadavg: 7.72 8.10 8.02 6/196 18329
/proc/meminfo: memFree=29404760/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=2862132 memory=2363392 CPUtime=5761.31 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 1467482 0 0 0 575582 549 0 0 20 0 6 0 558778970 2930823168 590848 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 715533 590848 851 493 0 708838 0
[pid=18269/tid=18272] ppid=18266 vsize=2862132 memory=2359168 CPUtime=720.41 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 153413 0 0 0 71982 59 0 0 20 0 6 0 558779579 2930823168 590848 33554432000 4194304 6211132 140734185286128 140285769485256 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18274] ppid=18266 vsize=2862132 memory=2328016 CPUtime=722.39 cores=0-7
/proc/18269/task/18274/stat : 18274 (cosoco) R 18266 18269 15778 0 -1 4202560 153490 0 0 0 72173 66 0 0 20 0 6 0 558779579 2930823168 590848 33554432000 4194304 6211132 140734185286128 140285752699848 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18275] ppid=18266 vsize=2862132 memory=2330392 CPUtime=722.06 cores=0-7
/proc/18269/task/18275/stat : 18275 (cosoco) R 18266 18269 15778 0 -1 4202560 149784 0 0 0 72141 65 0 0 20 0 6 0 558779579 2930823168 590848 33554432000 4194304 6211132 140734185286128 140285744307144 140285784976190 0 0 4096 8405026 0 0 0 -1 2 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18276] ppid=18266 vsize=2862132 memory=1188 CPUtime=720.56 cores=0-7
/proc/18269/task/18276/stat : 18276 (cosoco) R 18266 18269 15778 0 -1 4202560 150185 0 0 0 71998 58 0 0 20 0 6 0 558779579 2930823168 590848 33554432000 4194304 6211132 140734185286128 140285735914440 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18277] ppid=18266 vsize=2862132 memory=1536 CPUtime=719.62 cores=0-7
/proc/18269/task/18277/stat : 18277 (cosoco) R 18266 18269 15778 0 -1 4202560 147932 0 0 0 71900 62 0 0 20 0 6 0 558779579 2930823168 590848 33554432000 4194304 6211132 140734185286128 140285727521736 140285801024514 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 5761.31 s
Current children cumulated vsize: 2862132 KiB
Current children cumulated memory: 2363392 KiB

[startup+732.801 s]
/proc/loadavg: 7.72 8.10 8.02 5/195 18329
/proc/meminfo: memFree=29377232/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=2927668 memory=2393808 CPUtime=5776.19 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 1475265 0 0 0 577066 553 0 0 20 0 5 0 558778970 2997932032 598452 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 731917 598452 851 493 0 725222 0
[pid=18269/tid=18272] ppid=18266 vsize=2927668 memory=2382924 CPUtime=723.61 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 154755 0 0 0 72301 60 0 0 20 0 5 0 558779579 2997932032 598452 33554432000 4194304 6211132 140734185286128 140285769485256 5393129 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18274] ppid=18266 vsize=2927668 memory=2365240 CPUtime=725.59 cores=0-7
/proc/18269/task/18274/stat : 18274 (cosoco) R 18266 18269 15778 0 -1 4202560 155345 0 0 0 72492 67 0 0 20 0 5 0 558779579 2997932032 598452 33554432000 4194304 6211132 140734185286128 140285752699784 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18276] ppid=18266 vsize=2927668 memory=3624 CPUtime=723.76 cores=0-7
/proc/18269/task/18276/stat : 18276 (cosoco) R 18266 18269 15778 0 -1 4202560 151775 0 0 0 72317 59 0 0 20 0 5 0 558779579 2997932032 598452 33554432000 4194304 6211132 140734185286128 140285735914440 5393072 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18277] ppid=18266 vsize=2927668 memory=1398722017469774279 CPUtime=722.82 cores=0-7
/proc/18269/task/18277/stat : 18277 (cosoco) R 18266 18269 15778 0 -1 4202560 149382 0 0 0 72219 63 0 0 20 0 5 0 558779579 2997932032 598452 33554432000 4194304 6211132 140734185286128 140285727521672 5172496 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 5776.19 s
Current children cumulated vsize: 2927668 KiB
Current children cumulated memory: 2393808 KiB

[startup+734.4 s]
/proc/loadavg: 7.42 8.03 8.00 4/194 18329
/proc/meminfo: memFree=29359500/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=2927668 memory=2407108 CPUtime=5781.64 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 1479235 0 0 0 577610 554 0 0 20 0 4 0 558778970 2997932032 601777 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 731917 601777 851 493 0 725222 0
[pid=18269/tid=18272] ppid=18266 vsize=2927668 memory=10568 CPUtime=725.21 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 155921 0 0 0 72461 60 0 0 20 0 4 0 558779579 2997932032 601777 33554432000 4194304 6211132 140734185286128 140285769485256 140285784976190 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18276] ppid=18266 vsize=2927668 memory=988 CPUtime=725.35 cores=0-7
/proc/18269/task/18276/stat : 18276 (cosoco) R 18266 18269 15778 0 -1 4202560 152927 0 0 0 72476 59 0 0 20 0 4 0 558779579 2997932032 601777 33554432000 4194304 6211132 140734185286128 140285735914440 140285784976190 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18277] ppid=18266 vsize=2927668 memory=2024 CPUtime=724.42 cores=0-7
/proc/18269/task/18277/stat : 18277 (cosoco) R 18266 18269 15778 0 -1 4202560 150470 0 0 0 72379 63 0 0 20 0 4 0 558779579 2997932032 601777 33554432000 4194304 6211132 140734185286128 140285727521736 140285784976190 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 5781.64 s
Current children cumulated vsize: 2927668 KiB
Current children cumulated memory: 2407108 KiB

[startup+735.2 s]
/proc/loadavg: 7.42 8.03 8.00 4/194 18329
/proc/meminfo: memFree=29351160/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=2927668 memory=2413880 CPUtime=5784.04 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 1481210 0 0 0 577849 555 0 0 20 0 4 0 558778970 2997932032 603470 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 731917 603470 851 493 0 725222 0
[pid=18269/tid=18272] ppid=18266 vsize=2927668 memory=1188 CPUtime=726.01 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 156579 0 0 0 72541 60 0 0 20 0 4 0 558779579 2997932032 603470 33554432000 4194304 6211132 140734185286128 140285769485256 5393072 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18276] ppid=18266 vsize=2927668 memory=1536 CPUtime=726.16 cores=0-7
/proc/18269/task/18276/stat : 18276 (cosoco) R 18266 18269 15778 0 -1 4202560 153653 0 0 0 72556 60 0 0 20 0 4 0 558779579 2997932032 603470 33554432000 4194304 6211132 140734185286128 140285735914440 140285784976190 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
[pid=18269/tid=18277] ppid=18266 vsize=2927668 memory=2024 CPUtime=725.21 cores=0-7
/proc/18269/task/18277/stat : 18277 (cosoco) R 18266 18269 15778 0 -1 4202560 151061 0 0 0 72458 63 0 0 20 0 4 0 558779579 2997932032 603470 33554432000 4194304 6211132 140734185286128 140285727521640 140285784976190 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 5784.04 s
Current children cumulated vsize: 2927668 KiB
Current children cumulated memory: 2413880 KiB

[startup+736 s]*
/proc/loadavg: 7.42 8.03 8.00 2/192 18329
/proc/meminfo: memFree=29342976/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=2927668 memory=2420192 CPUtime=5785.72 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 1483134 0 0 0 578016 556 0 0 20 0 2 0 558778970 2997932032 605048 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 731917 605048 851 493 0 725222 0
[pid=18269/tid=18272] ppid=18266 vsize=2927668 memory=1976 CPUtime=726.8 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 157400 0 0 0 72620 60 0 0 20 0 2 0 558779579 2997932032 605048 33554432000 4194304 6211132 140734185286128 140285769485256 5393095 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 5785.72 s
Current children cumulated vsize: 2927668 KiB
Current children cumulated memory: 2420192 KiB

[startup+736.2 s]
/proc/loadavg: 7.42 8.03 8.00 2/192 18329
/proc/meminfo: memFree=29342976/32770624 swapFree=66959828/67108860
[pid=18269] ppid=18266 vsize=2927668 memory=2420984 CPUtime=5785.92 cores=0-7
/proc/18269/stat : 18269 (cosoco) S 18266 18269 15778 0 -1 1077944320 1483323 0 0 0 578035 557 0 0 20 0 2 0 558778970 2997932032 605246 33554432000 4194304 6211132 140734185286128 140734185284384 140285801021175 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
/proc/18269/statm: 731917 605246 851 493 0 725222 0
[pid=18269/tid=18272] ppid=18266 vsize=2927668 memory=808 CPUtime=726.99 cores=0-7
/proc/18269/task/18272/stat : 18272 (cosoco) R 18266 18269 15778 0 -1 4202560 157589 0 0 0 72639 60 0 0 20 0 2 0 558779579 2997932032 605246 33554432000 4194304 6211132 140734185286128 140285769485256 5393095 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 16666624 140734185288721 140734185288813 140734185288813 140734185291726 0
Current children cumulated CPU time: 5785.92 s
Current children cumulated vsize: 2927668 KiB
Current children cumulated memory: 2420984 KiB

[startup+736.3 s]*
/proc/loadavg: 7.42 8.03 8.00 2/191 18329
/proc/meminfo: memFree=31518204/32770624 swapFree=66959828/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 736.32
CPU time (s): 5786.04
CPU user time (s): 5780.37
CPU system time (s): 5.67555
CPU usage (%): 785.805
Max. virtual memory (cumulated for all children) (KiB): 2927668
Max. memory (cumulated for all children) (KiB): 2420984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5780.37
system time used= 5.67555
maximum resident set size= 2421260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1483397
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= 13175
involuntary context switches= 51387


# summary of solver processes directly reported to runsolver:
#   pid: 18269
#   total CPU time (s): 5786.04
#   total CPU user time (s): 5780.37
#   total CPU system time (s): 5.67555

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

The end

Launcher Data 

Begin job on node127 at 2019-09-30 08:31:01
IDJOB=4409282
IDBENCH=126842
IDSOLVER=2877
FILE ID=node127/4409282-1569825102
RUNJOBID= node127-1569817234-15805
PBS_JOBID= 21705916
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0150.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409282-1569825102/watcher-4409282-1569825102 -o /tmp/evaluation-result-4409282-1569825102/solver-4409282-1569825102 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569817234-15805 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409282-1569825102.xml

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

MD5SUM BENCH= b9bf68be3b756b1f34bbd3d4e06d542d
RANDOM SEED=1620537868

node127.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.55
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.55
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.55
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.55
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:        31755168 kB
MemAvailable:   31813588 kB
Buffers:           97620 kB
Cached:           288492 kB
SwapCached:        45128 kB
Active:           270380 kB
Inactive:         168500 kB
Active(anon):       4964 kB
Inactive(anon):   129360 kB
Active(file):     265416 kB
Inactive(file):    39140 kB
Unevictable:      107512 kB
Mlocked:          107512 kB
SwapTotal:      67108860 kB
SwapFree:       66959828 kB
Dirty:              3344 kB
Writeback:             0 kB
AnonPages:        116416 kB
Mapped:            26384 kB
Shmem:             73072 kB
Slab:             168064 kB
SReclaimable:     139400 kB
SUnreclaim:        28664 kB
KernelStack:        3392 kB
PageTables:         5872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539292 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:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 62028 MiB
End job on node127 at 2019-09-30 08:43:17