Trace number 4293726

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

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin14_c18.xml
MD5SUM6039279ad46bf871d7b71982a2bb5420
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark87.4245
Satisfiable
(Un)Satisfiability was proved
Number of variables8281
Number of constraints826
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":8281}]
Minimum variable degree10
Maximum variable degree10
Distribution of variable degrees[{"degree":10,"count":8281}]
Minimum constraint arity91
Maximum constraint arity169
Distribution of constraint arities[{"arity":91,"count":728},{"arity":169,"count":98}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":826}]
Optimization problemNO
Type of objective

Solver Data 

0.60/0.62	c root propagations     : 0           
0.60/0.62	c restarts enabled, print stats at every restarts
0.60/0.62	c
0.60/0.62	c
0.60/0.62	c
0.60/0.62	c This is cosoco 1.12 --  
0.60/0.62	c
0.60/0.62	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293726-1532325723.xml 
0.60/0.62	c ========================================[ Problem Statistics ]===========================================
0.60/0.62	c |                                                                                                       
0.60/0.62	c |  Parse time        :         0.45 s 
0.60/0.62	c |
0.60/0.62	c |               Variables: 8281
0.60/0.62	c |            Domain Sizes: 2..2
0.60/0.62	c |
0.60/0.62	c |             Constraints: 826
0.60/0.62	c |                   Arity: 91..169
0.60/0.62	c | 
0.60/0.62	c |                   Types: 
0.60/0.62	c |                          Sum: 826
0.60/0.62	c |                          
0.60/0.62	c =========================================================================================================
0.60/0.62	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.10/2.19	c 101            7683           163403         71511          0              0              6041   6106   6007
3.59/3.66	c 211            11881          306104         150525         0              0              3892   3980   3898
6.00/6.01	c 332            20230          580894         275422         0              0              5568   6508   6285
8.00/8.04	c 465            31746          784299         345259         0              0              1383   7717   4872
12.39/12.44	c 611            40647          1252752        664488         0              0              1335   2716   1498
15.99/16.08	c 771            60362          1651847        803777         0              0              214   5879   3897
19.19/19.26	c 947            66600          1986447        1054253        0              0              172   1683   1541
21.69/21.79	c 1140           75899          2277774        1191513        0              0              179   4624   4120
24.88/25.00	c 1352           90916          2622348        1344604        0              0              178   5150   3940
30.48/30.54	c 1585           99243          3241742        1611037        0              0              178   2063   1851
39.99/40.09	c 1841           114739         4247280        2209137        0              0              266   2758   1417
45.58/45.66	c 2122           129262         4807306        2531325        0              0              266   2019   1483
56.78/56.80	c 2431           145306         5988363        3082377        0              0              253   1279   954
73.28/73.39	c 2770           170114         7675697        3943448        0              0              305   5616   2086
78.68/78.79	c 3142           206226         8300017        4142645        0              0              171   5870   4866
85.38/85.44	c 3551           238789         9133433        4471709        0              0              172   5352   4878
90.87/90.94	c 4000           265027         9768667        4720592        0              0              173   5263   4668
98.68/98.72	c 4493           294263         10594565       5141376        0              0              173   3530   3095
108.47/108.60	c 5035           331974         11713100       5978829        0              0              171   2331   2062
115.77/115.81	c 5631           359846         12514611       6464945        0              0              174   1357   1267
124.76/124.81	c 6286           412729         13694646       6999645        0              0              176   6082   4088
134.07/134.18	c 7006           461240         14855392       7605555        0              0              183   5620   3942
146.86/146.96	c 7798           538043         16567957       8410062        0              0              183   6397   4083
158.26/158.38	c 8669           636843         18153605       8921033        0              0              184   6326   5189
171.76/171.81	c 9627           722782         20037884       9644673        0              0              184   5629   4974
191.66/191.74	c 10680          909124         22713070       10450968       0              0              186   6425   4898
208.36/208.46	c 11838          1008644        24890539       11427920       0              0              193   5352   4357
228.86/229.00	c 13111          1163503        27500835       12440387       0              0              202   6207   4449
254.66/254.76	c 14511          1289701        30392850       13982363       0              0              214   4193   3136
281.45/281.56	c 16051          1378772        33432587       16073794       0              0              233   2700   1945
310.45/310.53	c 17745          1483789        36662704       17981641       0              0              388   4750   1699
340.45/340.53	c 19608          1742331        40702170       19319308       0              0              264   6368   4523
366.55/366.69	c 21657          1893042        44319303       20922471       0              0              261   5199   4243
398.75/398.81	c 23910          2072263        48508447       22829014       0              0              262   4809   3933
446.55/446.62	c 26388          2369686        54356383       25268774       0              0              265   6618   3541
481.96/482.09	c 29113          2628606        58916736       27061648       0              0              258   5344   4214
529.14/529.28	c 32110          2935064        65110523       29542655       0              0              261   5964   4122
585.35/585.46	c 35406          3176338        72458996       32943954       0              0              262   4656   3867
653.54/653.67	c 39031          3489056        80708823       36898750       0              0              279   4782   3376
743.33/743.40	c 43018          3808970        90937018       41460100       0              0              296   3156   2164
855.74/855.87	c 47403          4012651        103775145      47088530       0              0              330   815   478
966.94/967.07	c 52226          5113716        118638752      51646740       0              0              237   7066   4899
1045.83/1045.90	c 57531          5525469        128387904      56552947       0              0              232   4591   3712
1151.12/1151.27	c 63366          5950943        140474906      63549078       0              0              249   3011   2294
1283.83/1283.94	c 69784          6423226        154631363      71427401       0              0              269   1292   924
1424.03/1424.13	c 76843          7730741        173273524      77120422       0              0              363   6873   4664
1576.62/1576.75	c 84607          8863814        193426574      84241909       0              0              369   6863   4363
1723.81/1724.00	c 93147          9919258        212835463      91435285       0              0              317   6474   4558
1870.41/1870.53	c 102541         10772529       231507765      99737370       0              0              304   6035   4186
2019.50/2019.65	c 112874         11487916       248305474      109968371      0              0              304   3510   2544
2175.02/2175.16	c 124240         12267515       265606896      121819883      0              0              308   5319   1947
2331.60/2331.71	c 136742         12993504       281489682      132506850      0              0              383   891   650
2511.79/2511.96	c 150494         13826771       299769757      143081585      0              0              379   838   645
2519.90/2520.01	
2519.90/2520.01	c *** INTERRUPTED ***
2519.90/2520.01	c restarts              : 53          
2519.90/2520.01	c conflicts             : 150884       (60 /sec)
2519.90/2520.01	c decisions             : 13861694     (5502 /sec)
2519.90/2520.01	c propagations          : 143444040   (56933 /sec)
2519.90/2520.01	c root propagations     : 0           
2519.90/2520.01	c filter calls          : 300567620      (119296 /sec)
2519.90/2520.01	c useless filter calls  : 294482399      (97 %)
2519.90/2520.01	c Memory used           : 339.06 MB
2519.90/2520.01	c CPU time              : 2519.51 s
2519.90/2520.01	
2519.90/2520.01	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 (10327 MiB free)
  memory of node 1: 16384 MiB (10811 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293726-1532325723/watcher-4293726-1532325723 -o /tmp/evaluation-result-4293726-1532325723/solver-4293726-1532325723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7763 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293726-1532325723.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=11657, runsolver pid=11654
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 2.02 2.02 2.05 3/190 11658
/proc/meminfo: memFree=21639720/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=33360 memory=9516 CPUtime=0.1 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 2582 0 0 0 10 0 0 0 20 0 1 0 50135441 34160640 2379 33554432000 4194304 6142532 140736046272176 140736046268808 139815081651173 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 8340 2379 785 476 0 1662 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33360 KiB
Current children cumulated memory: 9516 KiB

[startup+0.210028 s]*
/proc/loadavg: 2.02 2.02 2.05 3/190 11658
/proc/meminfo: memFree=21626948/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=46076 memory=22452 CPUtime=0.21 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 5803 0 0 0 20 1 0 0 20 0 1 0 50135441 47181824 5613 33554432000 4194304 6142532 140736046272176 140736046268808 139815082089472 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 11519 5613 823 476 0 4841 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46076 KiB
Current children cumulated memory: 22452 KiB

[startup+0.309516 s]*
/proc/loadavg: 2.02 2.02 2.05 3/190 11658
/proc/meminfo: memFree=21623320/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=50960 memory=27204 CPUtime=0.31 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 6999 0 0 0 30 1 0 0 20 0 1 0 50135441 52183040 6801 33554432000 4194304 6142532 140736046272176 140736046265752 139815081651173 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 12740 6801 823 476 0 6062 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 27204 KiB

[startup+0.700257 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 11658
/proc/meminfo: memFree=21609812/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=63480 memory=39876 CPUtime=0.69 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 10186 0 0 0 68 1 0 0 20 0 1 0 50135441 65003520 9969 33554432000 4194304 6142532 140736046272176 140736046265752 5347465 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 15870 9969 855 476 0 9192 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63480 KiB
Current children cumulated memory: 39876 KiB

[startup+1.50032 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 11658
/proc/meminfo: memFree=21596172/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=171284 memory=143892 CPUtime=1.49 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 36142 0 0 0 143 6 0 0 20 0 1 0 50135441 175394816 35973 33554432000 4194304 6142532 140736046272176 140736046269368 5168903 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 42821 35973 862 476 0 36143 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 171284 KiB
Current children cumulated memory: 143892 KiB

[startup+3.10949 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 11658
/proc/meminfo: memFree=21450844/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=228664 memory=199480 CPUtime=3.1 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 68911 0 0 0 301 9 0 0 20 0 1 0 50135441 234151936 49870 33554432000 4194304 6142532 140736046272176 140736046269576 5138324 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 57166 49870 864 476 0 50488 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 228664 KiB
Current children cumulated memory: 199480 KiB

[startup+6.30026 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 11658
/proc/meminfo: memFree=21395108/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=289388 memory=254080 CPUtime=6.29 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 112192 0 0 0 616 13 0 0 20 0 1 0 50135441 296333312 63520 33554432000 4194304 6142532 140736046272176 140736046269576 5140268 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 72347 63520 864 476 0 65669 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 289388 KiB
Current children cumulated memory: 254080 KiB

[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 11658
/proc/meminfo: memFree=21370216/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=315732 memory=278904 CPUtime=12.69 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 155609 0 0 0 1253 16 0 0 20 0 1 0 50135441 323309568 69726 33554432000 4194304 6142532 140736046272176 140736046269576 5137876 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 78933 69726 864 476 0 72255 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 315732 KiB
Current children cumulated memory: 278904 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 11658
/proc/meminfo: memFree=21369472/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=316160 memory=279836 CPUtime=25.48 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 193792 0 0 0 2529 19 0 0 20 0 1 0 50135441 323747840 69959 33554432000 4194304 6142532 140736046272176 140736046269576 5140128 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 79040 69959 864 476 0 72362 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 316160 KiB
Current children cumulated memory: 279836 KiB

[startup+51.1095 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 11658
/proc/meminfo: memFree=21369348/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=316160 memory=279836 CPUtime=51.09 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 221786 0 0 0 5088 21 0 0 20 0 1 0 50135441 323747840 69959 33554432000 4194304 6142532 140736046272176 140736046269576 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 79040 69959 864 476 0 72362 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 316160 KiB
Current children cumulated memory: 279836 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 11659
/proc/meminfo: memFree=21365652/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=319648 memory=283320 CPUtime=102.27 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 264538 0 0 0 10202 25 0 0 20 0 1 0 50135441 327319552 70830 33554432000 4194304 6142532 140736046272176 140736046269576 5140141 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 79912 70830 864 476 0 73234 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 319648 KiB
Current children cumulated memory: 283320 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 11660
/proc/meminfo: memFree=21355240/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=331336 memory=294144 CPUtime=162.26 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 304685 0 0 0 16199 27 0 0 20 0 1 0 50135441 339288064 73536 33554432000 4194304 6142532 140736046272176 140736046269096 5347465 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 82834 73536 864 476 0 76156 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 331336 KiB
Current children cumulated memory: 294144 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11661
/proc/meminfo: memFree=21348664/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=335632 memory=300172 CPUtime=222.26 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 328982 0 0 0 22196 30 0 0 20 0 1 0 50135441 343687168 75043 33554432000 4194304 6142532 140736046272176 140736046269208 5215827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 83908 75043 864 476 0 77230 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 335632 KiB
Current children cumulated memory: 300172 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11662
/proc/meminfo: memFree=21337304/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=335772 memory=311076 CPUtime=282.25 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 341514 0 0 0 28194 31 0 0 20 0 1 0 50135441 343830528 77769 33554432000 4194304 6142532 140736046272176 140736046269576 5347440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 83943 77769 864 476 0 77265 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 335772 KiB
Current children cumulated memory: 311076 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11663
/proc/meminfo: memFree=21337444/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=336476 memory=311704 CPUtime=342.25 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 346967 0 0 0 34193 32 0 0 20 0 1 0 50135441 344551424 77926 33554432000 4194304 6142532 140736046272176 140736046269576 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 84119 77926 864 476 0 77441 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 336476 KiB
Current children cumulated memory: 311704 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11664
/proc/meminfo: memFree=21338072/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=336476 memory=311716 CPUtime=402.25 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 352098 0 0 0 40193 32 0 0 20 0 1 0 50135441 344551424 77929 33554432000 4194304 6142532 140736046272176 140736046269576 5137583 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 84119 77929 864 476 0 77441 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 336476 KiB
Current children cumulated memory: 311716 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11665
/proc/meminfo: memFree=21336476/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=337620 memory=312756 CPUtime=462.25 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 358065 0 0 0 46192 33 0 0 20 0 1 0 50135441 345722880 78189 33554432000 4194304 6142532 140736046272176 140736046269576 5215584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 84405 78189 864 476 0 77727 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 312756 KiB


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

/proc/11657/statm: 86764 80670 864 476 0 80086 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 347056 KiB
Current children cumulated memory: 322680 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11833
/proc/meminfo: memFree=21313200/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347056 memory=322680 CPUtime=1782.21 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 418433 0 0 0 178183 38 0 0 20 0 1 0 50135441 355385344 80670 33554432000 4194304 6142532 140736046272176 140736046269576 5215584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86764 80670 864 476 0 80086 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 347056 KiB
Current children cumulated memory: 322680 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11834
/proc/meminfo: memFree=21312328/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347056 memory=323080 CPUtime=1842.21 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 420051 0 0 0 184183 38 0 0 20 0 1 0 50135441 355385344 80770 33554432000 4194304 6142532 140736046272176 140736046269576 5138259 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86764 80770 864 476 0 80086 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 347056 KiB
Current children cumulated memory: 323080 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11835
/proc/meminfo: memFree=21312292/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=1902.21 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 423544 0 0 0 190182 39 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5140579 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11836
/proc/meminfo: memFree=21311928/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=1962.21 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 424635 0 0 0 196182 39 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5138259 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11897
/proc/meminfo: memFree=21404072/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=2022.2 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 426445 0 0 0 202181 39 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5215639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11898
/proc/meminfo: memFree=21403988/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=2082.2 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 428105 0 0 0 208181 39 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5336595 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11899
/proc/meminfo: memFree=21403644/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=2142.21 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 431289 0 0 0 214181 40 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5215594 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11900
/proc/meminfo: memFree=21403724/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=2202.2 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 433991 0 0 0 220180 40 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5138697 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

[startup+2262.3 s]
/proc/loadavg: 2.17 2.06 2.06 3/187 11901
/proc/meminfo: memFree=21403228/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=2262.2 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 435420 0 0 0 226180 40 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5215620 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

[startup+2322.3 s]
/proc/loadavg: 2.10 2.06 2.06 3/188 11910
/proc/meminfo: memFree=21402508/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=2322.2 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 436608 0 0 0 232180 40 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5215601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/188 11911
/proc/meminfo: memFree=21402972/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=2382.2 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 438095 0 0 0 238180 40 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5215639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

[startup+2442.3 s]
/proc/loadavg: 2.11 2.07 2.06 3/188 11912
/proc/meminfo: memFree=21402960/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=2442.2 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 439445 0 0 0 244180 40 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5137312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

[startup+2502.3 s]
/proc/loadavg: 2.12 2.08 2.06 3/188 11913
/proc/meminfo: memFree=21402836/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=2502.19 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 440792 0 0 0 250179 40 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5347460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.09 2.07 2.05 3/188 11914
/proc/meminfo: memFree=21402356/32770624 swapFree=67108860/67108860
[pid=11657] ppid=11654 vsize=347192 memory=323248 CPUtime=2519.9 cores=0,2,4,6
/proc/11657/stat : 11657 (cosoco) R 11654 11657 7732 0 -1 4202496 441910 0 0 0 251950 40 0 0 20 0 1 0 50135441 355524608 80812 33554432000 4194304 6142532 140736046272176 140736046269576 5140554 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38002688 140736046277766 140736046277896 140736046277896 140736046280654 0
/proc/11657/statm: 86798 80812 864 476 0 80120 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 323248 KiB

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

[startup+2520.01 s]
# the end of solver process 11657 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.51 s, system=0.409986 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.92
CPU user time (s): 2519.51
CPU system time (s): 0.409986
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 347192
Max. memory (cumulated for all children) (KiB): 323248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.51
system time used= 0.409986
maximum resident set size= 323312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441949
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= 44
involuntary context switches= 3191


# summary of solver processes directly reported to runsolver:
#   pid: 11657
#   total CPU time (s): 2519.92
#   total CPU user time (s): 2519.51
#   total CPU system time (s): 0.409986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.47021 second user time and 17.9565 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-23 08:02:03
IDJOB=4293726
IDBENCH=141229
IDSOLVER=2752
FILE ID=node137/4293726-1532325723
RUNJOBID= node137-1532296151-7763
PBS_JOBID= 21018986
Free space on /tmp= 56888 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin14_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293726-1532325723/watcher-4293726-1532325723 -o /tmp/evaluation-result-4293726-1532325723/solver-4293726-1532325723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7763 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293726-1532325723.xml

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

MD5SUM BENCH= 6039279ad46bf871d7b71982a2bb5420
RANDOM SEED=956071704

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21646168 kB
MemAvailable:   31856448 kB
Buffers:          252284 kB
Cached:         10155480 kB
SwapCached:            0 kB
Active:          1831384 kB
Inactive:        8711952 kB
Active(anon):     138484 kB
Inactive(anon):    16944 kB
Active(file):    1692900 kB
Inactive(file):  8695008 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3132 kB
Writeback:             0 kB
AnonPages:        143140 kB
Mapped:            38228 kB
Shmem:             17036 kB
Slab:             278080 kB
SReclaimable:     250832 kB
SUnreclaim:        27248 kB
KernelStack:        3408 kB
PageTables:         5568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     422748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56888 MiB
End job on node137 at 2018-07-23 08:44:03