Trace number 4300571

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

General information on the benchmark

NameEternity/
Eternity-08-08_c18.xml
MD5SUM631cb3d235a52ad054110af2866c45e9
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 variables208
Number of constraints97
Number of domains2
Minimum domain size12
Maximum domain size64
Distribution of domain sizes[{"size":12,"count":144},{"size":64,"count":64}]
Minimum variable degree1
Maximum variable degree9
Distribution of variable degrees[{"degree":1,"count":7},{"degree":2,"count":200},{"degree":9,"count":1}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":32},{"arity":5,"count":64},{"arity":64,"count":1}]
Number of extensional constraints64
Number of intensional constraints32
Distribution of constraint types[{"type":"extension","count":64},{"type":"intension","count":32},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.09	c root propagations     : 2977        
0.00/0.09	c restarts enabled, print stats at every restarts
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c This is cosoco 1.12 --  
0.00/0.09	c
0.00/0.09	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4300571-1532885393.xml 
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.09 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 208
0.00/0.09	c |            Domain Sizes: 12..64
0.00/0.09	c |
0.00/0.09	c |             Constraints: 97
0.00/0.09	c |                   Arity: 1..64  -- Unary: 32
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          All Different: 1
0.00/0.09	c |                          Extension: 64  (nb tuples: 256..256) -- (shared: 0)
0.00/0.09	c |                          Unary: 32
0.00/0.09	c |                          
0.00/0.09	c =========================================================================================================
0.00/0.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.12	c 101            422            5182           25555          208            0              85   104   94  
0.10/0.14	c 211            714            11146          55560          208            0              26   38   31   
0.10/0.17	c 332            1046           18519          98087          208            0              24   37   31   
0.10/0.21	c 465            1485           27105          146298         208            0              22   40   34   
0.21/0.24	c 611            1963           34979          183568         208            0              18   41   32   
0.21/0.28	c 771            2519           44721          234073         208            0              17   37   29   
0.31/0.32	c 947            3071           55233          292498         208            0              18   39   29   
0.31/0.38	c 1140           3751           68607          370007         208            0              22   43   33   
0.40/0.43	c 1352           4361           79721          426384         208            0              18   39   29   
0.40/0.49	c 1585           5084           94188          506242         208            0              19   41   35   
0.50/0.55	c 1841           5862           108708         583366         208            0              23   39   30   
0.50/0.60	c 2122           6623           121005         648291         208            0              15   41   26   
0.60/0.67	c 2431           7510           138138         748052         208            0              20   43   32   
0.69/0.75	c 2770           8450           157050         851154         208            0              22   42   32   
0.79/0.85	c 3142           9551           178857         966081         208            0              18   41   31   
0.89/0.96	c 3551           11155          206163         1110658        208            0              18   45   33   
1.00/1.08	c 4000           12527          234160         1257944        208            0              17   45   32   
1.19/1.20	c 4493           14191          265627         1417748        208            0              16   41   29   
1.29/1.34	c 5035           15957          301026         1590787        208            0              20   39   28   
1.39/1.48	c 5631           17733          335579         1789433        208            0              20   43   34   
1.59/1.66	c 6286           19959          377542         2015571        208            0              19   40   29   
1.79/1.83	c 7006           22233          419174         2229719        208            0              21   41   31   
2.00/2.01	c 7798           24690          465342         2475697        208            0              18   43   28   
2.19/2.22	c 8669           27274          516924         2753738        208            0              20   44   30   
2.39/2.46	c 9627           30298          573656         3083866        208            0              20   45   31   
2.69/2.75	c 10680          33736          640988         3485323        208            0              19   44   33   
2.89/3.00	c 11838          36787          702241         3813336        208            0              16   45   32   
3.19/3.29	c 13111          40550          771981         4188319        208            0              17   43   30   
3.59/3.64	c 14511          45206          859460         4672779        208            0              16   43   27   
4.00/4.03	c 16051          50026          951630         5199950        208            0              14   44   35   
4.39/4.43	c 17745          55423          1051595        5722468        208            0              21   43   31   
4.79/4.87	c 19608          60788          1158070        6292967        208            0              18   44   30   
5.29/5.35	c 21657          66960          1276443        6907926        208            0              20   42   29   
5.79/5.88	c 23910          73158          1405291        7625177        208            0              21   42   31   
6.39/6.46	c 26388          79676          1548911        8417761        208            0              18   40   29   
7.10/7.11	c 29113          87562          1709722        9228558        208            0              14   45   32   
7.89/7.91	c 32110          97629          1902462        10257993       208            0              18   44   32   
8.69/8.70	c 35406          107689         2101724        11263626       208            0              18   41   27   
9.49/9.56	c 39031          119573         2316373        12375426       208            0              15   45   30   
10.49/10.53	c 43018          131584         2552436        13636571       208            0              22   45   33   
11.49/11.58	c 47403          144114         2809379        15003539       208            0              21   43   31   
12.69/12.79	c 52226          159833         3104608        16507253       208            0              19   45   30   
14.00/14.07	c 57531          176093         3429244        18170783       208            0              18   41   29   
15.49/15.53	c 63366          194751         3780675        19998819       208            0              19   43   31   
17.10/17.13	c 69784          215019         4167247        22034856       208            0              19   45   31   
18.79/18.85	c 76843          234223         4579320        24340445       208            0              18   40   30   
20.79/20.82	c 84607          259404         5063981        26916952       208            0              18   45   33   
22.59/22.69	c 93147          282014         5519421        29334995       208            0              18   45   31   
24.99/25.06	c 102541         310104         6097179        32395460       208            0              20   42   31   
27.49/27.57	c 112874         342306         6691891        35792078       208            0              19   45   33   
30.49/30.50	c 124240         382950         7396807        39328153       208            0              19   45   32   
33.39/33.45	c 136742         421655         8097209        43121839       208            0              14   45   33   
36.39/36.49	c 150494         458165         8829814        47144776       208            0              14   44   31   
40.19/40.22	c 165621         500326         9718306        52042441       208            0              16   43   31   
43.99/44.10	c 182260         552126         10651802       57010971       208            0              15   45   32   
48.29/48.33	c 200562         606797         11664227       62634839       208            0              14   47   32   
53.29/53.33	c 220694         671474         12862766       69091473       208            0              15   46   34   
58.69/58.76	c 242839         745566         14142256       76165820       208            0              19   47   33   
64.89/64.91	c 267198         818920         15655894       84201648       208            0              16   44   30   
71.49/71.53	c 293992         904285         17280543       92747859       208            0              14   45   28   
78.69/78.76	c 323465         984580         19061032       103002537      208            0              15   44   29   
86.69/86.70	c 355885         1084098        20955572       113442174      208            0              18   46   33   
94.99/95.07	c 391547         1186821        22922960       124179503      208            0              16   47   33   
104.19/104.27	c 430775         1299028        25162301       136398148      208            0              16   44   29   
114.59/114.67	c 473925         1427469        27648309       149827427      208            0              13   47   31   
126.49/126.55	c 521390         1576469        30418361       165341932      208            0              13   46   34   
139.69/139.76	c 573601         1745012        33646895       181782124      208            0              17   46   31   
153.89/153.93	c 631033         1921031        37087176       200049379      208            0              16   45   30   
169.89/169.96	c 694208         2119756        41033344       221052660      208            0              13   45   29   
185.48/185.53	c 763700         2319671        44815875       240669198      208            0              15   46   31   
204.88/204.93	c 840141         2563079        49492056       264888600      208            0              18   44   31   
225.99/226.10	c 924226         2827173        54542616       292174299      208            0              14   47   33   
249.88/249.91	c 1016719        3121810        60331645       322445939      208            0              17   45   31   
273.88/273.94	c 1118461        3416648        66232600       353704764      208            0              15   43   30   
300.99/301.06	c 1230377        3761062        72828202       387878190      208            0              17   45   31   
330.88/330.93	c 1353484        4131214        80064673       425906154      208            0              13   45   29   
361.99/362.06	c 1488901        4504450        87661247       467965114      208            0              14   46   30   
398.18/398.22	c 1637859        4961957        96299369       513278420      208            0              14   50   32   
438.18/438.21	c 1801712        5470814        105965528      563827642      208            0              17   46   31   
483.18/483.23	c 1981950        6042871        116937802      620393465      208            0              14   47   31   
530.78/530.81	c 2180211        6627656        128501006      680310986      208            0              14   45   31   
585.18/585.26	c 2398298        7291245        141220941      752332514      208            0              12   47   33   
645.09/645.12	c 2638193        8022552        155350353      832110520      208            0              11   48   33   
714.28/714.35	c 2902077        8874131        171896080      917146296      208            0              14   46   31   
781.68/781.77	c 3192349        9679364        188267874      1008216662     208            0              13   46   30   
858.08/858.13	c 3511648        10613003       206602412      1106710778     208            0              12   47   31   
945.77/945.84	c 3862876        11710498       227663479      1215956074     208            0              16   46   31   
1042.47/1042.54	c 4249226        12927653       251158749      1338511909     208            0              16   46   31   
1145.57/1145.67	c 4674211        14225758       276050529      1468468052     208            0              16   48   31   
1261.98/1262.05	c 5141694        15720645       304563363      1616316875     208            0              14   47   30   
1389.17/1389.23	c 5655925        17254264       334432482      1785767718     208            0              12   47   33   
1527.07/1527.17	c 6221579        18851798       367057605      1964895595     208            0              14   47   31   
1674.07/1674.16	c 6843798        20659054       402545117      2158360342     208            0              14   46   31   
1832.47/1832.58	c 7528238        22594238       440021730      2358766689     208            0              13   47   32   
2009.07/2009.19	c 8281122        24886535       483210540      2583377643     208            0              16   48   31   
2215.56/2215.64	c 9109294        27517636       533222354      2846260598     208            0              12   47   31   
2441.46/2441.53	c 10020283       30343474       587227238      3137370245     208            0              15   48   31   
2519.97/2520.00	
2519.97/2520.00	c *** INTERRUPTED ***
2519.97/2520.00	c restarts              : 97          
2519.97/2520.00	c conflicts             : 10336115     (4102 /sec)
2519.97/2520.00	c decisions             : 31341247     (12437 /sec)
2519.97/2520.00	c propagations          : 3237167786  (1284612 /sec)
2519.97/2520.00	c root propagations     : 2977        
2519.97/2520.00	c filter calls          : 606257382      (240582 /sec)
2519.97/2520.00	c useless filter calls  : 114751540      (18 %)
2519.97/2520.00	c Memory used           : 28.08 MB
2519.97/2520.00	c CPU time              : 2519.96 s
2519.97/2520.00	
2519.97/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 (8353 MiB free)
  memory of node 1: 16384 MiB (15051 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300571-1532885393/watcher-4300571-1532885393 -o /tmp/evaluation-result-4300571-1532885393/solver-4300571-1532885393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532880348-12253 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4300571-1532885393.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
solver pid=12899, runsolver pid=12896
Current StackSize limit: 8192 KiB


[startup+0.100287 s]*
/proc/loadavg: 2.00 2.01 1.99 4/187 12900
/proc/meminfo: memFree=23964784/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=4992 CPUtime=0.1 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 1470 0 0 0 10 0 0 0 20 0 1 0 106102429 29298688 1248 33554432000 4194304 6142532 140730862965072 140730862962728 5017799 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1248 806 476 0 475 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 4992 KiB

[startup+0.209486 s]*
/proc/loadavg: 2.00 2.01 1.99 3/187 12900
/proc/meminfo: memFree=23964784/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=4992 CPUtime=0.21 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 1470 0 0 0 21 0 0 0 20 0 1 0 106102429 29298688 1248 33554432000 4194304 6142532 140730862965072 140730862962728 5061171 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1248 806 476 0 475 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 4992 KiB

[startup+0.309137 s]*
/proc/loadavg: 2.00 2.01 1.99 3/187 12900
/proc/meminfo: memFree=23964784/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=4992 CPUtime=0.31 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 1470 0 0 0 31 0 0 0 20 0 1 0 106102429 29298688 1248 33554432000 4194304 6142532 140730862965072 140730862962728 5058573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1248 806 476 0 475 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 4992 KiB

[startup+0.700267 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12900
/proc/meminfo: memFree=23964556/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=4992 CPUtime=0.69 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 1470 0 0 0 69 0 0 0 20 0 1 0 106102429 29298688 1248 33554432000 4194304 6142532 140730862965072 140730862962472 5053584 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1248 806 476 0 475 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 4992 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12900
/proc/meminfo: memFree=23964708/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=4992 CPUtime=1.49 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 1470 0 0 0 149 0 0 0 20 0 1 0 106102429 29298688 1248 33554432000 4194304 6142532 140730862965072 140730862962472 5060809 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1248 806 476 0 475 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 4992 KiB

[startup+3.10906 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12900
/proc/meminfo: memFree=23964616/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=3.1 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 1863 0 0 0 310 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5326496 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12900
/proc/meminfo: memFree=23964576/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=6.29 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 2256 0 0 0 629 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5058328 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12907
/proc/meminfo: memFree=23963548/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=12.69 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 2649 0 0 0 1269 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5058668 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12968
/proc/meminfo: memFree=23962380/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=25.49 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 3435 0 0 0 2549 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5058268 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+51.1089 s]
/proc/loadavg: 2.06 2.03 1.99 3/187 12968
/proc/meminfo: memFree=23959388/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=51.09 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 3828 0 0 0 5109 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5054733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/187 12969
/proc/meminfo: memFree=23959232/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=102.29 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 4221 0 0 0 10229 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5326325 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/187 12970
/proc/meminfo: memFree=23959472/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=162.29 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 4614 0 0 0 16229 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5170107 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12971
/proc/meminfo: memFree=23959212/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=222.28 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 5007 0 0 0 22228 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5060709 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12972
/proc/meminfo: memFree=23959048/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=282.28 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 5400 0 0 0 28228 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5016422 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12973
/proc/meminfo: memFree=23959056/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=342.28 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 5793 0 0 0 34228 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5054402 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12974
/proc/meminfo: memFree=23959040/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=402.28 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 6186 0 0 0 40228 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5061864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12975
/proc/meminfo: memFree=23958880/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=462.28 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 6579 0 0 0 46228 0 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5061893 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB


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

/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13014
/proc/meminfo: memFree=23958388/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=1782.27 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 14934 0 0 0 178226 1 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5058027 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13023
/proc/meminfo: memFree=23957312/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=1842.27 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 15327 0 0 0 184226 1 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5058744 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13047
/proc/meminfo: memFree=23956472/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=1902.27 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 15683 0 0 0 190226 1 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5017909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13048
/proc/meminfo: memFree=23956568/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28612 memory=5256 CPUtime=1962.27 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 16039 0 0 0 196226 1 0 0 20 0 1 0 106102429 29298688 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5336680 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13049
/proc/meminfo: memFree=23956812/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28748 memory=5256 CPUtime=2022.26 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 16436 0 0 0 202225 1 0 0 20 0 1 0 106102429 29437952 1314 33554432000 4194304 6142532 140730862965072 140730862962472 5055570 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7187 1314 847 476 0 509 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5256 KiB

[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 13050
/proc/meminfo: memFree=23956920/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28748 memory=5268 CPUtime=2082.26 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 16799 0 0 0 208225 1 0 0 20 0 1 0 106102429 29437952 1317 33554432000 4194304 6142532 140730862965072 140730862962472 5058656 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 13051
/proc/meminfo: memFree=23957468/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28748 memory=5268 CPUtime=2142.26 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 17162 0 0 0 214225 1 0 0 20 0 1 0 106102429 29437952 1317 33554432000 4194304 6142532 140730862965072 140730862962472 5336586 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 13052
/proc/meminfo: memFree=23957468/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28748 memory=5268 CPUtime=2202.26 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 17523 0 0 0 220225 1 0 0 20 0 1 0 106102429 29437952 1317 33554432000 4194304 6142532 140730862965072 140730862962472 5017767 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13053
/proc/meminfo: memFree=23957484/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28748 memory=5268 CPUtime=2262.26 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 17911 0 0 0 226225 1 0 0 20 0 1 0 106102429 29437952 1317 33554432000 4194304 6142532 140730862965072 140730862962472 5058680 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13054
/proc/meminfo: memFree=23957292/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28748 memory=5268 CPUtime=2322.26 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 18273 0 0 0 232225 1 0 0 20 0 1 0 106102429 29437952 1317 33554432000 4194304 6142532 140730862965072 140730862962472 5061171 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13055
/proc/meminfo: memFree=23957524/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28748 memory=5268 CPUtime=2382.26 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 18627 0 0 0 238225 1 0 0 20 0 1 0 106102429 29437952 1317 33554432000 4194304 6142532 140730862965072 140730862962472 5016570 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13063
/proc/meminfo: memFree=23957324/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28748 memory=5268 CPUtime=2442.26 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 19025 0 0 0 244225 1 0 0 20 0 1 0 106102429 29437952 1317 33554432000 4194304 6142532 140730862965072 140730862962472 5058656 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13064
/proc/meminfo: memFree=23957476/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28748 memory=5268 CPUtime=2502.25 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 19385 0 0 0 250224 1 0 0 20 0 1 0 106102429 29437952 1317 33554432000 4194304 6142532 140730862965072 140730862962472 5058056 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 13064
/proc/meminfo: memFree=23957724/32770624 swapFree=67108404/67108860
[pid=12899] ppid=12896 vsize=28748 memory=5268 CPUtime=2519.97 cores=0,2,4,6
/proc/12899/stat : 12899 (cosoco) R 12896 12899 12222 0 -1 4202496 19735 0 0 0 251995 2 0 0 20 0 1 0 106102429 29437952 1317 33554432000 4194304 6142532 140730862965072 140730862962472 5054733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41754624 140730862969990 140730862970120 140730862970120 140730862972878 0
/proc/12899/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

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

[startup+2520.01 s]
# the end of solver process 12899 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.96 s, system=0.021999 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.98
CPU user time (s): 2519.96
CPU system time (s): 0.021999
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 28748
Max. memory (cumulated for all children) (KiB): 5268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.96
system time used= 0.021999
maximum resident set size= 5332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19784
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= 4141


# summary of solver processes directly reported to runsolver:
#   pid: 12899
#   total CPU time (s): 2519.98
#   total CPU user time (s): 2519.96
#   total CPU system time (s): 0.021999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.05262 second user time and 16.8582 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-29 19:29:53
IDJOB=4300571
IDBENCH=141661
IDSOLVER=2761
FILE ID=node148/4300571-1532885393
RUNJOBID= node148-1532880348-12253
PBS_JOBID= 21022520
Free space on /tmp= 47800 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Eternity/Eternity-08-08_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300571-1532885393/watcher-4300571-1532885393 -o /tmp/evaluation-result-4300571-1532885393/solver-4300571-1532885393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532880348-12253 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4300571-1532885393.xml

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

MD5SUM BENCH= 631cb3d235a52ad054110af2866c45e9
RANDOM SEED=2128451384

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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:        23966876 kB
MemAvailable:   31930476 kB
Buffers:          243228 kB
Cached:          7871392 kB
SwapCached:          352 kB
Active:          1797308 kB
Inactive:        6371820 kB
Active(anon):       7872 kB
Inactive(anon):    74228 kB
Active(file):    1789436 kB
Inactive(file):  6297592 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:              2680 kB
Writeback:             0 kB
AnonPages:         60864 kB
Mapped:            46460 kB
Shmem:             25016 kB
Slab:             333436 kB
SReclaimable:     305032 kB
SUnreclaim:        28404 kB
KernelStack:        3296 kB
PageTables:         5324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47796 MiB
End job on node148 at 2018-07-29 20:11:53