Trace number 4396863

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) 2520.07 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-4396863-1568573258.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.01	c intension  le(add(w[4],x[4]),60) -> extension (support ? 0) - 3tuples
0.00/0.01	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.02	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.03	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.13	c root propagations     : 224         
0.10/0.13	c restarts enabled, print stats at every restarts
0.10/0.13	c
0.10/0.13	c
0.10/0.13	c ========================================[ Problem Statistics ]===========================================
0.10/0.13	c |                                                                                                       
0.10/0.13	c |  Parse time        :         0.13 s 
0.10/0.13	c |
0.10/0.13	c |               Variables: 145
0.10/0.13	c |            Domain Sizes: 1..60
0.10/0.13	c |
0.10/0.13	c |             Constraints: 493
0.10/0.13	c |                   Arity: 2..8  -- Binary: 58  -- Ternary: 29
0.10/0.13	c | 
0.10/0.13	c |                   Types: 
0.10/0.13	c |                          Extension: 87  (nb tuples: 1..30) -- (shared: 1)
0.10/0.13	c |                          Intension: 406
0.10/0.13	c |                          
0.10/0.13	c =========================================================================================================
0.10/0.13	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
3.29/3.36	c 101            211            28508          40383          52             0              102   103   101
3.89/3.92	c 211            436            38238          44535          52             0              25   116   100 
8.19/8.29	c 332            611            57326          50674          52             0              35   36   35   
8.79/8.88	c 465            820            69789          55622          52             0              35   69   60   
10.69/10.79	c 611            1036           85780          62069          52             0              34   57   46   
11.79/11.83	c 771            1329           102966         70514          52             0              38   116   75  
13.10/13.13	c 947            1604           118356         79724          52             0              38   54   51   
14.69/14.70	c 1140           1977           136326         91146          52             0              36   118   79  
15.79/15.81	c 1352           2280           153635         101707         52             0              36   63   57   
17.59/17.68	c 1585           2621           191728         114038         52             0              40   63   59   
20.69/20.71	c 1841           3052           234653         126430         52             0              40   59   56   
22.00/22.05	c 2122           3425           254266         138780         52             0              42   62   59   
25.19/25.21	c 2431           3892           308051         160382         52             0              41   62   56   
26.49/26.58	c 2770           4314           331004         174922         52             0              44   61   60   
28.99/29.01	c 3142           4907           359650         194686         52             0              43   120   93  
34.79/34.89	c 3551           5491           424345         232905         52             0              41   122   59  
37.10/37.16	c 4000           6082           453745         253672         52             0              42   126   105 
39.89/39.90	c 4493           6678           487781         276486         52             0              52   73   71   
42.49/42.59	c 5035           7347           525985         300167         52             0              47   69   65   
50.89/51.00	c 5631           8372           651898         351074         52             0              49   69   65   
57.79/57.81	c 6286           9210           730736         372647         52             0              52   58   57   
61.69/61.74	c 7006           10093          779625         408955         52             0              53   66   64   
72.29/72.35	c 7798           11198          898359         456236         52             0              55   62   60   
76.79/76.89	c 8669           12241          955023         497520         52             0              55   65   62   
89.29/89.31	c 9627           13516          1111093        537531         52             0              58   62   60   
95.49/95.52	c 10680          14801          1181673        582954         52             0              54   63   59   
101.49/101.57	c 11838          16291          1274159        636093         52             0              52   56   55   
120.59/120.67	c 13111          18043          1489571        708929         52             0              52   55   53   
128.39/128.40	c 14511          19745          1583777        768045         52             0              52   61   57   
172.00/172.10	c 16051          21431          1808169        991883         52             0              44   44   43   
204.59/204.69	c 17745          23522          2098911        1123268        52             0              41   53   50   
256.69/256.74	c 19608          25816          2388240        1320877        52             0              45   51   50   
273.19/273.24	c 21657          28323          2598544        1423887        52             0              41   65   58   
316.10/316.13	c 23910          30775          2956259        1732023        52             0              46   46   45   
375.19/375.21	c 26388          33867          3449464        1959178        52             0              39   50   48   
423.40/423.43	c 29113          36887          3888032        2338363        52             0              45   47   46   
515.40/515.47	c 32110          40946          4553320        2593893        52             0              36   50   48   
529.11/529.18	c 35406          44583          4758408        2725843        52             0              40   67   64   
594.20/594.29	c 39031          48499          5311782        3310978        52             0              42   46   43   
648.01/648.04	c 43018          53599          5781867        3533007        52             0              36   69   58   
701.50/701.57	c 47403          58790          6266084        3813065        52             0              40   64   57   
795.11/795.17	c 52226          63948          7077947        4651665        52             0              43   43   42   
815.30/815.38	c 57531          70253          7443954        4869334        52             0              47   63   57   
837.11/837.11	c 63366          77009          7832550        5102575        52             0              39   63   59   
864.21/864.23	c 69784          84861          8288821        5390170        52             0              38   61   57   
894.71/894.75	c 76843          92838          8762454        5696929        52             0              38   58   55   
925.02/925.04	c 84607          101607         9266684        6072543        52             0              37   58   54   
955.02/955.07	c 93147          110945         9787297        6414192        52             0              37   56   52   
990.52/990.55	c 102541         121475         10394176       6852156        52             0              37   53   51   
1029.72/1029.72	c 112874         133399         10983195       7286534        52             0              41   61   58   
1101.22/1101.21	c 124240         147771         11790865       7747710        52             0              36   59   55   
1150.92/1150.97	c 136742         161702         12542672       8249844        52             0              41   67   60   
1215.82/1215.87	c 150494         177932         13469033       8944187        52             0              40   59   57   
1271.42/1271.40	c 165621         194742         14402072       9636547        52             0              42   54   49   
1332.82/1332.87	c 182260         213356         15451469       10366279       52             0              49   59   56   
1402.82/1402.85	c 200562         233445         16530873       11214979       52             0              48   84   71   
1485.03/1485.07	c 220694         255568         17802484       12208249       52             0              53   73   69   
1563.73/1563.72	c 242839         280983         19263316       13150552       52             0              52   57   56   
1679.83/1679.84	c 267198         309698         21155248       14364717       52             0              46   51   50   
1798.93/1798.90	c 293992         339183         22733376       15530799       52             0              46   69   65   
2045.04/2045.01	c 323465         375649         25365155       16786600       52             0              44   68   54   
2206.34/2206.31	c 355885         411684         27353595       18222516       52             0              45   68   65   
2380.64/2380.64	c 391547         452242         29589328       19772282       52             0              48   69   67   
2520.05/2520.00	
2520.05/2520.00	c *** INTERRUPTED ***
2520.05/2520.00	c restarts              : 63          
2520.05/2520.00	c conflicts             : 413126       (164 /sec)
2520.05/2520.00	c decisions             : 480017       (190 /sec)
2520.05/2520.00	c propagations          : 20804622    (8256 /sec)
2520.05/2520.00	c root propagations     : 224         
2520.05/2520.00	c filter calls          : 31327927       (12431 /sec)
2520.05/2520.00	c useless filter calls  : 29425804       (93 %)
2520.05/2520.00	c Memory used           : 34.69 MB
2520.05/2520.00	c CPU time              : 2520.05 s
2520.05/2520.00	c real time             : 2520 s
2520.05/2520.00	
2520.05/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 (11103 MiB free)
  memory of node 1: 16384 MiB (11638 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396863-1568573258/watcher-4396863-1568573258 -o /tmp/evaluation-result-4396863-1568573258/solver-4396863-1568573258 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396863-1568573258.xml 

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

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


[startup+0.100164 s]*
/proc/loadavg: 2.31 1.65 0.84 3/200 9783
/proc/meminfo: memFree=23280264/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=31428 memory=7856 CPUtime=0.1 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 2133 0 0 0 10 0 0 0 20 0 1 0 433240651 32182272 1964 33554432000 4194304 6211092 140730946097584 140730946094120 139870502140901 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 7857 1964 843 493 0 1162 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31428 KiB
Current children cumulated memory: 7856 KiB

[startup+0.20971 s]*
/proc/loadavg: 2.31 1.65 0.84 3/200 9783
/proc/meminfo: memFree=23278312/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=33008 memory=9700 CPUtime=0.21 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 2588 0 0 0 21 0 0 0 20 0 1 0 433240651 33800192 2425 33554432000 4194304 6211092 140730946097584 140730946095240 5451482 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8252 2425 881 493 0 1557 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 9700 KiB

[startup+0.309632 s]*
/proc/loadavg: 2.31 1.65 0.84 3/200 9783
/proc/meminfo: memFree=23280236/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=33272 memory=9700 CPUtime=0.31 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 2637 0 0 0 31 0 0 0 20 0 1 0 433240651 34070528 2425 33554432000 4194304 6211092 140730946097584 140730946095240 139870512085853 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8318 2425 881 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.700375 s]
/proc/loadavg: 2.31 1.65 0.84 3/200 9783
/proc/meminfo: memFree=23275244/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=33272 memory=9700 CPUtime=0.69 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 2643 0 0 0 69 0 0 0 20 0 1 0 433240651 34070528 2425 33554432000 4194304 6211092 140730946097584 140730946095240 5455650 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8318 2425 881 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.50036 s]
/proc/loadavg: 2.31 1.65 0.84 3/200 9783
/proc/meminfo: memFree=23278412/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=33272 memory=9700 CPUtime=1.49 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 2650 0 0 0 149 0 0 0 20 0 1 0 433240651 34070528 2425 33554432000 4194304 6211092 140730946097584 140730946095240 5454176 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8318 2425 881 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.10974 s]
/proc/loadavg: 2.31 1.65 0.84 3/200 9783
/proc/meminfo: memFree=23250272/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=33272 memory=9960 CPUtime=3.1 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 2958 0 0 0 310 0 0 0 20 0 1 0 433240651 34070528 2490 33554432000 4194304 6211092 140730946097584 140730946095240 5164850 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8318 2490 881 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.30036 s]
/proc/loadavg: 2.45 1.69 0.86 3/200 9783
/proc/meminfo: memFree=23703528/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=34460 memory=11024 CPUtime=6.29 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 3642 0 0 0 629 0 0 0 20 0 1 0 433240651 35287040 2756 33554432000 4194304 6211092 140730946097584 140730946095240 5478438 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8615 2756 881 493 0 1920 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 34460 KiB
Current children cumulated memory: 11024 KiB

