Trace number 4295666

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.7 2520.01

General information on the benchmark

NameFrb/
frb-50-23-2-mgd_c18.xml
MD5SUM747f749c43313802f4a8e2c3a16b0378
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark844.678
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints445
Number of domains1
Minimum domain size23
Maximum domain size23
Distribution of domain sizes[{"size":23,"count":50}]
Minimum variable degree10
Maximum variable degree27
Distribution of variable degrees[{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":1},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":10},{"degree":17,"count":5},{"degree":18,"count":8},{"degree":19,"count":5},{"degree":20,"count":3},{"degree":21,"count":3},{"degree":22,"count":4},{"degree":23,"count":1},{"degree":24,"count":1},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":445}]
Number of extensional constraints445
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":445}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.18	c root propagations     : 0           
0.10/0.18	c restarts enabled, print stats at every restarts
0.10/0.18	c
0.10/0.18	c
0.10/0.18	c
0.10/0.18	c This is cosoco 1.12 --  
0.10/0.18	c
0.10/0.18	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295666-1532562826.xml 
0.10/0.18	c ========================================[ Problem Statistics ]===========================================
0.10/0.18	c |                                                                                                       
0.10/0.18	c |  Parse time        :         0.18 s 
0.10/0.18	c |
0.10/0.18	c |               Variables: 50
0.10/0.18	c |            Domain Sizes: 23..23
0.10/0.18	c |
0.10/0.18	c |             Constraints: 445
0.10/0.18	c |                   Arity: 2..2  -- Binary: 445
0.10/0.18	c | 
0.10/0.18	c |                   Types: 
0.10/0.18	c |                          Extension: 445  (nb tuples: 132..243) -- (shared: 0)
0.10/0.18	c |                          
0.10/0.18	c =========================================================================================================
0.10/0.18	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.19	c 101            227            70271          27555          0              0              8   15   11    
0.10/0.21	c 211            497            149749         60885          0              0              6   16   10    
0.21/0.22	c 332            822            239633         92268          0              0              7   15   11    
0.21/0.23	c 465            1106           322436         122318         0              0              9   14   11    
0.21/0.24	c 611            1461           420427         155449         0              0              8   15   11    
0.21/0.25	c 771            1877           532861         193800         0              0              9   17   12    
0.21/0.27	c 947            2335           657697         243186         0              0              8   18   11    
0.21/0.29	c 1140           2826           790188         294940         0              0              8   16   11    
0.21/0.31	c 1352           3332           930084         341034         0              0              8   17   11    
0.31/0.33	c 1585           3957           1106683        402114         0              0              7   15   11    
0.31/0.36	c 1841           4697           1314689        480393         0              0              7   16   11    
0.31/0.38	c 2122           5360           1502410        551898         0              0              7   14   10    
0.41/0.42	c 2431           6246           1740163        643010         0              0              7   15   11    
0.41/0.45	c 2770           7119           1983228        732560         0              0              7   15   11    
0.41/0.48	c 3142           8092           2247853        830333         0              0              7   15   11    
0.51/0.52	c 3551           9084           2542224        932962         0              0              7   14   10    
0.51/0.56	c 4000           10204          2858817        1053048        0              0              7   15   11    
0.60/0.61	c 4493           11518          3220464        1176353        0              0              7   16   11    
0.60/0.66	c 5035           12905          3611710        1324856        0              0              7   16   10    
0.69/0.72	c 5631           14599          4066349        1483394        0              0              6   17   11    
0.69/0.78	c 6286           16272          4538940        1644401        0              0              7   15   11    
0.79/0.86	c 7006           18301          5083940        1851554        0              0              6   17   10    
0.89/0.93	c 7798           20278          5653921        2048106        0              0              7   17   11    
1.00/1.02	c 8669           22622          6316441        2298751        0              0              6   17   10    
1.10/1.11	c 9627           25158          7009105        2561639        0              0              7   18   11    
1.19/1.21	c 10680          27980          7778176        2854123        0              0              7   17   11    
1.29/1.32	c 11838          31050          8596646        3154206        0              0              6   16   11    
1.39/1.44	c 13111          34256          9495534        3482467        0              0              7   18   11    
1.49/1.58	c 14511          37686          10468388       3880343        0              0              6   16   10    
1.69/1.73	c 16051          42124          11626899       4298589        0              0              5   17   11    
1.79/1.89	c 17745          46568          12853134       4743540        0              0              6   17   11    
2.00/2.07	c 19608          51452          14233539       5263437        0              0              6   17   11    
2.19/2.28	c 21657          56986          15753612       5821886        0              0              5   16   10    
2.49/2.50	c 23910          63339          17493527       6451723        0              0              5   18   11    
2.69/2.72	c 26388          69636          19220055       7043340        0              0              7   17   11    
2.89/2.97	c 29113          76463          21147906       7735207        0              0              8   17   11    
3.19/3.27	c 32110          84436          23365992       8577931        0              0              6   17   10    
3.49/3.57	c 35406          92520          25652609       9397718        0              0              6   16   11    
3.89/3.93	c 39031          102848         28403270       10412531       0              0              6   19   11    
4.19/4.29	c 43018          112968         31212308       11375943       0              0              6   17   11    
4.69/4.70	c 47403          124788         34408791       12521455       0              0              6   19   11    
5.10/5.13	c 52226          137077         37841501       13729982       0              0              6   17   11    
5.59/5.62	c 57531          151390         41688212       15093599       0              0              5   20   12    
6.19/6.21	c 63366          166311         45952010       16762159       0              0              6   17   11    
6.69/6.79	c 69784          182425         50473317       18390018       0              0              5   18   11    
7.39/7.50	c 76843          201733         55747612       20372092       0              0              6   18   11    
8.19/8.26	c 84607          223391         61543246       22517893       0              0              6   20   11    
9.00/9.06	c 93147          244940         67587646       24735942       0              0              5   18   11    
9.89/9.98	c 102541         268635         74414002       27340140       0              0              5   18   11    
10.89/10.90	c 112874         294434         81609691       29887036       0              0              6   18   11    
12.00/12.03	c 124240         325921         90155900       33067193       0              0              5   21   11    
13.29/13.32	c 136742         360185         99502665       36762443       0              0              5   18   10    
14.59/14.62	c 150494         398124         109613978      40350536       0              0              5   18   11    
16.10/16.13	c 165621         440389         121085195      44556745       0              0              5   19   11    
17.59/17.69	c 182260         484085         133109737      48868442       0              0              5   19   11    
19.49/19.55	c 200562         535020         147071440      54047014       0              0              5   18   11    
21.49/21.57	c 220694         588982         162017959      59755180       0              0              5   18   11    
23.59/23.65	c 242839         646739         177954770      65468231       0              0              5   19   11    
25.79/25.86	c 267198         710516         195316401      71549536       0              0              5   18   11    
28.48/28.56	c 293992         784956         215649243      79019693       0              0              4   19   11    
31.18/31.29	c 323465         857383         236668380      86510762       0              0              6   18   11    
34.58/34.62	c 355885         944347         261041840      95957387       0              0              5   19   11    
37.78/37.88	c 391547         1040574        286963947      104810221      0              0              5   20   12    
41.58/41.64	c 430775         1143998        315677166      115209715      0              0              4   20   11    
45.58/45.68	c 473925         1257337        346982405      126238958      0              0              6   20   11    
50.38/50.48	c 521390         1384519        382230110      139796498      0              0              5   19   11    
55.28/55.34	c 573601         1529314        420693428      152983214      0              0              5   20   12    
61.09/61.12	c 631033         1695121        464922708      168828201      0              0              4   20   11    
66.98/67.03	c 694208         1861726        510291112      185208351      0              0              6   20   12    
73.77/73.81	c 763700         2042990        561185321      204013190      0              0              4   20   11    
81.08/81.13	c 840141         2241549        616447955      224239094      0              0              4   19   10    
89.17/89.22	c 924226         2464161        678464504      246430184      0              0              4   19   10    
97.67/97.77	c 1016719        2710673        745261297      269909647      0              0              5   22   11    
107.17/107.21	c 1118461        2971204        818321428      295947912      0              0              5   19   11    
117.46/117.56	c 1230377        3260218        898219815      324580350      0              0              5   21   11    
129.86/129.99	c 1353484        3585134        989764488      359344542      0              0              5   20   11    
142.36/142.46	c 1488901        3940779        1087088025     393598455      0              0              4   20   11    
157.36/157.48	c 1637859        4344839        1198164471     436121653      0              0              4   20   11    
172.96/173.04	c 1801712        4773473        1316478090     479453054      0              0              4   20   11    
191.25/191.30	c 1981950        5248292        1450381889     530808260      0              0              4   19   11    
210.54/210.61	c 2180211        5757020        1595578829     584415451      0              0              4   19   10    
230.64/230.71	c 2398298        6310545        1750992433     639565935      0              0              4   19   11    
252.63/252.79	c 2638193        6928481        1922305236     700196614      0              0              4   19   11    
277.83/277.98	c 2902077        7632309        2113518083     770446916      0              0              4   20   11    
305.62/305.77	c 3192349        8447643        2328893226     846851720      0              0              4   21   11    
337.81/337.98	c 3511648        9309319        2569350206     936506626      0              0              3   19   10    
370.92/371.01	c 3862876        10253890       2824618200     1027666718     0              0              4   21   11    
408.30/408.41	c 4249226        11302064       3106920394     1131794447     0              0              4   21   11    
448.39/448.53	c 4674211        12406160       3416267126     1241630130     0              0              4   20   10    
494.28/494.43	c 5141694        13692123       3763366875     1369717244     0              0              3   21   11    
542.46/542.62	c 5655925        15063345       4136529672     1502191871     0              0              4   20   11    
597.45/597.69	c 6221579        16716066       4562226050     1653690988     0              0              4   21   12    
658.94/659.18	c 6843798        18398619       5024722231     1825028618     0              0              3   20   11    
724.63/724.83	c 7528238        20165359       5519836256     2007950359     0              0              5   20   11    
799.32/799.51	c 8281122        22196043       6082621581     2215133356     0              0              3   21   11    
882.51/882.76	c 9109294        24535164       6712777574     2444586848     0              0              3   21   11    
975.00/975.24	c 10020283       26999941       7397546475     2703805519     0              0              3   20   10    
1074.49/1074.72	c 11022370       29724290       8142132309     2983079778     0              0              3   22   11    
1178.18/1178.48	c 12124665       32648322       8948780031     3263056017     0              0              3   22   11    
1294.88/1295.17	c 13337189       35925328       9845526086     3583482993     0              0              3   21   11    
1422.96/1423.29	c 14670965       39539732       10831977332    3934987892     0              0              3   21   11    
1561.45/1561.70	c 16138118       43373801       11887298098    4315162170     0              0              4   21   11    
1727.04/1727.30	c 17751986       47759341       13107612365    4779328836     0              0              3   21   11    
1901.23/1901.51	c 19527240       52725301       14435293680    5261426871     0              0              3   23   11    
2084.11/2084.46	c 21480019       57912692       15850297382    5760335911     0              0              3   22   11    
2291.49/2291.80	c 23628075       63671981       17432691850    6330745023     0              0              4   21   11    
2519.68/2520.00	
2519.68/2520.00	c *** INTERRUPTED ***
2519.68/2520.00	c restarts              : 106         
2519.68/2520.00	c conflicts             : 25956308     (10301 /sec)
2519.68/2520.00	c decisions             : 69825145     (27712 /sec)
2519.68/2520.00	c propagations          : 6961700725  (2762922 /sec)
2519.68/2520.00	c root propagations     : 0           
2519.68/2520.00	c filter calls          : 19154492313    (7601931 /sec)
2519.68/2520.00	c useless filter calls  : 15380081986    (80 %)
2519.68/2520.00	c Memory used           : 27.29 MB
2519.68/2520.00	c CPU time              : 2519.69 s
2519.68/2520.00	
2519.68/2520.00	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 (2257 MiB free)
  memory of node 1: 16384 MiB (6357 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295666-1532562826/watcher-4295666-1532562826 -o /tmp/evaluation-result-4295666-1532562826/solver-4295666-1532562826 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295666-1532562826.xml 

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

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

solver pid=31185, runsolver pid=31182

[startup+0.100152 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 31186
/proc/meminfo: memFree=8821648/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27552 memory=3840 CPUtime=0.1 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 1141 0 0 0 10 0 0 0 20 0 1 0 73845465 28213248 960 33554432000 4194304 6142532 140721792045280 140721792041928 5489252 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6888 960 789 476 0 210 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27552 KiB
Current children cumulated memory: 3840 KiB

[startup+0.209449 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 31186
/proc/meminfo: memFree=8821276/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4352 CPUtime=0.21 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 1286 0 0 0 21 0 0 0 20 0 1 0 73845465 28610560 1088 33554432000 4194304 6142532 140721792045280 140721792041928 4995461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1088 791 476 0 307 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4352 KiB

[startup+0.30904 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 31186
/proc/meminfo: memFree=8821276/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4352 CPUtime=0.31 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 1286 0 0 0 31 0 0 0 20 0 1 0 73845465 28610560 1088 33554432000 4194304 6142532 140721792045280 140721792041928 4995671 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1088 791 476 0 307 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4352 KiB

[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31186
/proc/meminfo: memFree=8820904/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4352 CPUtime=0.69 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 1286 0 0 0 69 0 0 0 20 0 1 0 73845465 28610560 1088 33554432000 4194304 6142532 140721792045280 140721792041928 5336753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1088 791 476 0 307 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4352 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31186
/proc/meminfo: memFree=8820904/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4352 CPUtime=1.49 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 1286 0 0 0 149 0 0 0 20 0 1 0 73845465 28610560 1088 33554432000 4194304 6142532 140721792045280 140721792042680 4995568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1088 791 476 0 307 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4352 KiB

[startup+3.10908 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31186
/proc/meminfo: memFree=8820904/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=3.1 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 1519 0 0 0 310 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995536 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 31186
/proc/meminfo: memFree=8821172/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=6.29 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 1752 0 0 0 629 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995676 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+12.7003 s]
/proc/loadavg: 2.15 2.05 2.06 3/188 31186
/proc/meminfo: memFree=8821668/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=12.69 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 1985 0 0 0 1269 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 5326540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+25.5003 s]
/proc/loadavg: 2.34 2.09 2.07 3/188 31186
/proc/meminfo: memFree=8821888/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=25.49 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 2451 0 0 0 2549 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4991194 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+51.109 s]
/proc/loadavg: 2.22 2.09 2.07 3/188 31186
/proc/meminfo: memFree=8822508/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=51.09 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 2684 0 0 0 5109 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+102.3 s]
/proc/loadavg: 2.10 2.07 2.06 3/187 31188
/proc/meminfo: memFree=8822912/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=102.27 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 2917 0 0 0 10227 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995681 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.06 3/186 31189
/proc/meminfo: memFree=8824316/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=162.25 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 3150 0 0 0 16225 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995600 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+222.3 s]
/proc/loadavg: 2.11 2.08 2.06 3/187 31191
/proc/meminfo: memFree=8822972/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=222.24 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 3383 0 0 0 22224 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995586 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+282.3 s]
/proc/loadavg: 2.13 2.10 2.07 3/187 31193
/proc/meminfo: memFree=8823136/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=282.23 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 3616 0 0 0 28223 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995700 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+342.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/187 31194
/proc/meminfo: memFree=8822792/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=342.21 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 3849 0 0 0 34221 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995371 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+402.3 s]
/proc/loadavg: 2.06 2.09 2.07 3/188 31203
/proc/meminfo: memFree=8821908/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=402.2 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 4082 0 0 0 40220 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995617 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 2.09 2.07 3/189 31230
/proc/meminfo: memFree=8821048/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=462.18 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 4315 0 0 0 46218 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 5336804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB


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

