Trace number 4299338

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 1.12? (TO) 2520.07 2519.9

General information on the benchmark

NameLangford/
LangfordBin-09_c18.xml
MD5SUMaf6539439e5a66b9d4cb5cb754e7ed18
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.557709
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints27
Number of domains2
Minimum domain size9
Maximum domain size18
Distribution of domain sizes[{"size":9,"count":18},{"size":18,"count":18}]
Minimum variable degree2
Maximum variable degree18
Distribution of variable degrees[{"degree":2,"count":18},{"degree":18,"count":18}]
Minimum constraint arity2
Maximum constraint arity19
Distribution of constraint arities[{"arity":2,"count":9},{"arity":19,"count":18}]
Number of extensional constraints0
Number of intensional constraints9
Distribution of constraint types[{"type":"intension","count":9},{"type":"element","count":18}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 108         
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299338-1532799402.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.00 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 36
0.00/0.01	c |            Domain Sizes: 9..18
0.00/0.01	c |
0.00/0.01	c |             Constraints: 27
0.00/0.01	c |                   Arity: 2..19  -- Binary: 9
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Element Constant: 18
0.00/0.01	c |                          Intension: 9
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            339            12752          5634           18             0              10   25   16   
0.00/0.01	c 211            509            20317          9124           18             0              8   13   10    
0.00/0.01	c 332            674            28601          13365          18             0              9   12   10    
0.00/0.02	c 465            853            36969          17022          18             0              9   11   10    
0.00/0.02	c 611            1088           49940          23792          18             0              8   14   10    
0.00/0.02	c 771            1295           60012          28684          18             0              8   12   10    
0.00/0.03	c 947            1517           69865          33009          18             0              9   12   10    
0.00/0.03	c 1140           1807           81455          37881          18             0              8   12   11    
0.00/0.03	c 1352           2128           94906          44985          18             0              8   12   11    
0.00/0.04	c 1585           2438           111224         54065          18             0              7   13   10    
0.00/0.04	c 1841           2786           127220         62780          18             0              8   12   10    
0.00/0.05	c 2122           3154           146506         72998          18             0              8   13   9     
0.00/0.05	c 2431           3546           164993         82748          18             0              8   12   10    
0.00/0.06	c 2770           3980           186622         95706          18             0              8   13   10    
0.00/0.06	c 3142           4452           207694         107293         18             0              9   12   10    
0.00/0.07	c 3551           5002           230268         117692         18             0              8   12   11    
0.00/0.07	c 4000           5583           252891         128343         18             0              8   13   11    
0.00/0.08	c 4493           6189           281524         141024         18             0              9   12   11    
0.00/0.08	c 5035           6874           319308         160422         18             0              7   14   10    
0.00/0.09	c 5631           7617           343939         172520         18             0              10   11   10   
0.00/0.10	c 6286           8424           384809         192583         18             0              8   12   10    
0.10/0.11	c 7006           9347           429214         213013         18             0              8   14   11    
0.10/0.12	c 7798           10302          475483         234654         18             0              8   12   10    
0.10/0.13	c 8669           11363          526849         259567         18             0              8   12   10    
0.10/0.14	c 9627           12559          577423         282458         18             0              8   12   10    
0.10/0.15	c 10680          14014          635495         309281         18             0              7   13   11    
0.10/0.16	c 11838          15444          702176         336648         18             0              7   12   10    
0.10/0.18	c 13111          16970          785858         374973         18             0              7   12   10    
0.10/0.20	c 14511          18827          875751         416758         18             0              8   13   10    
0.21/0.22	c 16051          20779          975419         462964         18             0              8   12   10    
0.21/0.24	c 17745          22878          1068991        508252         18             0              8   13   10    
0.21/0.26	c 19608          25375          1176387        560345         18             0              8   13   10    
0.21/0.29	c 21657          27965          1275097        612165         18             0              8   13   10    
0.21/0.31	c 23910          30695          1395756        676795         18             0              9   13   10    
0.31/0.35	c 26388          33743          1537786        761454         18             0              8   12   10    
0.31/0.38	c 29113          37262          1663163        830638         18             0              10   12   10   
0.31/0.40	c 32110          40862          1801487        895348         18             0              8   13   11    
0.41/0.43	c 35406          44988          1962035        979437         18             0              10   12   11   
0.41/0.47	c 39031          49570          2123069        1053677        18             0              8   13   11    
0.41/0.51	c 43018          54671          2352954        1165001        18             0              8   13   11    
0.51/0.56	c 47403          60454          2639580        1307366        18             0              8   14   10    
0.60/0.62	c 52226          66344          2908217        1436197        18             0              8   14   10    
0.60/0.67	c 57531          73388          3194911        1564201        18             0              7   15   12    
0.69/0.74	c 63366          80644          3529337        1710419        18             0              8   14   10    
0.79/0.80	c 69784          88605          3894401        1891013        18             0              8   13   10    
0.79/0.87	c 76843          98214          4297486        2054529        18             0              8   13   11    
0.89/0.96	c 84607          108000         4720939        2265376        18             0              9   13   10    
1.00/1.06	c 93147          119277         5197314        2518127        18             0              8   13   11    
1.10/1.14	c 102541         131108         5675440        2721038        18             0              8   13   10    
1.19/1.24	c 112874         144608         6147793        2930413        18             0              8   12   10    
1.29/1.35	c 124240         159460         6789356        3226463        18             0              8   13   10    
1.39/1.46	c 136742         175472         7352260        3468080        18             0              9   12   10    
1.49/1.60	c 150494         192983         8083107        3849645        18             0              7   13   9     
1.69/1.74	c 165621         212442         8775860        4162125        18             0              9   12   10    
1.89/1.91	c 182260         236498         9725162        4587831        18             0              7   14   11    
2.00/2.10	c 200562         261057         10719841       5037549        18             0              8   14   11    
2.29/2.31	c 220694         289247         11868874       5571485        18             0              7   15   11    
2.49/2.51	c 242839         317346         13036485       6125568        18             0              8   14   10    
2.69/2.76	c 267198         347187         14356134       6746734        18             0              7   14   10    
3.00/3.03	c 293992         382137         15771464       7402338        18             0              8   14   11    
3.29/3.33	c 323465         419586         17393412       8151259        18             0              7   14   10    
3.59/3.67	c 355885         460991         19331157       9006083        18             0              7   14   10    
4.00/4.02	c 391547         506467         21340425       9951952        18             0              7   13   10    
4.29/4.38	c 430775         559836         23396255       10947970       18             0              8   14   11    
4.69/4.79	c 473925         617492         25528925       11942587       18             0              8   12   10    
5.29/5.35	c 521390         678606         28462279       13450361       18             0              7   14   11    
5.79/5.80	c 573601         745794         31198404       14715272       18             0              8   13   11    
6.29/6.32	c 631033         817537         34155852       16099467       18             0              7   14   10    
6.79/6.88	c 694208         899981         37043390       17381720       18             0              8   13   11    
7.49/7.56	c 763700         989829         40746389       19144088       18             0              7   14   10    
8.19/8.26	c 840141         1093356        44803438       21039291       18             0              7   14   11    
8.79/8.89	c 924226         1203092        49085601       22667070       18             0              7   14   10    
9.69/9.76	c 1016719        1327972        54337859       25009129       18             0              7   15   11    
10.69/10.71	c 1118461        1460773        60276273       27647547       18             0              6   15   11    
11.69/11.72	c 1230377        1604064        66682159       30433590       18             0              8   14   10    
12.79/12.88	c 1353484        1770832        73489679       33373135       18             0              7   15   11    
14.19/14.26	c 1488901        1958148        81012193       36826432       18             0              7   14   11    
15.49/15.51	c 1637859        2169230        88513833       39921450       18             0              7   14   11    
17.19/17.20	c 1801712        2392158        97837878       44146381       18             0              7   15   11    
18.89/19.00	c 1981950        2638266        108286779      48759163       18             0              7   15   11    
20.79/20.84	c 2180211        2905892        119848129      53448296       18             0              7   14   11    
22.79/22.89	c 2398298        3187385        131720930      58853547       18             0              7   14   11    
25.00/25.10	c 2638193        3510260        145005611      64830401       18             0              7   14   11    
27.69/27.79	c 2902077        3874959        160976281      72326823       18             0              6   14   11    
30.59/30.61	c 3192349        4264009        177980613      80022161       18             0              7   15   11    
33.39/33.41	c 3511648        4677924        195822067      87764079       18             0              7   14   11    
36.69/36.73	c 3862876        5135255        215127158      96660550       18             0              7   16   11    
40.39/40.43	c 4249226        5642547        236363472      106387667      18             0              7   16   11    
44.19/44.28	c 4674211        6198690        257842657      115627584      18             0              7   15   11    
48.59/48.62	c 5141694        6792950        283591140      126577242      18             0              6   14   11    
53.00/53.08	c 5655925        7468643        310882170      138639321      18             0              7   16   11    
58.10/58.15	c 6221579        8200668        339902602      151614624      18             0              7   15   11    
64.20/64.22	c 6843798        9045266        373247831      167295877      18             0              7   14   11    
69.60/69.62	c 7528238        9979422        407020023      181304217      18             0              7   16   11    
76.20/76.22	c 8281122        10928237       445580060      200779941      18             0              7   17   11    
83.90/83.93	c 9109294        12033600       491003528      221369543      18             0              6   16   11    
92.20/92.21	c 10020283       13211597       538768037      242498703      18             0              7   16   11    
101.60/101.64	c 11022370       14527358       593955801      267808201      18             0              6   17   11    
112.01/112.05	c 12124665       16074427       656027040      296260180      18             0              6   17   11    
123.30/123.30	c 13337189       17739959       726720979      327318612      18             0              7   16   11    
136.80/136.81	c 14670965       19498123       801475008      362363538      18             0              6   17   11    
150.70/150.73	c 16138118       21578094       889749755      400327867      18             0              6   16   11    
164.01/164.06	c 17751986       23802608       975453243      435413850      18             0              7   16   11    
179.20/179.26	c 19527240       26164108       1068346975     473690587      18             0              7   16   11    
194.51/194.54	c 21480019       28715985       1168025890     517815057      18             0              6   17   11    
213.81/213.85	c 23628075       31510516       1284766639     571945423      18             0              6   16   11    
235.21/235.27	c 25990936       34785872       1413144944     630580862      18             0              7   16   11    
256.41/256.44	c 28590083       38288778       1547726488     689918293      18             0              6   16   11    
282.12/282.13	c 31449144       42027045       1699237998     756449123      18             0              6   16   11    
311.21/311.26	c 34594111       46197608       1877788936     834050743      18             0              6   16   11    
339.92/339.99	c 38053574       50845299       2064168259     911119611      18             0              7   16   11    
373.92/373.91	c 41858983       55931148       2270380623     1012343743     18             0              6   17   11    
412.82/412.80	c 46044932       61465680       2505454244     1122611334     18             0              6   17   11    
451.72/451.74	c 50649475       67590393       2738724361     1225531532     18             0              6   17   11    
496.93/496.97	c 55714472       74306195       3026659933     1354622748     18             0              6   17   11    
543.33/543.34	c 61285968       81624458       3326328317     1489149209     18             0              6   17   11    
600.93/600.94	c 67414613       90135585       3690454065     1644995173     18             0              5   17   11    
654.74/654.71	c 74156122       99171700       4051062558     1797603294     18             0              6   17   11    
713.54/713.56	c 81571781       109470596      4428638130     1949224016     18             0              7   16   11    
783.65/783.62	c 89729005       119980581      4848290266     2135258435     18             0              6   17   11    
860.25/860.29	c 98701951       132164074      5364691034     2361998822     18             0              5   17   11    
941.46/941.49	c 108572191      145384923      5893926010     2602015231     18             0              6   16   11    
1042.36/1042.34	c 119429455      160170329      6519034106     2882303869     18             0              6   16   11    
1145.37/1145.36	c 131372445      176177117      7196742815     3178242672     18             0              4   17   11    
1247.58/1247.53	c 144509734      194459743      7925500902     3486450003     18             0              6   16   11    
1365.19/1365.16	c 158960751      213719177      8715214304     3831890220     18             0              5   16   11    
1501.79/1501.71	c 174856869      234962694      9565916319     4207424032     18             0              5   17   11    
1664.41/1664.36	c 192342598      258709803      10595268602    4656690061     18             0              6   17   11    
1836.32/1836.24	c 211576899      285676886      11712917262    5150420815     18             0              4   17   11    
2022.14/2022.07	c 232734630      314120458      12928445207    5681289614     18             0              6   16   11    
2217.54/2217.42	c 256008134      345319913      14171576268    6225652072     18             0              6   16   11    
2439.96/2439.82	c 281608988      381040936      15616042862    6869529469     18             0              6   16   11    
2520.07/2519.90	
2520.07/2519.90	c *** INTERRUPTED ***
2520.07/2519.90	c restarts              : 132         
2520.07/2519.90	c conflicts             : 290915111    (115439 /sec)
2520.07/2519.90	c decisions             : 393637875    (156201 /sec)
2520.07/2519.90	c propagations          : 7083126261  (2810685 /sec)
2520.07/2519.90	c root propagations     : 108         
2520.07/2519.90	c filter calls          : 16117701854    (6395734 /sec)
2520.07/2519.90	c useless filter calls  : 12150495263    (75 %)
2520.07/2519.90	c Memory used           : 26.65 MB
2520.07/2519.90	c CPU time              : 2520.07 s
2520.07/2519.90	
2520.07/2519.90	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 (8460 MiB free)
  memory of node 1: 16384 MiB (11533 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299338-1532799402/watcher-4299338-1532799402 -o /tmp/evaluation-result-4299338-1532799402/solver-4299338-1532799402 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299338-1532799402.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
Current StackSize limit: 8192 KiB

solver pid=14253, runsolver pid=14250

[startup+0.100163 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 14254
/proc/meminfo: memFree=20473632/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3668 CPUtime=0.1 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1127 0 0 0 10 0 0 0 20 0 1 0 97503346 27942912 917 33554432000 4194304 6142532 140724726133616 140724726130248 5366724 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB

[startup+0.209463 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 14254
/proc/meminfo: memFree=20473632/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3668 CPUtime=0.21 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1127 0 0 0 21 0 0 0 20 0 1 0 97503346 27942912 917 33554432000 4194304 6142532 140724726133616 140724726130248 5080029 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB

[startup+0.308928 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 14254
/proc/meminfo: memFree=20473648/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3668 CPUtime=0.31 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1127 0 0 0 31 0 0 0 20 0 1 0 97503346 27942912 917 33554432000 4194304 6142532 140724726133616 140724726130248 5367165 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB

[startup+0.70027 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 14254
/proc/meminfo: memFree=20473648/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3668 CPUtime=0.69 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1127 0 0 0 69 0 0 0 20 0 1 0 97503346 27942912 917 33554432000 4194304 6142532 140724726133616 140724726130248 5175070 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 14254
/proc/meminfo: memFree=20473400/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3668 CPUtime=1.49 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1127 0 0 0 149 0 0 0 20 0 1 0 97503346 27942912 917 33554432000 4194304 6142532 140724726133616 140724726131016 5371724 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB

[startup+3.10894 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 14254
/proc/meminfo: memFree=20473400/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=3.1 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1184 0 0 0 310 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 140580384805775 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 14254
/proc/meminfo: memFree=20473532/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=6.29 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1241 0 0 0 629 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 4990783 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 14254
/proc/meminfo: memFree=20473656/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=12.69 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1298 0 0 0 1269 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5363585 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 14254
/proc/meminfo: memFree=20473780/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=25.49 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1412 0 0 0 2549 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5048733 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14254
/proc/meminfo: memFree=20474028/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=51.1 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1469 0 0 0 5110 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5335569 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14255
/proc/meminfo: memFree=20473720/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=102.3 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1526 0 0 0 10230 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5366701 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14256
/proc/meminfo: memFree=20473824/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=162.3 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1583 0 0 0 16230 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5363536 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14264
/proc/meminfo: memFree=20472292/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=222.31 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1640 0 0 0 22231 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5146708 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14265
/proc/meminfo: memFree=20472636/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=282.31 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1640 0 0 0 28231 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5366726 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14266
/proc/meminfo: memFree=20472388/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=342.32 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1697 0 0 0 34232 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5367440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14267
/proc/meminfo: memFree=20472268/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=402.32 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1697 0 0 0 40232 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5079989 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14268
/proc/meminfo: memFree=20472460/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=462.32 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 1754 0 0 0 46232 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5366791 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB


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

/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14331
/proc/meminfo: memFree=20472748/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=1842.42 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2370 0 0 0 184242 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5146721 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14332
/proc/meminfo: memFree=20472624/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=1902.42 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2417 0 0 0 190242 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5048695 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14333
/proc/meminfo: memFree=20472748/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=1962.43 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2417 0 0 0 196243 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5366690 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14341
/proc/meminfo: memFree=20471764/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2022.43 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2474 0 0 0 202243 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5375774 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14342
/proc/meminfo: memFree=20472036/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2082.44 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2474 0 0 0 208244 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5048695 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2142.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 14404
/proc/meminfo: memFree=20471312/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2142.44 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2521 0 0 0 214244 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2202.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 14405
/proc/meminfo: memFree=20472056/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2202.44 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2521 0 0 0 220244 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5371749 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2262.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 14406
/proc/meminfo: memFree=20472724/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2262.45 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2578 0 0 0 226245 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 4991027 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14407
/proc/meminfo: memFree=20472468/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2322.45 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2578 0 0 0 232245 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5079966 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14408
/proc/meminfo: memFree=20472480/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2382.46 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2625 0 0 0 238246 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5363633 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14409
/proc/meminfo: memFree=20472120/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2442.46 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2635 0 0 0 244246 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5376434 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14410
/proc/meminfo: memFree=20472372/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2502.46 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2682 0 0 0 250246 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5146677 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.28 2.06 2.06 3/187 14410
/proc/meminfo: memFree=20472500/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2520.07 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2682 0 0 0 252007 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5336645 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

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

[startup+2519.9 s]
# the end of solver process 14253 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.07 s, system=0.003 s

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

[startup+2519.9 s]
/proc/loadavg: 2.28 2.06 2.06 3/187 14410
/proc/meminfo: memFree=20472500/32770624 swapFree=67108860/67108860
[pid=14253] ppid=14250 vsize=27288 memory=3884 CPUtime=2520.07 cores=1,3,5,7
/proc/14253/stat : 14253 (cosoco) R 14250 14253 11466 0 -1 4202496 2682 0 0 0 252007 0 0 0 20 0 1 0 97503346 27942912 971 33554432000 4194304 6142532 140724726133616 140724726131016 5336645 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12697600 140724726137990 140724726138120 140724726138120 140724726140878 0
/proc/14253/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2520.07
CPU system time (s): 0.003
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 27288
Max. memory (cumulated for all children) (KiB): 3884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.003
maximum resident set size= 3948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2728
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= 15
involuntary context switches= 649


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85007 second user time and 16.8527 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 19:36:42
IDJOB=4299338
IDBENCH=141348
IDSOLVER=2761
FILE ID=node105/4299338-1532799402
RUNJOBID= node105-1532776049-11498
PBS_JOBID= 21022469
Free space on /tmp= 44620 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Langford/LangfordBin-09_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299338-1532799402/watcher-4299338-1532799402 -o /tmp/evaluation-result-4299338-1532799402/solver-4299338-1532799402 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299338-1532799402.xml

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

MD5SUM BENCH= af6539439e5a66b9d4cb5cb754e7ed18
RANDOM SEED=283997555

node105.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.32
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.32
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.32
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.32
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:        20474368 kB
MemAvailable:   31931644 kB
Buffers:          270340 kB
Cached:         11326292 kB
SwapCached:            0 kB
Active:          2395564 kB
Inactive:        9254392 kB
Active(anon):       7900 kB
Inactive(anon):    73344 kB
Active(file):    2387664 kB
Inactive(file):  9181048 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:         60280 kB
Mapped:            45200 kB
Shmem:             25228 kB
Slab:             345012 kB
SReclaimable:     317024 kB
SUnreclaim:        27988 kB
KernelStack:        3360 kB
PageTables:         4944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44620 MiB
End job on node105 at 2018-07-28 20:18:42