[startup+12.7003 s]
/proc/loadavg: 2.41 1.70 0.87 3/199 9786
/proc/meminfo: memFree=24175436/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=34724 memory=11320 CPUtime=12.69 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 4435 0 0 0 1269 0 0 0 20 0 1 0 433240651 35557376 2830 33554432000 4194304 6211092 140730946097584 140730946095544 5478378 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8681 2830 881 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.32 1.71 0.88 3/200 9788
/proc/meminfo: memFree=24175764/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=34988 memory=11596 CPUtime=25.49 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 6063 0 0 0 2549 0 0 0 20 0 1 0 433240651 35827712 2899 33554432000 4194304 6211092 140730946097584 140730946095544 5451507 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8747 2899 881 493 0 2052 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11596 KiB

[startup+51.1091 s]
/proc/loadavg: 2.21 1.74 0.91 3/199 9789
/proc/meminfo: memFree=24175716/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35384 memory=11968 CPUtime=51.1 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 7151 0 0 0 5110 0 0 0 20 0 1 0 433240651 36233216 2992 33554432000 4194304 6211092 140730946097584 140730946095240 5446630 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8846 2992 881 493 0 2151 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 11968 KiB

[startup+102.3 s]
/proc/loadavg: 2.09 1.78 0.97 3/199 9792
/proc/meminfo: memFree=24175456/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35384 memory=12032 CPUtime=102.29 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 8005 0 0 0 10229 0 0 0 20 0 1 0 433240651 36233216 3008 33554432000 4194304 6211092 140730946097584 140730946095544 5446240 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8846 3008 881 493 0 2151 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12032 KiB