/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 1722.04 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31397
/proc/meminfo: memFree=8820312/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=1782.03 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 9337 0 0 0 178203 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 5326531 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 1782.03 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31398
/proc/meminfo: memFree=8820372/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=1842.03 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 9557 0 0 0 184203 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995458 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 1842.03 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31400
/proc/meminfo: memFree=8820328/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=1902.03 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 9790 0 0 0 190203 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 5336595 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 1902.03 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31401
/proc/meminfo: memFree=8820416/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=1962.02 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 10010 0 0 0 196202 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 5336753 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 1962.02 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 31402
/proc/meminfo: memFree=8820568/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=2022.01 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 10230 0 0 0 202201 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 5327319 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 2022.01 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 31404
/proc/meminfo: memFree=8820636/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=2082.01 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 10455 0 0 0 208201 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 5327323 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 2082.01 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 31405
/proc/meminfo: memFree=8820612/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=2142.01 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 10683 0 0 0 214201 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 5327347 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 2142.01 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31414
/proc/meminfo: memFree=8819652/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=2202 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 10903 0 0 0 220200 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995671 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 2202 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 31415
/proc/meminfo: memFree=8820104/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=2261.99 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 11123 0 0 0 226199 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995540 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 2261.99 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 31416
/proc/meminfo: memFree=8820156/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=2321.99 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 11356 0 0 0 232199 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995695 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 2321.99 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 31417
/proc/meminfo: memFree=8820092/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=2381.98 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 11576 0 0 0 238198 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995671 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 2381.98 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31418
/proc/meminfo: memFree=8820020/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=2441.98 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 11796 0 0 0 244198 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 2441.98 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 31419
/proc/meminfo: memFree=8820000/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=2501.98 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 12016 0 0 0 250198 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 2501.98 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 31419
/proc/meminfo: memFree=8820076/32770624 swapFree=67108860/67108860
[pid=31185] ppid=31182 vsize=27940 memory=4520 CPUtime=2519.68 cores=1,3,5,7
/proc/31185/stat : 31185 (cosoco) R 31182 31185 27447 0 -1 4202496 12236 0 0 0 251968 0 0 0 20 0 1 0 73845465 28610560 1130 33554432000 4194304 6142532 140721792045280 140721792042680 4995323 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 15880192 140721792050310 140721792050440 140721792050440 140721792053198 0
/proc/31185/statm: 6985 1130 831 476 0 307 0
Current children cumulated CPU time: 2519.68 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 4520 KiB

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

