Trace number 4408123

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? (TO) 2519.83 2520.01

General information on the benchmark

NameStripPacking/StripPacking-m1-series1/
StripPacking-C3P2.xml
MD5SUMec554133dcdc77f0ded322158f487a65
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark226.379
Satisfiable
(Un)Satisfiability was proved
Number of variables145
Number of constraints88
Number of domains30
Minimum domain size1
Maximum domain size60
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":83},{"size":30,"count":29},{"size":60,"count":29}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":29},{"degree":2,"count":58},{"degree":3,"count":58}]
Minimum constraint arity2
Maximum constraint arity116
Distribution of constraint arities[{"arity":2,"count":58},{"arity":3,"count":29},{"arity":116,"count":1}]
Number of extensional constraints29
Number of intensional constraints58
Distribution of constraint types[{"type":"extension","count":29},{"type":"intension","count":58},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408123-1569788209.xml 
0.00/0.00	c intension  le(add(w[0],x[0]),60) -> extension (support ? 0) - 22tuples
0.00/0.00	c intension  le(add(w[1],x[1]),60) -> extension (support ? 0) - 12tuples
0.00/0.00	c intension  le(add(w[2],x[2]),60) -> extension (support ? 0) - 15tuples
0.00/0.00	c intension  le(add(w[3],x[3]),60) -> extension (support ? 0) - 25tuples
0.00/0.00	c intension  le(add(w[4],x[4]),60) -> extension (support ? 0) - 3tuples
0.00/0.00	c intension  le(add(w[5],x[5]),60) -> extension (support ? 0) - 6tuples
0.00/0.01	c intension  le(add(w[6],x[6]),60) -> extension (support ? 0) - 13tuples
0.00/0.01	c intension  le(add(w[7],x[7]),60) -> extension (support ? 0) - 9tuples
0.00/0.01	c intension  le(add(w[8],x[8]),60) -> extension (support ? 0) - 7tuples
0.00/0.01	c intension  le(add(w[9],x[9]),60) -> extension (support ? 0) - 15tuples
0.00/0.01	c intension  le(add(w[10],x[10]),60) -> extension (support ? 0) - 27tuples
0.00/0.01	c intension  le(add(w[11],x[11]),60) -> extension (support ? 0) - 14tuples
0.00/0.01	c intension  le(add(w[12],x[12]),60) -> extension (support ? 0) - 4tuples
0.00/0.01	c intension  le(add(w[13],x[13]),60) -> extension (support ? 0) - 10tuples
0.00/0.01	c intension  le(add(w[14],x[14]),60) -> extension (support ? 0) - 4tuples
0.00/0.01	c intension  le(add(w[15],x[15]),60) -> extension (support ? 0) - 17tuples
0.00/0.01	c intension  le(add(w[16],x[16]),60) -> extension (support ? 0) - 18tuples
0.00/0.01	c intension  le(add(w[17],x[17]),60) -> extension (support ? 0) - 7tuples
0.00/0.01	c intension  le(add(w[18],x[18]),60) -> extension (support ? 0) - 14tuples
0.00/0.01	c intension  le(add(w[19],x[19]),60) -> extension (support ? 0) - 23tuples
0.00/0.01	c intension  le(add(w[20],x[20]),60) -> extension (support ? 0) - 3tuples
0.00/0.01	c intension  le(add(w[21],x[21]),60) -> extension (support ? 0) - 12tuples
0.00/0.02	c intension  le(add(w[22],x[22]),60) -> extension (support ? 0) - 28tuples
0.00/0.02	c intension  le(add(w[23],x[23]),60) -> extension (support ? 0) - 8tuples
0.00/0.02	c intension  le(add(w[24],x[24]),60) -> extension (support ? 0) - 1tuples
0.00/0.02	c intension  le(add(w[25],x[25]),60) -> extension (support ? 0) - 11tuples
0.00/0.02	c intension  le(add(w[26],x[26]),60) -> extension (support ? 0) - 6tuples
0.00/0.02	c intension  le(add(w[27],x[27]),60) -> extension (support ? 0) - 30tuples
0.00/0.02	c intension  le(add(w[28],x[28]),60) -> extension (support ? 0) - 24tuples
0.00/0.02	c intension  le(add(h[0],y[0]),30) -> extension (support ? 0) - 22tuples
0.00/0.02	c intension  le(add(h[1],y[1]),30) -> extension (support ? 0) - 12tuples
0.00/0.02	c intension  le(add(h[2],y[2]),30) -> extension (support ? 0) - 15tuples
0.00/0.02	c intension  le(add(h[3],y[3]),30) -> extension (support ? 0) - 25tuples
0.00/0.02	c intension  le(add(h[4],y[4]),30) -> extension (support ? 0) - 3tuples
0.00/0.02	c intension  le(add(h[5],y[5]),30) -> extension (support ? 0) - 6tuples
0.00/0.02	c intension  le(add(h[6],y[6]),30) -> extension (support ? 0) - 13tuples
0.00/0.02	c intension  le(add(h[7],y[7]),30) -> extension (support ? 0) - 9tuples
0.00/0.02	c intension  le(add(h[8],y[8]),30) -> extension (support ? 0) - 7tuples
0.00/0.02	c intension  le(add(h[9],y[9]),30) -> extension (support ? 0) - 15tuples
0.00/0.03	c intension  le(add(h[10],y[10]),30) -> extension (support ? 0) - 27tuples
0.00/0.03	c intension  le(add(h[11],y[11]),30) -> extension (support ? 0) - 14tuples
0.00/0.03	c intension  le(add(h[12],y[12]),30) -> extension (support ? 0) - 4tuples
0.00/0.03	c intension  le(add(h[13],y[13]),30) -> extension (support ? 0) - 10tuples
0.00/0.03	c intension  le(add(h[14],y[14]),30) -> extension (support ? 0) - 4tuples
0.00/0.03	c intension  le(add(h[15],y[15]),30) -> extension (support ? 0) - 17tuples
0.00/0.03	c intension  le(add(h[16],y[16]),30) -> extension (support ? 0) - 18tuples
0.00/0.03	c intension  le(add(h[17],y[17]),30) -> extension (support ? 0) - 7tuples
0.00/0.03	c intension  le(add(h[18],y[18]),30) -> extension (support ? 0) - 14tuples
0.00/0.03	c intension  le(add(h[19],y[19]),30) -> extension (support ? 0) - 23tuples
0.00/0.03	c intension  le(add(h[20],y[20]),30) -> extension (support ? 0) - 3tuples
0.00/0.03	c intension  le(add(h[21],y[21]),30) -> extension (support ? 0) - 12tuples
0.00/0.03	c intension  le(add(h[22],y[22]),30) -> extension (support ? 0) - 28tuples
0.00/0.03	c intension  le(add(h[23],y[23]),30) -> extension (support ? 0) - 8tuples
0.00/0.03	c intension  le(add(h[24],y[24]),30) -> extension (support ? 0) - 1tuples
0.00/0.03	c intension  le(add(h[25],y[25]),30) -> extension (support ? 0) - 11tuples
0.00/0.03	c intension  le(add(h[26],y[26]),30) -> extension (support ? 0) - 6tuples
0.00/0.04	c intension  le(add(h[27],y[27]),30) -> extension (support ? 1) - 30tuples
0.00/0.04	c intension  le(add(h[28],y[28]),30) -> extension (support ? 0) - 24tuples
0.10/0.14	c root propagations     : 224         
0.10/0.14	c restarts enabled, print stats at every restarts
0.10/0.14	c
0.10/0.14	c
0.10/0.14	c ========================================[ Problem Statistics ]===========================================
0.10/0.14	c |                                                                                                       
0.10/0.14	c |  Parse time        :         0.14 s 
0.10/0.14	c |
0.10/0.14	c |               Variables: 145
0.10/0.14	c |            Domain Sizes: 1..60
0.10/0.14	c |
0.10/0.14	c |             Constraints: 493
0.10/0.14	c |                   Arity: 2..8  -- Binary: 58  -- Ternary: 29
0.10/0.14	c | 
0.10/0.14	c |                   Types: 
0.10/0.14	c |                          Extension: 87  (nb tuples: 1..30) -- (shared: 1)
0.10/0.14	c |                          Intension: 406
0.10/0.14	c |                          
0.10/0.14	c =========================================================================================================
0.10/0.14	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
3.39/3.43	c 101            211            28508          40383          52             0              102   103   101
3.89/4.00	c 211            436            38238          44535          52             0              25   116   100 
8.39/8.45	c 332            611            57326          50674          52             0              35   36   35   
9.00/9.06	c 465            820            69789          55622          52             0              35   69   60   
10.89/11.00	c 611            1036           85780          62069          52             0              34   57   46   
12.00/12.06	c 771            1329           102966         70514          52             0              38   116   75  
13.29/13.39	c 947            1604           118356         79724          52             0              38   54   51   
14.89/15.00	c 1140           1977           136326         91146          52             0              36   118   79  
16.09/16.13	c 1352           2280           153635         101707         52             0              36   63   57   
17.99/18.05	c 1585           2621           191728         114038         52             0              40   63   59   
21.09/21.15	c 1841           3052           234653         126430         52             0              40   59   56   
22.48/22.52	c 2122           3425           254266         138780         52             0              42   62   59   
25.68/25.75	c 2431           3892           308051         160382         52             0              41   62   56   
27.09/27.16	c 2770           4314           331004         174922         52             0              44   61   60   
29.58/29.64	c 3142           4907           359650         194686         52             0              43   120   93  
35.58/35.65	c 3551           5491           424345         232905         52             0              41   122   59  
37.88/37.98	c 4000           6082           453745         253672         52             0              42   126   105 
40.69/40.78	c 4493           6678           487781         276486         52             0              52   73   71   
43.49/43.53	c 5035           7347           525985         300167         52             0              47   69   65   
52.10/52.13	c 5631           8372           651898         351074         52             0              49   69   65   
59.00/59.08	c 6286           9210           730736         372647         52             0              52   58   57   
63.00/63.10	c 7006           10093          779625         408955         52             0              53   66   64   
73.89/73.96	c 7798           11198          898359         456236         52             0              55   62   60   
78.59/78.60	c 8669           12241          955023         497520         52             0              55   65   62   
91.29/91.32	c 9627           13516          1111093        537531         52             0              58   62   60   
97.58/97.66	c 10680          14801          1181673        582954         52             0              54   63   59   
103.78/103.87	c 11838          16291          1274159        636093         52             0              52   56   55   
123.38/123.40	c 13111          18043          1489571        708929         52             0              52   55   53   
131.18/131.28	c 14511          19745          1583777        768045         52             0              52   61   57   
175.58/175.64	c 16051          21431          1808169        991883         52             0              44   44   43   
208.77/208.88	c 17745          23522          2098911        1123268        52             0              41   53   50   
261.67/261.76	c 19608          25816          2388240        1320877        52             0              45   51   50   
278.57/278.62	c 21657          28323          2598544        1423887        52             0              41   65   58   
322.16/322.26	c 23910          30775          2956259        1732023        52             0              46   46   45   
382.36/382.44	c 26388          33867          3449464        1959178        52             0              39   50   48   
431.36/431.48	c 29113          36887          3888032        2338363        52             0              45   47   46   
525.35/525.47	c 32110          40946          4553320        2593893        52             0              36   50   48   
539.35/539.49	c 35406          44583          4758408        2725843        52             0              40   67   64   
605.64/605.76	c 39031          48499          5311782        3310978        52             0              42   46   43   
660.54/660.66	c 43018          53599          5781867        3533007        52             0              36   69   58   
715.23/715.30	c 47403          58790          6266084        3813065        52             0              40   64   57   
810.53/810.64	c 52226          63948          7077947        4651665        52             0              43   43   42   
831.22/831.37	c 57531          70253          7443954        4869334        52             0              47   63   57   
853.52/853.63	c 63366          77009          7832550        5102575        52             0              39   63   59   
881.32/881.45	c 69784          84861          8288821        5390170        52             0              38   61   57   
912.52/912.68	c 76843          92838          8762454        5696929        52             0              38   58   55   
943.72/943.81	c 84607          101607         9266684        6072543        52             0              37   58   54   
974.31/974.45	c 93147          110945         9787297        6414192        52             0              37   56   52   
1010.71/1010.83	c 102541         121475         10394176       6852156        52             0              37   53   51   
1050.92/1051.02	c 112874         133399         10983195       7286534        52             0              41   61   58   
1124.01/1124.18	c 124240         147771         11790865       7747710        52             0              36   59   55   
1174.91/1175.05	c 136742         161702         12542672       8249844        52             0              41   67   60   
1241.49/1241.64	c 150494         177932         13469033       8944187        52             0              40   59   57   
1298.39/1298.59	c 165621         194742         14402072       9636547        52             0              42   54   49   
1361.48/1361.67	c 182260         213356         15451469       10366279       52             0              49   59   56   
1433.28/1433.49	c 200562         233445         16530873       11214979       52             0              48   84   71   
1517.38/1517.55	c 220694         255568         17802484       12208249       52             0              53   73   69   
1597.78/1598.00	c 242839         280983         19263316       13150552       52             0              52   57   56   
1716.77/1716.99	c 267198         309698         21155248       14364717       52             0              46   51   50   
1838.66/1838.80	c 293992         339183         22733376       15530799       52             0              46   69   65   
2089.54/2089.77	c 323465         375649         25365155       16786600       52             0              44   68   54   
2254.43/2254.62	c 355885         411684         27353595       18222516       52             0              45   68   65   
2433.01/2433.27	c 391547         452242         29589328       19772282       52             0              48   69   67   
2519.81/2520.00	
2519.81/2520.00	c *** INTERRUPTED ***
2519.81/2520.00	c restarts              : 63          
2519.81/2520.00	c conflicts             : 404812       (161 /sec)
2519.81/2520.00	c decisions             : 469420       (186 /sec)
2519.81/2520.00	c propagations          : 20410574    (8100 /sec)
2519.81/2520.00	c root propagations     : 224         
2519.81/2520.00	c filter calls          : 30657383       (12167 /sec)
2519.81/2520.00	c useless filter calls  : 28791143       (93 %)
2519.81/2520.00	c Memory used           : 34.69 MB
2519.81/2520.00	c CPU time              : 2519.8 s
2519.81/2520.00	c real time             : 2520.01 s
2519.81/2520.00	
2519.81/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14108 MiB free)
  memory of node 1: 16384 MiB (13906 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408123-1569788209/watcher-4408123-1569788209 -o /tmp/evaluation-result-4408123-1569788209/solver-4408123-1569788209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1569787350-1892 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408123-1569788209.xml 

running on 4 cores: 0,2,4,6

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

solver pid=2475, runsolver pid=2472

[startup+0.100162 s]*
/proc/loadavg: 2.69 2.02 1.23 3/200 2476
/proc/meminfo: memFree=28679964/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=31164 memory=7596 CPUtime=0.1 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 2079 0 0 0 10 0 0 0 20 0 1 0 555083433 31911936 1899 33554432000 4194304 6211132 140725126412160 140725126408696 140701754850277 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 7791 1899 843 493 0 1096 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31164 KiB
Current children cumulated memory: 7596 KiB

[startup+0.209899 s]*
/proc/loadavg: 2.69 2.02 1.23 3/200 2476
/proc/meminfo: memFree=28668920/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=33008 memory=9436 CPUtime=0.21 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 2580 0 0 0 21 0 0 0 20 0 1 0 555083433 33800192 2359 33554432000 4194304 6211132 140725126412160 140725126408696 140701754850277 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8252 2359 882 493 0 1557 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 9436 KiB

[startup+0.309799 s]*
/proc/loadavg: 2.69 2.02 1.23 3/200 2476
/proc/meminfo: memFree=28670608/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=33272 memory=9700 CPUtime=0.31 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 2638 0 0 0 31 0 0 0 20 0 1 0 555083433 34070528 2425 33554432000 4194304 6211132 140725126412160 140725126408696 5451598 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8318 2425 882 493 0 1623 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9700 KiB

[startup+0.70044 s]
/proc/loadavg: 2.69 2.02 1.23 3/200 2476
/proc/meminfo: memFree=28661376/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=33272 memory=9700 CPUtime=0.69 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 2641 0 0 0 69 0 0 0 20 0 1 0 555083433 34070528 2425 33554432000 4194304 6211132 140725126412160 140725126409816 5451568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8318 2425 882 493 0 1623 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9700 KiB

[startup+1.50042 s]
/proc/loadavg: 2.87 2.07 1.25 3/200 2476
/proc/meminfo: memFree=28653812/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=33272 memory=9700 CPUtime=1.49 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 2651 0 0 0 149 0 0 0 20 0 1 0 555083433 34070528 2425 33554432000 4194304 6211132 140725126412160 140725126409816 5451532 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8318 2425 882 493 0 1623 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9700 KiB

[startup+3.1098 s]
/proc/loadavg: 2.87 2.07 1.25 3/200 2476
/proc/meminfo: memFree=28620000/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=33272 memory=9960 CPUtime=3.1 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 3655 0 0 0 310 0 0 0 20 0 1 0 555083433 34070528 2490 33554432000 4194304 6211132 140725126412160 140725126409816 140701755774046 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8318 2490 882 493 0 1623 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9960 KiB

[startup+6.30037 s]
/proc/loadavg: 3.05 2.12 1.27 3/200 2476
/proc/meminfo: memFree=28566408/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=34460 memory=11016 CPUtime=6.29 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 5666 0 0 0 629 0 0 0 20 0 1 0 555083433 35287040 2754 33554432000 4194304 6211132 140725126412160 140725126409816 5451560 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8615 2754 882 493 0 1920 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 34460 KiB
Current children cumulated memory: 11016 KiB

[startup+12.7003 s]
/proc/loadavg: 2.96 2.12 1.28 3/200 2481
/proc/meminfo: memFree=29401228/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=34724 memory=11320 CPUtime=12.69 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 7472 0 0 0 1269 0 0 0 20 0 1 0 555083433 35557376 2830 33554432000 4194304 6211132 140725126412160 140725126410120 5451568 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8681 2830 882 493 0 1986 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 34724 KiB
Current children cumulated memory: 11320 KiB

[startup+25.5003 s]
/proc/loadavg: 2.81 2.11 1.29 3/199 2481
/proc/meminfo: memFree=28763404/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=34988 memory=11592 CPUtime=25.48 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 10518 0 0 0 2548 0 0 0 20 0 1 0 555083433 35827712 2898 33554432000 4194304 6211132 140725126412160 140725126409816 5453940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8747 2898 882 493 0 2052 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11592 KiB

[startup+51.1093 s]
/proc/loadavg: 2.49 2.10 1.31 3/199 2482
/proc/meminfo: memFree=27483880/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35384 memory=11948 CPUtime=51.1 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 13184 0 0 0 5109 1 0 0 20 0 1 0 555083433 36233216 2987 33554432000 4194304 6211132 140725126412160 140725126409816 140701755776426 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8846 2987 882 493 0 2151 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 11948 KiB

[startup+102.3 s]
/proc/loadavg: 2.21 2.09 1.34 3/201 2489
/proc/meminfo: memFree=25529404/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35384 memory=12024 CPUtime=102.28 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 14983 0 0 0 10227 1 0 0 20 0 1 0 555083433 36233216 3006 33554432000 4194304 6211132 140725126412160 140725126410120 5164744 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8846 3006 882 493 0 2151 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12024 KiB

[startup+162.3 s]
/proc/loadavg: 2.08 2.07 1.39 3/200 2493
/proc/meminfo: memFree=24318740/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35384 memory=12048 CPUtime=162.28 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 16684 0 0 0 16227 1 0 0 20 0 1 0 555083433 36233216 3012 33554432000 4194304 6211132 140725126412160 140725126410120 5451516 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8846 3012 882 493 0 2151 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12048 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 2.06 1.42 3/200 2497
/proc/meminfo: memFree=22300760/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35384 memory=12080 CPUtime=222.27 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 18330 0 0 0 22226 1 0 0 20 0 1 0 555083433 36233216 3020 33554432000 4194304 6211132 140725126412160 140725126410120 5452239 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8846 3020 882 493 0 2151 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12080 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.05 1.46 3/202 2511
/proc/meminfo: memFree=20017976/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35384 memory=12088 CPUtime=282.27 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 20086 0 0 0 28226 1 0 0 20 0 1 0 555083433 36233216 3022 33554432000 4194304 6211132 140725126412160 140725126410120 5164975 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8846 3022 882 493 0 2151 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12088 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 1.49 3/201 2515
/proc/meminfo: memFree=17560096/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35384 memory=12096 CPUtime=342.26 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 21664 0 0 0 34225 1 0 0 20 0 1 0 555083433 36233216 3024 33554432000 4194304 6211132 140725126412160 140725126410120 140701755773825 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8846 3024 882 493 0 2151 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12096 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 1.52 3/200 2519
/proc/meminfo: memFree=16352732/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35384 memory=12096 CPUtime=402.26 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 23258 0 0 0 40225 1 0 0 20 0 1 0 555083433 36233216 3024 33554432000 4194304 6211132 140725126412160 140725126410120 5446662 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8846 3024 882 493 0 2151 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12096 KiB

[startup+462.3 s]
/proc/loadavg: 2.68 2.17 1.60 5/215 2616
/proc/meminfo: memFree=28669456/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12100 CPUtime=462.25 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 24844 0 0 0 46224 1 0 0 20 0 1 0 555083433 36368384 3025 33554432000 4194304 6211132 140725126412160 140725126409816 140701755773828 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3025 882 493 0 2184 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12100 KiB


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

/proc/2475/statm: 8879 3052 882 493 0 2184 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/199 2767
/proc/meminfo: memFree=29874916/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12208 CPUtime=1782.16 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 34445 0 0 0 178214 2 0 0 20 0 1 0 555083433 36368384 3052 33554432000 4194304 6211132 140725126412160 140725126410120 5069376 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3052 882 493 0 2184 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 2771
/proc/meminfo: memFree=29875048/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12220 CPUtime=1842.16 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 34912 0 0 0 184214 2 0 0 20 0 1 0 555083433 36368384 3055 33554432000 4194304 6211132 140725126412160 140725126410120 5446258 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3055 882 493 0 2184 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12220 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/200 2777
/proc/meminfo: memFree=29875400/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12220 CPUtime=1902.15 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 35259 0 0 0 190213 2 0 0 20 0 1 0 555083433 36368384 3055 33554432000 4194304 6211132 140725126412160 140725126410120 5164858 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3055 882 493 0 2184 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12220 KiB

[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 1.93 3/199 2781
/proc/meminfo: memFree=29875108/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=1962.15 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 35590 0 0 0 196213 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 5446662 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2022.3 s]
/proc/loadavg: 2.38 2.14 1.97 3/199 2785
/proc/meminfo: memFree=29874984/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=2022.14 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 35896 0 0 0 202212 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 140701764795261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2082.3 s]
/proc/loadavg: 2.14 2.12 1.97 3/201 2799
/proc/meminfo: memFree=29875344/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=2082.14 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 36347 0 0 0 208212 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 5443057 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.10 1.97 3/200 2803
/proc/meminfo: memFree=29875152/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=2142.13 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 36832 0 0 0 214211 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 140701755770801 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2202.3 s]
/proc/loadavg: 2.30 2.14 1.99 3/200 2807
/proc/meminfo: memFree=29875240/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=2202.13 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 37212 0 0 0 220211 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 5454192 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2262.3 s]
/proc/loadavg: 2.33 2.20 2.03 3/201 2813
/proc/meminfo: memFree=29875284/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=2262.13 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 37727 0 0 0 226211 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 5476851 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2322.3 s]
/proc/loadavg: 2.12 2.17 2.03 3/200 2817
/proc/meminfo: memFree=29874980/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=2322.12 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 37994 0 0 0 232210 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 5446662 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 2.14 2.03 3/199 2822
/proc/meminfo: memFree=29874916/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=2382.12 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 38339 0 0 0 238210 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 5441118 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2442.3 s]
/proc/loadavg: 2.02 2.11 2.03 3/200 2828
/proc/meminfo: memFree=29875364/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=2442.11 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 38854 0 0 0 244209 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 5440664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.09 2.03 3/199 2832
/proc/meminfo: memFree=29874792/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=2502.11 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 39238 0 0 0 250209 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 140701755773828 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.09 2.03 3/199 2835
/proc/meminfo: memFree=29874948/32770624 swapFree=66993608/67108860
[pid=2475] ppid=2472 vsize=35516 memory=12224 CPUtime=2519.81 cores=0,2,4,6
/proc/2475/stat : 2475 (cosoco) R 2472 2475 1861 0 -1 4202496 39628 0 0 0 251979 2 0 0 20 0 1 0 555083433 36368384 3056 33554432000 4194304 6211132 140725126412160 140725126410120 5164796 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14323712 140725126415371 140725126415473 140725126415473 140725126418382 0
/proc/2475/statm: 8879 3056 882 493 0 2184 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.83
CPU user time (s): 2519.8
CPU system time (s): 0.025998
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 35516
Max. memory (cumulated for all children) (KiB): 12224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.8
system time used= 0.025998
maximum resident set size= 12288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39676
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= 8
involuntary context switches= 3162


