Trace number 4298756

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.07 2519.9

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-4298756-1532766848.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.21/0.27	c 101            3477           14012          12798          0              0              2480   2532   2472
0.31/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.69/0.76	c 465            14049          71815          92229          0              0              1930   2087   1977
0.88/0.97	c 611            19033          93982          134489         0              0              1995   2110   2022
1.18/1.26	c 771            26459          119583         171247         0              0              1944   2028   1986
1.49/1.54	c 947            32279          157032         247192         0              0              1910   1989   1933
1.89/1.96	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.55	c 2431           72200          397890         679917         0              0              585   684   611
4.00/4.06	c 2770           85172          452334         762747         0              0              1328   2166   1945
4.69/4.78	c 3142           100946         511800         854619         0              0              1150   1282   1234
5.19/5.27	c 3551           113676         558257         924679         0              0              1358   2185   2038
6.00/6.09	c 4000           131941         649027         1059570        0              0              1133   2021   1642
6.89/6.94	c 4493           150175         740076         1192273        0              0              594   1813   1470
7.79/7.84	c 5035           172100         821013         1336905        0              0              457   1827   1719
8.59/8.67	c 5631           188577         916914         1553052        0              0              624   1551   1390
9.49/9.54	c 6286           209227         1004777        1677935        0              0              704   2305   1830
10.69/10.71	c 7006           232146         1121657        1878438        0              0              584   2042   981
11.99/12.04	c 7798           265414         1252215        2084407        0              0              566   2223   1850
13.89/13.98	c 8669           304692         1431471        2393038        0              0              485   1987   1020
15.29/15.31	c 9627           332216         1571812        2781264        0              0              1316   1589   1406
17.89/17.94	c 10680          387568         1775292        3103210        0              0              329   909   874
18.89/18.94	c 11838          413314         1879344        3245521        0              0              766   2469   2206
20.69/20.74	c 13111          460158         2083885        3588560        0              0              2145   2294   2223
24.39/24.49	c 14511          538178         2404392        4096848        0              0              920   1060   1020
26.10/26.16	c 16051          585927         2586979        4390330        0              0              827   2487   2364
28.19/28.21	c 17745          644717         2794605        4768957        0              0              2260   2402   2336
31.59/31.68	c 19608          742976         3134134        5346661        0              0              2132   2305   2248
35.39/35.40	c 21657          843067         3510970        6171666        0              0              2025   2200   2124
39.69/39.78	c 23910          942256         3875835        6914397        0              0              1170   1377   1264
45.10/45.11	c 26388          1051255        4314427        7758916        0              0              347   1920   833
49.19/49.23	c 29113          1162652        4733049        8435173        0              0              151   2354   2170
56.29/56.37	c 32110          1332648        5473111        9582361        0              0              185   1595   1528
60.59/60.64	c 35406          1414336        6054525        10662786       0              0              313   1384   1157
64.19/64.21	c 39031          1519170        6469535        11453857       0              0              568   2387   2309
68.38/68.45	c 43018          1639846        6929731        12221360       0              0              966   2269   2155
76.58/76.60	c 47403          1855560        7822617        13930874       0              0              1812   1949   1902
85.09/85.11	c 52226          2063571        8724833        15646253       0              0              1290   1753   1585
94.69/94.75	c 57531          2267094        9928520        18039781       0              0              1119   1234   1194
103.10/103.11	c 63366          2480161        10796764       19353291       0              0              1270   2459   2018
109.59/109.62	c 69784          2678592        11511275       20424640       0              0              1617   2363   2328
117.59/117.60	c 76843          2916662        12363412       21899406       0              0              2014   2321   2233
130.39/130.43	c 84607          3214868        13980954       24914726       0              0              1577   1783   1670
145.69/145.75	c 93147          3632571        15663011       28427003       0              0              813   2097   1995
159.79/159.87	c 102541         3975839        17020901       31096965       0              0              1249   1514   1366
179.10/179.14	c 112874         4435371        18834739       34814996       0              0              1086   1246   1203
200.79/200.84	c 124240         4923995        20748674       38629076       0              0              735   924   857
209.69/209.79	c 136742         5184477        21817878       40265901       0              0              380   2535   2353
223.39/223.43	c 150494         5599476        23474000       43182488       0              0              483   2522   2448
245.79/245.88	c 165621         6274950        25971628       47189092       0              0              705   2460   2327
269.50/269.51	c 182260         6871134        28725076       52274675       0              0              906   1931   1794
323.40/323.44	c 200562         8214348        33219933       60059351       0              0              1125   1389   1309
378.01/378.06	c 220694         9583015        37873958       68015815       0              0              1159   1439   1348
435.21/435.24	c 242839         10958530       42956395       76814039       0              0              1017   1538   1292
467.21/467.21	c 267198         11829621       46418583       82991590       0              0              683   2483   2090
514.62/514.69	c 293992         13122294       51729938       91432040       0              0              1940   2137   2082
559.52/559.54	c 323465         14261456       56282216       100699912      0              0              784   1967   1709
622.62/622.63	c 355885         15597814       64060231       117278017      0              0              1188   1366   1296
695.63/695.69	c 391547         16811364       73358091       135322105      0              0              431   709   521
713.93/713.94	c 430775         17354104       75946648       138968612      0              0              353   2543   2484
765.93/765.98	c 473925         18819902       83512593       148461388      0              0              357   2514   2437
808.34/808.37	c 521390         19945613       88710793       155214486      0              0              357   2544   2293
901.64/901.64	c 573601         22363114       99366717       172877276      0              0              371   2111   2010
965.35/965.39	c 631033         24095219       107604223      184956241      0              0              621   2490   2301
1054.76/1054.74	c 694208         26569244       117721351      201705739      0              0              647   2336   2166
1185.37/1185.38	c 763700         29604709       132104781      228657825      0              0              985   1634   1504
1390.88/1390.88	c 840141         34372506       149966818      258928321      0              0              879   1131   1072
1630.21/1630.15	c 924226         39859764       169495792      290606792      0              0              729   1115   953
1733.71/1733.65	c 1016719        43056166       181876427      313037603      0              0              1645   2517   2468
1879.23/1879.13	c 1118461        47423770       197299148      342480173      0              0              2135   2403   2295
2092.04/2091.93	c 1230377        53242151       218541898      384891788      0              0              1318   2040   1889
2399.36/2399.26	c 1353484        60596905       249034603      449119093      0              0              1177   1519   1374
2520.06/2519.90	
2520.06/2519.90	c *** INTERRUPTED ***
2520.06/2519.90	c restarts              : 76          
2520.06/2519.90	c conflicts             : 1392809      (553 /sec)
2520.06/2519.90	c decisions             : 63366162     (25145 /sec)
2520.06/2519.90	c propagations          : 465534253   (184734 /sec)
2520.06/2519.90	c root propagations     : 0           
2520.06/2519.90	c filter calls          : 258524277      (102588 /sec)
2520.06/2519.90	c useless filter calls  : 234421077      (90 %)
2520.06/2519.90	c Memory used           : 67.22 MB
2520.06/2519.90	c CPU time              : 2520.02 s
2520.06/2519.90	
2520.06/2519.90	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 (13170 MiB free)
  memory of node 1: 16384 MiB (13610 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298756-1532766848/watcher-4298756-1532766848 -o /tmp/evaluation-result-4298756-1532766848/solver-4298756-1532766848 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532740685-23501 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298756-1532766848.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=26702, runsolver pid=26699

[startup+0.100204 s]*
/proc/loadavg: 2.00 2.02 2.05 3/193 26703
/proc/meminfo: memFree=27415116/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=35368 memory=11780 CPUtime=0.1 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 3145 0 0 0 10 0 0 0 20 0 1 0 94247961 36216832 2945 33554432000 4194304 6142532 140725381592992 140725381590296 5336586 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 8842 2945 824 476 0 2164 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35368 KiB
Current children cumulated memory: 11780 KiB

[startup+0.210146 s]*
/proc/loadavg: 2.00 2.02 2.05 3/193 26703
/proc/meminfo: memFree=27406608/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=46028 memory=22604 CPUtime=0.21 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 5810 0 0 0 20 1 0 0 20 0 1 0 94247961 47132672 5651 33554432000 4194304 6142532 140725381592992 140725381590296 5168903 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 11507 5651 862 476 0 4829 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22604 KiB

[startup+0.309899 s]*
/proc/loadavg: 2.00 2.02 2.05 3/193 26703
/proc/meminfo: memFree=27399912/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=50352 memory=26752 CPUtime=0.31 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 6907 0 0 0 30 1 0 0 20 0 1 0 94247961 51560448 6688 33554432000 4194304 6142532 140725381592992 140725381590296 5347477 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 12588 6688 862 476 0 5910 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50352 KiB
Current children cumulated memory: 26752 KiB

[startup+0.700355 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 26703
/proc/meminfo: memFree=27391232/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=59672 memory=36252 CPUtime=0.69 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 9230 0 0 0 68 1 0 0 20 0 1 0 94247961 61104128 9063 33554432000 4194304 6142532 140725381592992 140725381590024 5137443 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 14918 9063 864 476 0 8240 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59672 KiB
Current children cumulated memory: 36252 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 26703
/proc/meminfo: memFree=27389620/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=61560 memory=37836 CPUtime=1.49 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 9670 0 0 0 147 2 0 0 20 0 1 0 94247961 63037440 9459 33554432000 4194304 6142532 140725381592992 140725381590024 5215658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/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.10966 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 26703
/proc/meminfo: memFree=27388632/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=61700 memory=38312 CPUtime=3.1 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 15169 0 0 0 308 2 0 0 20 0 1 0 94247961 63180800 9578 33554432000 4194304 6142532 140725381592992 140725381590024 5345584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/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.30033 s]
/proc/loadavg: 1.92 2.01 2.04 3/193 26703
/proc/meminfo: memFree=27388004/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=62376 memory=38996 CPUtime=6.29 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 21665 0 0 0 627 2 0 0 20 0 1 0 94247961 63873024 9749 33554432000 4194304 6142532 140725381592992 140725381590392 5347460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/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 2.01 2.04 3/193 26703
/proc/meminfo: memFree=27387368/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=63196 memory=39700 CPUtime=12.69 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 28429 0 0 0 1267 2 0 0 20 0 1 0 94247961 64712704 9925 33554432000 4194304 6142532 140725381592992 140725381590392 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 15799 9925 864 476 0 9121 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 63196 KiB
Current children cumulated memory: 39700 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 3/193 26703
/proc/meminfo: memFree=27385748/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=65124 memory=41596 CPUtime=25.49 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 40887 0 0 0 2546 3 0 0 20 0 1 0 94247961 66686976 10399 33554432000 4194304 6142532 140725381592992 140725381590392 5138448 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 16281 10399 864 476 0 9603 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 65124 KiB
Current children cumulated memory: 41596 KiB

[startup+51.1095 s]
/proc/loadavg: 1.96 2.01 2.04 3/193 26703
/proc/meminfo: memFree=27383404/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=66504 memory=43008 CPUtime=51.1 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 49385 0 0 0 5106 4 0 0 20 0 1 0 94247961 68100096 10752 33554432000 4194304 6142532 140725381592992 140725381589912 5347460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 16626 10752 864 476 0 9948 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 66504 KiB
Current children cumulated memory: 43008 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/190 26705
/proc/meminfo: memFree=27384484/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=66904 memory=43480 CPUtime=102.29 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 50090 0 0 0 10225 4 0 0 20 0 1 0 94247961 68509696 10870 33554432000 4194304 6142532 140725381592992 140725381590024 5138432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 16726 10870 864 476 0 10048 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 66904 KiB
Current children cumulated memory: 43480 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/191 26707
/proc/meminfo: memFree=27383184/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=67040 memory=43688 CPUtime=162.29 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 50557 0 0 0 16225 4 0 0 20 0 1 0 94247961 68648960 10922 33554432000 4194304 6142532 140725381592992 140725381590392 5138432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 16760 10922 864 476 0 10082 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 67040 KiB
Current children cumulated memory: 43688 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26709
/proc/meminfo: memFree=27382728/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=67456 memory=44032 CPUtime=222.29 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 50819 0 0 0 22225 4 0 0 20 0 1 0 94247961 69074944 11008 33554432000 4194304 6142532 140725381592992 140725381589912 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 16864 11008 864 476 0 10186 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 67456 KiB
Current children cumulated memory: 44032 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26710
/proc/meminfo: memFree=27382384/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=67588 memory=44032 CPUtime=282.3 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 50845 0 0 0 28226 4 0 0 20 0 1 0 94247961 69210112 11008 33554432000 4194304 6142532 140725381592992 140725381590392 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 16897 11008 864 476 0 10219 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 67588 KiB
Current children cumulated memory: 44032 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26711
/proc/meminfo: memFree=27382608/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=67588 memory=44196 CPUtime=342.3 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 50983 0 0 0 34226 4 0 0 20 0 1 0 94247961 69210112 11049 33554432000 4194304 6142532 140725381592992 140725381590392 5347492 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 16897 11049 864 476 0 10219 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 67588 KiB
Current children cumulated memory: 44196 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/193 26720
/proc/meminfo: memFree=27382384/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=67588 memory=44196 CPUtime=402.31 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 51012 0 0 0 40227 4 0 0 20 0 1 0 94247961 69210112 11049 33554432000 4194304 6142532 140725381592992 140725381590392 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 16897 11049 864 476 0 10219 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 67588 KiB
Current children cumulated memory: 44196 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/193 26721
/proc/meminfo: memFree=27381752/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=67720 memory=44196 CPUtime=462.31 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 51250 0 0 0 46227 4 0 0 20 0 1 0 94247961 69345280 11049 33554432000 4194304 6142532 140725381592992 140725381589832 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 16930 11049 864 476 0 10252 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 67720 KiB
Current children cumulated memory: 44196 KiB


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

/proc/26702/statm: 17208 11348 864 476 0 10530 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45392 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 26849
/proc/meminfo: memFree=27448324/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45400 CPUtime=1842.42 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 53703 0 0 0 184237 5 0 0 20 0 1 0 94247961 70483968 11350 33554432000 4194304 6142532 140725381592992 140725381590392 5318912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11350 864 476 0 10530 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45400 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 26850
/proc/meminfo: memFree=27448548/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=1902.42 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54001 0 0 0 190237 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5347460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26851
/proc/meminfo: memFree=27448404/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=1962.43 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54002 0 0 0 196238 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5138256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26853
/proc/meminfo: memFree=27448556/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2022.43 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54100 0 0 0 202238 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5347460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26854
/proc/meminfo: memFree=27448300/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2082.44 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54100 0 0 0 208239 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5347481 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26855
/proc/meminfo: memFree=27448904/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2142.44 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54353 0 0 0 214239 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 26864
/proc/meminfo: memFree=27448364/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2202.44 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54354 0 0 0 220239 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5345584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 26865
/proc/meminfo: memFree=27448492/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2262.45 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54450 0 0 0 226240 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2322.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/191 26866
/proc/meminfo: memFree=27448476/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2322.45 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54452 0 0 0 232240 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5138049 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2382.3 s]
/proc/loadavg: 2.25 2.13 2.09 3/192 26868
/proc/meminfo: memFree=27448600/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2382.46 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54548 0 0 0 238241 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5347481 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2442.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/192 26869
/proc/meminfo: memFree=27448800/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2442.46 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54677 0 0 0 244241 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5319096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/191 26870
/proc/meminfo: memFree=27448744/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2502.46 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54790 0 0 0 250241 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5347440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/statm: 17208 11351 864 476 0 10530 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 68832 KiB
Current children cumulated memory: 45404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.03 2.08 2.07 3/191 26870
/proc/meminfo: memFree=27448868/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2520.06 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54791 0 0 0 252001 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5347460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/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+2519.9 s]
# the end of solver process 26702 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.02 s, system=0.053003 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2519.9 s]
/proc/loadavg: 2.03 2.08 2.07 3/191 26870
/proc/meminfo: memFree=27448868/32770624 swapFree=67108856/67108860
[pid=26702] ppid=26699 vsize=68832 memory=45404 CPUtime=2520.06 cores=0,2,4,6
/proc/26702/stat : 26702 (cosoco) R 26699 26702 23470 0 -1 4202496 54791 0 0 0 252001 5 0 0 20 0 1 0 94247961 70483968 11351 33554432000 4194304 6142532 140725381592992 140725381590392 5347460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24088576 140725381596294 140725381596424 140725381596424 140725381599182 0
/proc/26702/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

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2520.02
CPU system time (s): 0.053003
CPU usage (%): 100.007
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.02
system time used= 0.053003
maximum resident set size= 45468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54841
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= 693


