Trace number 4389583

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? (TO) 2520.04 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-4389583-1568316269.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.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.02	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.03	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.12 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.39/3.40	c 101            211            28508          40383          52             0              102   103   101
3.89/3.97	c 211            436            38238          44535          52             0              25   116   100 
8.39/8.42	c 332            611            57326          50674          52             0              35   36   35   
9.00/9.02	c 465            820            69789          55622          52             0              35   69   60   
10.89/10.96	c 611            1036           85780          62069          52             0              34   57   46   
12.00/12.02	c 771            1329           102966         70514          52             0              38   116   75  
13.29/13.35	c 947            1604           118356         79724          52             0              38   54   51   
14.89/14.96	c 1140           1977           136326         91146          52             0              36   118   79  
15.99/16.08	c 1352           2280           153635         101707         52             0              36   63   57   
17.89/17.99	c 1585           2621           191728         114038         52             0              40   63   59   
20.99/21.08	c 1841           3052           234653         126430         52             0              40   59   56   
22.39/22.45	c 2122           3425           254266         138780         52             0              42   62   59   
25.59/25.67	c 2431           3892           308051         160382         52             0              41   62   56   
26.99/27.08	c 2770           4314           331004         174922         52             0              44   61   60   
29.49/29.54	c 3142           4907           359650         194686         52             0              43   120   93  
35.49/35.54	c 3551           5491           424345         232905         52             0              41   122   59  
37.79/37.87	c 4000           6082           453745         253672         52             0              42   126   105 
40.58/40.66	c 4493           6678           487781         276486         52             0              52   73   71   
43.38/43.40	c 5035           7347           525985         300167         52             0              47   69   65   
51.88/51.98	c 5631           8372           651898         351074         52             0              49   69   65   
58.78/58.89	c 6286           9210           730736         372647         52             0              52   58   57   
62.78/62.88	c 7006           10093          779625         408955         52             0              53   66   64   
73.58/73.68	c 7798           11198          898359         456236         52             0              55   62   60   
78.28/78.31	c 8669           12241          955023         497520         52             0              55   65   62   
90.88/90.95	c 9627           13516          1111093        537531         52             0              58   62   60   
97.18/97.29	c 10680          14801          1181673        582954         52             0              54   63   59   
103.38/103.49	c 11838          16291          1274159        636093         52             0              52   56   55   
122.88/122.90	c 13111          18043          1489571        708929         52             0              52   55   53   
130.68/130.75	c 14511          19745          1583777        768045         52             0              52   61   57   
174.99/175.06	c 16051          21431          1808169        991883         52             0              44   44   43   
208.19/208.24	c 17745          23522          2098911        1123268        52             0              41   53   50   
261.09/261.13	c 19608          25816          2388240        1320877        52             0              45   51   50   
277.89/277.94	c 21657          28323          2598544        1423887        52             0              41   65   58   
321.29/321.39	c 23910          30775          2956259        1732023        52             0              46   46   45   
381.29/381.38	c 26388          33867          3449464        1959178        52             0              39   50   48   
430.19/430.27	c 29113          36887          3888032        2338363        52             0              45   47   46   
523.79/523.87	c 32110          40946          4553320        2593893        52             0              36   50   48   
537.79/537.84	c 35406          44583          4758408        2725843        52             0              40   67   64   
603.79/603.86	c 39031          48499          5311782        3310978        52             0              42   46   43   
658.59/658.61	c 43018          53599          5781867        3533007        52             0              36   69   58   
713.10/713.13	c 47403          58790          6266084        3813065        52             0              40   64   57   
808.11/808.16	c 52226          63948          7077947        4651665        52             0              43   43   42   
828.80/828.81	c 57531          70253          7443954        4869334        52             0              47   63   57   
850.90/850.98	c 63366          77009          7832550        5102575        52             0              39   63   59   
878.60/878.66	c 69784          84861          8288821        5390170        52             0              38   61   57   
909.70/909.79	c 76843          92838          8762454        5696929        52             0              38   58   55   
940.80/940.84	c 84607          101607         9266684        6072543        52             0              37   58   54   
971.30/971.36	c 93147          110945         9787297        6414192        52             0              37   56   52   
1007.60/1007.63	c 102541         121475         10394176       6852156        52             0              37   53   51   
1047.80/1047.89	c 112874         133399         10983195       7286534        52             0              41   61   58   
1120.61/1120.66	c 124240         147771         11790865       7747710        52             0              36   59   55   
1171.41/1171.41	c 136742         161702         12542672       8249844        52             0              41   67   60   
1237.91/1237.97	c 150494         177932         13469033       8944187        52             0              40   59   57   
1294.71/1294.71	c 165621         194742         14402072       9636547        52             0              42   54   49   
1357.41/1357.49	c 182260         213356         15451469       10366279       52             0              49   59   56   
1428.91/1428.94	c 200562         233445         16530873       11214979       52             0              48   84   71   
1512.41/1512.47	c 220694         255568         17802484       12208249       52             0              53   73   69   
1592.71/1592.76	c 242839         280983         19263316       13150552       52             0              52   57   56   
1711.21/1711.21	c 267198         309698         21155248       14364717       52             0              46   51   50   
1832.51/1832.50	c 293992         339183         22733376       15530799       52             0              46   69   65   
2082.32/2082.38	c 323465         375649         25365155       16786600       52             0              44   68   54   
2246.72/2246.75	c 355885         411684         27353595       18222516       52             0              45   68   65   
2425.52/2425.54	c 391547         452242         29589328       19772282       52             0              48   69   67   
2520.03/2520.00	
2520.03/2520.00	c *** INTERRUPTED ***
2520.03/2520.00	c restarts              : 63          
2520.03/2520.00	c conflicts             : 405911       (161 /sec)
2520.03/2520.00	c decisions             : 470926       (187 /sec)
2520.03/2520.00	c propagations          : 20465519    (8121 /sec)
2520.03/2520.00	c root propagations     : 224         
2520.03/2520.00	c filter calls          : 30751525       (12203 /sec)
2520.03/2520.00	c useless filter calls  : 28880537       (93 %)
2520.03/2520.00	c Memory used           : 34.69 MB
2520.03/2520.00	c CPU time              : 2520.03 s
2520.03/2520.00	c real time             : 2520 s
2520.03/2520.00	
2520.03/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389583-1568316269/watcher-4389583-1568316269 -o /tmp/evaluation-result-4389583-1568316269/solver-4389583-1568316269 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568311188-14000 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389583-1568316269.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
solver pid=14935, runsolver pid=14932
Current StackSize limit: 8192 KiB


