Trace number 4293735

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) 2520.08 2520.01

General information on the benchmark

NamePseudoBoolean-dec/
Pb-chnl50-51_c18.xml
MD5SUMa87da95f210b3c94235cbc017ff62562
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 variables5100
Number of constraints202
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":5100}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":5100}]
Minimum constraint arity50
Maximum constraint arity51
Distribution of constraint arities[{"arity":50,"count":102},{"arity":51,"count":100}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":202}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.13	c root propagations     : 0           
0.10/0.13	c restarts enabled, print stats at every restarts
0.10/0.13	c
0.10/0.13	c
0.10/0.13	c
0.10/0.13	c This is cosoco 1.12 --  
0.10/0.13	c
0.10/0.13	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293735-1532325850.xml 
0.10/0.13	c ========================================[ Problem Statistics ]===========================================
0.10/0.13	c |                                                                                                       
0.10/0.13	c |  Parse time        :         0.07 s 
0.10/0.13	c |
0.10/0.13	c |               Variables: 5100
0.10/0.13	c |            Domain Sizes: 2..2
0.10/0.13	c |
0.10/0.13	c |             Constraints: 202
0.10/0.13	c |                   Arity: 50..51
0.10/0.13	c | 
0.10/0.13	c |                   Types: 
0.10/0.13	c |                          Sum: 202
0.10/0.13	c |                          
0.10/0.13	c =========================================================================================================
0.10/0.13	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.20/0.27	c 101            3477           14012          12798          0              0              2480   2532   2472
0.30/0.38	c 211            5882           25425          28821          0              0              2127   2187   2137
0.50/0.56	c 332            9847           47621          57387          0              0              2333   2397   2341
0.68/0.75	c 465            14049          71815          92229          0              0              1930   2087   1977
0.89/0.96	c 611            19033          93982          134489         0              0              1995   2110   2022
1.19/1.26	c 771            26459          119583         171247         0              0              1944   2028   1986
1.49/1.53	c 947            32279          157032         247192         0              0              1910   1989   1933
1.89/1.95	c 1140           42109          195267         308634         0              0              1631   1718   1684
2.19/2.21	c 1352           46348          232205         380269         0              0              1450   1557   1477
2.49/2.59	c 1585           55582          271971         447721         0              0              1216   1991   1873
2.79/2.88	c 1841           61551          305869         503883         0              0              1383   1768   1562
3.19/3.22	c 2122           68353          345193         580403         0              0              1002   1739   1514
3.49/3.54	c 2431           72200          397890         679917         0              0              585   684   611
4.00/4.05	c 2770           85172          452334         762747         0              0              1328   2166   1945
4.69/4.77	c 3142           100946         511800         854619         0              0              1150   1282   1234
5.19/5.26	c 3551           113676         558257         924679         0              0              1358   2185   2038
6.00/6.07	c 4000           131941         649027         1059570        0              0              1133   2021   1642
6.89/6.93	c 4493           150175         740076         1192273        0              0              594   1813   1470
7.79/7.83	c 5035           172100         821013         1336905        0              0              457   1827   1719
8.59/8.65	c 5631           188577         916914         1553052        0              0              624   1551   1390
9.49/9.52	c 6286           209227         1004777        1677935        0              0              704   2305   1830
10.59/10.69	c 7006           232146         1121657        1878438        0              0              584   2042   981
11.99/12.02	c 7798           265414         1252215        2084407        0              0              566   2223   1850
13.88/13.95	c 8669           304692         1431471        2393038        0              0              485   1987   1020
15.19/15.29	c 9627           332216         1571812        2781264        0              0              1316   1589   1406
17.89/17.91	c 10680          387568         1775292        3103210        0              0              329   909   874
18.89/18.91	c 11838          413314         1879344        3245521        0              0              766   2469   2206
20.69/20.70	c 13111          460158         2083885        3588560        0              0              2145   2294   2223
24.19/24.26	c 14511          538178         2404392        4096848        0              0              920   1060   1020
25.79/25.84	c 16051          585927         2586979        4390330        0              0              827   2487   2364
27.69/27.77	c 17745          644717         2794605        4768957        0              0              2260   2402   2336
31.00/31.03	c 19608          742976         3134134        5346661        0              0              2132   2305   2248
34.49/34.53	c 21657          843067         3510970        6171666        0              0              2025   2200   2124
38.59/38.60	c 23910          942256         3875835        6914397        0              0              1170   1377   1264
43.48/43.55	c 26388          1051255        4314427        7758916        0              0              347   1920   833
47.48/47.52	c 29113          1162652        4733049        8435173        0              0              151   2354   2170
54.58/54.64	c 32110          1332648        5473111        9582361        0              0              185   1595   1528
58.88/58.90	c 35406          1414336        6054525        10662786       0              0              313   1384   1157
62.38/62.45	c 39031          1519170        6469535        11453857       0              0              568   2387   2309
66.58/66.67	c 43018          1639846        6929731        12221360       0              0              966   2269   2155
74.78/74.80	c 47403          1855560        7822617        13930874       0              0              1812   1949   1902
83.18/83.29	c 52226          2063571        8724833        15646253       0              0              1290   1753   1585
92.88/92.90	c 57531          2267094        9928520        18039781       0              0              1119   1234   1194
101.18/101.23	c 63366          2480161        10796764       19353291       0              0              1270   2459   2018
107.68/107.72	c 69784          2678592        11511275       20424640       0              0              1617   2363   2328
115.58/115.68	c 76843          2916662        12363412       21899406       0              0              2014   2321   2233
128.38/128.47	c 84607          3214868        13980954       24914726       0              0              1577   1783   1670
143.68/143.74	c 93147          3632571        15663011       28427003       0              0              813   2097   1995
157.78/157.81	c 102541         3975839        17020901       31096965       0              0              1249   1514   1366
176.99/177.03	c 112874         4435371        18834739       34814996       0              0              1086   1246   1203
198.58/198.67	c 124240         4923995        20748674       38629076       0              0              735   924   857
207.48/207.59	c 136742         5184477        21817878       40265901       0              0              380   2535   2353
221.09/221.19	c 150494         5599476        23474000       43182488       0              0              483   2522   2448
243.48/243.57	c 165621         6274950        25971628       47189092       0              0              705   2460   2327
267.09/267.12	c 182260         6871134        28725076       52274675       0              0              906   1931   1794
320.79/320.89	c 200562         8214348        33219933       60059351       0              0              1125   1389   1309
375.29/375.34	c 220694         9583015        37873958       68015815       0              0              1159   1439   1348
432.29/432.35	c 242839         10958530       42956395       76814039       0              0              1017   1538   1292
464.19/464.21	c 267198         11829621       46418583       82991590       0              0              683   2483   2090
511.49/511.55	c 293992         13122294       51729938       91432040       0              0              1940   2137   2082
556.19/556.29	c 323465         14261456       56282216       100699912      0              0              784   1967   1709
619.20/619.23	c 355885         15597814       64060231       117278017      0              0              1188   1366   1296
692.01/692.04	c 391547         16811364       73358091       135322105      0              0              431   709   521
710.20/710.25	c 430775         17354104       75946648       138968612      0              0              353   2543   2484
762.11/762.16	c 473925         18819902       83512593       148461388      0              0              357   2514   2437
804.40/804.42	c 521390         19945613       88710793       155214486      0              0              357   2544   2293
897.41/897.40	c 573601         22363114       99366717       172877276      0              0              371   2111   2010
960.91/960.95	c 631033         24095219       107604223      184956241      0              0              621   2490   2301
1050.02/1050.01	c 694208         26569244       117721351      201705739      0              0              647   2336   2166
1180.21/1180.23	c 763700         29604709       132104781      228657825      0              0              985   1634   1504
1385.13/1385.14	c 840141         34372506       149966818      258928321      0              0              879   1131   1072
1623.63/1623.67	c 924226         39859764       169495792      290606792      0              0              729   1115   953
1726.83/1726.86	c 1016719        43056166       181876427      313037603      0              0              1645   2517   2468
1871.93/1871.91	c 1118461        47423770       197299148      342480173      0              0              2135   2403   2295
2084.05/2084.08	c 1230377        53242151       218541898      384891788      0              0              1318   2040   1889
2390.45/2390.47	c 1353484        60596905       249034603      449119093      0              0              1177   1519   1374
2520.06/2520.00	
2520.06/2520.00	c *** INTERRUPTED ***
2520.06/2520.00	c restarts              : 76          
2520.06/2520.00	c conflicts             : 1395959      (554 /sec)
2520.06/2520.00	c decisions             : 63579083     (25229 /sec)
2520.06/2520.00	c propagations          : 466817827   (185242 /sec)
2520.06/2520.00	c root propagations     : 0           
2520.06/2520.00	c filter calls          : 259253976      (102877 /sec)
2520.06/2520.00	c useless filter calls  : 235095587      (90 %)
2520.06/2520.00	c Memory used           : 67.22 MB
2520.06/2520.00	c CPU time              : 2520.05 s
2520.06/2520.00	
2520.06/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10672 MiB free)
  memory of node 1: 16384 MiB (12119 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293735-1532325850/watcher-4293735-1532325850 -o /tmp/evaluation-result-4293735-1532325850/solver-4293735-1532325850 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5127 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293735-1532325850.xml 

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

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


[startup+0.100156 s]*
/proc/loadavg: 2.01 2.00 2.03 3/191 8217
/proc/meminfo: memFree=23330160/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=35368 memory=11776 CPUtime=0.1 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 3146 0 0 0 10 0 0 0 20 0 1 0 50148164 36216832 2944 33554432000 4194304 6142532 140722720350368 140722720347016 5336595 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 8842 2944 824 476 0 2164 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35368 KiB
Current children cumulated memory: 11776 KiB

[startup+0.209811 s]*
/proc/loadavg: 2.01 2.00 2.03 3/191 8217
/proc/meminfo: memFree=23321852/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=45892 memory=22336 CPUtime=0.2 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 5778 0 0 0 20 0 0 0 20 0 1 0 50148164 46993408 5584 33554432000 4194304 6142532 140722720350368 140722720347016 5168903 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 11473 5584 862 476 0 4795 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45892 KiB
Current children cumulated memory: 22336 KiB

[startup+0.309742 s]*
/proc/loadavg: 2.01 2.00 2.03 3/191 8217
/proc/meminfo: memFree=23315156/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=50352 memory=26752 CPUtime=0.3 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 6909 0 0 0 30 0 0 0 20 0 1 0 50148164 51560448 6688 33554432000 4194304 6142532 140722720350368 140722720347016 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 12588 6688 862 476 0 5910 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50352 KiB
Current children cumulated memory: 26752 KiB

[startup+0.700291 s]
/proc/loadavg: 2.01 2.00 2.03 3/191 8217
/proc/meminfo: memFree=23306228/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=59672 memory=36252 CPUtime=0.68 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 9232 0 0 0 68 0 0 0 20 0 1 0 50148164 61104128 9063 33554432000 4194304 6142532 140722720350368 140722720347016 5139135 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 14918 9063 864 476 0 8240 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59672 KiB
Current children cumulated memory: 36252 KiB

[startup+1.50029 s]
/proc/loadavg: 2.01 2.00 2.03 3/191 8217
/proc/meminfo: memFree=23305112/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=61560 memory=37836 CPUtime=1.49 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 9672 0 0 0 148 1 0 0 20 0 1 0 50148164 63037440 9459 33554432000 4194304 6142532 140722720350368 140722720347400 5138654 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 15390 9459 864 476 0 8712 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61560 KiB
Current children cumulated memory: 37836 KiB

[startup+3.10934 s]
/proc/loadavg: 2.01 2.00 2.03 3/191 8217
/proc/meminfo: memFree=23303748/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=61700 memory=38312 CPUtime=3.1 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 15172 0 0 0 309 1 0 0 20 0 1 0 50148164 63180800 9578 33554432000 4194304 6142532 140722720350368 140722720347768 5215810 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 15425 9578 864 476 0 8747 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 61700 KiB
Current children cumulated memory: 38312 KiB

[startup+6.30028 s]
/proc/loadavg: 1.93 1.99 2.03 3/191 8217
/proc/meminfo: memFree=23302976/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=62376 memory=38996 CPUtime=6.29 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 21675 0 0 0 628 1 0 0 20 0 1 0 50148164 63873024 9749 33554432000 4194304 6142532 140722720350368 140722720347768 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 15594 9749 864 476 0 8916 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 62376 KiB
Current children cumulated memory: 38996 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 2.03 3/191 8217
/proc/meminfo: memFree=23302108/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=63196 memory=39700 CPUtime=12.68 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 28455 0 0 0 1267 1 0 0 20 0 1 0 50148164 64712704 9925 33554432000 4194304 6142532 140722720350368 140722720347768 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 15799 9925 864 476 0 9121 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 63196 KiB
Current children cumulated memory: 39700 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 2.03 3/191 8217
/proc/meminfo: memFree=23299916/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=65124 memory=41680 CPUtime=25.49 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 40056 0 0 0 2547 2 0 0 20 0 1 0 50148164 66686976 10420 33554432000 4194304 6142532 140722720350368 140722720347400 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 16281 10420 864 476 0 9603 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 65124 KiB
Current children cumulated memory: 41680 KiB

[startup+51.1091 s]
/proc/loadavg: 1.97 1.99 2.03 3/191 8217
/proc/meminfo: memFree=23298212/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=66504 memory=42900 CPUtime=51.09 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 43532 0 0 0 5107 2 0 0 20 0 1 0 50148164 68100096 10725 33554432000 4194304 6142532 140722720350368 140722720347768 5137316 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 16626 10725 864 476 0 9948 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 66504 KiB
Current children cumulated memory: 42900 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.00 2.03 3/190 8218
/proc/meminfo: memFree=23297736/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=66904 memory=43532 CPUtime=102.28 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 44417 0 0 0 10226 2 0 0 20 0 1 0 50148164 68509696 10883 33554432000 4194304 6142532 140722720350368 140722720347768 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 16726 10883 864 476 0 10048 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 66904 KiB
Current children cumulated memory: 43532 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/190 8219
/proc/meminfo: memFree=23297292/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=67040 memory=43680 CPUtime=162.28 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 44607 0 0 0 16226 2 0 0 20 0 1 0 50148164 68648960 10920 33554432000 4194304 6142532 140722720350368 140722720347768 5347481 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 16760 10920 864 476 0 10082 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 67040 KiB
Current children cumulated memory: 43680 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/190 8220
/proc/meminfo: memFree=23297104/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=67456 memory=43960 CPUtime=222.28 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 44836 0 0 0 22226 2 0 0 20 0 1 0 50148164 69074944 10990 33554432000 4194304 6142532 140722720350368 140722720347288 5347481 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 16864 10990 864 476 0 10186 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 67456 KiB
Current children cumulated memory: 43960 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/190 8221
/proc/meminfo: memFree=23296916/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=67588 memory=44192 CPUtime=282.29 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 45023 0 0 0 28227 2 0 0 20 0 1 0 50148164 69210112 11048 33554432000 4194304 6142532 140722720350368 140722720347768 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 16897 11048 864 476 0 10219 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 67588 KiB
Current children cumulated memory: 44192 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/190 8222
/proc/meminfo: memFree=23297132/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=67588 memory=44192 CPUtime=342.29 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 45031 0 0 0 34227 2 0 0 20 0 1 0 50148164 69210112 11048 33554432000 4194304 6142532 140722720350368 140722720347768 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 16897 11048 864 476 0 10219 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 67588 KiB
Current children cumulated memory: 44192 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/191 8231
/proc/meminfo: memFree=23296380/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=67588 memory=44192 CPUtime=402.29 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 45182 0 0 0 40227 2 0 0 20 0 1 0 50148164 69210112 11048 33554432000 4194304 6142532 140722720350368 140722720347768 5138259 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 16897 11048 864 476 0 10219 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 67588 KiB
Current children cumulated memory: 44192 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 8232
/proc/meminfo: memFree=23296552/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=67720 memory=44272 CPUtime=462.29 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 45417 0 0 0 46227 2 0 0 20 0 1 0 50148164 69345280 11068 33554432000 4194304 6142532 140722720350368 140722720347208 5347455 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 16930 11068 864 476 0 10252 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 67720 KiB
Current children cumulated memory: 44272 KiB


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

/proc/8216/statm: 17208 11344 864 476 0 10530 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45376 KiB

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/191 8275
/proc/meminfo: memFree=23296352/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45392 CPUtime=1782.33 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 49121 0 0 0 178231 2 0 0 20 0 1 0 50148164 70483968 11348 33554432000 4194304 6142532 140722720350368 140722720347768 5347460 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11348 864 476 0 10530 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45392 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 8276
/proc/meminfo: memFree=23296132/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45392 CPUtime=1842.33 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 49192 0 0 0 184231 2 0 0 20 0 1 0 50148164 70483968 11348 33554432000 4194304 6142532 140722720350368 140722720347768 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11348 864 476 0 10530 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45392 KiB

[startup+1902.3 s]
/proc/loadavg: 2.49 2.15 2.09 3/191 8278
/proc/meminfo: memFree=23296044/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=1902.34 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 49483 0 0 0 190232 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+1962.3 s]
/proc/loadavg: 2.18 2.12 2.08 3/191 8279
/proc/meminfo: memFree=23296060/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=1962.34 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 49569 0 0 0 196232 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5347477 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2022.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/191 8280
/proc/meminfo: memFree=23295868/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=2022.34 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 49658 0 0 0 202232 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/191 8281
/proc/meminfo: memFree=23295960/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=2082.34 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 49746 0 0 0 208232 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5318987 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/191 8282
/proc/meminfo: memFree=23295904/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=2142.34 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 49992 0 0 0 214232 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2202.3 s]
/proc/loadavg: 2.13 2.09 2.07 3/191 8352
/proc/meminfo: memFree=23298208/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=2202.34 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 50078 0 0 0 220232 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5347481 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2262.3 s]
/proc/loadavg: 2.05 2.07 2.06 3/191 8353
/proc/meminfo: memFree=23297740/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=2262.35 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 50169 0 0 0 226233 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5138416 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/191 8354
/proc/meminfo: memFree=23298292/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=2322.35 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 50259 0 0 0 232233 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/191 8355
/proc/meminfo: memFree=23298368/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=2382.35 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 50346 0 0 0 238233 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5215810 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 8357
/proc/meminfo: memFree=23298368/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=2442.35 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 50586 0 0 0 244233 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5318987 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 8358
/proc/meminfo: memFree=23298288/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=2502.35 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 50692 0 0 0 250233 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5347460 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/191 8358
/proc/meminfo: memFree=23298164/32770624 swapFree=67108860/67108860
[pid=8216] ppid=8213 vsize=68832 memory=45404 CPUtime=2520.06 cores=1,3,5,7
/proc/8216/stat : 8216 (cosoco) R 8213 8216 5095 0 -1 4202496 50792 0 0 0 252004 2 0 0 20 0 1 0 50148164 70483968 11351 33554432000 4194304 6142532 140722720350368 140722720347768 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9682944 140722720351366 140722720351496 140722720351496 140722720354254 0
/proc/8216/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

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

