Trace number 4299525

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.08 2519.9

General information on the benchmark

NameDubois/
Dubois-100_c18.xml
MD5SUM7caa0b5cafbc6020af5c8bc91888bcd3
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.02538
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":300}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":300}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299525-1532808102.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 300
0.00/0.01	c |            Domain Sizes: 2..2
0.00/0.01	c |
0.00/0.01	c |             Constraints: 200
0.00/0.01	c |                   Arity: 3..3  -- Ternary: 200
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 200  (nb tuples: 4..4) -- (shared: 195)
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 101            3567           20583          20151          0              0              102   297   173
0.00/0.03	c 211            4025           22463          21909          0              0              72   138   94  
0.00/0.03	c 332            4727           25150          24509          0              0              22   58   34   
0.00/0.03	c 465            5730           28489          27730          0              0              19   37   31   
0.00/0.04	c 611            6371           30955          29899          0              0              34   295   188 
0.00/0.04	c 771            7729           36089          34581          0              0              44   297   279 
0.00/0.05	c 947            8982           40536          38835          0              0              45   104   97  
0.00/0.06	c 1140           11046          48294          46175          0              0              45   297   256 
0.00/0.06	c 1352           12508          53427          51011          0              0              128   187   159
0.00/0.07	c 1585           14063          58848          56214          0              0              99   141   122 
0.00/0.08	c 1841           15721          64823          61759          0              0              218   290   247
0.00/0.08	c 2122           16709          69179          65721          0              0              36   200   107 
0.00/0.09	c 2431           18609          75664          71865          0              0              6   162   95   
0.10/0.11	c 2770           21135          84519          80396          0              0              8   149   118  
0.10/0.12	c 3142           23351          92483          87987          0              0              11   109   65  
0.10/0.13	c 3551           26419          104016         98880          0              0              10   291   241 
0.10/0.15	c 4000           30245          118152         112436         0              0              10   295   253 
0.10/0.16	c 4493           33510          129712         123465         0              0              12   272   243 
0.10/0.18	c 5035           37155          142466         135718         0              0              10   192   141 
0.10/0.20	c 5631           40943          155790         148394         0              0              18   297   252 
0.21/0.22	c 6286           45835          172909         164962         0              0              202   245   226
0.21/0.24	c 7006           50429          189266         180518         0              0              37   297   236 
0.21/0.27	c 7798           55212          206085         196587         0              0              40   248   174 
0.21/0.29	c 8669           61023          227248         216869         0              0              39   215   173 
0.31/0.33	c 9627           67776          250935         239872         0              0              73   109   93  
0.31/0.36	c 10680          75543          278049         266123         0              0              192   241   217
0.31/0.40	c 11838          83873          306910         294076         0              0              187   218   208
0.41/0.44	c 13111          90489          330844         317238         0              0              54   193   133 
0.41/0.48	c 14511          100519         365703         350820         0              0              16   218   194 
0.51/0.54	c 16051          110646         402121         385901         0              0              15   166   126 
0.51/0.60	c 17745          124629         450159         432781         0              0              37   167   157 
0.60/0.67	c 19608          137624         495988         477340         0              0              71   159   116 
0.69/0.73	c 21657          150599         541681         521445         0              0              25   297   168 
0.79/0.81	c 23910          167185         599727         577741         0              0              21   297   267 
0.89/0.90	c 26388          186318         667235         643795         0              0              21   170   130 
0.89/0.99	c 29113          204582         730176         704722         0              0              25   299   201 
1.00/1.10	c 32110          226068         806455         779081         0              0              48   129   87  
1.19/1.20	c 35406          244823         874342         845410         0              0              33   88   60   
1.29/1.32	c 39031          271094         965704         934097         0              0              32   283   237 
1.39/1.46	c 43018          303041         1077408        1043496        0              0              38   295   286 
1.59/1.60	c 47403          333239         1184194        1147718        0              0              32   290   269 
1.69/1.76	c 52226          367605         1308007        1268594        0              0              36   228   217 
1.89/1.95	c 57531          407111         1446900        1403470        0              0              51   189   148 
2.10/2.14	c 63366          447975         1592228        1545507        0              0              20   294   255 
2.39/2.40	c 69784          498514         1773376        1723208        0              0              70   161   121 
2.59/2.67	c 76843          551558         1962745        1908316        0              0              41   293   137 
2.89/2.97	c 84607          616531         2186217        2126750        0              0              28   243   221 
3.19/3.25	c 93147          678102         2405666        2339937        0              0              32   285   269 
3.59/3.60	c 102541         755932         2683205        2610802        0              0              37   279   268 
3.89/3.98	c 112874         835341         2969452        2887360        0              0              44   279   174 
4.49/4.50	c 124240         935036         3322769        3234436        0              0              68   156   104 
4.79/4.88	c 136742         1019177        3620665        3526227        0              0              36   280   243 
5.39/5.40	c 150494         1132802        4018346        3915548        0              0              35   278   234 
6.00/6.04	c 165621         1271069        4513889        4399781        0              0              70   244   235 
6.49/6.57	c 182260         1389557        4926837        4804296        0              0              48   280   260 
7.19/7.22	c 200562         1533175        5444658        5308234        0              0              157   274   246
7.89/7.97	c 220694         1693123        6014596        5869768        0              0              65   243   208 
8.79/8.85	c 242839         1891179        6701142        6546076        0              0              30   273   263 
9.69/9.74	c 267198         2075249        7350117        7181889        0              0              36   257   188 
10.69/10.75	c 293992         2301267        8166889        7975530        0              0              189   274   263
11.89/11.97	c 323465         2568574        9125991        8915781        0              0              85   251   242 
13.19/13.25	c 355885         2838404        10083883       9853087        0              0              132   207   198
14.59/14.68	c 391547         3158434        11208847       10957162       0              0              47   273   263 
16.10/16.14	c 430775         3482262        12383212       12103279       0              0              48   273   261 
17.89/17.97	c 473925         3853342        13707978       13390593       0              0              89   169   160 
19.79/19.83	c 521390         4226200        15042487       14700450       0              0              72   169   147 
21.79/21.86	c 573601         4679461        16594871       16230838       0              0              32   273   258 
24.19/24.22	c 631033         5204457        18436440       18035852       0              0              43   272   260 
26.79/26.87	c 694208         5746260        20327401       19885411       0              0              47   178   169 
29.59/29.63	c 763700         6362402        22525253       22037020       0              0              105   272   266
32.69/32.79	c 840141         7038045        24950304       24409326       0              0              151   272   221
36.19/36.24	c 924226         7802935        27626143       27038383       0              0              79   272   252 
39.89/39.99	c 1016719        8578397        30330414       29691412       0              0              64   190   179 
44.29/44.33	c 1118461        9529188        33725534       33014669       0              0              104   250   242
48.49/48.54	c 1230377        10471224       37056708       36293281       0              0              101   272   264
53.00/53.05	c 1353484        11474062       40604373       39765272       0              0              91   276   250 
58.60/58.66	c 1488901        12734074       45056023       44134788       0              0              139   272   264
64.60/64.69	c 1637859        14079314       49778334       48764201       0              0              63   275   257 
70.80/70.83	c 1801712        15440743       54532166       53425770       0              0              43   274   247 
77.80/77.87	c 1981950        16995124       60049716       58833034       0              0              93   272   250 
86.20/86.25	c 2180211        18870252       66790508       65425436       0              0              190   272   264
95.20/95.20	c 2398298        20886376       73833989       72321898       0              0              216   272   264
105.20/105.20	c 2638193        22998914       81324652       79682417       0              0              48   275   202 
117.70/117.76	c 2902077        25545375       90290281       88480856       0              0              70   176   165 
127.60/127.65	c 3192349        27758621       98053010       96076650       0              0              60   274   261 
142.01/142.02	c 3511648        30937311       109400873      107183722      0              0              54   271   252 
158.50/158.55	c 3862876        34261264       121108533      118711520      0              0              101   219   156
172.50/172.53	c 4249226        37346596       131905491      129288345      0              0              43   271   244 
191.01/191.09	c 4674211        41499554       146688290      143734452      0              0              47   270   262 
210.81/210.82	c 5141694        45714261       161593783      158361413      0              0              89   270   220 
233.12/233.18	c 5655925        50103548       177414047      173809420      0              0              69   265   130 
256.21/256.23	c 6221579        55209725       195215584      191292942      0              0              41   271   250 
282.21/282.22	c 6843798        61004305       215905537      211516694      0              0              33   270   259 
310.21/310.27	c 7528238        67093720       237594055      232802772      0              0              126   269   233
344.52/344.54	c 8281122        73986709       262046399      256861067      0              0              90   226   154 
378.92/378.94	c 9109294        81590352       289076966      283352572      0              0              53   269   255 
420.72/420.78	c 10020283       90857969       322086003      315809892      0              0              94   269   256 
465.03/465.03	c 11022370       100086138      354226972      347536988      0              0              58   271   192 
513.14/513.18	c 12124665       110794744      391741767      384395622      0              0              192   269   255
565.93/565.99	c 13337189       122532362      433108756      425079630      0              0              63   272   251 
629.84/629.82	c 14670965       135731868      479239604      470484834      0              0              122   265   185
696.64/696.61	c 16138118       150613921      531108984      521544234      0              0              62   271   257 
765.75/765.72	c 17751986       165848197      585164459      574592371      0              0              38   269   247 
841.75/841.78	c 19527240       182284694      643095881      631524672      0              0              162   272   229
930.96/930.92	c 21480019       202069568      713334992      700780337      0              0              82   269   257 
1027.36/1027.39	c 23628075       221812652      783559335      769696825      0              0              98   230   176 
1121.08/1121.04	c 25990936       242047571      855062722      839505422      0              0              47   272   228 
1228.68/1228.68	c 28590083       265037686      936924666      919742350      0              0              47   263   217 
1362.69/1362.66	c 31449144       292244377      1032956699     1013912852     0              0              64   263   170 
1499.00/1498.97	c 34594111       322435941      1138474338     1117341299     0              0              55   272   253 
1650.71/1650.69	c 38053574       355924266      1257144281     1234196224     0              0              71   270   252 
1835.13/1835.06	c 41858983       394982990      1394160794     1369510947     0              0              134   270   212
2050.74/2050.68	c 46044932       442201294      1559770808     1532819210     0              0              59   271   247 
2234.65/2234.58	c 50649475       481735742      1701221052     1671631546     0              0              96   272   226 
2459.36/2459.27	c 55714472       530620643      1874167648     1841868238     0              0              59   269   240 
2520.07/2519.90	
2520.07/2519.90	c *** INTERRUPTED ***
2520.07/2519.90	c restarts              : 115         
2520.07/2519.90	c conflicts             : 57197896     (22697 /sec)
2520.07/2519.90	c decisions             : 543988356    (215862 /sec)
2520.07/2519.90	c propagations          : 1887730533  (749078 /sec)
2520.07/2519.90	c root propagations     : 0           
2520.07/2519.90	c filter calls          : 1921439359     (762454 /sec)
2520.07/2519.90	c useless filter calls  : 1095506670     (57 %)
2520.07/2519.90	c Memory used           : 27.95 MB
2520.07/2519.90	c CPU time              : 2520.07 s
2520.07/2519.90	
2520.07/2519.90	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299525-1532808102/watcher-4299525-1532808102 -o /tmp/evaluation-result-4299525-1532808102/solver-4299525-1532808102 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299525-1532808102.xml 

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

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


