Trace number 4294263

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.09 2519.8

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 benchmark1.00891
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-4294263-1532402749.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.02	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.28	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.34	c 26388          33743          1537786        761454         18             0              8   12   10    
0.31/0.37	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.46	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.73	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.95	c 84607          108000         4720939        2265376        18             0              9   13   10    
1.00/1.05	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.23	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.45	c 136742         175472         7352260        3468080        18             0              9   12   10    
1.49/1.59	c 150494         192983         8083107        3849645        18             0              7   13   9     
1.69/1.73	c 165621         212442         8775860        4162125        18             0              9   12   10    
1.89/1.90	c 182260         236498         9725162        4587831        18             0              7   14   11    
2.00/2.09	c 200562         261057         10719841       5037549        18             0              8   14   11    
2.29/2.30	c 220694         289247         11868874       5571485        18             0              7   15   11    
2.49/2.50	c 242839         317346         13036485       6125568        18             0              8   14   10    
2.69/2.74	c 267198         347187         14356134       6746734        18             0              7   14   10    
3.00/3.01	c 293992         382137         15771464       7402338        18             0              8   14   11    
3.29/3.32	c 323465         419586         17393412       8151259        18             0              7   14   10    
3.59/3.65	c 355885         460991         19331157       9006083        18             0              7   14   10    
3.89/4.00	c 391547         506467         21340425       9951952        18             0              7   13   10    
4.29/4.36	c 430775         559836         23396255       10947970       18             0              8   14   11    
4.69/4.77	c 473925         617492         25528925       11942587       18             0              8   12   10    
5.29/5.33	c 521390         678606         28462279       13450361       18             0              7   14   11    
5.69/5.77	c 573601         745794         31198404       14715272       18             0              8   13   11    
6.19/6.29	c 631033         817537         34155852       16099467       18             0              7   14   10    
6.79/6.85	c 694208         899981         37043390       17381720       18             0              8   13   11    
7.49/7.52	c 763700         989829         40746389       19144088       18             0              7   14   10    
8.19/8.22	c 840141         1093356        44803438       21039291       18             0              7   14   11    
8.79/8.84	c 924226         1203092        49085601       22667070       18             0              7   14   10    
9.69/9.71	c 1016719        1327972        54337859       25009129       18             0              7   15   11    
10.59/10.65	c 1118461        1460773        60276273       27647547       18             0              6   15   11    
11.59/11.66	c 1230377        1604064        66682159       30433590       18             0              8   14   10    
12.79/12.81	c 1353484        1770832        73489679       33373135       18             0              7   15   11    
14.10/14.19	c 1488901        1958148        81012193       36826432       18             0              7   14   11    
15.39/15.43	c 1637859        2169230        88513833       39921450       18             0              7   14   11    
17.10/17.12	c 1801712        2392158        97837878       44146381       18             0              7   15   11    
18.89/18.90	c 1981950        2638266        108286779      48759163       18             0              7   15   11    
20.69/20.74	c 2180211        2905892        119848129      53448296       18             0              7   14   11    
22.69/22.78	c 2398298        3187385        131720930      58853547       18             0              7   14   11    
24.90/24.98	c 2638193        3510260        145005611      64830401       18             0              7   14   11    
27.60/27.65	c 2902077        3874959        160976281      72326823       18             0              6   14   11    
30.40/30.45	c 3192349        4264009        177980613      80022161       18             0              7   15   11    
33.20/33.25	c 3511648        4677924        195822067      87764079       18             0              7   14   11    
36.50/36.55	c 3862876        5135255        215127158      96660550       18             0              7   16   11    
40.20/40.23	c 4249226        5642547        236363472      106387667      18             0              7   16   11    
44.01/44.05	c 4674211        6198690        257842657      115627584      18             0              7   15   11    
48.30/48.38	c 5141694        6792950        283591140      126577242      18             0              6   14   11    
52.80/52.82	c 5655925        7468643        310882170      138639321      18             0              7   16   11    
57.80/57.86	c 6221579        8200668        339902602      151614624      18             0              7   15   11    
63.80/63.89	c 6843798        9045266        373247831      167295877      18             0              7   14   11    
69.20/69.27	c 7528238        9979422        407020023      181304217      18             0              7   16   11    
75.80/75.82	c 8281122        10928237       445580060      200779941      18             0              7   17   11    
83.40/83.49	c 9109294        12033600       491003528      221369543      18             0              6   16   11    
91.70/91.73	c 10020283       13211597       538768037      242498703      18             0              7   16   11    
101.11/101.11	c 11022370       14527358       593955801      267808201      18             0              6   17   11    
111.40/111.46	c 12124665       16074427       656027040      296260180      18             0              6   17   11    
122.61/122.65	c 13337189       17739959       726720979      327318612      18             0              7   16   11    
136.02/136.09	c 14670965       19498123       801475008      362363538      18             0              6   17   11    
149.91/149.93	c 16138118       21578094       889749755      400327867      18             0              6   16   11    
163.12/163.18	c 17751986       23802608       975453243      435413850      18             0              7   16   11    
178.31/178.30	c 19527240       26164108       1068346975     473690587      18             0              7   16   11    
193.51/193.50	c 21480019       28715985       1168025890     517815057      18             0              6   17   11    
212.72/212.70	c 23628075       31510516       1284766639     571945423      18             0              6   16   11    
234.03/234.02	c 25990936       34785872       1413144944     630580862      18             0              7   16   11    
255.03/255.09	c 28590083       38288778       1547726488     689918293      18             0              6   16   11    
280.62/280.62	c 31449144       42027045       1699237998     756449123      18             0              6   16   11    
309.63/309.61	c 34594111       46197608       1877788936     834050743      18             0              6   16   11    
338.23/338.20	c 38053574       50845299       2064168259     911119611      18             0              7   16   11    
371.93/371.93	c 41858983       55931148       2270380623     1012343743     18             0              6   17   11    
410.64/410.61	c 46044932       61465680       2505454244     1122611334     18             0              6   17   11    
449.24/449.28	c 50649475       67590393       2738724361     1225531532     18             0              6   17   11    
494.25/494.26	c 55714472       74306195       3026659933     1354622748     18             0              6   17   11    
540.45/540.43	c 61285968       81624458       3326328317     1489149209     18             0              6   17   11    
597.76/597.75	c 67414613       90135585       3690454065     1644995173     18             0              5   17   11    
651.27/651.27	c 74156122       99171700       4051062558     1797603294     18             0              6   17   11    
709.87/709.83	c 81571781       109470596      4428638130     1949224016     18             0              7   16   11    
779.58/779.58	c 89729005       119980581      4848290266     2135258435     18             0              6   17   11    
855.99/855.93	c 98701951       132164074      5364691034     2361998822     18             0              5   17   11    
936.80/936.71	c 108572191      145384923      5893926010     2602015231     18             0              6   16   11    
1037.22/1037.17	c 119429455      160170329      6519034106     2882303869     18             0              6   16   11    
1139.82/1139.73	c 131372445      176177117      7196742815     3178242672     18             0              4   17   11    
1241.53/1241.49	c 144509734      194459743      7925500902     3486450003     18             0              6   16   11    
1358.75/1358.69	c 158960751      213719177      8715214304     3831890220     18             0              5   16   11    
1494.76/1494.64	c 174856869      234962694      9565916319     4207424032     18             0              5   17   11    
1656.58/1656.43	c 192342598      258709803      10595268602    4656690061     18             0              6   17   11    
1827.60/1827.44	c 211576899      285676886      11712917262    5150420815     18             0              4   17   11    
2012.42/2012.23	c 232734630      314120458      12928445207    5681289614     18             0              6   16   11    
2206.74/2206.54	c 256008134      345319913      14171576268    6225652072     18             0              6   16   11    
2427.87/2427.64	c 281608988      381040936      15616042862    6869529469     18             0              6   16   11    
2520.08/2519.80	
2520.08/2519.80	c *** INTERRUPTED ***
2520.08/2519.80	c restarts              : 132         
2520.08/2519.80	c conflicts             : 292460179    (116052 /sec)
2520.08/2519.80	c decisions             : 395713990    (157024 /sec)
2520.08/2519.80	c propagations          : 7117445307  (2824291 /sec)
2520.08/2519.80	c root propagations     : 108         
2520.08/2519.80	c filter calls          : 16197465704    (6427357 /sec)
2520.08/2519.80	c useless filter calls  : 12211517769    (75 %)
2520.08/2519.80	c Memory used           : 26.65 MB
2520.08/2519.80	c CPU time              : 2520.08 s
2520.08/2519.80	
2520.08/2519.80	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 (5534 MiB free)
  memory of node 1: 16384 MiB (10202 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294263-1532402749/watcher-4294263-1532402749 -o /tmp/evaluation-result-4294263-1532402749/solver-4294263-1532402749 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14426 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294263-1532402749.xml 

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

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


[startup+0.100151 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18110
/proc/meminfo: memFree=16114368/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3668 CPUtime=0.1 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1127 0 0 0 10 0 0 0 20 0 1 0 57838039 27942912 917 33554432000 4194304 6142532 140737226723504 140737226720136 4991100 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/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.209244 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18110
/proc/meminfo: memFree=16114368/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3668 CPUtime=0.21 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1127 0 0 0 21 0 0 0 20 0 1 0 57838039 27942912 917 33554432000 4194304 6142532 140737226723504 140737226720136 5366756 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/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.308714 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18110
/proc/meminfo: memFree=16114140/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3668 CPUtime=0.31 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1127 0 0 0 31 0 0 0 20 0 1 0 57838039 27942912 917 33554432000 4194304 6142532 140737226723504 140737226720904 5335937 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/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.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18110
/proc/meminfo: memFree=16114248/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3668 CPUtime=0.69 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1127 0 0 0 69 0 0 0 20 0 1 0 57838039 27942912 917 33554432000 4194304 6142532 140737226723504 140737226720904 5079894 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/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.01 2.05 3/187 18110
/proc/meminfo: memFree=16114248/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3668 CPUtime=1.49 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1127 0 0 0 149 0 0 0 20 0 1 0 57838039 27942912 917 33554432000 4194304 6142532 140737226723504 140737226720904 5079985 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/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.10881 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18110
/proc/meminfo: memFree=16113800/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=3.1 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1185 0 0 0 310 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5367138 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/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.01 2.05 3/187 18110
/proc/meminfo: memFree=16114452/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=6.29 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1243 0 0 0 629 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5363633 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/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.01 2.05 3/187 18110
/proc/meminfo: memFree=16114700/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=12.69 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1301 0 0 0 1269 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5048309 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/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.01 2.05 3/187 18110
/proc/meminfo: memFree=16114700/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=25.5 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1417 0 0 0 2550 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 4990688 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+51.1089 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18110
/proc/meminfo: memFree=16114700/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=51.11 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1475 0 0 0 5111 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5363644 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18111
/proc/meminfo: memFree=16114700/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=102.3 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1533 0 0 0 10230 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5051389 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/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 18113
/proc/meminfo: memFree=16115284/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=162.31 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1591 0 0 0 16231 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 140415732761487 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 162.31 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 18114
/proc/meminfo: memFree=16115104/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=222.32 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1649 0 0 0 22232 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5367138 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+282.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/188 18123
/proc/meminfo: memFree=16114500/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=282.32 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1649 0 0 0 28232 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5374342 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 18124
/proc/meminfo: memFree=16114812/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=342.33 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1707 0 0 0 34233 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5345711 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 18125
/proc/meminfo: memFree=16115324/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=402.34 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1707 0 0 0 40234 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5080045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/188 18126
/proc/meminfo: memFree=16115072/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=462.34 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 1765 0 0 0 46234 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5374088 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB


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

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

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18166
/proc/meminfo: memFree=16114084/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=1782.49 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2380 0 0 0 178249 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5361690 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 1782.49 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 18167
/proc/meminfo: memFree=16114200/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=1842.5 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2391 0 0 0 184250 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 4991027 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 1842.5 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 18168
/proc/meminfo: memFree=16114152/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=1902.51 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2438 0 0 0 190251 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5175056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 1902.51 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 18170
/proc/meminfo: memFree=16114408/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=1962.51 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2438 0 0 0 196251 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5183536 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 1962.51 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 18171
/proc/meminfo: memFree=16114424/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=2022.52 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2496 0 0 0 202252 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5363605 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2022.52 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 18179
/proc/meminfo: memFree=16113416/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=2082.53 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2496 0 0 0 208253 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5047778 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2082.53 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2142.3 s]
/proc/loadavg: 1.85 1.98 2.03 2/181 18249
/proc/meminfo: memFree=16115924/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=2142.53 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2543 0 0 0 214253 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5048410 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2142.53 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2202.3 s]
/proc/loadavg: 1.31 1.80 1.97 2/181 18250
/proc/meminfo: memFree=16116972/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=2202.54 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2543 0 0 0 220254 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5327179 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2202.54 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2262.3 s]
/proc/loadavg: 1.11 1.66 1.91 2/181 18251
/proc/meminfo: memFree=16117324/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=2262.55 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2601 0 0 0 226255 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5363630 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2262.55 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2322.3 s]
/proc/loadavg: 1.04 1.54 1.85 2/181 18252
/proc/meminfo: memFree=16117448/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=2322.55 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2601 0 0 0 232255 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5363636 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2322.55 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2382.3 s]
/proc/loadavg: 1.02 1.44 1.80 2/181 18253
/proc/meminfo: memFree=16117680/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=2382.56 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2648 0 0 0 238256 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5327920 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2382.56 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2442.3 s]
/proc/loadavg: 1.01 1.36 1.75 2/180 18254
/proc/meminfo: memFree=16118192/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=2442.57 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2659 0 0 0 244257 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5329581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2442.57 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.29 1.70 2/180 18255
/proc/meminfo: memFree=16118192/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=2502.57 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2706 0 0 0 250257 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5399768 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2502.57 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 1.00 1.28 1.69 2/180 18255
/proc/meminfo: memFree=16118192/32770624 swapFree=67108860/67108860
[pid=18109] ppid=18106 vsize=27288 memory=3884 CPUtime=2520.08 cores=1,3,5,7
/proc/18109/stat : 18109 (cosoco) R 18106 18109 14394 0 -1 4202496 2706 0 0 0 252008 0 0 0 20 0 1 0 57838039 27942912 971 33554432000 4194304 6142532 140737226723504 140737226720904 5079989 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28360704 140737226728582 140737226728712 140737226728712 140737226731470 0
/proc/18109/statm: 6822 971 852 476 0 144 0
Current children cumulated CPU time: 2520.08 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.8 s]
# the end of solver process 18109 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.08 s, system=0.009001 s

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

Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.09
CPU user time (s): 2520.08
CPU system time (s): 0.009001
CPU usage (%): 100.012
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.08
system time used= 0.009001
maximum resident set size= 3948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2752
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= 945