[startup+2520.01 s]
# the end of solver process 8216 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.05 s, system=0.03 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): 2520.08
CPU user time (s): 2520.05
CPU system time (s): 0.03
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 68832
Max. memory (cumulated for all children) (KiB): 45404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.03
maximum resident set size= 45468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50842
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= 33
involuntary context switches= 919


# summary of solver processes directly reported to runsolver:
#   pid: 8216
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2520.05
#   total CPU system time (s): 0.03

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7769 second user time and 14.4019 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-23 08:04:10
IDJOB=4293735
IDBENCH=141230
IDSOLVER=2752
FILE ID=node135/4293735-1532325850
RUNJOBID= node135-1532297735-5127
PBS_JOBID= 21018994
Free space on /tmp= 52932 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-chnl50-51_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293735-1532325850/watcher-4293735-1532325850 -o /tmp/evaluation-result-4293735-1532325850/solver-4293735-1532325850 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5127 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293735-1532325850.xml

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

MD5SUM BENCH= a87da95f210b3c94235cbc017ff62562
RANDOM SEED=1877221993

node135.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:        23338968 kB
MemAvailable:   31934912 kB
Buffers:          187708 kB
Cached:          8596344 kB
SwapCached:            0 kB
Active:          1430820 kB
Inactive:        7412288 kB
Active(anon):       8896 kB
Inactive(anon):    69912 kB
Active(file):    1421924 kB
Inactive(file):  7342376 kB
Unevictable:        7188 kB
Mlocked:            7188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2736 kB
Writeback:             0 kB
AnonPages:         66004 kB
Mapped:            37748 kB
Shmem:             17056 kB
Slab:             288100 kB
SReclaimable:     260104 kB
SUnreclaim:        27996 kB
KernelStack:        3392 kB
PageTables:         5152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     347860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 52928 MiB
End job on node135 at 2018-07-23 08:46:10