# summary of solver processes directly reported to runsolver:
#   pid: 2475
#   total CPU time (s): 2519.83
#   total CPU user time (s): 2519.8
#   total CPU system time (s): 0.025998

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

The end

Launcher Data 

Begin job on node121 at 2019-09-29 22:16:06
IDJOB=4408123
IDBENCH=120505
IDSOLVER=2874
FILE ID=node121/4408123-1569788209
RUNJOBID= node121-1569787350-1892
PBS_JOBID= 21705831
Free space on /tmp= 61548 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-series1/StripPacking-C3P2.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408123-1569788209/watcher-4408123-1569788209 -o /tmp/evaluation-result-4408123-1569788209/solver-4408123-1569788209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1569787350-1892 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408123-1569788209.xml

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

MD5SUM BENCH= ec554133dcdc77f0ded322158f487a65
RANDOM SEED=789568141

node121.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.75
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.75
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.75
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.75
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:        28687628 kB
MemAvailable:   31611012 kB
Buffers:          209596 kB
Cached:          3028104 kB
SwapCached:         4476 kB
Active:          1539496 kB
Inactive:        1942820 kB
Active(anon):     237588 kB
Inactive(anon):    82012 kB
Active(file):    1301908 kB
Inactive(file):  1860808 kB
Unevictable:      109048 kB
Mlocked:          109048 kB
SwapTotal:      67108860 kB
SwapFree:       66993608 kB
Dirty:            556596 kB
Writeback:         79336 kB
AnonPages:        358124 kB
Mapped:            29324 kB
Shmem:             66252 kB
Slab:             192608 kB
SReclaimable:     153004 kB
SUnreclaim:        39604 kB
KernelStack:        3504 kB
PageTables:         6188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     830372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 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= 62024 MiB
End job on node121 at 2019-09-29 22:58:06