# summary of solver processes directly reported to runsolver:
#   pid: 18109
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2520.08
#   total CPU system time (s): 0.009001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.96512 second user time and 16.2873 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-24 05:25:49
IDJOB=4294263
IDBENCH=141348
IDSOLVER=2752
FILE ID=node104/4294263-1532402749
RUNJOBID= node104-1532371797-14426
PBS_JOBID= 21021574
Free space on /tmp= 48964 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-4294263-1532402749/watcher-4294263-1532402749 -o /tmp/evaluation-result-4294263-1532402749/solver-4294263-1532402749 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14426 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294263-1532402749.xml

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

MD5SUM BENCH= af6539439e5a66b9d4cb5cb754e7ed18
RANDOM SEED=1620613270

node104.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.11
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.11
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.11
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.11
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:        16115372 kB
MemAvailable:   31938416 kB
Buffers:          198000 kB
Cached:         15634568 kB
SwapCached:            0 kB
Active:          2087788 kB
Inactive:       13798520 kB
Active(anon):       3376 kB
Inactive(anon):    70096 kB
Active(file):    2084412 kB
Inactive(file): 13728424 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:         60772 kB
Mapped:            39828 kB
Shmem:             17036 kB
Slab:             466688 kB
SReclaimable:     438668 kB
SUnreclaim:        28020 kB
KernelStack:        3360 kB
PageTables:         4868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344848 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:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48964 MiB
End job on node104 at 2018-07-24 06:07:49