[startup+2520.01 s]
# the end of solver process 31185 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.69 s, system=0.010998 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.7
CPU user time (s): 2519.69
CPU system time (s): 0.010998
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 27940
Max. memory (cumulated for all children) (KiB): 4520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.69
system time used= 0.010998
maximum resident set size= 4584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12284
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= 1998


# summary of solver processes directly reported to runsolver:
#   pid: 31185
#   total CPU time (s): 2519.7
#   total CPU user time (s): 2519.69
#   total CPU system time (s): 0.010998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51254 second user time and 18.3491 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-26 01:53:46
IDJOB=4295666
IDBENCH=141588
IDSOLVER=2752
FILE ID=node106/4295666-1532562826
RUNJOBID= node106-1532535025-27479
PBS_JOBID= 21021947
Free space on /tmp= 46236 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Frb/frb-50-23-2-mgd_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295666-1532562826/watcher-4295666-1532562826 -o /tmp/evaluation-result-4295666-1532562826/solver-4295666-1532562826 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295666-1532562826.xml

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

MD5SUM BENCH= 747f749c43313802f4a8e2c3a16b0378
RANDOM SEED=1960888761

node106.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	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         8821972 kB
MemAvailable:   31926644 kB
Buffers:          286112 kB
Cached:         22713212 kB
SwapCached:            0 kB
Active:          2816540 kB
Inactive:       20241924 kB
Active(anon):      61156 kB
Inactive(anon):    25252 kB
Active(file):    2755384 kB
Inactive(file): 20216672 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3128 kB
Writeback:             0 kB
AnonPages:         65604 kB
Mapped:            42164 kB
Shmem:             25228 kB
Slab:             588508 kB
SReclaimable:     561076 kB
SUnreclaim:        27432 kB
KernelStack:        3376 kB
PageTables:         4924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46232 MiB
End job on node106 at 2018-07-26 02:35:46