Trace number 4396872

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 2.0? (TO) 2519.72 2520.01

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-pigeon/
Pb-pigeon-clau-015-010.xml
MD5SUMb45d1707d0c27f8ab51c2199585eb6c5
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark92.8113
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints1065
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree15
Maximum variable degree15
Distribution of variable degrees[{"degree":15,"count":150}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":1050},{"arity":10,"count":15}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1065}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.08	c root propagations     : 0           
0.00/0.08	c restarts enabled, print stats at every restarts
0.00/0.08	c
0.00/0.08	c
0.00/0.08	c
0.00/0.08	c This is cosoco 2.00 --  
0.00/0.08	c
0.00/0.08	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396872-1568589677.xml 
0.00/0.08	c ========================================[ Problem Statistics ]===========================================
0.00/0.08	c |                                                                                                       
0.00/0.08	c |  Parse time        :         0.07 s 
0.00/0.08	c |
0.00/0.08	c |               Variables: 150
0.00/0.08	c |            Domain Sizes: 2..2
0.00/0.08	c |
0.00/0.08	c |             Constraints: 1065
0.00/0.08	c |                   Arity: 2..10  -- Binary: 1050
0.00/0.08	c | 
0.00/0.08	c |                   Types: 
0.00/0.08	c |                          Sum: 1065
0.00/0.08	c |                          
0.00/0.08	c =========================================================================================================
0.00/0.08	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.08	c 101            974            56955          9046           0              0              101   130   114
0.00/0.09	c 211            2305           111155         18895          0              0              67   99   83   
0.00/0.10	c 332            3710           189153         32613          0              0              83   105   93  
0.10/0.11	c 465            5184           260373         44069          0              0              85   119   100 
0.10/0.12	c 611            6504           323028         54730          0              0              86   111   101 
0.10/0.13	c 771            8512           413337         70924          0              0              75   106   96  
0.10/0.15	c 947            10464          523624         89794          0              0              80   110   95  
0.10/0.16	c 1140           12320          611802         106400         0              0              85   105   96  
0.10/0.17	c 1352           14497          725982         124949         0              0              88   108   100 
0.10/0.19	c 1585           16807          831905         144623         0              0              85   107   99  
0.10/0.21	c 1841           20053          1018207        175784         0              0              71   107   91  
0.20/0.23	c 2122           22944          1169894        201450         0              0              82   109   97  
0.20/0.25	c 2431           25907          1347123        230854         0              0              78   107   99  
0.20/0.27	c 2770           29059          1518291        260834         0              0              84   107   96  
0.20/0.30	c 3142           33408          1738036        304293         0              0              67   108   88  
0.30/0.34	c 3551           38423          2020847        349775         0              0              71   103   93  
0.30/0.36	c 4000           42955          2239926        389990         0              0              77   105   97  
0.30/0.40	c 4493           48665          2532786        441566         0              0              71   104   92  
0.40/0.44	c 5035           54384          2826210        493934         0              0              78   107   98  
0.40/0.49	c 5631           62273          3241669        572439         0              0              57   101   88  
0.50/0.54	c 6286           68922          3592697        633473         0              0              68   108   97  
0.50/0.60	c 7006           78112          4064432        726453         0              0              58   105   91  
0.59/0.67	c 7798           87985          4619508        820847         0              0              72   109   94  
0.69/0.74	c 8669           97764          5157476        917914         0              0              71   108   91  
0.79/0.82	c 9627           109710         5813469        1036798        0              0              54   106   87  
0.79/0.89	c 10680          120785         6360547        1147504        0              0              74   104   92  
0.89/0.97	c 11838          131765         6972215        1255773        0              0              79   107   96  
0.99/1.08	c 13111          147000         7867318        1407466        0              0              57   106   90  
1.19/1.20	c 14511          164754         8798568        1565912        0              0              57   106   91  
1.29/1.30	c 16051          180668         9592494        1715650        0              0              68   108   95  
1.39/1.43	c 17745          199352         10635692       1899340        0              0              68   108   94  
1.49/1.56	c 19608          218702         11673226       2082411        0              0              75   108   96  
1.69/1.73	c 21657          240935         12981696       2305081        0              0              61   108   96  
1.79/1.89	c 23910          266206         14308075       2541851        0              0              63   109   95  
1.99/2.05	c 26388          288374         15540502       2773655        0              0              72   109   95  
2.19/2.26	c 29113          318444         17199691       3063820        0              0              63   108   94  
2.49/2.50	c 32110          352150         19145731       3400507        0              0              60   108   94  
2.69/2.79	c 35406          392780         21458431       3808904        0              0              59   107   90  
2.99/3.10	c 39031          433594         23886212       4231836        0              0              63   106   89  
3.39/3.49	c 43018          483652         27028108       4763060        0              0              56   105   90  
3.79/3.80	c 47403          527458         29473759       5239337        0              0              62   106   91  
4.09/4.19	c 52226          578621         32552566       5795186        0              0              59   105   91  
4.58/4.63	c 57531          641223         36074728       6445518        0              0              56   105   90  
5.09/5.18	c 63366          709996         40388588       7189898        0              0              62   103   88  
5.58/5.69	c 69784          784683         44339744       7974212        0              0              57   103   87  
6.18/6.21	c 76843          860652         48482711       8734468        0              0              65   106   91  
6.68/6.75	c 84607          936828         52733087       9517680        0              0              47   106   94  
7.48/7.53	c 93147          1042960        58806461       10648222       0              0              55   104   87  
8.28/8.38	c 102541         1162271        65544518       11824545       0              0              34   104   88  
9.09/9.19	c 112874         1269376        71965873       13008328       0              0              59   103   87  
10.18/10.23	c 124240         1412946        80173955       14507193       0              0              49   105   88  
11.18/11.27	c 136742         1567730        88282563       15928193       0              0              51   106   92  
12.38/12.47	c 150494         1745500        97725761       17564489       0              0              38   105   89  
13.78/13.82	c 165621         1913509        108516164      19496956       0              0              48   107   89  
15.28/15.32	c 182260         2105443        120479458      21626397       0              0              47   109   87  
16.88/16.90	c 200562         2314959        132992721      23829371       0              0              42   102   87  
18.68/18.74	c 220694         2555192        147457375      26410262       0              0              50   103   88  
20.78/20.84	c 242839         2808990        164151470      29303098       0              0              37   102   83  
22.99/23.09	c 267198         3089989        181822530      32457866       0              0              41   111   89  
25.68/25.75	c 293992         3413531        202875244      35900190       0              0              58   113   96  
28.78/28.87	c 323465         3799087        227544263      40072490       0              0              47   113   94  
31.78/31.87	c 355885         4216499        250885639      44401877       0              0              45   113   94  
34.58/34.60	c 391547         4598207        272365506      48440682       0              0              50   113   91  
38.09/38.19	c 430775         5095691        300800784      53382655       0              0              36   113   90  
42.18/42.20	c 473925         5639379        332292221      59004368       0              0              45   113   88  
46.18/46.20	c 521390         6213577        363740816      64704141       0              0              46   113   91  
50.99/51.08	c 573601         6867449        401866484      71517542       0              0              46   106   88  
56.38/56.47	c 631033         7584668        443983864      79278994       0              0              38   113   89  
61.88/62.00	c 694208         8279876        487616481      87089317       0              0              46   105   88  
68.78/68.83	c 763700         9134415        541725823      96393086       0              0              45   110   89  
75.88/75.91	c 840141         10106249       597118409      106265189      0              0              43   113   93  
83.27/83.38	c 924226         11133253       656106226      117010587      0              0              56   113   93  
91.47/91.55	c 1016719        12232598       720351902      128693869      0              0              30   113   89  
101.08/101.11	c 1118461        13491445       795182065      142559472      0              0              37   113   91  
112.17/112.27	c 1230377        14931686       883562511      157602717      0              0              41   113   95  
125.08/125.18	c 1353484        16617961       985396986      174949097      0              0              49   113   94  
138.77/138.84	c 1488901        18396425       1093307433     193398043      0              0              41   113   95  
151.17/151.20	c 1637859        20095654       1190428429     211840196      0              0              51   113   89  
165.16/165.25	c 1801712        21920554       1301416976     231766351      0              0              49   105   90  
181.76/181.84	c 1981950        23970843       1432147619     255304488      0              0              36   113   89  
199.76/199.87	c 2180211        26391969       1575710326     280257752      0              0              40   105   91  
220.66/220.73	c 2398298        29033997       1739537661     309622319      0              0              33   105   89  
242.45/242.56	c 2638193        31807327       1911905521     340217828      0              0              39   105   88  
266.75/266.80	c 2902077        34922073       2103242463     374264599      0              0              29   105   89  
292.45/292.59	c 3192349        38253282       2307750626     410094363      0              0              41   105   89  
321.44/321.56	c 3511648        41771588       2538479571     450874303      0              0              42   104   87  
351.05/351.16	c 3862876        45767963       2769197737     494573039      0              0              35   105   89  
384.14/384.23	c 4249226        49827470       3031055891     544604089      0              0              37   105   87  
421.23/421.38	c 4674211        54765324       3324388371     598339053      0              0              35   113   89  
462.12/462.25	c 5141694        60262964       3646618303     656814984      0              0              33   113   93  
505.62/505.70	c 5655925        65977466       3992023519     718762861      0              0              40   113   91  
559.11/559.20	c 6221579        72976241       4411163460     793709594      0              0              40   113   89  
624.01/624.11	c 6843798        80857086       4924937931     882185524      0              0              43   113   93  
691.49/691.68	c 7528238        89264489       5460549820     975135930      0              0              26   113   92  
759.68/759.85	c 8281122        98350281       5995005924     1073874192     1              0              13   111   89  
834.27/834.49	c 9109294        108223974      6587413979     1179328800     2              0              34   105   88  
918.26/918.42	c 10020283       118945362      7251023795     1299945090     3              0              31   105   88  
1011.04/1011.28	c 11022370       130382767      7987018617     1429467933     3              0              28   105   88  
1107.13/1107.39	c 12124665       142940638      8745945678     1568362772     3              0              25   106   88  
1216.92/1217.11	c 13337189       156945629      9614753903     1722667203     4              0              30   106   88  
1336.39/1336.69	c 14670965       172464509      10559929179    1894011762     5              0              36   109   89  
1476.78/1477.04	c 16138118       189619229      11674131798    2092906968     5              0              26   106   89  
1632.75/1633.06	c 17751986       207794171      12912968281    2310892618     5              0              28   112   88  
1806.42/1806.77	c 19527240       229799161      14289526272    2552575884     5              0              31   113   93  
1986.29/1986.64	c 21480019       252062540      15718196222    2808309456     6              0              24   113   90  
2193.39/2193.71	c 23628075       277730238      17357534458    3096120528     6              0              37   113   92  
2417.71/2418.07	c 25990936       306250502      19131992818    3409849160     6              0              25   113   92  
2519.71/2520.00	
2519.71/2520.00	c *** INTERRUPTED ***
2519.71/2520.00	c restarts              : 107         
2519.71/2520.00	c conflicts             : 27066732     (10742 /sec)
2519.71/2520.00	c decisions             : 319345212    (126739 /sec)
2519.71/2520.00	c propagations          : 3551637700  (1409540 /sec)
2519.71/2520.00	c root propagations     : 0           
2519.71/2520.00	c filter calls          : 19935958895    (7911993 /sec)
2519.71/2520.00	c useless filter calls  : 16966523721    (85 %)
2519.71/2520.00	c Memory used           : 27.86 MB
2519.71/2520.00	c CPU time              : 2519.71 s
2519.71/2520.00	c real time             : 2520 s
2519.71/2520.00	
2519.71/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 (15030 MiB free)
  memory of node 1: 16384 MiB (13419 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396872-1568589677/watcher-4396872-1568589677 -o /tmp/evaluation-result-4396872-1568589677/solver-4396872-1568589677 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568572742-17154 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396872-1568589677.xml 

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

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

solver pid=20200, runsolver pid=20197

[startup+0.100966 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 20201
/proc/meminfo: memFree=29131716/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=4912 CPUtime=0.1 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 1451 0 0 0 10 0 0 0 20 0 1 0 434904237 29204480 1228 33554432000 4194304 6211092 140730928360800 140730928358760 140393867230304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1228 837 493 0 435 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 4912 KiB

[startup+0.209554 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 20201
/proc/meminfo: memFree=29131716/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=4912 CPUtime=0.2 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 1451 0 0 0 20 0 0 0 20 0 1 0 434904237 29204480 1228 33554432000 4194304 6211092 140730928360800 140730928358760 5155817 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1228 837 493 0 435 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 4912 KiB

[startup+0.308943 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 20201
/proc/meminfo: memFree=29131716/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=4912 CPUtime=0.3 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 1451 0 0 0 30 0 0 0 20 0 1 0 434904237 29204480 1228 33554432000 4194304 6211092 140730928360800 140730928358760 5155341 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1228 837 493 0 435 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 4912 KiB

[startup+0.70028 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20201
/proc/meminfo: memFree=29131296/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=4912 CPUtime=0.69 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 1451 0 0 0 69 0 0 0 20 0 1 0 434904237 29204480 1228 33554432000 4194304 6211092 140730928360800 140730928358760 5008816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1228 837 493 0 435 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 4912 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20201
/proc/meminfo: memFree=29131296/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=4912 CPUtime=1.49 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 1451 0 0 0 149 0 0 0 20 0 1 0 434904237 29204480 1228 33554432000 4194304 6211092 140730928360800 140730928358760 5156232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1228 837 493 0 435 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 4912 KiB

[startup+3.10909 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20201
/proc/meminfo: memFree=29131172/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=3.09 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 1801 0 0 0 309 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5250467 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20201
/proc/meminfo: memFree=29131176/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=6.28 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 2151 0 0 0 628 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5397352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20201
/proc/meminfo: memFree=29131144/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=12.68 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 2501 0 0 0 1268 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5156144 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20204
/proc/meminfo: memFree=29131240/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=25.48 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 3201 0 0 0 2548 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5156256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20204
/proc/meminfo: memFree=29130684/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=51.09 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 3551 0 0 0 5109 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5155957 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 20209
/proc/meminfo: memFree=29131768/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=102.27 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 3901 0 0 0 10227 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 20215
/proc/meminfo: memFree=29131176/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=162.26 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 4251 0 0 0 16226 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5250284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 20219
/proc/meminfo: memFree=29130744/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=222.26 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 4601 0 0 0 22226 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5156911 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20224
/proc/meminfo: memFree=29131420/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=282.25 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 4951 0 0 0 28225 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5250251 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/200 20230
/proc/meminfo: memFree=29130840/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=342.24 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 5301 0 0 0 34224 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5156232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+402.3 s]
/proc/loadavg: 2.10 2.05 2.06 3/199 20234
/proc/meminfo: memFree=29130904/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=402.23 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 5651 0 0 0 40223 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5390084 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+462.3 s]
/proc/loadavg: 2.12 2.07 2.06 3/199 20239
/proc/meminfo: memFree=29130836/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=462.22 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 6001 0 0 0 46222 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5156256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB


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

/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 20429
/proc/meminfo: memFree=29491100/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=1782.02 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 13584 0 0 0 178202 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5157223 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 1782.02 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20433
/proc/meminfo: memFree=29491720/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=1842.01 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 13934 0 0 0 184201 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5250224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 1842.01 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20437
/proc/meminfo: memFree=29491908/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=1902 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 14271 0 0 0 190200 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5155796 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 1902 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20443
/proc/meminfo: memFree=29491480/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=1961.99 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 14608 0 0 0 196199 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5155216 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 1961.99 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+2022.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/200 20447
/proc/meminfo: memFree=29491688/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=2021.99 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 14958 0 0 0 202199 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5156456 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 2021.99 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+2082.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/199 20452
/proc/meminfo: memFree=29491472/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=2081.99 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 15295 0 0 0 208199 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5391828 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 2081.99 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+2142.3 s]
/proc/loadavg: 1.99 2.00 2.04 4/199 20458
/proc/meminfo: memFree=29491976/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=2141.99 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 15632 0 0 0 214199 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5155829 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 2141.99 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 20462
/proc/meminfo: memFree=29492044/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=2201.99 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 15982 0 0 0 220199 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5155750 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 2201.99 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 20467
/proc/meminfo: memFree=29491496/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=2262 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 16319 0 0 0 226200 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5155817 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 2262 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 20473
/proc/meminfo: memFree=29491360/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=2322 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 16656 0 0 0 232200 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5250298 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 2322 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/200 20485
/proc/meminfo: memFree=29491420/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=2382 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 16993 0 0 0 238200 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5250467 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 2382 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/201 20515
/proc/meminfo: memFree=29490764/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=2442 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 17343 0 0 0 244200 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5155350 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 2442 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/201 20521
/proc/meminfo: memFree=29490560/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=2502 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 17680 0 0 0 250200 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5409461 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 2502 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 20521
/proc/meminfo: memFree=29490780/32770624 swapFree=66958308/67108860
[pid=20200] ppid=20197 vsize=28520 memory=5156 CPUtime=2519.71 cores=1,3,5,7
/proc/20200/stat : 20200 (cosoco) R 20197 20200 17122 0 -1 4202496 17991 0 0 0 251971 0 0 0 20 0 1 0 434904237 29204480 1289 33554432000 4194304 6211092 140730928360800 140730928358760 5396404 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 27725824 140730928362507 140730928362609 140730928362609 140730928365518 0
/proc/20200/statm: 7130 1289 875 493 0 435 0
Current children cumulated CPU time: 2519.71 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 5156 KiB

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

[startup+2520.01 s]
# the end of solver process 20200 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.71 s, system=0.007999 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.72
CPU user time (s): 2519.71
CPU system time (s): 0.007999
CPU usage (%): 99.9886
Max. virtual memory (cumulated for all children) (KiB): 28520
Max. memory (cumulated for all children) (KiB): 5156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.71
system time used= 0.007999
maximum resident set size= 5220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18040
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 1638


# summary of solver processes directly reported to runsolver:
#   pid: 20200
#   total CPU time (s): 2519.72
#   total CPU user time (s): 2519.71
#   total CPU system time (s): 0.007999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.10162 second user time and 15.8713 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-16 01:20:36
IDJOB=4396872
IDBENCH=135540
IDSOLVER=2848
FILE ID=node145/4396872-1568589677
RUNJOBID= node145-1568572742-17154
PBS_JOBID= 21703312
Free space on /tmp= 59528 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-clau-015-010.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396872-1568589677/watcher-4396872-1568589677 -o /tmp/evaluation-result-4396872-1568589677/solver-4396872-1568589677 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568572742-17154 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396872-1568589677.xml

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

MD5SUM BENCH= b45d1707d0c27f8ab51c2199585eb6c5
RANDOM SEED=163220726

node145.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.59
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.59
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.59
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.59
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:        29133372 kB
MemAvailable:   31489952 kB
Buffers:          157832 kB
Cached:          2490792 kB
SwapCached:        41084 kB
Active:          1631980 kB
Inactive:        1423116 kB
Active(anon):     370228 kB
Inactive(anon):    85468 kB
Active(file):    1261752 kB
Inactive(file):  1337648 kB
Unevictable:      110680 kB
Mlocked:          110680 kB
SwapTotal:      67108860 kB
SwapFree:       66958308 kB
Dirty:              2764 kB
Writeback:             0 kB
AnonPages:        476560 kB
Mapped:            48760 kB
Shmem:             40604 kB
Slab:             174588 kB
SReclaimable:     146028 kB
SUnreclaim:        28560 kB
KernelStack:        3568 kB
PageTables:         6424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     899044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    430080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59528 MiB
End job on node145 at 2019-09-16 02:02:36