[startup+0.100202 s]*
/proc/loadavg: 2.00 2.01 1.97 3/200 14936
/proc/meminfo: memFree=20918640/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=31428 memory=7844 CPUtime=0.1 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 2155 0 0 0 10 0 0 0 20 0 1 0 407891739 32182272 1961 33554432000 4194304 6210612 140732105223136 140732105219672 140639902109808 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 7890 1961 840 493 0 1195 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31428 KiB
Current children cumulated memory: 7844 KiB

[startup+0.209721 s]*
/proc/loadavg: 2.00 2.01 1.97 3/200 14936
/proc/meminfo: memFree=20916780/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=33008 memory=9688 CPUtime=0.2 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 2586 0 0 0 20 0 0 0 20 0 1 0 407891739 33800192 2422 33554432000 4194304 6210612 140732105223136 140732105219672 140639898631141 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8252 2422 877 493 0 1557 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 9688 KiB

[startup+0.309299 s]*
/proc/loadavg: 2.00 2.01 1.97 3/200 14936
/proc/meminfo: memFree=20916508/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=33272 memory=9688 CPUtime=0.3 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 2633 0 0 0 30 0 0 0 20 0 1 0 407891739 34070528 2422 33554432000 4194304 6210612 140732105223136 140732105220792 140639908576081 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8318 2422 877 493 0 1623 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9688 KiB