[startup+162.3 s]
/proc/loadavg: 2.03 1.82 1.04 3/201 9799
/proc/meminfo: memFree=24175872/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35384 memory=12048 CPUtime=162.29 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 8787 0 0 0 16229 0 0 0 20 0 1 0 433240651 36233216 3012 33554432000 4194304 6211092 140730946097584 140730946095544 5442910 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8846 3012 881 493 0 2151 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12048 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 1.85 1.09 3/200 9810
/proc/meminfo: memFree=24176452/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35384 memory=12080 CPUtime=222.29 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 9115 0 0 0 22229 0 0 0 20 0 1 0 433240651 36233216 3020 33554432000 4194304 6211092 140730946097584 140730946095544 139870512085830 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8846 3020 881 493 0 2151 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12080 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.88 1.15 3/200 9814
/proc/meminfo: memFree=24176220/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35384 memory=12084 CPUtime=282.29 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 9473 0 0 0 28229 0 0 0 20 0 1 0 433240651 36233216 3021 33554432000 4194304 6211092 140730946097584 140730946095544 139870503064449 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8846 3021 881 493 0 2151 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12084 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.90 1.20 3/201 9820
/proc/meminfo: memFree=24176168/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35384 memory=12092 CPUtime=342.29 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 9788 0 0 0 34229 0 0 0 20 0 1 0 433240651 36233216 3023 33554432000 4194304 6211092 140730946097584 140730946095544 5446927 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8846 3023 881 493 0 2151 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12092 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.92 1.25 3/200 9824
/proc/meminfo: memFree=24175996/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35384 memory=12096 CPUtime=402.3 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 10107 0 0 0 40230 0 0 0 20 0 1 0 433240651 36233216 3024 33554432000 4194304 6211092 140730946097584 140730946095544 139870503064670 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8846 3024 881 493 0 2151 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12096 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.93 1.30 3/199 9828
/proc/meminfo: memFree=24176072/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12100 CPUtime=462.3 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 10428 0 0 0 46230 0 0 0 20 0 1 0 433240651 36368384 3025 33554432000 4194304 6211092 140730946097584 140730946095240 5446912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3025 881 493 0 2184 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12100 KiB


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

