Trace number 4295585

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

General information on the benchmark

NameFrb/
frb-59-26-3-mgd_c18.xml
MD5SUM4c66b19dbffc4da62838f27d220d1d7d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables59
Number of constraints547
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":59}]
Minimum variable degree11
Maximum variable degree27
Distribution of variable degrees[{"degree":11,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":6},{"degree":17,"count":9},{"degree":18,"count":3},{"degree":19,"count":8},{"degree":20,"count":9},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":3},{"degree":24,"count":4},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":547}]
Number of extensional constraints547
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":547}]
Optimization problemNO
Type of objective

Solver Data 

0.21/0.28	c root propagations     : 0           
0.21/0.28	c restarts enabled, print stats at every restarts
0.21/0.28	c
0.21/0.28	c
0.21/0.28	c
0.21/0.28	c This is cosoco 1.12 --  
0.21/0.28	c
0.21/0.28	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295585-1532557785.xml 
0.21/0.28	c ========================================[ Problem Statistics ]===========================================
0.21/0.28	c |                                                                                                       
0.21/0.28	c |  Parse time        :         0.28 s 
0.21/0.28	c |
0.21/0.28	c |               Variables: 59
0.21/0.28	c |            Domain Sizes: 26..26
0.21/0.28	c |
0.21/0.28	c |             Constraints: 547
0.21/0.28	c |                   Arity: 2..2  -- Binary: 547
0.21/0.28	c | 
0.21/0.28	c |                   Types: 
0.21/0.28	c |                          Extension: 547  (nb tuples: 169..306) -- (shared: 0)
0.21/0.28	c |                          
0.21/0.28	c =========================================================================================================
0.21/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.21/0.29	c 101            228            81765          31062          0              0              11   17   13   
0.21/0.30	c 211            482            167462         62121          0              0              10   17   13   
0.31/0.32	c 332            750            255180         96208          0              0              10   18   13   
0.31/0.33	c 465            1063           349515         138457         0              0              7   16   12    
0.31/0.35	c 611            1486           480954         183583         0              0              10   19   14   
0.31/0.37	c 771            1967           620455         236437         0              0              10   20   13   
0.31/0.39	c 947            2479           780289         302125         0              0              8   16   12    
0.41/0.41	c 1140           2961           931621         358377         0              0              9   16   12    
0.41/0.44	c 1352           3588           1121007        428932         0              0              8   21   13    
0.41/0.47	c 1585           4184           1315141        500977         0              0              9   17   13    
0.41/0.50	c 1841           4843           1526522        583419         0              0              10   18   13   
0.51/0.53	c 2122           5567           1753135        658399         0              0              11   19   15   
0.51/0.56	c 2431           6333           1992243        744299         0              0              10   18   13   
0.51/0.60	c 2770           7241           2286950        859873         0              0              9   19   13    
0.60/0.64	c 3142           8147           2584634        961387         0              0              9   19   13    
0.60/0.69	c 3551           9206           2939021        1086798        0              0              10   19   14   
0.69/0.73	c 4000           10326          3255934        1198826        0              0              10   20   14   
0.69/0.79	c 4493           11630          3662637        1345711        0              0              11   19   14   
0.79/0.85	c 5035           13120          4126098        1525130        0              0              8   18   12    
0.89/0.92	c 5631           14756          4617785        1688965        0              0              8   20   13    
0.89/1.00	c 6286           16583          5176978        1906402        0              0              8   19   12    
1.00/1.08	c 7006           18600          5798335        2132929        0              0              8   19   13    
1.10/1.17	c 7798           20762          6455584        2375083        0              0              6   20   13    
1.19/1.27	c 8669           22997          7165612        2628875        0              0              10   19   14   
1.29/1.37	c 9627           25610          7967167        2905077        0              0              8   19   14    
1.39/1.49	c 10680          28722          8884585        3215611        0              0              7   19   14    
1.59/1.61	c 11838          31769          9783677        3517752        0              0              9   20   14    
1.69/1.76	c 13111          35442          10888506       3915294        0              0              8   19   14    
1.89/1.90	c 14511          39145          11986859       4277481        0              0              9   20   15    
2.00/2.08	c 16051          43152          13290719       4768788        0              0              8   19   12    
2.19/2.29	c 17745          48265          14767065       5321353        0              0              6   19   13    
2.39/2.48	c 19608          53124          16233595       5830644        0              0              8   19   13    
2.69/2.73	c 21657          58861          17999499       6513319        0              0              8   19   13    
2.89/2.97	c 23910          64660          19805523       7160032        0              0              9   20   14    
3.19/3.25	c 26388          70976          21864275       7904468        0              0              9   20   13    
3.49/3.54	c 29113          78335          24075034       8660521        0              0              8   20   13    
3.79/3.87	c 32110          87079          26587431       9562360        0              0              7   22   14    
4.19/4.24	c 35406          95625          29274800       10547430       0              0              7   20   13    
4.59/4.66	c 39031          105010         32307872       11658192       0              0              9   19   13    
5.10/5.15	c 43018          116891         35782717       12990059       0              0              6   20   13    
5.59/5.66	c 47403          129360         39638886       14341641       0              0              8   21   13    
6.10/6.19	c 52226          142886         43653839       15714166       0              0              8   23   14    
6.79/6.81	c 57531          156937         48099030       17368515       0              0              8   20   13    
7.39/7.46	c 63366          174115         53060255       19068685       0              0              7   21   14    
8.10/8.14	c 69784          191024         58173204       20847814       0              0              8   19   13    
8.89/8.96	c 76843          211094         64197042       23068044       0              0              7   23   14    
9.79/9.84	c 84607          232681         70786177       25392920       0              0              8   21   14    
10.79/10.87	c 93147          256123         78086579       28161296       0              0              7   20   13    
11.89/11.91	c 102541         280633         85779130       30940834       0              0              8   20   14    
13.00/13.09	c 112874         308166         94411438       34109721       0              0              6   19   12    
14.29/14.34	c 124240         340039         103715745      37402892       0              0              7   22   14    
15.79/15.88	c 136742         375442         114657932      41600594       0              0              7   20   12    
17.29/17.37	c 150494         413579         126102570      45419133       0              0              8   22   14    
18.89/18.92	c 165621         453369         138169095      49458186       0              0              8   20   13    
20.69/20.71	c 182260         497160         151683493      54120324       0              0              7   21   14    
22.79/22.88	c 200562         545917         167347159      59868192       0              0              6   20   13    
25.00/25.09	c 220694         601192         184142257      65750162       0              0              7   21   14    
27.59/27.69	c 242839         665399         203033896      72645961       0              0              6   23   13    
30.39/30.46	c 267198         728489         223419698      79964817       0              0              7   20   13    
33.39/33.45	c 293992         800930         245436286      87999214       0              0              7   22   14    
36.69/36.74	c 323465         882693         269841967      96744266       0              0              5   22   13    
40.29/40.36	c 355885         969179         296794055      106305129      0              0              6   21   13    
44.49/44.58	c 391547         1078474        327725933      117555038      0              0              6   23   14    
49.00/49.03	c 430775         1187048        361097636      129364055      0              0              7   23   14    
54.00/54.01	c 473925         1307254        397441192      142732197      0              0              7   22   14    
59.59/59.67	c 521390         1443094        438905643      157639663      0              0              6   22   13    
65.49/65.55	c 573601         1581489        482459906      173198277      0              0              7   22   14    
71.89/71.98	c 631033         1737667        530188984      190219410      0              0              6   21   13    
78.78/78.82	c 694208         1906301        581903770      208286587      0              0              6   21   14    
86.58/86.63	c 763700         2099535        640196161      228751409      0              0              6   21   13    
95.28/95.30	c 840141         2311919        704105061      251668449      0              0              5   23   14    
104.99/105.05	c 924226         2564771        776341988      277523016      0              0              5   22   14    
115.58/115.66	c 1016719        2817353        854409151      305713964      0              0              6   23   13    
127.78/127.82	c 1118461        3096852        942103584      338136303      0              0              6   22   13    
140.68/140.72	c 1230377        3423469        1037419577     372236424      0              0              5   23   13    
155.18/155.29	c 1353484        3753481        1142732044     410922726      0              0              6   25   13    
171.28/171.34	c 1488901        4141438        1258832984     453854974      0              0              5   22   13    
188.28/188.38	c 1637859        4567835        1386325115     498965069      0              0              6   22   14    
206.77/206.81	c 1801712        5030104        1523539321     547847220      0              0              6   23   14    
226.77/226.81	c 1981950        5522608        1673654939     600301393      0              0              5   22   13    
250.08/250.19	c 2180211        6098349        1845964819     661733298      0              0              5   23   14    
274.98/275.07	c 2398298        6726897        2032022871     727785093      0              0              5   23   13    
301.47/301.58	c 2638193        7380268        2230987763     797578042      0              0              5   23   13    
331.76/331.88	c 2902077        8091467        2454111407     878206488      0              0              6   22   13    
364.07/364.15	c 3192349        8839279        2692140287     963406265      0              0              6   22   13    
398.66/398.75	c 3511648        9682472        2952169618     1054645261     0              0              5   22   13    
438.75/438.84	c 3862876        10679231       3250508353     1160984809     0              0              6   23   14    
481.45/481.54	c 4249226        11724438       3569726906     1273132372     0              0              5   23   13    
531.45/531.56	c 4674211        12890573       3932622171     1406548250     0              0              5   23   13    
585.34/585.49	c 5141694        14272523       4332918435     1549413750     0              0              5   24   14    
645.84/645.97	c 5655925        15669451       4771304373     1710309593     0              0              5   22   13    
711.13/711.23	c 6221579        17289838       5248511448     1884083392     0              0              5   23   13    
779.82/779.93	c 6843798        18965859       5762101714     2064382048     0              0              5   22   13    
856.03/856.18	c 7528238        20831121       6330973146     2264060790     0              0              5   23   13    
943.51/943.63	c 8281122        22918108       6975192113     2496786234     0              0              5   23   14    
1039.50/1039.62	c 9109294        25223892       7666427822     2753161379     0              0              5   23   13    
1146.00/1146.18	c 10020283       27682388       8441643052     3037025252     0              0              4   23   13    
1259.18/1259.31	c 11022370       30574414       9282156896     3336451432     0              0              4   24   14    
1388.67/1388.83	c 12124665       33729154       10232029702    3679011097     0              0              4   24   13    
1532.87/1533.09	c 13337189       37238892       11286877700    4059109207     0              0              4   24   13    
1691.15/1691.31	c 14670965       41092964       12442608932    4479237040     0              0              4   23   13    
1861.84/1862.04	c 16138118       45254298       13690990578    4930387717     0              0              4   25   13    
2046.72/2046.99	c 17751986       49837766       15071100885    5419538766     0              0              5   25   14    
2256.30/2256.57	c 19527240       54846605       16586716513    5977629854     0              0              4   24   13    
2472.18/2472.46	c 21480019       60049873       18191205837    6547224722     0              0              5   23   13    
2519.78/2520.00	
2519.78/2520.00	c *** INTERRUPTED ***
2519.78/2520.00	c restarts              : 105         
2519.78/2520.00	c conflicts             : 21912033     (8696 /sec)
2519.78/2520.00	c decisions             : 61151159     (24268 /sec)
2519.78/2520.00	c propagations          : 6672369053  (2647988 /sec)
2519.78/2520.00	c root propagations     : 0           
2519.78/2520.00	c filter calls          : 18542165834    (7358622 /sec)
2519.78/2520.00	c useless filter calls  : 15000399708    (80 %)
2519.78/2520.00	c Memory used           : 27.90 MB
2519.78/2520.00	c CPU time              : 2519.79 s
2519.78/2520.00	
2519.78/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 (2259 MiB free)
  memory of node 1: 16384 MiB (6356 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295585-1532557785/watcher-4295585-1532557785 -o /tmp/evaluation-result-4295585-1532557785/solver-4295585-1532557785 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295585-1532557785.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=30695, runsolver pid=30692
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 2.07 2.10 2.08 3/187 30696
/proc/meminfo: memFree=8822232/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=27668 memory=3964 CPUtime=0.1 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 1150 0 0 0 10 0 0 0 20 0 1 0 73341325 28332032 991 33554432000 4194304 6142532 140724427907104 140724427903736 5801101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 6917 991 789 476 0 239 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27668 KiB
Current children cumulated memory: 3964 KiB

[startup+0.209528 s]*
/proc/loadavg: 2.07 2.10 2.08 3/187 30696
/proc/meminfo: memFree=8821584/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28044 memory=4328 CPUtime=0.21 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 1265 0 0 0 21 0 0 0 20 0 1 0 73341325 28717056 1082 33554432000 4194304 6142532 140724427907104 140724427903736 140015015951360 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7011 1082 789 476 0 333 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28044 KiB
Current children cumulated memory: 4328 KiB

[startup+0.309013 s]*
/proc/loadavg: 2.07 2.10 2.08 3/187 30696
/proc/meminfo: memFree=8820840/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=4832 CPUtime=0.31 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 1414 0 0 0 31 0 0 0 20 0 1 0 73341325 29249536 1208 33554432000 4194304 6142532 140724427907104 140724427903736 5326537 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1208 789 476 0 463 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 4832 KiB

[startup+0.700271 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 30696
/proc/meminfo: memFree=8820964/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=4832 CPUtime=0.69 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 1414 0 0 0 69 0 0 0 20 0 1 0 73341325 29249536 1208 33554432000 4194304 6142532 140724427907104 140724427904504 4995676 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1208 789 476 0 463 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 4832 KiB

[startup+1.50028 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 30696
/proc/meminfo: memFree=8820792/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=4832 CPUtime=1.49 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 1414 0 0 0 149 0 0 0 20 0 1 0 73341325 29249536 1208 33554432000 4194304 6142532 140724427907104 140724427904504 4995453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1208 789 476 0 463 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 4832 KiB

[startup+3.10908 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 30696
/proc/meminfo: memFree=8820792/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=3.1 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 1775 0 0 0 310 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 5336753 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+6.30027 s]
/proc/loadavg: 2.06 2.10 2.08 3/187 30696
/proc/meminfo: memFree=8821004/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=6.29 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 2136 0 0 0 629 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4990603 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+12.7003 s]
/proc/loadavg: 2.14 2.11 2.08 3/187 30696
/proc/meminfo: memFree=8821004/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=12.69 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 2498 0 0 0 1269 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995580 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+25.5003 s]
/proc/loadavg: 2.11 2.11 2.08 3/188 30704
/proc/meminfo: memFree=8820360/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=25.49 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 3222 0 0 0 2549 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995568 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+51.1091 s]
/proc/loadavg: 2.07 2.10 2.08 3/188 30704
/proc/meminfo: memFree=8821868/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=51.1 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 3584 0 0 0 5110 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 5327083 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/188 30705
/proc/meminfo: memFree=8822124/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=102.28 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 3946 0 0 0 10228 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995671 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 30706
/proc/meminfo: memFree=8822428/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=162.28 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 4308 0 0 0 16228 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995353 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 30707
/proc/meminfo: memFree=8822048/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=222.27 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 4670 0 0 0 22227 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995729 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 30708
/proc/meminfo: memFree=8822256/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=282.27 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 5032 0 0 0 28227 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 5336753 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 30709
/proc/meminfo: memFree=8822460/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=342.26 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 5394 0 0 0 34226 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995565 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 30710
/proc/meminfo: memFree=8821860/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=402.26 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 5756 0 0 0 40226 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995565 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 30711
/proc/meminfo: memFree=8822052/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=462.25 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 6118 0 0 0 46225 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995671 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB


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

/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30875
/proc/meminfo: memFree=8821752/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=1782.14 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 13965 0 0 0 178214 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995676 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30884
/proc/meminfo: memFree=8820580/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=1842.13 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 14314 0 0 0 184213 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995305 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30910
/proc/meminfo: memFree=8819932/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=1902.13 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 14676 0 0 0 190213 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995409 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30911
/proc/meminfo: memFree=8820988/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=1962.12 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 15025 0 0 0 196212 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995506 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 30912
/proc/meminfo: memFree=8821100/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=2022.12 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 15374 0 0 0 202212 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995554 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 30913
/proc/meminfo: memFree=8821224/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=2082.11 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 15736 0 0 0 208211 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995676 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30914
/proc/meminfo: memFree=8821512/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=2142.11 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 16085 0 0 0 214211 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995604 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30915
/proc/meminfo: memFree=8821016/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=2202.1 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 16434 0 0 0 220210 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 5335553 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30916
/proc/meminfo: memFree=8821220/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=2262.1 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 16796 0 0 0 226210 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 5336753 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30917
/proc/meminfo: memFree=8821468/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=2322.09 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 17145 0 0 0 232209 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 5327103 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30918
/proc/meminfo: memFree=8821228/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=2382.09 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 17494 0 0 0 238209 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995671 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30927
/proc/meminfo: memFree=8820600/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=2442.08 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 17843 0 0 0 244208 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995600 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30928
/proc/meminfo: memFree=8820848/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=2502.08 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 18205 0 0 0 250208 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995297 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.07 2.03 2.05 3/188 30928
/proc/meminfo: memFree=8820972/32770624 swapFree=67108860/67108860
[pid=30695] ppid=30692 vsize=28564 memory=5028 CPUtime=2519.78 cores=1,3,5,7
/proc/30695/stat : 30695 (cosoco) R 30692 30695 27447 0 -1 4202496 18554 0 0 0 251978 0 0 0 20 0 1 0 73341325 29249536 1257 33554432000 4194304 6142532 140724427907104 140724427904504 4995694 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11440128 140724427908230 140724427908360 140724427908360 140724427911118 0
/proc/30695/statm: 7141 1257 831 476 0 463 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 5028 KiB

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

[startup+2520.01 s]
# the end of solver process 30695 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.79 s, system=0.002999 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.79
CPU user time (s): 2519.79
CPU system time (s): 0.002999
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 28564
Max. memory (cumulated for all children) (KiB): 5028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.79
system time used= 0.002999
maximum resident set size= 5092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18602
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= 632


# summary of solver processes directly reported to runsolver:
#   pid: 30695
#   total CPU time (s): 2519.79
#   total CPU user time (s): 2519.79
#   total CPU system time (s): 0.002999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30257 second user time and 18.8355 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-26 00:29:45
IDJOB=4295585
IDBENCH=141579
IDSOLVER=2752
FILE ID=node106/4295585-1532557785
RUNJOBID= node106-1532535025-27479
PBS_JOBID= 21021947
Free space on /tmp= 46236 MiB

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

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

MD5SUM BENCH= 4c66b19dbffc4da62838f27d220d1d7d
RANDOM SEED=1450075928

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:         8822492 kB
MemAvailable:   31925132 kB
Buffers:          285640 kB
Cached:         22712360 kB
SwapCached:            0 kB
Active:          2815876 kB
Inactive:       20241040 kB
Active(anon):      61628 kB
Inactive(anon):    25252 kB
Active(file):    2754248 kB
Inactive(file): 20215788 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3532 kB
Writeback:             0 kB
AnonPages:         65740 kB
Mapped:            42592 kB
Shmem:             25228 kB
Slab:             588408 kB
SReclaimable:     561064 kB
SUnreclaim:        27344 kB
KernelStack:        3312 kB
PageTables:         5188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353680 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 01:11:45