# summary of solver processes directly reported to runsolver:
#   pid: 26702
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.02
#   total CPU system time (s): 0.053003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.39589 second user time and 16.4582 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 10:34:08
IDJOB=4298756
IDBENCH=141230
IDSOLVER=2761
FILE ID=node133/4298756-1532766848
RUNJOBID= node133-1532740685-23501
PBS_JOBID= 21022445
Free space on /tmp= 48248 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-4298756-1532766848/watcher-4298756-1532766848 -o /tmp/evaluation-result-4298756-1532766848/solver-4298756-1532766848 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532740685-23501 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4298756-1532766848.xml

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

MD5SUM BENCH= a87da95f210b3c94235cbc017ff62562
RANDOM SEED=2100230903

node133.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.24
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.24
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.24
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.24
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:        27424104 kB
MemAvailable:   31879456 kB
Buffers:          174884 kB
Cached:          4528664 kB
SwapCached:            0 kB
Active:          2205176 kB
Inactive:        2621236 kB
Active(anon):      74080 kB
Inactive(anon):    76688 kB
Active(file):    2131096 kB
Inactive(file):  2544548 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:              2760 kB
Writeback:             0 kB
AnonPages:        130348 kB
Mapped:            42388 kB
Shmem:             25244 kB
Slab:             218712 kB
SReclaimable:     191084 kB
SUnreclaim:        27628 kB
KernelStack:        3440 kB
PageTables:         4996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     422596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48244 MiB
End job on node133 at 2018-07-28 11:16:08