Trace number 4296178

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.91 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-4296178-1532611934.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.11	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.41/0.42	c 1352           4361           79721          426384         208            0              18   39   29   
0.41/0.48	c 1585           5084           94188          506242         208            0              19   41   35   
0.51/0.54	c 1841           5862           108708         583366         208            0              23   39   30   
0.51/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.84	c 3142           9551           178857         966081         208            0              18   41   31   
0.89/0.95	c 3551           11155          206163         1110658        208            0              18   45   33   
1.00/1.07	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.65	c 6286           19959          377542         2015571        208            0              19   40   29   
1.79/1.82	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.45	c 9627           30298          573656         3083866        208            0              20   45   31   
2.69/2.74	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.86	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.52	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.78	c 52226          159833         3104608        16507253       208            0              19   45   30   
14.00/14.06	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   
25.00/25.06	c 102541         310104         6097179        32395460       208            0              20   42   31   
27.49/27.56	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   
44.00/44.10	c 182260         552126         10651802       57010971       208            0              15   45   32   
48.29/48.34	c 200562         606797         11664227       62634839       208            0              14   47   32   
53.29/53.35	c 220694         671474         12862766       69091473       208            0              15   46   34   
58.69/58.77	c 242839         745566         14142256       76165820       208            0              19   47   33   
64.89/64.93	c 267198         818920         15655894       84201648       208            0              16   44   30   
71.49/71.55	c 293992         904285         17280543       92747859       208            0              14   45   28   
78.69/78.78	c 323465         984580         19061032       103002537      208            0              15   44   29   
86.69/86.72	c 355885         1084098        20955572       113442174      208            0              18   46   33   
95.09/95.11	c 391547         1186821        22922960       124179503      208            0              16   47   33   
104.28/104.30	c 430775         1299028        25162301       136398148      208            0              16   44   29   
114.68/114.71	c 473925         1427469        27648309       149827427      208            0              13   47   31   
126.48/126.59	c 521390         1576469        30418361       165341932      208            0              13   46   34   
139.78/139.81	c 573601         1745012        33646895       181782124      208            0              17   46   31   
153.88/153.99	c 631033         1921031        37087176       200049379      208            0              16   45   30   
169.99/170.03	c 694208         2119756        41033344       221052660      208            0              13   45   29   
185.58/185.61	c 763700         2319671        44815875       240669198      208            0              15   46   31   
204.99/205.01	c 840141         2563079        49492056       264888600      208            0              18   44   31   
226.09/226.19	c 924226         2827173        54542616       292174299      208            0              14   47   33   
249.99/250.02	c 1016719        3121810        60331645       322445939      208            0              17   45   31   
273.99/274.06	c 1118461        3416648        66232600       353704764      208            0              15   43   30   
301.09/301.19	c 1230377        3761062        72828202       387878190      208            0              17   45   31   
330.98/331.06	c 1353484        4131214        80064673       425906154      208            0              13   45   29   
362.17/362.23	c 1488901        4504450        87661247       467965114      208            0              14   46   30   
398.27/398.38	c 1637859        4961957        96299369       513278420      208            0              14   50   32   
438.27/438.38	c 1801712        5470814        105965528      563827642      208            0              17   46   31   
483.37/483.41	c 1981950        6042871        116937802      620393465      208            0              14   47   31   
530.87/531.00	c 2180211        6627656        128501006      680310986      208            0              14   45   31   
585.37/585.48	c 2398298        7291245        141220941      752332514      208            0              12   47   33   
645.36/645.41	c 2638193        8022552        155350353      832110520      208            0              11   48   33   
714.66/714.72	c 2902077        8874131        171896080      917146296      208            0              14   46   31   
782.16/782.21	c 3192349        9679364        188267874      1008216662     208            0              13   46   30   
858.46/858.55	c 3511648        10613003       206602412      1106710778     208            0              12   47   31   
946.15/946.24	c 3862876        11710498       227663479      1215956074     208            0              16   46   31   
1042.85/1042.95	c 4249226        12927653       251158749      1338511909     208            0              16   46   31   
1145.95/1146.06	c 4674211        14225758       276050529      1468468052     208            0              16   48   31   
1262.34/1262.41	c 5141694        15720645       304563363      1616316875     208            0              14   47   30   
1389.54/1389.64	c 5655925        17254264       334432482      1785767718     208            0              12   47   33   
1527.63/1527.71	c 6221579        18851798       367057605      1964895595     208            0              14   47   31   
1674.62/1674.76	c 6843798        20659054       402545117      2158360342     208            0              14   46   31   
1833.22/1833.36	c 7528238        22594238       440021730      2358766689     208            0              13   47   32   
2009.81/2009.94	c 8281122        24886535       483210540      2583377643     208            0              16   48   31   
2216.20/2216.37	c 9109294        27517636       533222354      2846260598     208            0              12   47   31   
2442.00/2442.19	c 10020283       30343474       587227238      3137370245     208            0              15   48   31   
2519.90/2520.00	
2519.90/2520.00	c *** INTERRUPTED ***
2519.90/2520.00	c restarts              : 97          
2519.90/2520.00	c conflicts             : 10333099     (4101 /sec)
2519.90/2520.00	c decisions             : 31332128     (12434 /sec)
2519.90/2520.00	c propagations          : 3236303504  (1284296 /sec)
2519.90/2520.00	c root propagations     : 2977        
2519.90/2520.00	c filter calls          : 606080941      (240517 /sec)
2519.90/2520.00	c useless filter calls  : 114717663      (18 %)
2519.90/2520.00	c Memory used           : 28.08 MB
2519.90/2520.00	c CPU time              : 2519.9 s
2519.90/2520.00	
2519.90/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 (12510 MiB free)
  memory of node 1: 16384 MiB (10336 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296178-1532611934/watcher-4296178-1532611934 -o /tmp/evaluation-result-4296178-1532611934/solver-4296178-1532611934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8247 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4296178-1532611934.xml 

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

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

solver pid=10211, runsolver pid=10208

[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10212
/proc/meminfo: memFree=23393900/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=4992 CPUtime=0.1 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 1470 0 0 0 10 0 0 0 20 0 1 0 78756605 29298688 1248 33554432000 4194304 6142532 140736142664544 140736142661176 5058255 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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.209392 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10212
/proc/meminfo: memFree=23393900/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=4992 CPUtime=0.21 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 1470 0 0 0 21 0 0 0 20 0 1 0 78756605 29298688 1248 33554432000 4194304 6142532 140736142664544 140736142661176 5061191 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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.308872 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10212
/proc/meminfo: memFree=23393612/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=4992 CPUtime=0.31 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 1470 0 0 0 31 0 0 0 20 0 1 0 78756605 29298688 1248 33554432000 4194304 6142532 140736142664544 140736142661176 5062311 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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.700271 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10212
/proc/meminfo: memFree=23393612/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=4992 CPUtime=0.69 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 1470 0 0 0 69 0 0 0 20 0 1 0 78756605 29298688 1248 33554432000 4194304 6142532 140736142664544 140736142661944 5018027 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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 2.05 3/187 10212
/proc/meminfo: memFree=23393260/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=4992 CPUtime=1.49 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 1470 0 0 0 149 0 0 0 20 0 1 0 78756605 29298688 1248 33554432000 4194304 6142532 140736142664544 140736142661944 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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.10896 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10212
/proc/meminfo: memFree=23393272/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=3.1 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 1862 0 0 0 310 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5053565 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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 2.05 3/187 10212
/proc/meminfo: memFree=23393232/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=6.29 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 2254 0 0 0 629 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5053839 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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 2.05 3/187 10212
/proc/meminfo: memFree=23393240/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=12.69 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 2646 0 0 0 1269 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5018113 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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 2.05 3/187 10212
/proc/meminfo: memFree=23393364/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=25.49 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 3430 0 0 0 2549 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5017958 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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: 1.87 1.98 2.03 3/187 10273
/proc/meminfo: memFree=23387464/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=51.1 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 3822 0 0 0 5110 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5061915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+102.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/187 10274
/proc/meminfo: memFree=23386592/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=102.28 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 4214 0 0 0 10228 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5058664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 10275
/proc/meminfo: memFree=23387384/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=162.28 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 4606 0 0 0 16228 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5054347 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 10276
/proc/meminfo: memFree=23387636/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=222.28 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 4998 0 0 0 22228 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5058268 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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 1.99 2.03 3/187 10277
/proc/meminfo: memFree=23387360/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=282.28 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 5390 0 0 0 28228 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5017553 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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 1.99 2.03 3/187 10278
/proc/meminfo: memFree=23387432/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=342.28 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 5782 0 0 0 34228 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5061866 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/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 1.99 2.03 3/187 10279
/proc/meminfo: memFree=23387384/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=402.27 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 6174 0 0 0 40227 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5054696 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 10280
/proc/meminfo: memFree=23387328/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=462.27 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 6566 0 0 0 46227 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5017790 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB


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

/proc/10211/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 1722.22 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/188 10350
/proc/meminfo: memFree=23385728/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=1782.22 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 14908 0 0 0 178222 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5175070 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 1782.22 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/188 10351
/proc/meminfo: memFree=23385584/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=1842.22 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 15300 0 0 0 184222 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5017909 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 1842.22 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 10352
/proc/meminfo: memFree=23385488/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=1902.22 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 15656 0 0 0 190222 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5061186 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 1902.22 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 10353
/proc/meminfo: memFree=23385540/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28612 memory=5256 CPUtime=1962.21 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 16012 0 0 0 196221 0 0 0 20 0 1 0 78756605 29298688 1314 33554432000 4194304 6142532 140736142664544 140736142661944 5053504 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7153 1314 847 476 0 475 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+2022.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/187 10354
/proc/meminfo: memFree=23385260/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28748 memory=5268 CPUtime=2022.21 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 16408 0 0 0 202221 0 0 0 20 0 1 0 78756605 29437952 1317 33554432000 4194304 6142532 140736142664544 140736142661944 5017990 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2082.3 s]
/proc/loadavg: 2.27 2.13 2.09 3/187 10355
/proc/meminfo: memFree=23385208/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28748 memory=5268 CPUtime=2082.21 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 16771 0 0 0 208221 0 0 0 20 0 1 0 78756605 29437952 1317 33554432000 4194304 6142532 140736142664544 140736142661944 5333295 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2142.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/187 10356
/proc/meminfo: memFree=23385384/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28748 memory=5268 CPUtime=2142.21 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 17134 0 0 0 214221 0 0 0 20 0 1 0 78756605 29437952 1317 33554432000 4194304 6142532 140736142664544 140736142661944 5017997 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/187 10357
/proc/meminfo: memFree=23385616/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28748 memory=5268 CPUtime=2202.2 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 17495 0 0 0 220220 0 0 0 20 0 1 0 78756605 29437952 1317 33554432000 4194304 6142532 140736142664544 140736142661944 5058369 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 10358
/proc/meminfo: memFree=23385688/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28748 memory=5268 CPUtime=2262.2 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 17882 0 0 0 226220 0 0 0 20 0 1 0 78756605 29437952 1317 33554432000 4194304 6142532 140736142664544 140736142661944 5336586 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 10367
/proc/meminfo: memFree=23385572/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28748 memory=5268 CPUtime=2322.2 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 18244 0 0 0 232220 0 0 0 20 0 1 0 78756605 29437952 1317 33554432000 4194304 6142532 140736142664544 140736142661944 5058744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 10368
/proc/meminfo: memFree=23385668/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28748 memory=5268 CPUtime=2382.2 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 18598 0 0 0 238220 0 0 0 20 0 1 0 78756605 29437952 1317 33554432000 4194304 6142532 140736142664544 140736142661944 5062311 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 10369
/proc/meminfo: memFree=23385808/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28748 memory=5268 CPUtime=2442.19 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 18995 0 0 0 244219 0 0 0 20 0 1 0 78756605 29437952 1317 33554432000 4194304 6142532 140736142664544 140736142661944 5018020 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 5268 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 10370
/proc/meminfo: memFree=23385884/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28748 memory=5268 CPUtime=2502.19 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 19355 0 0 0 250219 0 0 0 20 0 1 0 78756605 29437952 1317 33554432000 4194304 6142532 140736142664544 140736142661944 5017918 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2502.19 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.03 2.05 3/188 10370
/proc/meminfo: memFree=23385956/32770624 swapFree=67108860/67108860
[pid=10211] ppid=10208 vsize=28748 memory=5268 CPUtime=2519.9 cores=1,3,5,7
/proc/10211/stat : 10211 (cosoco) R 10208 10211 8215 0 -1 4202496 19705 0 0 0 251990 0 0 0 20 0 1 0 78756605 29437952 1317 33554432000 4194304 6142532 140736142664544 140736142661944 5326340 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32526336 140736142668934 140736142669064 140736142669064 140736142671822 0
/proc/10211/statm: 7187 1317 847 476 0 509 0
Current children cumulated CPU time: 2519.9 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 10211 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.9 s, system=0.006999 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.91
CPU user time (s): 2519.9
CPU system time (s): 0.006999
CPU usage (%): 99.9961
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.9
system time used= 0.006999
maximum resident set size= 5332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19754
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= 635


# summary of solver processes directly reported to runsolver:
#   pid: 10211
#   total CPU time (s): 2519.91
#   total CPU user time (s): 2519.9
#   total CPU system time (s): 0.006999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.57015 second user time and 16.0856 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-26 15:32:14
IDJOB=4296178
IDBENCH=141661
IDSOLVER=2752
FILE ID=node151/4296178-1532611934
RUNJOBID= node151-1532594282-8247
PBS_JOBID= 21021971
Free space on /tmp= 54924 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-4296178-1532611934/watcher-4296178-1532611934 -o /tmp/evaluation-result-4296178-1532611934/solver-4296178-1532611934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8247 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4296178-1532611934.xml

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

MD5SUM BENCH= 631cb3d235a52ad054110af2866c45e9
RANDOM SEED=1947790053

node151.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.87
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.87
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.87
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.87
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:        23395168 kB
MemAvailable:   31940624 kB
Buffers:          202212 kB
Cached:          8586800 kB
SwapCached:            0 kB
Active:          1385744 kB
Inactive:        7462412 kB
Active(anon):       8912 kB
Inactive(anon):    77480 kB
Active(file):    1376832 kB
Inactive(file):  7384932 kB
Unevictable:        7824 kB
Mlocked:            7824 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2788 kB
Writeback:             0 kB
AnonPages:         74200 kB
Mapped:            42848 kB
Shmem:             25224 kB
Slab:             226744 kB
SReclaimable:     199056 kB
SUnreclaim:        27688 kB
KernelStack:        3568 kB
PageTables:         4776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     355980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54920 MiB
End job on node151 at 2018-07-26 16:14:14