Trace number 4267986

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) 2519.71 2520

General information on the benchmark

NameDubois/Dubois-m1-s1/
Dubois-050.xml
MD5SUM630ab63eaf7c5bcaa7f0eb192a58705a
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.0074439999
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":150}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.06	c root propagations     : 0           
0.00/0.06	c restarts enabled, print stats at every restarts
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c This is cosoco 1.12 --  
0.00/0.06	c
0.00/0.06	c command line: cosoco -lc -model -restarts HOME/instance-4267986-1502530552.xml 
0.00/0.06	c ========================================[ Problem Statistics ]===========================================
0.00/0.06	c |                                                                                                       
0.00/0.06	c |  Parse time        :         0.00 s 
0.00/0.06	c |
0.00/0.06	c |               Variables: 150
0.00/0.06	c |            Domain Sizes: 2..2
0.00/0.06	c |
0.00/0.06	c |             Constraints: 100
0.00/0.06	c |                   Arity: 3..3  -- Ternary: 100
0.00/0.06	c | 
0.00/0.06	c |                   Types: 
0.00/0.06	c |                          Extension: 100  (nb tuples: 4..4) -- (shared: 95)
0.00/0.06	c |                          
0.00/0.06	c =========================================================================================================
0.00/0.06	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.06	c 101            2800           11901          11538          0              0              51   147   103 
0.00/0.06	c 211            3259           13597          13114          0              0              63   148   100 
0.00/0.06	c 332            3968           16470          15740          0              0              64   140   102 
0.00/0.07	c 465            4986           20118          19150          0              0              122   141   134
0.00/0.07	c 611            5959           23592          22444          0              0              47   117   86  
0.00/0.07	c 771            6927           27050          25655          0              0              117   143   127
0.00/0.07	c 947            8042           31177          29529          0              0              108   143   127
0.00/0.08	c 1140           9324           35633          33819          0              0              17   110   67  
0.00/0.08	c 1352           10650          40479          38393          0              0              29   137   124 
0.00/0.09	c 1585           12188          45812          43520          0              0              41   72   65   
0.00/0.09	c 1841           13855          51696          49054          0              0              17   149   124 
0.00/0.09	c 2122           15667          58022          55089          0              0              19   147   117 
0.04/0.10	c 2431           17920          65764          62481          0              0              22   145   125 
0.04/0.11	c 2770           20488          74766          71155          0              0              41   125   113 
0.04/0.11	c 3142           23249          84536          80574          0              0              78   105   97  
0.04/0.12	c 3551           25796          93641          89327          0              0              76   103   95  
0.04/0.13	c 4000           29329          105567         100829         0              0              15   147   135 
0.04/0.14	c 4493           33318          119399         114265         0              0              18   145   134 
0.04/0.14	c 5035           37002          132094         126518         0              0              22   108   98  
0.04/0.15	c 5631           41059          146276         140294         0              0              25   140   126 
0.04/0.17	c 6286           46513          164972         158671         0              0              16   145   125 
0.04/0.18	c 7006           52161          185009         178185         0              0              81   142   132 
0.04/0.19	c 7798           57872          205221         197754         0              0              27   144   128 
0.14/0.21	c 8669           64613          228873         220734         0              0              73   131   118 
0.14/0.22	c 9627           70861          250611         241761         0              0              15   142   107 
0.14/0.24	c 10680          77851          275728         266252         0              0              117   143   136
0.14/0.26	c 11838          86748          306769         296388         0              0              47   141   131 
0.14/0.28	c 13111          96829          341967         330881         0              0              33   139   112 
0.24/0.31	c 14511          105972         373889         361849         0              0              24   141   107 
0.24/0.33	c 16051          116783         413405         400435         0              0              18   140   130 
0.24/0.36	c 17745          128658         456304         441949         0              0              54   138   123 
0.24/0.39	c 19608          142576         505622         489654         0              0              84   138   127 
0.34/0.43	c 21657          157833         559667         542908         0              0              108   140   133
0.34/0.47	c 23910          176604         625497         607645         0              0              24   137   111 
0.44/0.52	c 26388          198125         700200         680889         0              0              55   137   115 
0.44/0.57	c 29113          219020         772240         751672         0              0              41   139   102 
0.54/0.63	c 32110          242339         855229         833070         0              0              18   140   120 
0.54/0.69	c 35406          270256         953773         929628         0              0              75   137   131 
0.64/0.75	c 39031          297386         1050089        1024476        0              0              81   137   112 
0.74/0.82	c 43018          326457         1152463        1123963        0              0              31   139   131 
0.84/0.91	c 47403          363932         1284459        1253164        0              0              76   137   130 
0.84/0.99	c 52226          399330         1412852        1378009        0              0              99   140   133 
0.94/1.07	c 57531          436628         1542606        1504829        0              0              38   139   125 
1.04/1.18	c 63366          481131         1698937        1658195        0              0              81   138   128 
1.14/1.29	c 69784          528856         1871930        1828076        0              0              99   137   129 
1.34/1.44	c 76843          594591         2102754        2054271        0              0              87   138   126 
1.44/1.58	c 84607          653315         2306664        2253724        0              0              23   139   125 
1.64/1.72	c 93147          713695         2523507        2466382        0              0              75   137   127 
1.84/1.91	c 102541         797733         2816675        2753341        0              0              66   137   131 
2.04/2.10	c 112874         883867         3117980        3050067        0              0              66   140   129 
2.24/2.35	c 124240         991643         3487648        3416097        0              0              34   139   126 
2.54/2.61	c 136742         1098335        3862726        3784973        0              0              79   124   113 
2.74/2.85	c 150494         1204384        4232732        4147281        0              0              30   137   125 
3.04/3.19	c 165621         1335329        4691706        4598535        0              0              45   126   81  
3.44/3.52	c 182260         1478415        5181623        5075569        0              0              29   139   128 
3.74/3.84	c 200562         1615996        5668491        5550569        0              0              38   139   116 
4.14/4.21	c 220694         1774760        6235063        6103764        0              0              78   137   124 
4.54/4.65	c 242839         1966198        6897355        6756846        0              0              42   139   130 
5.04/5.18	c 267198         2190714        7700410        7549514        0              0              75   137   125 
5.64/5.70	c 293992         2407867        8463069        8295584        0              0              41   136   108 
6.24/6.33	c 323465         2673871        9389178        9204091        0              0              23   135   113 
6.84/6.96	c 355885         2932496        10292271       10090969       0              0              37   135   104 
7.54/7.70	c 391547         3248320        11432238       11206834       0              0              28   138   128 
8.34/8.42	c 430775         3556185        12547230       12296940       0              0              69   135   123 
9.04/9.19	c 473925         3880838        13678833       13407689       0              0              31   137   113 
10.04/10.13	c 521390         4285141        15117781       14817589       0              0              51   138   124 
11.14/11.20	c 573601         4749867        16726336       16392667       0              0              38   137   127 
12.24/12.38	c 631033         5248244        18511024       18140930       0              0              78   135   122 
13.54/13.68	c 694208         5815959        20470885       20071823       0              0              46   135   127 
15.04/15.11	c 763700         6432466        22689498       22252431       0              0              79   138   128 
16.64/16.76	c 840141         7141416        25127131       24654378       0              0              43   135   123 
18.44/18.57	c 924226         7923987        27931673       27397652       0              0              83   138   129 
20.23/20.36	c 1016719        8706011        30619269       30045939       0              0              36   137   126 
22.33/22.47	c 1118461        9612098        33864031       33228516       0              0              80   138   128 
24.53/24.62	c 1230377        10552708       37100197       36405308       0              0              38   138   128 
27.13/27.22	c 1353484        11671744       41099816       40345615       0              0              82   139   129 
29.93/30.03	c 1488901        12900906       45319974       44494438       0              0              58   137   127 
32.73/32.89	c 1637859        14132875       49737200       48816238       0              0              82   139   128 
36.13/36.27	c 1801712        15604022       54798538       53804073       0              0              37   137   128 
39.93/40.04	c 1981950        17228138       60618688       59510970       0              0              50   138   128 
43.83/43.95	c 2180211        18887735       66556747       65301350       0              0              61   135   120 
47.83/47.90	c 2398298        20588206       72431587       71072393       0              0              39   137   123 
52.84/52.92	c 2638193        22745319       80184808       78676165       0              0              25   138   127 
58.24/58.33	c 2902077        25082146       88241819       86587229       0              0              42   137   123 
64.53/64.63	c 3192349        27791657       97879473       96038769       0              0              15   138   126 
71.13/71.28	c 3511648        30649377       107715111      105716163      0              0              37   138   122 
78.63/78.73	c 3862876        33870139       119159304      116920230      0              0              24   138   128 
86.83/86.91	c 4249226        37419836       131310907      128881397      0              0              39   136   125 
95.83/95.98	c 4674211        41349250       145261210      142589386      0              0              46   138   129 
105.13/105.29	c 5141694        45318906       159036146      156153413      0              0              32   138   119 
116.53/116.66	c 5655925        50191172       176207451      172998980      0              0              16   138   123 
129.12/129.24	c 6221579        55387898       194191821      190683517      0              0              40   136   107 
141.72/141.88	c 6843798        60841594       213500312      209609811      0              0              28   138   127 
156.13/156.21	c 7528238        67002516       234693990      230505145      0              0              50   136   121 
171.12/171.20	c 8281122        73472162       257844512      253079598      0              0              56   138   128 
191.02/191.15	c 9109294        81852982       286640633      281586857      0              0              40   138   116 
208.82/208.92	c 10020283       89445843       313645108      308084569      0              0              49   138   124 
227.81/227.98	c 11022370       97652685       341945170      336065195      0              0              33   135   122 
251.82/251.95	c 12124665       108002194      378790494      372093619      0              0              37   138   127 
279.31/279.46	c 13337189       119735744      419133566      411613823      0              0              42   138   119 
307.01/307.14	c 14670965       131597728      461277041      452944733      0              0              45   138   124 
337.00/337.14	c 16138118       144296418      505117645      496120067      0              0              37   138   116 
370.80/370.94	c 17751986       158798103      556445762      546570307      0              0              61   138   125 
409.40/409.54	c 19527240       174613988      610770840      600217752      0              0              26   136   103 
452.10/452.27	c 21480019       193109728      676004130      663968571      0              0              65   138   128 
494.19/494.36	c 23628075       211126861      738240899      725221149      0              0              60   136   120 
540.89/541.01	c 25990936       231108876      809805403      795216549      0              0              65   138   125 
593.28/593.49	c 28590083       253394940      886451400      870672365      0              0              31   137   116 
653.17/653.39	c 31449144       279304248      978806492      960950729      0              0              24   138   128 
716.67/716.87	c 34594111       305480665      1069815546     1050815417     0              0              31   136   105 
793.76/793.98	c 38053574       338114193      1184300560     1163452290     0              0              42   138   122 
897.05/897.25	c 41858983       381888373      1336983424     1314365698     0              0              32   138   124 
1002.44/1002.60	c 46044932       426430281      1492482554     1468068010     0              0              38   138   121 
1099.73/1099.91	c 50649475       467330037      1636513442     1609927133     0              0              35   138   118 
1207.22/1207.41	c 55714472       512228201      1794089874     1765852463     0              0              29   138   114 
1345.81/1346.01	c 61285968       568259670      1986998727     1956224673     0              0              24   137   98  
1489.70/1489.95	c 67414613       629609575      2204498537     2170867573     0              0              36   139   127 
1647.28/1647.51	c 74156122       695791222      2433071599     2395586261     0              0              40   137   115 
1793.07/1793.35	c 81571781       758077638      2657701835     2615605545     0              0              55   138   125 
1988.66/1988.92	c 89729005       840972127      2946635845     2901783063     0              0              24   138   121 
2194.43/2194.78	c 98701951       927976924      3252237808     3203907262     0              0              32   138   122 
2448.91/2449.25	c 108572191      1034529885     3623250436     3570412214     0              0              27   138   117 
2519.70/2520.00	
2519.70/2520.00	c *** INTERRUPTED ***
2519.70/2520.00	c restarts              : 122         
2519.70/2520.00	c conflicts             : 111614337    (44297 /sec)
2519.70/2520.00	c decisions             : 1064638429   (422525 /sec)
2519.70/2520.00	c propagations          : 3671404186  (1457077 /sec)
2519.70/2520.00	c root propagations     : 0           
2519.70/2520.00	c filter calls          : 3726000676     (1478745 /sec)
2519.70/2520.00	c useless filter calls  : 2134733065     (57 %)
2519.70/2520.00	c Memory used           : 26.75 MB
2519.70/2520.00	c CPU time              : 2519.71 s
2519.70/2520.00	
2519.70/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267986-1502530552/watcher-4267986-1502530552 -o /tmp/evaluation-result-4267986-1502530552/solver-4267986-1502530552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267986-1502530552.xml 