[startup+0.700331 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 14936
/proc/meminfo: memFree=20916508/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=33272 memory=9688 CPUtime=0.69 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 2636 0 0 0 69 0 0 0 20 0 1 0 407891739 34070528 2422 33554432000 4194304 6210612 140732105223136 140732105220792 5442901 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8318 2422 877 493 0 1623 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9688 KiB

[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 14936
/proc/meminfo: memFree=20916508/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=33272 memory=9688 CPUtime=1.49 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 2646 0 0 0 149 0 0 0 20 0 1 0 407891739 34070528 2422 33554432000 4194304 6210612 140732105223136 140732105220792 140639899557284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8318 2422 877 493 0 1623 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9688 KiB

[startup+3.10916 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 14936
/proc/meminfo: memFree=20916748/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=33272 memory=9940 CPUtime=3.1 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 3650 0 0 0 310 0 0 0 20 0 1 0 407891739 34070528 2485 33554432000 4194304 6210612 140732105223136 140732105220792 140639908576088 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8318 2485 877 493 0 1623 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9940 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 14936
/proc/meminfo: memFree=20915312/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=34460 memory=11016 CPUtime=6.29 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 4998 0 0 0 629 0 0 0 20 0 1 0 407891739 35287040 2754 33554432000 4194304 6210612 140732105223136 140732105220792 140639908576084 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8615 2754 878 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.00 2.01 1.97 3/200 14936
/proc/meminfo: memFree=20915316/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=34724 memory=11300 CPUtime=12.69 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 6816 0 0 0 1269 0 0 0 20 0 1 0 407891739 35557376 2825 33554432000 4194304 6210612 140732105223136 140732105221096 140639899554689 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8681 2825 878 493 0 1986 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 34724 KiB
Current children cumulated memory: 11300 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 14937
/proc/meminfo: memFree=20914984/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=34988 memory=11576 CPUtime=25.49 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 9862 0 0 0 2549 0 0 0 20 0 1 0 407891739 35827712 2894 33554432000 4194304 6210612 140732105223136 140732105221096 5446115 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8747 2894 878 493 0 2052 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11576 KiB

[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 14939
/proc/meminfo: memFree=20913972/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35384 memory=11928 CPUtime=51.09 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 11090 0 0 0 5109 0 0 0 20 0 1 0 407891739 36233216 2982 33554432000 4194304 6210612 140732105223136 140732105220792 5069008 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8846 2982 878 493 0 2151 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 11928 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 14944
/proc/meminfo: memFree=20914432/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35384 memory=12008 CPUtime=102.28 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 11487 0 0 0 10228 0 0 0 20 0 1 0 407891739 36233216 3002 33554432000 4194304 6210612 140732105223136 140732105221096 5164391 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8846 3002 878 493 0 2151 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12008 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 14948
/proc/meminfo: memFree=20914976/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35384 memory=12032 CPUtime=162.28 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 11822 0 0 0 16228 0 0 0 20 0 1 0 407891739 36233216 3008 33554432000 4194304 6210612 140732105223136 140732105221096 5453748 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8846 3008 878 493 0 2151 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12032 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 14954
/proc/meminfo: memFree=20914612/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35384 memory=12064 CPUtime=222.29 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 12138 0 0 0 22229 0 0 0 20 0 1 0 407891739 36233216 3016 33554432000 4194304 6210612 140732105223136 140732105221096 5451376 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8846 3016 878 493 0 2151 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12064 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 14959
/proc/meminfo: memFree=20914672/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35384 memory=12068 CPUtime=282.29 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 12509 0 0 0 28229 0 0 0 20 0 1 0 407891739 36233216 3017 33554432000 4194304 6210612 140732105223136 140732105221096 5192928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8846 3017 878 493 0 2151 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12068 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 14963
/proc/meminfo: memFree=20914132/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35384 memory=12076 CPUtime=342.29 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 12810 0 0 0 34229 0 0 0 20 0 1 0 407891739 36233216 3019 33554432000 4194304 6210612 140732105223136 140732105221096 140639899554692 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8846 3019 878 493 0 2151 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12076 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/201 14978
/proc/meminfo: memFree=20913592/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35384 memory=12080 CPUtime=402.29 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 13121 0 0 0 40229 0 0 0 20 0 1 0 407891739 36233216 3020 33554432000 4194304 6210612 140732105223136 140732105221096 5442788 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8846 3020 878 493 0 2151 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12080 KiB

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/201 14982
/proc/meminfo: memFree=20913760/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12084 CPUtime=462.29 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 13428 0 0 0 46229 0 0 0 20 0 1 0 407891739 36368384 3021 33554432000 4194304 6210612 140732105223136 140732105220792 5164372 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3021 878 493 0 2184 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12084 KiB


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

/proc/14935/statm: 8879 3048 878 493 0 2184 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12192 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 15162
/proc/meminfo: memFree=20806524/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12196 CPUtime=1782.31 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 21313 0 0 0 178230 1 0 0 20 0 1 0 407891739 36368384 3049 33554432000 4194304 6210612 140732105223136 140732105221096 5446744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3049 878 493 0 2184 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12196 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 15168
/proc/meminfo: memFree=20806324/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12204 CPUtime=1842.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 21716 0 0 0 184231 1 0 0 20 0 1 0 407891739 36368384 3051 33554432000 4194304 6210612 140732105223136 140732105221096 5453754 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3051 878 493 0 2184 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12204 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 15173
/proc/meminfo: memFree=20805896/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12204 CPUtime=1902.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 21953 0 0 0 190231 1 0 0 20 0 1 0 407891739 36368384 3051 33554432000 4194304 6210612 140732105223136 140732105221096 5446073 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3051 878 493 0 2184 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12204 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 15177
/proc/meminfo: memFree=20805508/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=1962.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 22189 0 0 0 196231 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 5453762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 15183
/proc/meminfo: memFree=20805608/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=2022.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 22413 0 0 0 202231 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 5440946 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 15188
/proc/meminfo: memFree=20805920/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=2082.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 22768 0 0 0 208231 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 140639899554689 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 15192
/proc/meminfo: memFree=20806340/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=2142.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 23182 0 0 0 214231 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 5451272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 15205
/proc/meminfo: memFree=20805352/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=2202.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 23506 0 0 0 220231 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 5164599 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 15232
/proc/meminfo: memFree=20804924/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=2262.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 23918 0 0 0 226231 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 5009270 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 15236
/proc/meminfo: memFree=20804824/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=2322.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 24121 0 0 0 232231 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 140639908576088 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 15242
/proc/meminfo: memFree=20804816/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=2382.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 24412 0 0 0 238231 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 5164589 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.02 3/200 15246
/proc/meminfo: memFree=20804772/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=2442.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 24836 0 0 0 244231 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 5446050 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

[startup+2502.3 s]
/proc/loadavg: 2.54 2.17 2.07 3/200 15250
/proc/meminfo: memFree=20805656/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=2502.32 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 25120 0 0 0 250231 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 5453766 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.39 2.16 2.07 3/200 15253
/proc/meminfo: memFree=20805916/32770624 swapFree=66999904/67108860
[pid=14935] ppid=14932 vsize=35516 memory=12208 CPUtime=2520.03 cores=0,2,4,6
/proc/14935/stat : 14935 (cosoco) R 14932 14935 13969 0 -1 4202496 25392 0 0 0 252002 1 0 0 20 0 1 0 407891739 36368384 3052 33554432000 4194304 6210612 140732105223136 140732105221096 140639908576088 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15835136 140732105225227 140732105225329 140732105225329 140732105228238 0
/proc/14935/statm: 8879 3052 878 493 0 2184 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 12208 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.04
CPU user time (s): 2520.03
CPU system time (s): 0.014
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 35516
Max. memory (cumulated for all children) (KiB): 12208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.014
maximum resident set size= 12276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25441
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= 2090


# summary of solver processes directly reported to runsolver:
#   pid: 14935
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2520.03
#   total CPU system time (s): 0.014

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.42498 second user time and 16.1784 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-12 21:23:50
IDJOB=4389583
IDBENCH=120505
IDSOLVER=2829
FILE ID=node123/4389583-1568316269
RUNJOBID= node123-1568311188-14000
PBS_JOBID= 21701126
Free space on /tmp= 56796 MiB

SOLVER NAME= cosoco 2
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-4389583-1568316269/watcher-4389583-1568316269 -o /tmp/evaluation-result-4389583-1568316269/solver-4389583-1568316269 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568311188-14000 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389583-1568316269.xml

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

MD5SUM BENCH= ec554133dcdc77f0ded322158f487a65
RANDOM SEED=1690960415

node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20922476 kB
MemAvailable:   31853276 kB
Buffers:          199712 kB
Cached:         10904372 kB
SwapCached:         7400 kB
Active:          1590964 kB
Inactive:        9526396 kB
Active(anon):      10340 kB
Inactive(anon):    44484 kB
Active(file):    1580624 kB
Inactive(file):  9481912 kB
Unevictable:      107520 kB
Mlocked:          107520 kB
SwapTotal:      67108860 kB
SwapFree:       66999904 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:        114276 kB
Mapped:            45752 kB
Shmem:             32668 kB
Slab:             326012 kB
SReclaimable:     296724 kB
SUnreclaim:        29288 kB
KernelStack:        3568 kB
PageTables:         5204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     528176 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56792 MiB
End job on node123 at 2019-09-12 22:05:50