[startup+0.100151 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 15279
/proc/meminfo: memFree=20462788/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28484 memory=4992 CPUtime=0.1 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 1422 0 0 0 10 0 0 0 20 0 1 0 98373369 29167616 1248 33554432000 4194304 6142532 140729066336992 140729066333624 5347455 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7121 1248 831 476 0 443 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28484 KiB
Current children cumulated memory: 4992 KiB

[startup+0.209504 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 15279
/proc/meminfo: memFree=20462788/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=4992 CPUtime=0.21 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 1430 0 0 0 21 0 0 0 20 0 1 0 98373369 29302784 1248 33554432000 4194304 6142532 140729066336992 140729066333624 5013961 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1248 831 476 0 476 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 4992 KiB

[startup+0.308958 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 15279
/proc/meminfo: memFree=20462788/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=4992 CPUtime=0.31 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 1433 0 0 0 31 0 0 0 20 0 1 0 98373369 29302784 1248 33554432000 4194304 6142532 140729066336992 140729066333624 5013936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1248 831 476 0 476 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 4992 KiB

[startup+0.700267 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15279
/proc/meminfo: memFree=20462788/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=4992 CPUtime=0.69 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 1433 0 0 0 69 0 0 0 20 0 1 0 98373369 29302784 1248 33554432000 4194304 6142532 140729066336992 140729066334392 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1248 831 476 0 476 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 4992 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15279
/proc/meminfo: memFree=20462964/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=4992 CPUtime=1.49 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 1435 0 0 0 149 0 0 0 20 0 1 0 98373369 29302784 1248 33554432000 4194304 6142532 140729066336992 140729066334392 5018054 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1248 831 476 0 476 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 4992 KiB

[startup+3.10904 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15279
/proc/meminfo: memFree=20462964/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5116 CPUtime=3.1 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 1738 0 0 0 310 0 0 0 20 0 1 0 98373369 29302784 1279 33554432000 4194304 6142532 140729066336992 140729066334392 5347473 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1279 831 476 0 476 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5116 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15279
/proc/meminfo: memFree=20463116/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5124 CPUtime=6.29 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 2199 0 0 0 629 0 0 0 20 0 1 0 98373369 29302784 1281 33554432000 4194304 6142532 140729066336992 140729066334392 5319096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1281 831 476 0 476 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5124 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15279
/proc/meminfo: memFree=20463240/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5124 CPUtime=12.69 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 2581 0 0 0 1269 0 0 0 20 0 1 0 98373369 29302784 1281 33554432000 4194304 6142532 140729066336992 140729066334392 5013936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1281 831 476 0 476 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5124 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15279
/proc/meminfo: memFree=20463232/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5124 CPUtime=25.49 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 3345 0 0 0 2549 0 0 0 20 0 1 0 98373369 29302784 1281 33554432000 4194304 6142532 140729066336992 140729066334392 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1281 831 476 0 476 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5124 KiB

[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15279
/proc/meminfo: memFree=20463736/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5124 CPUtime=51.1 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 3728 0 0 0 5110 0 0 0 20 0 1 0 98373369 29302784 1281 33554432000 4194304 6142532 140729066336992 140729066334392 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1281 831 476 0 476 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5124 KiB

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 15280
/proc/meminfo: memFree=20464124/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=102.3 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 4111 0 0 0 10230 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 4990765 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+162.3 s]
/proc/loadavg: 2.16 2.07 2.06 3/188 15281
/proc/meminfo: memFree=20463992/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=162.3 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 4494 0 0 0 16230 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5013856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/188 15282
/proc/meminfo: memFree=20463652/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=222.31 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 4877 0 0 0 22231 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 15283
/proc/meminfo: memFree=20463184/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=282.31 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 4877 0 0 0 28231 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5329129 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 15284
/proc/meminfo: memFree=20463660/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=342.32 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 5258 0 0 0 34232 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5329966 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 15285
/proc/meminfo: memFree=20463528/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=402.32 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 5260 0 0 0 40232 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 15286
/proc/meminfo: memFree=20463272/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=462.32 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 5643 0 0 0 46232 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5333224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB


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

/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+1842.3 s]
/proc/loadavg: 1.00 1.23 1.65 2/180 15381
/proc/meminfo: memFree=20472628/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=1842.42 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 9782 0 0 0 184242 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5013936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+1902.3 s]
/proc/loadavg: 1.00 1.19 1.61 2/180 15382
/proc/meminfo: memFree=20472576/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=1902.42 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 10111 0 0 0 190242 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5347477 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+1962.3 s]
/proc/loadavg: 1.00 1.16 1.57 2/180 15383
/proc/meminfo: memFree=20472944/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=1962.43 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 10111 0 0 0 196243 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5013910 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2022.3 s]
/proc/loadavg: 1.00 1.13 1.54 2/180 15384
/proc/meminfo: memFree=20473184/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2022.43 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 10433 0 0 0 202243 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2082.3 s]
/proc/loadavg: 1.00 1.10 1.50 2/180 15385
/proc/meminfo: memFree=20472932/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2082.44 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 10494 0 0 0 208244 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5319096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2142.3 s]
/proc/loadavg: 1.00 1.09 1.47 2/180 15386
/proc/meminfo: memFree=20472604/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2142.44 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 10826 0 0 0 214244 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5318976 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2202.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/180 15387
/proc/meminfo: memFree=20472384/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2202.45 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 10827 0 0 0 220245 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5013840 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2262.3 s]
/proc/loadavg: 1.00 1.06 1.41 2/180 15388
/proc/meminfo: memFree=20472736/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2262.45 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 11210 0 0 0 226245 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5329966 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/180 15396
/proc/meminfo: memFree=20472480/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2322.45 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 11210 0 0 0 232245 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.04 1.37 2/180 15397
/proc/meminfo: memFree=20472252/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2382.46 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 11537 0 0 0 238246 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5335940 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/180 15398
/proc/meminfo: memFree=20472624/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2442.46 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 11537 0 0 0 244246 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5013961 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/180 15399
/proc/meminfo: memFree=20472880/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2502.47 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 11921 0 0 0 250247 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2502.47 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 1.00 1.03 1.31 2/180 15399
/proc/meminfo: memFree=20473004/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2520.07 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 11921 0 0 0 252007 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

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

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

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