pid=8743
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 8746
/proc/meminfo: memFree=30305284/32770624 swapFree=0/323820
[pid=8746] ppid=8743 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8746/stat : 8746 (runsolver) D 8743 8746 1785 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 55250671 24240128 108 18446744073709551615 4194304 4338465 140729607368320 140729607365960 140031798674135 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 35385344 140729607377090 140729607377481 140729607377481 140729607380938 0
/proc/8746/statm: 5918 108 54 36 0 2156 0

[startup+0.100195 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 8746
/proc/meminfo: memFree=30305284/32770624 swapFree=0/323820
[pid=8746] ppid=8743 vsize=27392 CPUtime=0.04 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 1118 0 0 0 4 0 0 0 20 0 1 0 55250671 28049408 898 18446744073709551615 4194304 5972588 140734445147216 140734445143864 4931808 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 898 742 435 0 211 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27392

[startup+0.200336 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 8746
/proc/meminfo: memFree=30305284/32770624 swapFree=0/323820
[pid=8746] ppid=8743 vsize=27392 CPUtime=0.14 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 1119 0 0 0 14 0 0 0 20 0 1 0 55250671 28049408 898 18446744073709551615 4194304 5972588 140734445147216 140734445143864 4935459 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 898 742 435 0 211 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 27392

[startup+0.300315 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 8746
/proc/meminfo: memFree=30305284/32770624 swapFree=0/323820
[pid=8746] ppid=8743 vsize=27392 CPUtime=0.24 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 1119 0 0 0 24 0 0 0 20 0 1 0 55250671 28049408 898 18446744073709551615 4194304 5972588 140734445147216 140734445143864 5312315 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 898 742 435 0 211 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 27392

[startup+0.700279 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 8746
/proc/meminfo: memFree=30305284/32770624 swapFree=0/323820
[pid=8746] ppid=8743 vsize=27392 CPUtime=0.64 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 1119 0 0 0 64 0 0 0 20 0 1 0 55250671 28049408 898 18446744073709551615 4194304 5972588 140734445147216 140734445143864 4935704 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 898 742 435 0 211 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 27392

[startup+1.50028 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8747
/proc/meminfo: memFree=30304368/32770624 swapFree=0/323780
[pid=8746] ppid=8743 vsize=27392 CPUtime=1.44 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 1119 0 0 0 144 0 0 0 20 0 1 0 55250671 28049408 898 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931790 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 898 742 435 0 211 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 27392

[startup+3.10028 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8747
/proc/meminfo: memFree=30304244/32770624 swapFree=0/323780
[pid=8746] ppid=8743 vsize=27392 CPUtime=3.04 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 1239 0 0 0 304 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5338177 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 27392

[startup+6.30027 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8747
/proc/meminfo: memFree=30303680/32770624 swapFree=0/323788
[pid=8746] ppid=8743 vsize=27392 CPUtime=6.24 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 1395 0 0 0 624 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5338173 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 27392

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8747
/proc/meminfo: memFree=30303680/32770624 swapFree=0/323788
[pid=8746] ppid=8743 vsize=27392 CPUtime=12.64 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 1533 0 0 0 1264 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931747 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 27392

[startup+25.5003 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 8747
/proc/meminfo: memFree=30303436/32770624 swapFree=0/323788
[pid=8746] ppid=8743 vsize=27392 CPUtime=25.43 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 1809 0 0 0 2543 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5322693 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 27392

[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 8748
/proc/meminfo: memFree=30303436/32770624 swapFree=0/323780
[pid=8746] ppid=8743 vsize=27392 CPUtime=51.03 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 1947 0 0 0 5103 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5322696 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 27392

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 8750
/proc/meminfo: memFree=30303564/32770624 swapFree=0/323784
[pid=8746] ppid=8743 vsize=27392 CPUtime=102.23 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 2085 0 0 0 10223 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4935277 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 27392

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8752
/proc/meminfo: memFree=30303568/32770624 swapFree=0/323780
[pid=8746] ppid=8743 vsize=27392 CPUtime=162.22 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 2223 0 0 0 16222 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5322680 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 27392

[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 8755
/proc/meminfo: memFree=30303280/32770624 swapFree=0/323780
[pid=8746] ppid=8743 vsize=27392 CPUtime=222.22 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 2361 0 0 0 22222 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4935663 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 27392

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8757
/proc/meminfo: memFree=30303568/32770624 swapFree=0/323788
[pid=8746] ppid=8743 vsize=27392 CPUtime=282.21 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 2499 0 0 0 28221 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5322696 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 27392

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8759
/proc/meminfo: memFree=30303160/32770624 swapFree=0/323800
[pid=8746] ppid=8743 vsize=27392 CPUtime=342.2 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 2637 0 0 0 34220 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5322693 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 27392

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8762
/proc/meminfo: memFree=30303520/32770624 swapFree=0/323800
[pid=8746] ppid=8743 vsize=27392 CPUtime=402.2 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 2775 0 0 0 40220 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931747 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 27392

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8764
/proc/meminfo: memFree=30303484/32770624 swapFree=0/323804
[pid=8746] ppid=8743 vsize=27392 CPUtime=462.19 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 2913 0 0 0 46219 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5312315 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 27392

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 8780
/proc/meminfo: memFree=30299792/32770624 swapFree=0/323840
[pid=8746] ppid=8743 vsize=27392 CPUtime=522.19 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 3051 0 0 0 52219 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5338181 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 27392

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 8782
/proc/meminfo: memFree=30298676/32770624 swapFree=0/323856
[pid=8746] ppid=8743 vsize=27392 CPUtime=582.18 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 3189 0 0 0 58218 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931696 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 27392


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


[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 8831
/proc/meminfo: memFree=30302992/32770624 swapFree=0/324072
[pid=8746] ppid=8743 vsize=27392 CPUtime=1602.09 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 5435 0 0 0 160209 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931696 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 27392

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 8833
/proc/meminfo: memFree=30303484/32770624 swapFree=0/324084
[pid=8746] ppid=8743 vsize=27392 CPUtime=1662.08 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 5574 0 0 0 166208 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931696 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 27392

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 8850
/proc/meminfo: memFree=30298812/32770624 swapFree=0/324104
[pid=8746] ppid=8743 vsize=27392 CPUtime=1722.07 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 5695 0 0 0 172207 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5338173 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 27392

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 8852
/proc/meminfo: memFree=30297820/32770624 swapFree=0/324128
[pid=8746] ppid=8743 vsize=27392 CPUtime=1782.07 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 5819 0 0 0 178207 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931776 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 27392

[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 8854
/proc/meminfo: memFree=30301052/32770624 swapFree=0/324140
[pid=8746] ppid=8743 vsize=27392 CPUtime=1842.06 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 5962 0 0 0 184206 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5336631 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 1842.06
Current children cumulated vsize (KiB) 27392

[startup+1902.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/182 8917
/proc/meminfo: memFree=30991996/32770624 swapFree=0/324232
[pid=8746] ppid=8743 vsize=27392 CPUtime=1902.06 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 6088 0 0 0 190206 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931704 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 27392

[startup+1962.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/182 8919
/proc/meminfo: memFree=30725132/32770624 swapFree=0/324240
[pid=8746] ppid=8743 vsize=27392 CPUtime=1962.05 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 6214 0 0 0 196205 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5328020 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 1962.05
Current children cumulated vsize (KiB) 27392

[startup+2022.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 8922
/proc/meminfo: memFree=30719636/32770624 swapFree=0/324248
[pid=8746] ppid=8743 vsize=27392 CPUtime=2022.05 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 6352 0 0 0 202205 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931680 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 2022.05
Current children cumulated vsize (KiB) 27392

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 8924
/proc/meminfo: memFree=30719340/32770624 swapFree=0/324244
[pid=8746] ppid=8743 vsize=27392 CPUtime=2082.05 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 6477 0 0 0 208205 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5328036 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 27392

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 8926
/proc/meminfo: memFree=30718872/32770624 swapFree=0/324264
[pid=8746] ppid=8743 vsize=27392 CPUtime=2142.04 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 6602 0 0 0 214204 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4909063 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 27392

[startup+2202.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 8929
/proc/meminfo: memFree=30718252/32770624 swapFree=0/324268
[pid=8746] ppid=8743 vsize=27392 CPUtime=2202.03 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 6740 0 0 0 220203 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931747 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 2202.03
Current children cumulated vsize (KiB) 27392

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 8931
/proc/meminfo: memFree=30718156/32770624 swapFree=0/324276
[pid=8746] ppid=8743 vsize=27392 CPUtime=2262.02 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 6866 0 0 0 226202 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5312304 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 2262.02
Current children cumulated vsize (KiB) 27392

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 8948
/proc/meminfo: memFree=30713648/32770624 swapFree=0/324296
[pid=8746] ppid=8743 vsize=27392 CPUtime=2322.02 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 6992 0 0 0 232202 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5322693 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 2322.02
Current children cumulated vsize (KiB) 27392

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 8975
/proc/meminfo: memFree=30712916/32770624 swapFree=0/324348
[pid=8746] ppid=8743 vsize=27392 CPUtime=2382.01 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 7118 0 0 0 238201 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5312304 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 2382.01
Current children cumulated vsize (KiB) 27392

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 8977
/proc/meminfo: memFree=30712784/32770624 swapFree=0/324360
[pid=8746] ppid=8743 vsize=27392 CPUtime=2442.01 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 7244 0 0 0 244201 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 5319872 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 2442.01
Current children cumulated vsize (KiB) 27392

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 8979
/proc/meminfo: memFree=30716868/32770624 swapFree=0/324356
[pid=8746] ppid=8743 vsize=27392 CPUtime=2502 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 7382 0 0 0 250200 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4935252 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 2502
Current children cumulated vsize (KiB) 27392



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 8979
/proc/meminfo: memFree=30716992/32770624 swapFree=0/324352
[pid=8746] ppid=8743 vsize=27392 CPUtime=2519.7 cores=0,2,4,6
/proc/8746/stat : 8746 (cosoco) R 8743 8746 1785 0 -1 4202496 7508 0 0 0 251970 0 0 0 20 0 1 0 55250671 28049408 961 18446744073709551615 4194304 5972588 140734445147216 140734445144520 4931790 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38383616 140734445154798 140734445154893 140734445154893 140734445158350 0
/proc/8746/statm: 6848 961 761 435 0 211 0
Current children cumulated CPU time (s) 2519.7
Current children cumulated vsize (KiB) 27392

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8746 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2519.71
CPU user time (s): 2519.71
CPU system time (s): 0.005999
CPU usage (%): 99.9885
Max. virtual memory (cumulated for all children) (KiB): 27392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.71
system time used= 0.005999
maximum resident set size= 3920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7559
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= 10
involuntary context switches= 3152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92784 second user time and 8.65419 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-12 11:21:51
IDJOB=4267986
IDBENCH=126861
IDSOLVER=2658
FILE ID=node126/4267986-1502530552
RUNJOBID= node126-1502500311-1848
PBS_JOBID= 
Free space on /tmp= 62016 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-050.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267986-1502530552/watcher-4267986-1502530552 -o /tmp/evaluation-result-4267986-1502530552/solver-4267986-1502530552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267986-1502530552.xml

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

MD5SUM BENCH= 630ab63eaf7c5bcaa7f0eb192a58705a
RANDOM SEED=22577520

node126.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.81
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.81
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.81
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.81
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:        30305412 kB
MemAvailable:   30938676 kB
Buffers:          301736 kB
Cached:           603780 kB
SwapCached:          524 kB
Active:          1609688 kB
Inactive:         395328 kB
Active(anon):    1053488 kB
Inactive(anon):    71324 kB
Active(file):     556200 kB
Inactive(file):   324004 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              2240 kB
Writeback:             0 kB
AnonPages:       1021768 kB
Mapped:            45008 kB
Shmem:             25248 kB
Slab:             163556 kB
SReclaimable:     137792 kB
SUnreclaim:        25764 kB
KernelStack:        3152 kB
PageTables:         7032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1362300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    972800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62024 MiB
End job on node126 at 2017-08-12 12:03:51