/proc/9782/statm: 8879 3053 881 493 0 2184 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12212 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/200 9994
/proc/meminfo: memFree=24176056/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12216 CPUtime=1782.33 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 17208 0 0 0 178232 1 0 0 20 0 1 0 433240651 36368384 3054 33554432000 4194304 6211092 140730946097584 140730946095544 5451482 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3054 881 493 0 2184 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12216 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/199 9998
/proc/meminfo: memFree=24176068/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12220 CPUtime=1842.33 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 17549 0 0 0 184232 1 0 0 20 0 1 0 433240651 36368384 3055 33554432000 4194304 6211092 140730946097584 140730946095544 5451528 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3055 881 493 0 2184 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12220 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/199 10002
/proc/meminfo: memFree=24175868/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=1902.33 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 17796 0 0 0 190232 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5478349 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/200 10008
/proc/meminfo: memFree=24175764/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=1962.33 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 18018 0 0 0 196232 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5443000 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2022.3 s]
/proc/loadavg: 2.07 2.04 1.90 3/200 10020
/proc/meminfo: memFree=24176296/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=2022.34 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 18337 0 0 0 202233 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5452232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2082.3 s]
/proc/loadavg: 2.12 2.06 1.92 3/200 10088
/proc/meminfo: memFree=24117736/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=2082.34 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 18723 0 0 0 208233 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5451602 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2142.3 s]
/proc/loadavg: 2.12 2.08 1.94 3/201 10094
/proc/meminfo: memFree=24118112/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=2142.34 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 18962 0 0 0 214233 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5069330 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.07 1.94 3/201 10099
/proc/meminfo: memFree=24118912/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=2202.34 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 19238 0 0 0 220233 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5443103 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2262.3 s]
/proc/loadavg: 2.05 2.07 1.95 3/201 10103
/proc/meminfo: memFree=24118140/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=2262.34 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 19523 0 0 0 226233 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 139870512085898 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.06 1.95 3/201 10110
/proc/meminfo: memFree=24117812/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=2322.34 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 19735 0 0 0 232233 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5439828 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/200 10114
/proc/meminfo: memFree=24118012/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=2382.34 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 20110 0 0 0 238233 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5069016 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/200 10178
/proc/meminfo: memFree=23778316/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=2442.34 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 20377 0 0 0 244233 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5441090 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12224 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/200 10185
/proc/meminfo: memFree=23317052/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=2502.34 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 20660 0 0 0 250233 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5451621 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 2502.34 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.03 1.95 3/199 10187
/proc/meminfo: memFree=23178220/32770624 swapFree=66939852/67108860
[pid=9782] ppid=9779 vsize=35516 memory=12224 CPUtime=2520.05 cores=1,3,5,7
/proc/9782/stat : 9782 (cosoco) R 9779 9782 9363 0 -1 4202496 20910 0 0 0 252004 1 0 0 20 0 1 0 433240651 36368384 3056 33554432000 4194304 6211092 140730946097584 140730946095544 5451484 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140730946106379 140730946106481 140730946106481 140730946109390 0
/proc/9782/statm: 8879 3056 881 493 0 2184 0
Current children cumulated CPU time: 2520.05 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 9782 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.05 s, system=0.019 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2520.05
CPU system time (s): 0.019
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 35516
Max. memory (cumulated for all children) (KiB): 12224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.019
maximum resident set size= 12288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20958
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= 17
involuntary context switches= 634


