Trace number 4268214

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.96 2520

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg7/
QuasiGroup-7-28.xml
MD5SUM3acdfa33911068ba5b02b5d01ed992db
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1568
Number of constraints1514
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":1540}]
Minimum variable degree0
Maximum variable degree57
Distribution of variable degrees[{"degree":0,"count":28},{"degree":2,"count":756},{"degree":56,"count":28},{"degree":57,"count":756}]
Minimum constraint arity28
Maximum constraint arity784
Distribution of constraint arities[{"arity":28,"count":1},{"arity":30,"count":1512},{"arity":784,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":1512}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.19	c root propagations     : 140         
0.00/0.19	c restarts enabled, print stats at every restarts
0.00/0.19	c
0.00/0.19	c
0.00/0.19	c
0.00/0.19	c This is cosoco 1.12 --  
0.00/0.19	c
0.00/0.19	c command line: cosoco -lc -model -restarts HOME/instance-4268214-1502543872.xml 
0.00/0.19	c ========================================[ Problem Statistics ]===========================================
0.00/0.19	c |                                                                                                       
0.00/0.19	c |  Parse time        :         0.08 s 
0.00/0.19	c |
0.00/0.19	c |               Variables: 1568
0.00/0.19	c |            Domain Sizes: 28..28
0.00/0.19	c |
0.00/0.19	c |             Constraints: 1596
0.00/0.19	c |                   Arity: 1..30  -- Unary: 28
0.00/0.19	c | 
0.00/0.19	c |                   Types: 
0.00/0.19	c |                          All Different: 56
0.00/0.19	c |                          Element Variable: 1512
0.00/0.19	c |                          Unary: 28
0.00/0.19	c |                          
0.00/0.19	c =========================================================================================================
0.00/0.19	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.19	c remove useless variable y[0][0]
0.00/0.19	c remove useless variable y[1][1]
0.00/0.19	c remove useless variable y[2][2]
0.00/0.19	c remove useless variable y[3][3]
0.00/0.19	c remove useless variable y[4][4]
0.00/0.19	c remove useless variable y[5][5]
0.00/0.19	c remove useless variable y[6][6]
0.00/0.19	c remove useless variable y[7][7]
0.00/0.19	c remove useless variable y[8][8]
0.00/0.19	c remove useless variable y[9][9]
0.00/0.19	c remove useless variable y[10][10]
0.00/0.19	c remove useless variable y[11][11]
0.00/0.19	c remove useless variable y[12][12]
0.00/0.19	c remove useless variable y[13][13]
0.00/0.19	c remove useless variable y[14][14]
0.00/0.19	c remove useless variable y[15][15]
0.00/0.19	c remove useless variable y[16][16]
0.00/0.19	c remove useless variable y[17][17]
0.00/0.19	c remove useless variable y[18][18]
0.00/0.19	c remove useless variable y[19][19]
0.00/0.19	c remove useless variable y[20][20]
0.00/0.19	c remove useless variable y[21][21]
0.00/0.19	c remove useless variable y[22][22]
0.00/0.19	c remove useless variable y[23][23]
0.00/0.19	c remove useless variable y[24][24]
0.00/0.19	c remove useless variable y[25][25]
0.00/0.19	c remove useless variable y[26][26]
0.00/0.19	c remove useless variable y[27][27]
0.09/0.24	c 101            470            71240          21006          134            0              191   358   282
0.19/0.30	c 211            815            143487         33323          134            0              62   69   63   
0.19/0.38	c 332            1349           251781         64752          134            0              92   302   270 
0.29/0.47	c 465            1740           362192         83413          134            0              60   107   104 
0.39/0.58	c 611            2284           508435         127208         134            0              61   207   177 
0.49/0.66	c 771            2765           624388         159738         134            0              124   261   229
0.59/0.78	c 947            3372           783986         197692         134            0              88   253   228 
0.89/1.01	c 1140           4329           1094387        272746         134            0              81   168   160 
1.00/1.15	c 1352           4960           1272600        291771         134            0              71   77   75   
1.19/1.33	c 1585           5659           1521442        366717         134            0              89   217   206 
1.29/1.44	c 1841           6176           1678527        388005         134            0              72   77   75   
1.49/1.69	c 2122           7247           2011430        490063         134            0              84   162   120 
1.69/1.85	c 2431           7995           2245874        536786         134            0              85   273   253 
1.89/2.00	c 2770           8741           2449569        615145         134            0              94   181   161 
1.99/2.16	c 3142           9516           2662877        655360         134            0              124   173   165
2.20/2.33	c 3551           10558          2895375        716847         134            0              90   187   176 
2.49/2.65	c 4000           11968          3337089        771373         134            0              85   206   201 
2.69/2.86	c 4493           13049          3628827        842773         134            0              104   304   265
2.89/3.07	c 5035           14532          3890349        883216         134            0              103   121   120
3.30/3.42	c 5631           16126          4367259        990233         134            0              70   176   163 
3.59/3.73	c 6286           17743          4785121        1140719        134            0              68   143   131 
4.09/4.22	c 7006           19825          5367245        1372086        134            0              73   108   105 
4.59/4.76	c 7798           22485          6088025        1576853        134            0              61   134   125 
4.99/5.13	c 8669           24939          6523348        1734036        134            0              70   88   87   
5.39/5.53	c 9627           27620          6968687        1895739        134            0              81   82   81   
5.89/6.00	c 10680          30590          7498044        2076621        134            0              80   82   81   
6.39/6.53	c 11838          33855          8107682        2278314        134            0              81   82   81   
6.89/7.06	c 13111          37391          8710030        2505227        134            0              81   82   81   
7.50/7.65	c 14511          41273          9368547        2740854        134            0              82   82   81   
8.20/8.32	c 16051          45560          10116469       3003316        134            0              81   82   81   
8.90/9.06	c 17745          50252          10977212       3313758        134            0              72   81   80   
9.60/9.76	c 19608          54963          11814429       3621848        134            0              57   205   155 
10.50/10.65	c 21657          60433          12839299       3958359        134            0              83   86   85   
11.50/11.60	c 23910          66639          13911818       4340251        134            0              58   83   82   
12.50/12.65	c 26388          73468          15081026       4774713        134            0              80   81   80   
13.70/13.85	c 29113          80953          16465430       5281121        134            0              81   82   81   
14.90/15.02	c 32110          89201          17728680       5806611        134            0              80   81   80   
16.40/16.56	c 35406          98279          19484114       6403972        134            0              80   81   80   
17.90/18.00	c 39031          108386         21091113       7054674        134            0              57   93   92   
19.40/19.57	c 43018          119300         22830557       7793431        134            0              81   81   80   
21.10/21.23	c 47403          131336         24614795       8555241        134            0              80   81   80   
22.90/23.04	c 52226          144601         26593085       9394906        134            0              80   81   80   
25.30/25.44	c 57531          159173         29431787       10387720       134            0              90   91   90   
27.59/27.78	c 63366          175199         32087899       11399994       134            0              80   81   80   
30.19/30.39	c 69784          192871         35131225       12526144       134            0              80   81   80   
33.49/33.62	c 76843          212393         39036173       13961951       134            0              95   97   96   
36.30/36.47	c 84607          233770         42200340       15368998       134            0              80   81   80   
39.50/39.68	c 93147          257134         45774311       16911976       134            0              80   81   80   
42.90/43.06	c 102541         282850         49535997       18675068       134            0              80   81   80   
46.89/47.05	c 112874         311512         54158290       20610734       134            0              81   82   81   
51.39/51.53	c 124240         345289         59441968       22804199       134            0              80   120   119 
56.39/56.56	c 136742         381881         65368397       25206612       134            0              113   119   118
62.09/62.25	c 150494         419177         72274776       27756025       134            0              60   83   82   
70.89/71.09	c 165621         482383         83376664       31774628       134            0              98   139   122 
75.29/75.45	c 182260         511456         90058002       33205741       134            0              151   244   173
81.69/81.88	c 200562         555256         99122987       34904895       134            0              128   206   178
91.30/91.40	c 220694         609304         113790047      39633181       134            0              99   360   321 
100.99/101.18	c 242839         670128         127468964      44425749       134            0              98   261   246 
109.09/109.26	c 267198         715305         140142262      48539259       134            0              152   319   298
122.29/122.42	c 293992         781701         158416445      55374564       134            0              159   191   170
131.39/131.53	c 323465         846336         170675388      56059664       134            0              52   58   57   
152.39/152.52	c 355885         972813         197653804      65774130       134            0              184   207   195
169.09/169.28	c 391547         1092285        222410349      70563157       134            0              100   164   147
188.59/188.79	c 430775         1198775        250510101      79625339       134            0              164   324   268
208.29/208.47	c 473925         1308504        279460701      85785476       134            0              90   169   158 
230.29/230.46	c 521390         1411525        313106105      95814953       134            0              117   321   299
254.29/254.47	c 573601         1544774        345323975      106221306      134            0              102   128   113
275.39/275.53	c 631033         1702868        370696769      115002113      134            0              68   98   82   
296.09/296.22	c 694208         1827725        401935856      127349669      134            0              108   313   263
344.00/344.10	c 763700         2146487        470586219      149650523      134            0              120   207   182
386.11/386.25	c 840141         2418441        531409963      167234002      134            0              57   206   190 
422.20/422.34	c 924226         2597108        586046917      182637374      134            0              106   334   289
476.80/476.90	c 1016719        2945558        665859300      203057577      134            0              156   212   191
549.31/549.47	c 1118461        3542752        771955075      231008581      134            0              156   213   190
642.41/642.58	c 1230377        4142041        906569566      267485341      134            0              92   222   201 
699.21/699.30	c 1353484        4592589        989948490      292418734      134            0              115   211   192
767.21/767.34	c 1488901        4906702        1088464301     327882728      134            0              124   300   276
823.51/823.62	c 1637859        5169823        1176958206     356114004      134            0              86   357   329 
894.91/895.08	c 1801712        5590185        1279662040     384265689      134            0              84   238   219 
950.81/950.93	c 1981950        6000739        1353059972     408523145      134            0              88   95   94   
1115.22/1115.33	c 2180211        6709185        1583684797     491737031      134            0              155   199   179
1193.32/1193.50	c 2398298        7129859        1694562691     523667061      134            0              115   207   191
1354.42/1354.55	c 2638193        8287736        1929478504     588391131      134            0              89   205   189 
1473.83/1473.90	c 2902077        8823650        2115252529     641079129      134            0              104   318   289
1715.83/1715.94	c 3192349        10367086       2468386308     728023815      134            0              72   200   191 
1918.83/1918.97	c 3511648        11580587       2765667137     817162788      134            0              131   225   196
2052.64/2052.78	c 3862876        12382694       2961661003     877346261      134            0              141   281   244
2223.74/2223.80	c 4249226        13390305       3208207595     975434393      134            0              157   262   222
2519.95/2520.00	
2519.95/2520.00	c *** INTERRUPTED ***
2519.95/2520.00	c restarts              : 88          
2519.95/2520.00	c conflicts             : 4652307      (1846 /sec)
2519.95/2520.00	c decisions             : 15602568     (6192 /sec)
2519.95/2520.00	c propagations          : 1090146165  (432611 /sec)
2519.95/2520.00	c root propagations     : 140         
2519.95/2520.00	c filter calls          : 3642415152     (1445446 /sec)
2519.95/2520.00	c useless filter calls  : 3493668434     (95 %)
2519.95/2520.00	c Memory used           : 42.26 MB
2519.95/2520.00	c CPU time              : 2519.93 s
2519.95/2520.00	
2519.95/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-4268214-1502543872/watcher-4268214-1502543872 -o /tmp/evaluation-result-4268214-1502543872/solver-4268214-1502543872 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268214-1502543872.xml 

pid=9356
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 9359
/proc/meminfo: memFree=31492604/32770624 swapFree=0/470208
[pid=9359] ppid=9356 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9359/stat : 9359 (runsolver) D 9356 9359 31775 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 42727877 24240128 107 18446744073709551615 4194304 4338465 140734138017008 140734138014648 140425078399703 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 28909568 140734138020033 140734138020425 140734138020425 140734138023882 0
/proc/9359/statm: 5918 107 54 36 0 2156 0

[startup+0.100133 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 9359
/proc/meminfo: memFree=31492604/32770624 swapFree=0/470208
[pid=9359] ppid=9356 vsize=26996 CPUtime=0 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 953 0 0 0 0 0 0 0 20 0 1 0 42727877 27643904 766 18446744073709551615 4194304 5972588 140724712977920 140724712974568 140659236191205 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 6749 766 683 435 0 112 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26996

[startup+0.200268 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 9359
/proc/meminfo: memFree=31492604/32770624 swapFree=0/470208
[pid=9359] ppid=9356 vsize=40628 CPUtime=0.09 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 4419 0 0 0 9 0 0 0 20 0 1 0 42727877 41603072 4245 18446744073709551615 4194304 5972588 140724712977920 140724712974568 4999673 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10157 4245 765 435 0 3520 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40628

[startup+0.300297 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 9359
/proc/meminfo: memFree=31492604/32770624 swapFree=0/470208
[pid=9359] ppid=9356 vsize=41820 CPUtime=0.19 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 4736 0 0 0 19 0 0 0 20 0 1 0 42727877 42823680 4575 18446744073709551615 4194304 5972588 140724712977920 140724712974568 4999778 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10455 4575 778 435 0 3818 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41820

[startup+0.700231 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 9359
/proc/meminfo: memFree=31492604/32770624 swapFree=0/470208
[pid=9359] ppid=9356 vsize=42216 CPUtime=0.59 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 4842 0 0 0 59 0 0 0 20 0 1 0 42727877 43229184 4641 18446744073709551615 4194304 5972588 140724712977920 140724712974568 4999803 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10554 4641 780 435 0 3917 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 42216

[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9360
/proc/meminfo: memFree=31477164/32770624 swapFree=0/470212
[pid=9359] ppid=9356 vsize=42348 CPUtime=1.39 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 4871 0 0 0 139 0 0 0 20 0 1 0 42727877 43364352 4707 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999257 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10587 4707 780 435 0 3950 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 42348

[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9360
/proc/meminfo: memFree=31476792/32770624 swapFree=0/470212
[pid=9359] ppid=9356 vsize=42612 CPUtime=2.99 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 8669 0 0 0 299 0 0 0 20 0 1 0 42727877 43634688 4753 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999563 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10653 4753 780 435 0 4016 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 42612

[startup+6.30022 s]
/proc/loadavg: 2.01 2.02 2.05 4/181 9360
/proc/meminfo: memFree=31476292/32770624 swapFree=0/470212
[pid=9359] ppid=9356 vsize=42612 CPUtime=6.19 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 12345 0 0 0 619 0 0 0 20 0 1 0 42727877 43634688 4784 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999143 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10653 4784 780 435 0 4016 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 42612

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9361
/proc/meminfo: memFree=31475920/32770624 swapFree=0/470212
[pid=9359] ppid=9356 vsize=42612 CPUtime=12.6 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 16039 0 0 0 1259 1 0 0 20 0 1 0 42727877 43634688 4784 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999613 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10653 4784 780 435 0 4016 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 42612

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9361
/proc/meminfo: memFree=31475924/32770624 swapFree=0/470204
[pid=9359] ppid=9356 vsize=42612 CPUtime=25.4 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 22925 0 0 0 2539 1 0 0 20 0 1 0 42727877 43634688 4784 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4972795 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10653 4784 780 435 0 4016 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 42612

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 9361
/proc/meminfo: memFree=31475600/32770624 swapFree=0/470200
[pid=9359] ppid=9356 vsize=42612 CPUtime=50.99 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 23262 0 0 0 5098 1 0 0 20 0 1 0 42727877 43634688 4784 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4975164 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10653 4784 780 435 0 4016 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 42612

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9363
/proc/meminfo: memFree=31475400/32770624 swapFree=0/470200
[pid=9359] ppid=9356 vsize=43140 CPUtime=102.2 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 23806 0 0 0 10219 1 0 0 20 0 1 0 42727877 44175360 4848 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999113 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10785 4848 780 435 0 4148 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 43140

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9365
/proc/meminfo: memFree=31475036/32770624 swapFree=0/470184
[pid=9359] ppid=9356 vsize=43140 CPUtime=162.19 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 24306 0 0 0 16218 1 0 0 20 0 1 0 42727877 44175360 4915 18446744073709551615 4194304 5972588 140724712977920 140724712975224 5328722 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10785 4915 780 435 0 4148 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 43140

[startup+222.306 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 9367
/proc/meminfo: memFree=31474920/32770624 swapFree=0/470196
[pid=9359] ppid=9356 vsize=43272 CPUtime=222.2 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 24822 0 0 0 22219 1 0 0 20 0 1 0 42727877 44310528 4920 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999257 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4920 780 435 0 4181 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 43272

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 9369
/proc/meminfo: memFree=31474920/32770624 swapFree=0/470208
[pid=9359] ppid=9356 vsize=43272 CPUtime=282.19 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 25315 0 0 0 28218 1 0 0 20 0 1 0 42727877 44310528 4923 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999693 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4923 780 435 0 4181 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 43272

[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 9372
/proc/meminfo: memFree=31475160/32770624 swapFree=0/470212
[pid=9359] ppid=9356 vsize=43272 CPUtime=342.2 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 25757 0 0 0 34218 2 0 0 20 0 1 0 42727877 44310528 4927 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999678 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4927 780 435 0 4181 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 43272

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 9389
/proc/meminfo: memFree=31471188/32770624 swapFree=0/470232
[pid=9359] ppid=9356 vsize=43272 CPUtime=402.2 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 26330 0 0 0 40218 2 0 0 20 0 1 0 42727877 44310528 4927 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4972223 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4927 780 435 0 4181 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 43272

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 9391
/proc/meminfo: memFree=31471164/32770624 swapFree=0/470244
[pid=9359] ppid=9356 vsize=43272 CPUtime=462.2 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 26838 0 0 0 46218 2 0 0 20 0 1 0 42727877 44310528 4929 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999224 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4929 780 435 0 4181 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 43272

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 9393
/proc/meminfo: memFree=31474288/32770624 swapFree=0/470248
[pid=9359] ppid=9356 vsize=43272 CPUtime=522.21 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 27324 0 0 0 52219 2 0 0 20 0 1 0 42727877 44310528 4929 18446744073709551615 4194304 5972588 140724712977920 140724712975224 5338173 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4929 780 435 0 4181 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 43272

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9395
/proc/meminfo: memFree=31474804/32770624 swapFree=0/470256
[pid=9359] ppid=9356 vsize=43272 CPUtime=582.21 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 27818 0 0 0 58219 2 0 0 20 0 1 0 42727877 44310528 4929 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999628 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4929 780 435 0 4181 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 43272


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 9460
/proc/meminfo: memFree=31469940/32770624 swapFree=0/470468
[pid=9359] ppid=9356 vsize=43272 CPUtime=1602.23 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 35793 0 0 0 160221 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999798 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 43272

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 9462
/proc/meminfo: memFree=31469452/32770624 swapFree=0/470492
[pid=9359] ppid=9356 vsize=43272 CPUtime=1662.23 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 36220 0 0 0 166221 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 5099630 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 43272

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9464
/proc/meminfo: memFree=31472856/32770624 swapFree=0/470496
[pid=9359] ppid=9356 vsize=43272 CPUtime=1722.23 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 36705 0 0 0 172221 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999328 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 43272

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 9466
/proc/meminfo: memFree=31472616/32770624 swapFree=0/470520
[pid=9359] ppid=9356 vsize=43272 CPUtime=1782.23 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 37115 0 0 0 178221 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 5324944 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 43272

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9468
/proc/meminfo: memFree=31472904/32770624 swapFree=0/470508
[pid=9359] ppid=9356 vsize=43272 CPUtime=1842.23 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 37604 0 0 0 184221 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999693 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 43272

[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 9470
/proc/meminfo: memFree=31472920/32770624 swapFree=0/470512
[pid=9359] ppid=9356 vsize=43272 CPUtime=1902.23 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 38012 0 0 0 190221 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 5099630 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 1902.23
Current children cumulated vsize (KiB) 43272

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 9472
/proc/meminfo: memFree=31472424/32770624 swapFree=0/470520
[pid=9359] ppid=9356 vsize=43272 CPUtime=1962.23 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 38532 0 0 0 196221 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999617 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 1962.23
Current children cumulated vsize (KiB) 43272

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9474
/proc/meminfo: memFree=31473428/32770624 swapFree=0/470516
[pid=9359] ppid=9356 vsize=43272 CPUtime=2022.23 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 38975 0 0 0 202221 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4970978 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 2022.23
Current children cumulated vsize (KiB) 43272

[startup+2082.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 9537
/proc/meminfo: memFree=31484316/32770624 swapFree=0/470524
[pid=9359] ppid=9356 vsize=43272 CPUtime=2082.24 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 39494 0 0 0 208222 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999224 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 43272

[startup+2142.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 9539
/proc/meminfo: memFree=31484204/32770624 swapFree=0/470516
[pid=9359] ppid=9356 vsize=43272 CPUtime=2142.24 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 39946 0 0 0 214222 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 5328649 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 43272

[startup+2202.31 s]
/proc/loadavg: 1.99 2.00 2.04 3/184 9555
/proc/meminfo: memFree=31478536/32770624 swapFree=0/470516
[pid=9359] ppid=9356 vsize=43272 CPUtime=2202.24 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 40419 0 0 0 220222 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 5099630 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 2202.24
Current children cumulated vsize (KiB) 43272

[startup+2262.3 s]
/proc/loadavg: 2.10 2.03 2.05 3/184 9620
/proc/meminfo: memFree=31479368/32770624 swapFree=0/470504
[pid=9359] ppid=9356 vsize=43272 CPUtime=2262.24 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 40913 0 0 0 226222 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 5338173 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 2262.24
Current children cumulated vsize (KiB) 43272

[startup+2322.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 9622
/proc/meminfo: memFree=31482072/32770624 swapFree=0/470492
[pid=9359] ppid=9356 vsize=43272 CPUtime=2322.24 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 41319 0 0 0 232222 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999665 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 2322.24
Current children cumulated vsize (KiB) 43272

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 9624
/proc/meminfo: memFree=31481824/32770624 swapFree=0/470500
[pid=9359] ppid=9356 vsize=43272 CPUtime=2382.24 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 41743 0 0 0 238222 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 5338173 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 2382.24
Current children cumulated vsize (KiB) 43272

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 9626
/proc/meminfo: memFree=31482140/32770624 swapFree=0/470532
[pid=9359] ppid=9356 vsize=43272 CPUtime=2442.24 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 42139 0 0 0 244222 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 5099616 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 2442.24
Current children cumulated vsize (KiB) 43272

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 9628
/proc/meminfo: memFree=31481900/32770624 swapFree=0/470536
[pid=9359] ppid=9356 vsize=43272 CPUtime=2502.24 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 42566 0 0 0 250222 2 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999962 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 2502.24
Current children cumulated vsize (KiB) 43272



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 9628
/proc/meminfo: memFree=31482024/32770624 swapFree=0/470524
[pid=9359] ppid=9356 vsize=43272 CPUtime=2519.95 cores=1,3,5,7
/proc/9359/stat : 9359 (cosoco) R 9356 9359 31775 0 -1 4202496 42866 0 0 0 251992 3 0 0 20 0 1 0 42727877 44310528 4949 18446744073709551615 4194304 5972588 140724712977920 140724712975224 4999231 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 22986752 140724712985070 140724712985165 140724712985165 140724712988622 0
/proc/9359/statm: 10818 4949 780 435 0 4181 0
Current children cumulated CPU time (s) 2519.95
Current children cumulated vsize (KiB) 43272

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 9359 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.96
CPU user time (s): 2519.93
CPU system time (s): 0.031
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 43272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.031
maximum resident set size= 19872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.42219 second user time and 8.74589 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-12 15:03:36
IDJOB=4268214
IDBENCH=133836
IDSOLVER=2658
FILE ID=node124/4268214-1502543872
RUNJOBID= node124-1502500286-31839
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg7/QuasiGroup-7-28.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268214-1502543872/watcher-4268214-1502543872 -o /tmp/evaluation-result-4268214-1502543872/solver-4268214-1502543872 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268214-1502543872.xml

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

MD5SUM BENCH= 3acdfa33911068ba5b02b5d01ed992db
RANDOM SEED=1150008445

node124.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.51
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.51
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.51
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.51
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:        31493132 kB
MemAvailable:   31994332 kB
Buffers:          239364 kB
Cached:           554864 kB
SwapCached:            0 kB
Active:           364120 kB
Inactive:         495168 kB
Active(anon):      65404 kB
Inactive(anon):    24960 kB
Active(file):     298716 kB
Inactive(file):   470208 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:         64728 kB
Mapped:            42148 kB
Shmem:             25320 kB
Slab:             121868 kB
SReclaimable:      96220 kB
SUnreclaim:        25648 kB
KernelStack:        3184 kB
PageTables:         5104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     329656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 62028 MiB
End job on node124 at 2017-08-12 15:45:36