Trace number 4295576

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

General information on the benchmark

NameFrb/
frb-59-26-1-mgd_c18.xml
MD5SUMeb7f3f1c65ad30d4418b69bfa000eb45
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 constraints556
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":59}]
Minimum variable degree10
Maximum variable degree29
Distribution of variable degrees[{"degree":10,"count":1},{"degree":11,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":4},{"degree":17,"count":6},{"degree":18,"count":8},{"degree":19,"count":6},{"degree":20,"count":6},{"degree":21,"count":9},{"degree":22,"count":2},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":2},{"degree":26,"count":2},{"degree":29,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":556}]
Number of extensional constraints556
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":556}]
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-4295576-1532556643.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: 556
0.21/0.28	c |                   Arity: 2..2  -- Binary: 556
0.21/0.28	c | 
0.21/0.28	c |                   Types: 
0.21/0.28	c |                          Extension: 556  (nb tuples: 169..308) -- (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            245            81102          28469          0              0              11   19   14   
0.21/0.31	c 211            505            162881         64353          0              0              8   16   10    
0.31/0.32	c 332            783            258376         103176         0              0              9   16   12    
0.31/0.34	c 465            1103           365972         144208         0              0              8   16   11    
0.31/0.35	c 611            1489           495461         186025         0              0              11   18   14   
0.31/0.37	c 771            1893           630851         234844         0              0              11   19   14   
0.31/0.39	c 947            2319           762477         284926         0              0              9   18   12    
0.31/0.41	c 1140           2849           927455         337684         0              0              10   20   14   
0.41/0.44	c 1352           3423           1106229        404645         0              0              9   19   14    
0.41/0.46	c 1585           4017           1295679        463508         0              0              10   19   13   
0.41/0.49	c 1841           4684           1508686        543222         0              0              10   17   13   
0.51/0.52	c 2122           5432           1747815        629651         0              0              9   20   13    
0.51/0.56	c 2431           6245           2009176        729415         0              0              9   18   13    
0.51/0.60	c 2770           7266           2314173        827765         0              0              9   21   14    
0.60/0.64	c 3142           8241           2626619        943712         0              0              9   18   13    
0.60/0.70	c 3551           9417           3012123        1080218        0              0              9   18   13    
0.69/0.75	c 4000           10715          3407890        1212272        0              0              10   23   14   
0.79/0.80	c 4493           11917          3797194        1357166        0              0              9   17   12    
0.79/0.86	c 5035           13379          4248167        1508012        0              0              9   19   14    
0.89/0.92	c 5631           14764          4708259        1660069        0              0              10   19   14   
0.89/0.99	c 6286           16576          5261233        1846046        0              0              11   23   14   
1.00/1.08	c 7006           18431          5853898        2074801        0              0              8   19   13    
1.10/1.16	c 7798           20572          6530893        2293919        0              0              10   21   15   
1.19/1.27	c 8669           22940          7315480        2583333        0              0              8   18   12    
1.29/1.38	c 9627           25432          8128579        2869230        0              0              9   19   14    
1.49/1.52	c 10680          28244          9059613        3240389        0              0              7   19   12    
1.59/1.64	c 11838          31567          10035987       3559665        0              0              9   23   15    
1.69/1.79	c 13111          34878          11080087       3960431        0              0              8   19   13    
1.89/1.95	c 14511          38732          12297412       4403333        0              0              8   20   13    
2.10/2.14	c 16051          42873          13645514       4879639        0              0              8   19   14    
2.29/2.32	c 17745          47252          15019063       5340986        0              0              8   18   13    
2.49/2.52	c 19608          52451          16584709       5848661        0              0              8   20   14    
2.69/2.75	c 21657          58576          18354036       6432514        0              0              8   24   15    
3.00/3.02	c 23910          64629          20291028       7164096        0              0              8   20   13    
3.29/3.31	c 26388          71498          22458863       7935220        0              0              9   21   14    
3.59/3.64	c 29113          78642          24851206       8799473        0              0              6   18   12    
3.89/3.96	c 32110          87053          27405388       9615174        0              0              8   21   14    
4.29/4.37	c 35406          96003          30378236       10661968       0              0              8   19   13    
4.69/4.77	c 39031          106569         33516188       11671919       0              0              8   23   14    
5.19/5.26	c 43018          117447         36941968       12954782       0              0              7   20   13    
5.69/5.77	c 47403          129359         40708636       14309821       0              0              8   20   13    
6.29/6.30	c 52226          141240         44617526       15721126       0              0              8   19   13    
6.89/6.91	c 57531          155449         49147689       17282590       0              0              8   20   13    
7.49/7.59	c 63366          172115         54228810       19079883       0              0              8   22   14    
8.29/8.30	c 69784          190611         59612666       20911157       0              0              7   22   14    
9.10/9.11	c 76843          209012         65538872       23054550       0              0              7   19   12    
9.89/9.98	c 84607          228638         71973147       25317190       0              0              7   20   12    
10.89/10.94	c 93147          252576         79217597       27824595       0              0              9   22   14    
11.89/11.98	c 102541         278709         87125977       30506048       0              0              7   21   13    
13.19/13.22	c 112874         306874         96015489       33817435       0              0              7   21   13    
14.29/14.39	c 124240         338608         105258423      36835071       0              0              8   22   14    
15.79/15.81	c 136742         372624         115913272      40516442       0              0              7   22   13    
17.29/17.36	c 150494         410068         127541503      44593989       0              0              8   22   14    
19.00/19.09	c 165621         454077         140834206      49030295       0              0              8   22   14    
20.89/21.00	c 182260         498353         155169277      54070221       0              0              7   20   13    
22.89/22.96	c 200562         545522         170239811      59072371       0              0              8   21   13    
25.29/25.32	c 220694         596850         187358241      65271781       0              0              6   20   13    
27.69/27.73	c 242839         655677         205780338      71476420       0              0              7   20   13    
30.39/30.43	c 267198         722282         226199180      78545980       0              0              7   23   13    
33.39/33.47	c 293992         799900         249421432      86190901       0              0              6   22   13    
36.89/36.92	c 323465         877225         274188658      95371947       0              0              7   21   13    
40.59/40.65	c 355885         963705         301945254      104949491      0              0              7   21   13    
44.69/44.76	c 391547         1059037        332746317      115684287      0              0              7   21   13    
49.29/49.36	c 430775         1173503        367034103      127768193      0              0              7   23   14    
54.29/54.36	c 473925         1290078        403903006      140708103      0              0              6   21   13    
59.49/59.58	c 521390         1415511        443676578      154169492      0              0              6   21   13    
65.69/65.74	c 573601         1561643        489182270      170287225      0              0              6   22   13    
71.88/71.90	c 631033         1715574        536511572      186281492      0              0              7   23   14    
78.68/78.71	c 694208         1890586        589084853      203784131      0              0              7   23   14    
86.68/86.71	c 763700         2076795        648410313      224812632      0              0              4   21   13    
95.28/95.32	c 840141         2285073        713591155      247065524      0              0              7   23   14    
104.99/105.08	c 924226         2505909        786488809      272011061      0              0              7   21   14    
115.09/115.16	c 1016719        2770384        864236859      297777326      0              0              6   23   14    
126.88/126.90	c 1118461        3034587        950875683      328535575      0              0              6   21   13    
139.68/139.73	c 1230377        3354112        1047586155     361825879      0              0              7   24   14    
154.48/154.57	c 1353484        3696794        1154896273     400802307      0              0              6   23   13    
169.18/169.24	c 1488901        4075856        1268430097     438445919      0              0              6   23   14    
185.48/185.55	c 1637859        4456248        1391605604     480884436      0              0              7   21   14    
203.98/204.10	c 1801712        4917342        1533882861     528193641      0              0              6   23   13    
225.57/225.61	c 1981950        5419757        1691916692     584495714      0              0              6   23   13    
247.98/248.06	c 2180211        5962334        1859779210     642561520      0              0              6   23   14    
272.57/272.60	c 2398298        6579833        2045157601     706949407      0              0              7   25   14    
301.97/302.10	c 2638193        7254934        2254911513     785292191      0              0              6   24   13    
331.16/331.23	c 2902077        8013844        2480122187     859957805      0              0              6   23   14    
365.86/365.96	c 3192349        8858289        2738745369     949390504      0              0              5   23   13    
403.76/403.83	c 3511648        9725408        3017855571     1048059265     0              0              5   22   13    
443.75/443.89	c 3862876        10724922       3320040981     1151832480     0              0              5   24   14    
489.85/489.95	c 4249226        11786269       3657840992     1272693717     0              0              4   23   13    
541.15/541.21	c 4674211        12997264       4030436546     1406642098     0              0              5   24   13    
596.44/596.52	c 5141694        14265742       4439215286     1548299947     0              0              6   24   13    
651.34/651.49	c 5655925        15710989       4870298273     1688916423     0              0              6   25   14    
718.23/718.31	c 6221579        17332030       5367224652     1861897238     0              0              5   26   13    
791.23/791.38	c 6843798        19043533       5903669305     2053040263     0              0              6   23   13    
867.42/867.55	c 7528238        20784086       6477471796     2246334970     0              0              6   21   13    
953.02/953.11	c 8281122        22909664       7125317068     2468221504     0              0              5   24   13    
1050.51/1050.65	c 9109294        25326980       7862098778     2716599859     0              0              5   24   13    
1156.30/1156.47	c 10020283       27927725       8653855307     2993986827     0              0              6   25   13    
1272.59/1272.76	c 11022370       30689523       9523623254     3295438847     0              0              5   24   13    
1395.89/1396.06	c 12124665       33721220       10457501396    3614531636     0              0              6   24   13    
1536.27/1536.40	c 13337189       36989013       11493186224    3980115183     0              0              5   24   13    
1686.76/1686.97	c 14670965       40606577       12630705884    4366749578     0              0              5   23   13    
1860.24/1860.47	c 16138118       44707133       13916979683    4818568560     0              0              5   24   13    
2051.33/2051.54	c 17751986       49316387       15333436275    5311039194     0              0              5   24   13    
2269.61/2269.82	c 19527240       54324531       16893242899    5893438696     0              0              5   25   13    
2495.00/2495.29	c 21480019       59427173       18555056757    6473270740     0              0              6   23   13    
2519.81/2520.00	
2519.81/2520.00	c *** INTERRUPTED ***
2519.81/2520.00	c restarts              : 105         
2519.81/2520.00	c conflicts             : 21702678     (8613 /sec)
2519.81/2520.00	c decisions             : 60039777     (23827 /sec)
2519.81/2520.00	c propagations          : 6537064429  (2594275 /sec)
2519.81/2520.00	c root propagations     : 0           
2519.81/2520.00	c filter calls          : 18743873079    (7438623 /sec)
2519.81/2520.00	c useless filter calls  : 15227033935    (81 %)
2519.81/2520.00	c Memory used           : 27.89 MB
2519.81/2520.00	c CPU time              : 2519.8 s
2519.81/2520.00	
2519.81/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 (2261 MiB free)
  memory of node 1: 16384 MiB (6359 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 0,2,4,6

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

solver pid=30583, runsolver pid=30580

[startup+0.100136 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 30584
/proc/meminfo: memFree=8827216/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=27688 memory=3848 CPUtime=0.1 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 1155 0 0 0 10 0 0 0 20 0 1 0 73227161 28352512 962 33554432000 4194304 6142532 140727476912096 140727476908744 5471587 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 6922 962 789 476 0 244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3848 KiB

[startup+0.209403 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 30584
/proc/meminfo: memFree=8826712/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28172 memory=4216 CPUtime=0.21 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 1270 0 0 0 21 0 0 0 20 0 1 0 73227161 28848128 1054 33554432000 4194304 6142532 140727476912096 140727476908744 139837992631269 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7043 1054 789 476 0 365 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28172 KiB
Current children cumulated memory: 4216 KiB

[startup+0.308878 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 30584
/proc/meminfo: memFree=8826340/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=4972 CPUtime=0.31 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 1420 0 0 0 31 0 0 0 20 0 1 0 73227161 29245440 1243 33554432000 4194304 6142532 140727476912096 140727476908744 4995248 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1243 812 476 0 462 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 4972 KiB

[startup+0.700246 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 30584
/proc/meminfo: memFree=8826340/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=4972 CPUtime=0.69 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 1420 0 0 0 69 0 0 0 20 0 1 0 73227161 29245440 1243 33554432000 4194304 6142532 140727476912096 140727476909496 139837993069664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1243 812 476 0 462 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 4972 KiB

[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 30584
/proc/meminfo: memFree=8826340/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=4972 CPUtime=1.49 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 1420 0 0 0 149 0 0 0 20 0 1 0 73227161 29245440 1243 33554432000 4194304 6142532 140727476912096 140727476909496 4995461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1243 812 476 0 462 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 4972 KiB

[startup+3.109 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 30584
/proc/meminfo: memFree=8826340/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=3.1 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 1788 0 0 0 310 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995577 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+6.30026 s]
/proc/loadavg: 1.85 1.98 2.03 3/188 30584
/proc/meminfo: memFree=8825904/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=6.29 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 2158 0 0 0 629 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995676 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 1.98 2.03 3/188 30584
/proc/meminfo: memFree=8825780/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=12.69 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 2527 0 0 0 1269 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 5336607 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.03 3/188 30584
/proc/meminfo: memFree=8825780/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=25.49 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 3265 0 0 0 2549 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4990723 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+51.1089 s]
/proc/loadavg: 1.93 1.99 2.03 3/188 30584
/proc/meminfo: memFree=8825780/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=51.1 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 3634 0 0 0 5110 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4991100 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/188 30585
/proc/meminfo: memFree=8825904/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=102.28 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 4003 0 0 0 10228 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+162.3 s]
/proc/loadavg: 2.52 2.13 2.08 3/188 30586
/proc/meminfo: memFree=8825904/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=162.28 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 4372 0 0 0 16228 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4990765 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+222.3 s]
/proc/loadavg: 2.19 2.10 2.07 3/188 30587
/proc/meminfo: memFree=8825532/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=222.27 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 4741 0 0 0 22227 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 5336759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+282.3 s]
/proc/loadavg: 2.07 2.09 2.07 3/187 30588
/proc/meminfo: memFree=8824912/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=282.27 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 5110 0 0 0 28227 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995353 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+342.3 s]
/proc/loadavg: 2.03 2.07 2.06 3/186 30589
/proc/meminfo: memFree=8826176/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=342.26 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 5479 0 0 0 34226 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995681 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 30591
/proc/meminfo: memFree=8825168/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=402.26 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 5848 0 0 0 40226 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995458 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 30614
/proc/meminfo: memFree=8824220/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=462.25 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 6217 0 0 0 46225 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 5326543 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB


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

/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 30722
/proc/meminfo: memFree=8821532/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=1782.15 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 14222 0 0 0 178215 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995600 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 30723
/proc/meminfo: memFree=8821856/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=1842.15 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 14578 0 0 0 184215 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30724
/proc/meminfo: memFree=8822172/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=1902.14 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 14947 0 0 0 190214 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30725
/proc/meminfo: memFree=8822400/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=1962.14 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 15303 0 0 0 196214 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995600 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30726
/proc/meminfo: memFree=8822392/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=2022.13 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 15659 0 0 0 202213 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995695 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30727
/proc/meminfo: memFree=8822040/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=2082.12 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 16028 0 0 0 208212 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 5336817 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30728
/proc/meminfo: memFree=8822040/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=2142.12 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 16384 0 0 0 214212 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995271 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 30729
/proc/meminfo: memFree=8821652/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=2202.12 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 16740 0 0 0 220212 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30730
/proc/meminfo: memFree=8821660/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=2262.11 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 17096 0 0 0 226211 0 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 5326540 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30731
/proc/meminfo: memFree=8821412/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=2322.12 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 17465 0 0 0 232211 1 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995580 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30740
/proc/meminfo: memFree=8820380/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=2382.11 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 17821 0 0 0 238210 1 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30741
/proc/meminfo: memFree=8820876/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=2442.11 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 18177 0 0 0 244210 1 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995409 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30742
/proc/meminfo: memFree=8820868/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=2502.1 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 18546 0 0 0 250209 1 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4990603 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 30742
/proc/meminfo: memFree=8820868/32770624 swapFree=67108860/67108860
[pid=30583] ppid=30580 vsize=28560 memory=5056 CPUtime=2519.81 cores=0,2,4,6
/proc/30583/stat : 30583 (cosoco) R 30580 30583 27447 0 -1 4202496 18901 0 0 0 251980 1 0 0 20 0 1 0 73227161 29245440 1264 33554432000 4194304 6142532 140727476912096 140727476909496 4995678 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140727476917382 140727476917512 140727476917512 140727476920270 0
/proc/30583/statm: 7140 1264 831 476 0 462 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 5056 KiB

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

[startup+2520.01 s]
# the end of solver process 30583 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.8 s, system=0.011999 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.82
CPU user time (s): 2519.8
CPU system time (s): 0.011999
CPU usage (%): 99.9923
Max. virtual memory (cumulated for all children) (KiB): 28560
Max. memory (cumulated for all children) (KiB): 5056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.8
system time used= 0.011999
maximum resident set size= 5120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18949
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= 6
involuntary context switches= 655


# summary of solver processes directly reported to runsolver:
#   pid: 30583
#   total CPU time (s): 2519.82
#   total CPU user time (s): 2519.8
#   total CPU system time (s): 0.011999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47807 second user time and 17.2696 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-26 00:10:43
IDJOB=4295576
IDBENCH=141578
IDSOLVER=2752
FILE ID=node106/4295576-1532556643
RUNJOBID= node106-1532535025-27478
PBS_JOBID= 21021947
Free space on /tmp= 46236 MiB

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

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

MD5SUM BENCH= eb7f3f1c65ad30d4418b69bfa000eb45
RANDOM SEED=521770165

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:         8828180 kB
MemAvailable:   31929720 kB
Buffers:          285540 kB
Cached:         22711128 kB
SwapCached:            0 kB
Active:          2813792 kB
Inactive:       20240812 kB
Active(anon):      60340 kB
Inactive(anon):    25252 kB
Active(file):    2753452 kB
Inactive(file): 20215560 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3660 kB
Writeback:             0 kB
AnonPages:         64444 kB
Mapped:            42132 kB
Shmem:             25228 kB
Slab:             588148 kB
SReclaimable:     560988 kB
SUnreclaim:        27160 kB
KernelStack:        3376 kB
PageTables:         4856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352448 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 00:52:43