# summary of solver processes directly reported to runsolver:
#   pid: 9782
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.05
#   total CPU system time (s): 0.019

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

The end

Launcher Data 

Begin job on node119 at 2019-09-15 20:46:58
IDJOB=4396863
IDBENCH=120505
IDSOLVER=2848
FILE ID=node119/4396863-1568573258
RUNJOBID= node119-1568572745-9395
PBS_JOBID= 21703330
Free space on /tmp= 60940 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-4396863-1568573258/watcher-4396863-1568573258 -o /tmp/evaluation-result-4396863-1568573258/solver-4396863-1568573258 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396863-1568573258.xml

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

MD5SUM BENCH= ec554133dcdc77f0ded322158f487a65
RANDOM SEED=1527459820

node119.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.47
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.47
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.47
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.47
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:        23286840 kB
MemAvailable:   31799524 kB
Buffers:          202364 kB
Cached:          8578748 kB
SwapCached:        61128 kB
Active:          2995240 kB
Inactive:        5852556 kB
Active(anon):       6700 kB
Inactive(anon):   109608 kB
Active(file):    2988540 kB
Inactive(file):  5742948 kB
Unevictable:      108792 kB
Mlocked:          108792 kB
SwapTotal:      67108860 kB
SwapFree:       66939852 kB
Dirty:            439844 kB
Writeback:         68884 kB
AnonPages:        116072 kB
Mapped:            49996 kB
Shmem:             41008 kB
Slab:             230772 kB
SReclaimable:     194064 kB
SUnreclaim:        36708 kB
KernelStack:        3568 kB
PageTables:         5240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61364 MiB
End job on node119 at 2019-09-15 21:28:58