Trace number 4298748

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

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin14_c18.xml
MD5SUM6039279ad46bf871d7b71982a2bb5420
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 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-4298748-1532766221.xml 
0.60/0.62	c ========================================[ Problem Statistics ]===========================================
0.60/0.62	c |                                                                                                       
0.60/0.62	c |  Parse time        :         0.46 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.11	c 101            7683           163403         71511          0              0              6041   6106   6007
3.39/3.48	c 211            11881          306104         150525         0              0              3892   3980   3898
5.59/5.68	c 332            20230          580894         275422         0              0              5568   6508   6285
7.49/7.59	c 465            31746          784299         345259         0              0              1383   7717   4872
11.69/11.73	c 611            40647          1252752        664488         0              0              1335   2716   1498
15.10/15.16	c 771            60362          1651847        803777         0              0              214   5879   3897
18.10/18.15	c 947            66600          1986447        1054253        0              0              172   1683   1541
20.48/20.52	c 1140           75899          2277774        1191513        0              0              179   4624   4120
23.28/23.36	c 1352           90916          2622348        1344604        0              0              178   5150   3940
28.18/28.23	c 1585           99243          3241742        1611037        0              0              178   2063   1851
36.58/36.60	c 1841           114739         4247280        2209137        0              0              266   2758   1417
41.37/41.45	c 2122           129262         4807306        2531325        0              0              266   2019   1483
51.08/51.13	c 2431           145306         5988363        3082377        0              0              253   1279   954
65.36/65.47	c 2770           170114         7675697        3943448        0              0              305   5616   2086
69.97/70.07	c 3142           206226         8300017        4142645        0              0              171   5870   4866
75.67/75.71	c 3551           238789         9133433        4471709        0              0              172   5352   4878
80.37/80.46	c 4000           265027         9768667        4720592        0              0              173   5263   4668
87.17/87.24	c 4493           294263         10594565       5141376        0              0              173   3530   3095
96.86/96.98	c 5035           331974         11713100       5978829        0              0              171   2331   2062
104.07/104.17	c 5631           359846         12514611       6464945        0              0              174   1357   1267
113.07/113.15	c 6286           412729         13694646       6999645        0              0              176   6082   4088
122.46/122.50	c 7006           461240         14855392       7605555        0              0              183   5620   3942
135.15/135.26	c 7798           538043         16567957       8410062        0              0              183   6397   4083
146.55/146.67	c 8669           636843         18153605       8921033        0              0              184   6326   5189
159.96/160.06	c 9627           722782         20037884       9644673        0              0              184   5629   4974
179.85/179.95	c 10680          909124         22713070       10450968       0              0              186   6425   4898
196.55/196.64	c 11838          1008644        24890539       11427920       0              0              193   5352   4357
217.05/217.14	c 13111          1163503        27500835       12440387       0              0              202   6207   4449
242.74/242.85	c 14511          1289701        30392850       13982363       0              0              214   4193   3136
269.45/269.59	c 16051          1378772        33432587       16073794       0              0              233   2700   1945
298.44/298.50	c 17745          1483789        36662704       17981641       0              0              388   4750   1699
328.34/328.46	c 19608          1742331        40702170       19319308       0              0              264   6368   4523
354.43/354.59	c 21657          1893042        44319303       20922471       0              0              261   5199   4243
386.54/386.66	c 23910          2072263        48508447       22829014       0              0              262   4809   3933
434.24/434.40	c 26388          2369686        54356383       25268774       0              0              265   6618   3541
469.73/469.82	c 29113          2628606        58916736       27061648       0              0              258   5344   4214
516.83/516.93	c 32110          2935064        65110523       29542655       0              0              261   5964   4122
572.83/572.99	c 35406          3176338        72458996       32943954       0              0              262   4656   3867
640.93/641.09	c 39031          3489056        80708823       36898750       0              0              279   4782   3376
730.43/730.59	c 43018          3808970        90937018       41460100       0              0              296   3156   2164
842.52/842.68	c 47403          4012651        103775145      47088530       0              0              330   815   478
953.51/953.63	c 52226          5113716        118638752      51646740       0              0              237   7066   4899
1032.12/1032.28	c 57531          5525469        128387904      56552947       0              0              232   4591   3712
1137.21/1137.35	c 63366          5950943        140474906      63549078       0              0              249   3011   2294
1269.50/1269.65	c 69784          6423226        154631363      71427401       0              0              269   1292   924
1409.40/1409.52	c 76843          7730741        173273524      77120422       0              0              363   6873   4664
1561.59/1561.75	c 84607          8863814        193426574      84241909       0              0              369   6863   4363
1708.48/1708.67	c 93147          9919258        212835463      91435285       0              0              317   6474   4558
1854.68/1854.87	c 102541         10772529       231507765      99737370       0              0              304   6035   4186
2003.58/2003.73	c 112874         11487916       248305474      109968371      0              0              304   3510   2544
2158.77/2158.98	c 124240         12267515       265606896      121819883      0              0              308   5319   1947
2315.07/2315.26	c 136742         12993504       281489682      132506850      0              0              383   891   650
2494.97/2495.17	c 150494         13826771       299769757      143081585      0              0              379   838   645
2519.86/2520.01	
2519.86/2520.01	c *** INTERRUPTED ***
2519.86/2520.01	c restarts              : 53          
2519.86/2520.01	c conflicts             : 151949       (60 /sec)
2519.86/2520.01	c decisions             : 13948956     (5536 /sec)
2519.86/2520.01	c propagations          : 144243136   (57250 /sec)
2519.86/2520.01	c root propagations     : 0           
2519.86/2520.01	c filter calls          : 302161295      (119927 /sec)
2519.86/2520.01	c useless filter calls  : 296053503      (97 %)
2519.86/2520.01	c Memory used           : 339.06 MB
2519.86/2520.01	c CPU time              : 2519.54 s
2519.86/2520.01	
2519.86/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 (11665 MiB free)
  memory of node 1: 16384 MiB (15851 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298748-1532766221/watcher-4298748-1532766221 -o /tmp/evaluation-result-4298748-1532766221/solver-4298748-1532766221 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532741135-24675 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298748-1532766221.xml 

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

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

solver pid=28192, runsolver pid=28189

[startup+0.10011 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 28193
/proc/meminfo: memFree=28171432/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=33360 memory=9516 CPUtime=0.1 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 2583 0 0 0 10 0 0 0 20 0 1 0 94185300 34160640 2379 33554432000 4194304 6142532 140731593495376 140731593492008 5404833 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/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.209756 s]*
/proc/loadavg: 2.00 2.00 2.04 4/188 28193
/proc/meminfo: memFree=28158412/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=46076 memory=22452 CPUtime=0.2 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 5803 0 0 0 20 0 0 0 20 0 1 0 94185300 47181824 5613 33554432000 4194304 6142532 140731593495376 140731593492008 5800686 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 11519 5613 823 476 0 4841 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46076 KiB
Current children cumulated memory: 22452 KiB

[startup+0.30957 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 28193
/proc/meminfo: memFree=28154692/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=51240 memory=27468 CPUtime=0.31 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 7068 0 0 0 30 1 0 0 20 0 1 0 94185300 52469760 6867 33554432000 4194304 6142532 140731593495376 140731593492008 140503186705381 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 12810 6867 823 476 0 6132 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51240 KiB
Current children cumulated memory: 27468 KiB

[startup+0.700257 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 28193
/proc/meminfo: memFree=28141300/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=63480 memory=40140 CPUtime=0.69 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 10198 0 0 0 68 1 0 0 20 0 1 0 94185300 65003520 10035 33554432000 4194304 6142532 140731593495376 140731593492456 5138256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 15870 10035 862 476 0 9192 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63480 KiB
Current children cumulated memory: 40140 KiB

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 28193
/proc/meminfo: memFree=28123924/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=190080 memory=161844 CPUtime=1.49 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 40639 0 0 0 144 5 0 0 20 0 1 0 94185300 194641920 40461 33554432000 4194304 6142532 140731593495376 140731593492408 5336535 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 47520 40461 862 476 0 40842 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 190080 KiB
Current children cumulated memory: 161844 KiB

[startup+3.10946 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 28193
/proc/meminfo: memFree=27981048/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=230188 memory=200884 CPUtime=3.09 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 69634 0 0 0 302 7 0 0 20 0 1 0 94185300 235712512 50221 33554432000 4194304 6142532 140731593495376 140731593492216 5215644 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 57547 50221 864 476 0 50869 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 230188 KiB
Current children cumulated memory: 200884 KiB

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 28193
/proc/meminfo: memFree=27926020/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=289388 memory=254080 CPUtime=6.29 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 114248 0 0 0 617 12 0 0 20 0 1 0 94185300 296333312 63520 33554432000 4194304 6142532 140731593495376 140731593492776 5347469 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/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.00 2.00 2.04 3/188 28193
/proc/meminfo: memFree=27901388/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=315732 memory=278904 CPUtime=12.68 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 151792 0 0 0 1254 14 0 0 20 0 1 0 94185300 323309568 69726 33554432000 4194304 6142532 140731593495376 140731593492776 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 78933 69726 864 476 0 72255 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 315732 KiB
Current children cumulated memory: 278904 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 28193
/proc/meminfo: memFree=27899336/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=316160 memory=279852 CPUtime=25.48 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 192076 0 0 0 2531 17 0 0 20 0 1 0 94185300 323747840 69963 33554432000 4194304 6142532 140731593495376 140731593492776 5347455 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 79040 69963 864 476 0 72362 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 316160 KiB
Current children cumulated memory: 279852 KiB

[startup+51.1096 s]
/proc/loadavg: 1.93 1.99 2.03 3/188 28193
/proc/meminfo: memFree=27899552/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=316160 memory=279852 CPUtime=51.08 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 216965 0 0 0 5090 18 0 0 20 0 1 0 94185300 323747840 69963 33554432000 4194304 6142532 140731593495376 140731593492776 5138680 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 79040 69963 864 476 0 72362 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 316160 KiB
Current children cumulated memory: 279852 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 28195
/proc/meminfo: memFree=27894940/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=319648 memory=284580 CPUtime=102.26 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 250059 0 0 0 10206 20 0 0 20 0 1 0 94185300 327319552 71145 33554432000 4194304 6142532 140731593495376 140731593492776 5137685 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 79912 71145 864 476 0 73234 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 319648 KiB
Current children cumulated memory: 284580 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 28196
/proc/meminfo: memFree=27882244/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=331492 memory=297992 CPUtime=162.25 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 276612 0 0 0 16203 22 0 0 20 0 1 0 94185300 339447808 74498 33554432000 4194304 6142532 140731593495376 140731593492776 5138299 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 82873 74498 864 476 0 76195 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 331492 KiB
Current children cumulated memory: 297992 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28197
/proc/meminfo: memFree=27869360/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=335772 memory=311080 CPUtime=222.24 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 287851 0 0 0 22201 23 0 0 20 0 1 0 94185300 343830528 77770 33554432000 4194304 6142532 140731593495376 140731593492776 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 83943 77770 864 476 0 77265 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 335772 KiB
Current children cumulated memory: 311080 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28199
/proc/meminfo: memFree=27868800/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=335772 memory=311080 CPUtime=282.24 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 292823 0 0 0 28200 24 0 0 20 0 1 0 94185300 343830528 77770 33554432000 4194304 6142532 140731593495376 140731593492776 5347481 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 83943 77770 864 476 0 77265 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 335772 KiB
Current children cumulated memory: 311080 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28200
/proc/meminfo: memFree=27868636/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=336476 memory=311752 CPUtime=342.24 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 298544 0 0 0 34200 24 0 0 20 0 1 0 94185300 344551424 77938 33554432000 4194304 6142532 140731593495376 140731593492776 5138259 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 84119 77938 864 476 0 77441 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 336476 KiB
Current children cumulated memory: 311752 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 28209
/proc/meminfo: memFree=27868360/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=336476 memory=311768 CPUtime=402.24 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 303465 0 0 0 40199 25 0 0 20 0 1 0 94185300 344551424 77942 33554432000 4194304 6142532 140731593495376 140731593492776 5215584 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 84119 77942 864 476 0 77441 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 336476 KiB
Current children cumulated memory: 311768 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 28210
/proc/meminfo: memFree=27866872/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=337620 memory=313484 CPUtime=462.23 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 308382 0 0 0 46198 25 0 0 20 0 1 0 94185300 345722880 78371 33554432000 4194304 6142532 140731593495376 140731593492776 5138400 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 84405 78371 864 476 0 77727 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 313484 KiB


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

/proc/28192/statm: 86764 80695 864 476 0 80086 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 347056 KiB
Current children cumulated memory: 322780 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 28249
/proc/meminfo: memFree=27856916/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347056 memory=322780 CPUtime=1782.19 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 365095 0 0 0 178188 31 0 0 20 0 1 0 94185300 355385344 80695 33554432000 4194304 6142532 140731593495376 140731593492776 5347477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86764 80695 864 476 0 80086 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 347056 KiB
Current children cumulated memory: 322780 KiB

[startup+1842.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/188 28250
/proc/meminfo: memFree=27856772/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322812 CPUtime=1842.18 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 366642 0 0 0 184187 31 0 0 20 0 1 0 94185300 355524608 80703 33554432000 4194304 6142532 140731593495376 140731593492296 5347455 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80703 864 476 0 80120 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322812 KiB

[startup+1902.3 s]
/proc/loadavg: 2.20 2.06 2.06 3/187 28252
/proc/meminfo: memFree=27856532/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=1902.18 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 369971 0 0 0 190187 31 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

[startup+1962.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 28375
/proc/meminfo: memFree=27860488/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=1962.17 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 371013 0 0 0 196186 31 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5215644 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

[startup+2022.3 s]
/proc/loadavg: 2.17 2.08 2.06 3/187 28376
/proc/meminfo: memFree=27860948/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=2022.18 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 373509 0 0 0 202186 32 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

[startup+2082.3 s]
/proc/loadavg: 2.16 2.10 2.07 3/187 28378
/proc/meminfo: memFree=27861080/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=2082.18 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 374932 0 0 0 208186 32 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5139732 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

[startup+2142.3 s]
/proc/loadavg: 2.11 2.10 2.07 3/187 28379
/proc/meminfo: memFree=27861348/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=2142.17 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 378355 0 0 0 214185 32 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5215653 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.08 2.06 3/189 28389
/proc/meminfo: memFree=27859632/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=2202.16 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 380764 0 0 0 220184 32 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5347477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

[startup+2262.3 s]
/proc/loadavg: 2.02 2.07 2.05 3/190 28413
/proc/meminfo: memFree=27858700/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=2262.17 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 382060 0 0 0 226184 33 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5137685 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/190 28414
/proc/meminfo: memFree=27859128/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=2322.17 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 383305 0 0 0 232184 33 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5215594 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 28415
/proc/meminfo: memFree=27859180/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=2382.17 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 384646 0 0 0 238184 33 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 28416
/proc/meminfo: memFree=27859220/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=2442.16 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 385946 0 0 0 244183 33 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5139613 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 28417
/proc/meminfo: memFree=27859592/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=2502.16 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 387199 0 0 0 250183 33 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5215639 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 28417
/proc/meminfo: memFree=27859792/32770624 swapFree=67108860/67108860
[pid=28192] ppid=28189 vsize=347192 memory=322952 CPUtime=2519.86 cores=0,2,4,6
/proc/28192/stat : 28192 (cosoco) R 28189 28192 24644 0 -1 4202496 388256 0 0 0 251953 33 0 0 20 0 1 0 94185300 355524608 80738 33554432000 4194304 6142532 140731593495376 140731593492776 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 32468992 140731593503878 140731593504008 140731593504008 140731593506766 0
/proc/28192/statm: 86798 80738 864 476 0 80120 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 347192 KiB
Current children cumulated memory: 322952 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.54
system time used= 0.339986
maximum resident set size= 323016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388296
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= 59
involuntary context switches= 3176


# summary of solver processes directly reported to runsolver:
#   pid: 28192
#   total CPU time (s): 2519.88
#   total CPU user time (s): 2519.54
#   total CPU system time (s): 0.339986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.6816 second user time and 18.0508 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-28 10:23:41
IDJOB=4298748
IDBENCH=141229
IDSOLVER=2761
FILE ID=node136/4298748-1532766221
RUNJOBID= node136-1532741135-24675
PBS_JOBID= 21022451
Free space on /tmp= 55796 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-4298748-1532766221/watcher-4298748-1532766221 -o /tmp/evaluation-result-4298748-1532766221/solver-4298748-1532766221 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532741135-24675 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4298748-1532766221.xml

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

MD5SUM BENCH= 6039279ad46bf871d7b71982a2bb5420
RANDOM SEED=773477638

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28177292 kB
MemAvailable:   31956104 kB
Buffers:          184188 kB
Cached:          3855272 kB
SwapCached:            0 kB
Active:          1721344 kB
Inactive:        2375704 kB
Active(anon):       8940 kB
Inactive(anon):    76472 kB
Active(file):    1712404 kB
Inactive(file):  2299232 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3096 kB
Writeback:             0 kB
AnonPages:         80436 kB
Mapped:            35020 kB
Shmem:             25228 kB
Slab:             193632 kB
SReclaimable:     166024 kB
SUnreclaim:        27608 kB
KernelStack:        3584 kB
PageTables:         4916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55792 MiB
End job on node136 at 2018-07-28 11:05:41