[startup+2519.9 s]
/proc/loadavg: 1.00 1.03 1.31 2/180 15399
/proc/meminfo: memFree=20473004/32770624 swapFree=67108860/67108860
[pid=15278] ppid=15275 vsize=28616 memory=5128 CPUtime=2520.07 cores=1,3,5,7
/proc/15278/stat : 15278 (cosoco) R 15275 15278 11466 0 -1 4202496 11921 0 0 0 252007 0 0 0 20 0 1 0 98373369 29302784 1282 33554432000 4194304 6142532 140729066336992 140729066334392 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 34103296 140729066341510 140729066341640 140729066341640 140729066344398 0
/proc/15278/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.08
CPU user time (s): 2520.07
CPU system time (s): 0.005
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 28616
Max. memory (cumulated for all children) (KiB): 5128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.005
maximum resident set size= 5192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 640


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.48958 second user time and 15.7242 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 22:01:42
IDJOB=4299525
IDBENCH=141410
IDSOLVER=2761
FILE ID=node105/4299525-1532808102
RUNJOBID= node105-1532776049-11498
PBS_JOBID= 21022469
Free space on /tmp= 44620 MiB

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

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

MD5SUM BENCH= 7caa0b5cafbc6020af5c8bc91888bcd3
RANDOM SEED=1303114030

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20464660 kB
MemAvailable:   31925452 kB
Buffers:          270984 kB
Cached:         11328612 kB
SwapCached:            0 kB
Active:          2401284 kB
Inactive:        9255632 kB
Active(anon):      11548 kB
Inactive(anon):    73344 kB
Active(file):    2389736 kB
Inactive(file):  9182288 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2388 kB
Writeback:             0 kB
AnonPages:         64652 kB
Mapped:            45108 kB
Shmem:             25228 kB
Slab:             344860 kB
SReclaimable:     317228 kB
SUnreclaim:        27632 kB
KernelStack:        3376 kB
PageTables:         4956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

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