Trace number 4408099

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

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-armies/
Pb-army13-24ls.xml
MD5SUM0f005dd489acd3d024429b7d4f1ec9d6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark34.6669
Satisfiable
(Un)Satisfiability was proved
Number of variables490
Number of constraints737
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":490}]
Minimum variable degree3
Maximum variable degree15
Distribution of variable degrees[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":346},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":8},{"degree":15,"count":56}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":253},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":346},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":8},{"arity":13,"count":8},{"arity":14,"count":56},{"arity":169,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":737}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c root propagations     : 0           
0.00/0.07	c restarts enabled, print stats at every restarts
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c This is cosoco 2.00 --  
0.00/0.07	c
0.00/0.07	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408099-1569803795.xml 
0.00/0.07	c ========================================[ Problem Statistics ]===========================================
0.00/0.07	c |                                                                                                       
0.00/0.07	c |  Parse time        :         0.06 s 
0.00/0.07	c |
0.00/0.07	c |               Variables: 490
0.00/0.07	c |            Domain Sizes: 2..2
0.00/0.07	c |
0.00/0.07	c |             Constraints: 737
0.00/0.07	c |                   Arity: 2..169  -- Binary: 253  -- Ternary: 8
0.00/0.07	c | 
0.00/0.07	c |                   Types: 
0.00/0.07	c |                          Sum: 737
0.00/0.07	c |                          
0.00/0.07	c =========================================================================================================
0.00/0.07	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.11	c 101            1366           60417          16376          0              0              319   350   334
0.10/0.17	c 211            3292           144808         38059          0              0              206   299   284
0.21/0.24	c 332            5513           254083         64609          0              0              159   305   288
0.21/0.31	c 465            7917           357301         89563          0              0              157   307   290
0.31/0.41	c 611            11210          494409         123825         0              0              155   306   287
0.51/0.52	c 771            14814          650840         163615         0              0              162   306   289
0.60/0.61	c 947            18087          783580         197979         0              0              216   307   293
0.60/0.66	c 1140           19854          863439         219169         0              0              286   305   297
0.69/0.73	c 1352           21955          957627         245143         0              0              277   303   296
0.79/0.80	c 1585           24321          1076930        277481         0              0              280   303   296
0.89/0.90	c 1841           27763          1229807        316933         0              0              249   306   297
0.89/0.99	c 2122           30961          1362415        352228         0              0              255   304   295
1.10/1.11	c 2431           34574          1544866        401314         0              0              209   306   296
1.19/1.23	c 2770           38333          1722480        449269         0              0              247   303   293
1.29/1.35	c 3142           42039          1923200        504950         0              0              265   300   291
1.49/1.50	c 3551           46667          2145315        564279         0              0              244   302   293
1.59/1.64	c 4000           51368          2353732        621291         0              0              270   306   296
1.69/1.78	c 4493           56027          2578922        679642         0              0              197   306   297
1.89/1.94	c 5035           61043          2825669        744836         0              0              265   307   298
2.10/2.15	c 5631           68518          3146727        828741         0              0              233   305   296
2.29/2.37	c 6286           75558          3494092        922421         0              0              231   307   297
2.59/2.62	c 7006           83662          3892046        1026403        0              0              250   306   296
2.79/2.85	c 7798           90749          4264055        1124841        0              0              269   306   298
3.19/3.22	c 8669           103035         4813314        1267459        0              0              202   306   296
3.59/3.64	c 9627           117031         5420328        1424535        0              0              159   306   293
4.10/4.11	c 10680          132684         6112842        1601897        0              0              170   307   296
4.29/4.38	c 11838          141013         6560199        1720923        0              0              283   310   302
4.69/4.73	c 13111          152171         7119622        1873521        0              0              248   306   298
5.10/5.17	c 14511          166131         7830725        2059412        0              0              259   306   298
5.59/5.67	c 16051          181587         8639207        2272533        0              0              235   308   298
6.19/6.20	c 17745          198427         9488015        2493217        0              0              228   307   298
6.79/6.87	c 19608          220444         10493395       2772749        0              0              210   307   297
7.39/7.48	c 21657          239320         11455484       3035457        0              0              253   305   297
8.19/8.21	c 23910          262453         12618902       3344040        0              0              234   307   297
8.89/8.93	c 26388          284596         13775690       3659379        0              0              266   306   297
9.69/9.76	c 29113          310480         15091496       4009908        0              0              256   307   297
10.59/10.66	c 32110          338534         16534398       4403100        0              0              235   305   296
11.69/11.75	c 35406          374486         18227790       4844107        0              0              218   304   296
12.89/12.92	c 39031          411227         20066339       5337400        0              0              225   305   295
14.10/14.16	c 43018          450286         22066224       5864406        0              0              241   306   296
15.49/15.54	c 47403          492798         24310231       6468179        0              0              233   304   296
17.09/17.12	c 52226          541949         26866688       7142255        0              0              221   306   296
20.29/20.38	c 57531          649175         31669348       8350805        0              0              163   311   296
22.29/22.35	c 63366          716021         34764343       9164939        0              0              210   308   298
24.69/24.73	c 69784          795749         38487486       10129951       0              0              174   309   298
27.09/27.17	c 76843          876259         42403265       11142919       0              0              217   310   298
29.69/29.72	c 84607          961438         46434075       12191876       0              0              213   310   299
31.89/31.90	c 93147          1030094        50118233       13169640       0              0              266   310   301
35.29/35.37	c 102541         1143432        55682297       14641657       0              0              212   304   293
38.09/38.19	c 112874         1230424        60509915       15919417       0              0              244   308   298
41.19/41.23	c 124240         1327238        65656805       17276053       0              0              253   307   298
44.89/45.00	c 136742         1449314        71863962       18907601       0              0              223   307   297
48.49/48.58	c 150494         1561413        77808120       20529376       0              0              264   306   297
52.49/52.50	c 165621         1685575        84364046       22313359       0              0              261   309   298
57.28/57.31	c 182260         1832182        92538045       24473430       0              0              242   305   297
62.18/62.24	c 200562         1982441        100779380      26758634       0              0              258   309   299
70.78/70.82	c 220694         2264436        114240788      30252294       0              0              176   308   294
78.48/78.55	c 242839         2511694        126815028      33596499       0              0              202   308   297
86.48/86.54	c 267198         2766829        139846267      37129075       0              0              223   310   297
94.18/94.28	c 293992         3005205        152867553      40679692       0              0              249   308   297
102.48/102.53	c 323465         3260604        166872162      44388335       0              0              234   307   297
111.28/111.39	c 355885         3532570        181700860      48389551       0              0              256   310   299
122.38/122.48	c 391547         3867269        200577937      53409926       0              0              197   309   298
133.88/133.96	c 430775         4224878        219740288      58621726       0              0              227   307   297
146.09/146.15	c 473925         4581342        240565014      64386390       0              0              235   307   297
159.48/159.54	c 521390         4980071        263497615      70626989       0              0              247   306   297
175.09/175.15	c 573601         5457747        289884159      77630403       0              0              249   307   297
191.99/192.05	c 631033         5972195        318502107      85334421       0              0              246   307   297
209.68/209.79	c 694208         6524930        348318891      93300226       0              0              245   308   297
229.78/229.81	c 763700         7142225        382160934      102278627      0              0              236   308   297
254.28/254.34	c 840141         7898524        422852101      113159379      0              0              224   305   295
278.09/278.17	c 924226         8619728        463137196      124101599      0              0              239   307   297
310.48/310.51	c 1016719        9647115        516097374      138042241      0              0              186   308   296
342.38/342.49	c 1118461        10641714       569673729      152335711      0              0              207   309   296
381.08/381.18	c 1230377        11872802       632566099      169132471      0              0              166   307   295
412.37/412.45	c 1353484        12780113       687570752      183786870      0              0              240   312   300
450.17/450.28	c 1488901        13935656       751898974      200875625      0              0              234   310   299
496.27/496.33	c 1637859        15414272       827326012      221076670      0              0              227   309   297
547.77/547.81	c 1801712        17075447       911558825      243224850      0              0              209   310   298
605.08/605.19	c 1981950        18907190       1005838519     268152244      0              0              192   309   297
666.37/666.43	c 2180211        20890980       1106927058     294450032      0              0              186   309   298
745.86/745.92	c 2398298        23473271       1233633708     327511891      0              0              162   308   295
823.16/823.29	c 2638193        25922755       1360918899     360946174      0              0              200   310   297
907.16/907.26	c 2902077        28596989       1498247726     397419021      0              0              202   309   297
1002.85/1002.92	c 3192349        31598534       1655024551     439036766      0              0              184   308   296
1090.75/1090.87	c 3511648        34197951       1805893312     480141490      0              0              238   308   298
1204.25/1204.31	c 3862876        37824325       1992430937     529043635      0              0              211   306   295
1314.84/1314.98	c 4249226        41210922       2180030543     579432247      0              0              227   308   296
1447.54/1447.69	c 4674211        45372938       2400281390     637702448      0              0              189   308   296
1580.14/1580.22	c 5141694        49414553       2624527659     698816356      0              0              222   308   296
1734.44/1734.55	c 5655925        54277682       2879008977     767781089      0              0              187   308   296
1915.04/1915.15	c 6221579        59890940       3176259696     847558965      0              0              189   308   295
2137.73/2137.84	c 6843798        66961064       3536868435     944022787      0              0              195   308   295
2360.12/2360.22	c 7528238        73849291       3904344950     1042410122     0              0              166   312   298
2519.92/2520.00	
2519.92/2520.00	c *** INTERRUPTED ***
2519.92/2520.00	c restarts              : 94          
2519.92/2520.00	c conflicts             : 8026092      (3185 /sec)
2519.92/2520.00	c decisions             : 78899041     (31310 /sec)
2519.92/2520.00	c propagations          : 1112695313  (441560 /sec)
2519.92/2520.00	c root propagations     : 0           
2519.92/2520.00	c filter calls          : 4167115957     (1653672 /sec)
2519.92/2520.00	c useless filter calls  : 3592199394     (86 %)
2519.92/2520.00	c Memory used           : 29.59 MB
2519.92/2520.00	c CPU time              : 2519.92 s
2519.92/2520.00	c real time             : 2520 s
2519.92/2520.00	
2519.92/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 (15212 MiB free)
  memory of node 1: 16384 MiB (15483 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408099-1569803795/watcher-4408099-1569803795 -o /tmp/evaluation-result-4408099-1569803795/solver-4408099-1569803795 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1569787348-7895 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408099-1569803795.xml 

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

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


[startup+0.100199 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 11121
/proc/meminfo: memFree=31430772/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30036 memory=6576 CPUtime=0.1 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 1831 0 0 0 10 0 0 0 20 0 1 0 556293261 30756864 1644 33554432000 4194304 6211132 140728000998576 140728000996008 5155377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7509 1644 874 493 0 814 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30036 KiB
Current children cumulated memory: 6576 KiB

[startup+0.209841 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 11121
/proc/meminfo: memFree=31430780/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30168 memory=6576 CPUtime=0.21 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 1873 0 0 0 21 0 0 0 20 0 1 0 556293261 30892032 1644 33554432000 4194304 6211132 140728000998576 140728000996008 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7542 1644 874 493 0 847 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30168 KiB
Current children cumulated memory: 6576 KiB

[startup+0.309099 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 11121
/proc/meminfo: memFree=31430780/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6840 CPUtime=0.31 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 1878 0 0 0 31 0 0 0 20 0 1 0 556293261 31027200 1710 33554432000 4194304 6211132 140728000998576 140728000996008 5250482 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1710 875 493 0 880 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6840 KiB

[startup+0.700334 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11121
/proc/meminfo: memFree=31430780/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6840 CPUtime=0.69 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 1889 0 0 0 69 0 0 0 20 0 1 0 556293261 31027200 1710 33554432000 4194304 6211132 140728000998576 140728000996008 5193776 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1710 875 493 0 880 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6840 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11121
/proc/meminfo: memFree=31430780/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6840 CPUtime=1.49 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 1890 0 0 0 149 0 0 0 20 0 1 0 556293261 31027200 1710 33554432000 4194304 6211132 140728000998576 140728000996536 5250283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1710 875 493 0 880 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6840 KiB

[startup+3.10907 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11121
/proc/meminfo: memFree=31430532/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6912 CPUtime=3.1 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 2672 0 0 0 310 0 0 0 20 0 1 0 556293261 31027200 1728 33554432000 4194304 6211132 140728000998576 140728000996536 5156264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1728 875 493 0 880 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11123
/proc/meminfo: memFree=31429788/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6916 CPUtime=6.29 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 3453 0 0 0 629 0 0 0 20 0 1 0 556293261 31027200 1729 33554432000 4194304 6211132 140728000998576 140728000996536 5155377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1729 875 493 0 880 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6916 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11123
/proc/meminfo: memFree=31429596/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6916 CPUtime=12.69 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 4234 0 0 0 1269 0 0 0 20 0 1 0 556293261 31027200 1729 33554432000 4194304 6211132 140728000998576 140728000996536 5409471 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1729 875 493 0 880 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6916 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11123
/proc/meminfo: memFree=31429088/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=25.49 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 5300 0 0 0 2549 0 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5155312 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11126
/proc/meminfo: memFree=31428572/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=51.09 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 5583 0 0 0 5109 0 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5156028 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11130
/proc/meminfo: memFree=31429284/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=102.28 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 5866 0 0 0 10228 0 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5155373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11134
/proc/meminfo: memFree=31428712/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=162.28 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 6150 0 0 0 16228 0 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5009005 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11138
/proc/meminfo: memFree=31428344/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=222.28 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 6433 0 0 0 22228 0 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 11152
/proc/meminfo: memFree=31427936/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=282.28 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 6716 0 0 0 28228 0 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5155382 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 11156
/proc/meminfo: memFree=31428884/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=342.28 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 6999 0 0 0 34228 0 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5156028 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 11160
/proc/meminfo: memFree=31428872/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=402.27 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 7282 0 0 0 40227 0 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5155711 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11166
/proc/meminfo: memFree=31428540/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=462.27 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 7565 0 0 0 46227 0 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5156508 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB


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

/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/200 11307
/proc/meminfo: memFree=31426892/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=1782.24 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 13321 0 0 0 178223 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5155739 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/200 11311
/proc/meminfo: memFree=31426552/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=1842.23 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 13539 0 0 0 184222 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5155377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/200 11317
/proc/meminfo: memFree=31425528/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=1902.23 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 13760 0 0 0 190222 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5155989 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 11321
/proc/meminfo: memFree=31425528/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=1962.23 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 14042 0 0 0 196222 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5250325 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 11325
/proc/meminfo: memFree=31426216/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=2022.23 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 14266 0 0 0 202222 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 11336
/proc/meminfo: memFree=31425904/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=2082.23 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 14491 0 0 0 208222 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5155373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 11340
/proc/meminfo: memFree=31425432/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=2142.23 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 14775 0 0 0 214222 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5250273 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11404
/proc/meminfo: memFree=31427684/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=2202.22 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 15011 0 0 0 220221 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5250311 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11410
/proc/meminfo: memFree=31427884/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=2262.22 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 15239 0 0 0 226221 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11414
/proc/meminfo: memFree=31427576/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=2322.22 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 15469 0 0 0 232221 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5250256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11418
/proc/meminfo: memFree=31427520/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=2382.22 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 15753 0 0 0 238221 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5155839 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11424
/proc/meminfo: memFree=31427876/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=2442.22 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 15979 0 0 0 244221 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5250311 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11428
/proc/meminfo: memFree=31427628/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=2502.21 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 16212 0 0 0 250220 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5156869 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 11428
/proc/meminfo: memFree=31427628/32770624 swapFree=66936012/67108860
[pid=11120] ppid=11117 vsize=30300 memory=6920 CPUtime=2519.92 cores=0,2,4,6
/proc/11120/stat : 11120 (cosoco) R 11117 11120 7864 0 -1 4202496 16448 0 0 0 251991 1 0 0 20 0 1 0 556293261 31027200 1730 33554432000 4194304 6211132 140728000998576 140728000996536 5409471 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140728001000459 140728001000561 140728001000561 140728001003470 0
/proc/11120/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

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

[startup+2520.01 s]
# the end of solver process 11120 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.92 s, system=0.012999 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.93
CPU user time (s): 2519.92
CPU system time (s): 0.012999
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 30300
Max. memory (cumulated for all children) (KiB): 6920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.012999
maximum resident set size= 6984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16500
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= 3152


# summary of solver processes directly reported to runsolver:
#   pid: 11120
#   total CPU time (s): 2519.93
#   total CPU user time (s): 2519.92
#   total CPU system time (s): 0.012999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96948 second user time and 19.5444 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-30 02:35:51
IDJOB=4408099
IDBENCH=134835
IDSOLVER=2874
FILE ID=node147/4408099-1569803795
RUNJOBID= node147-1569787348-7895
PBS_JOBID= 21705818
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-armies/Pb-army13-24ls.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408099-1569803795/watcher-4408099-1569803795 -o /tmp/evaluation-result-4408099-1569803795/solver-4408099-1569803795 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1569787348-7895 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408099-1569803795.xml

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

MD5SUM BENCH= 0f005dd489acd3d024429b7d4f1ec9d6
RANDOM SEED=2110093914

node147.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.52
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.52
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.52
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.52
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:        31433500 kB
MemAvailable:   31794460 kB
Buffers:          221824 kB
Cached:           468976 kB
SwapCached:        68896 kB
Active:           412956 kB
Inactive:         352688 kB
Active(anon):      20556 kB
Inactive(anon):   136772 kB
Active(file):     392400 kB
Inactive(file):   215916 kB
Unevictable:      107708 kB
Mlocked:          107708 kB
SwapTotal:      67108860 kB
SwapFree:       66936012 kB
Dirty:              2528 kB
Writeback:             0 kB
AnonPages:        167116 kB
Mapped:            28292 kB
Shmem:             73672 kB
Slab:             166292 kB
SReclaimable:     136956 kB
SUnreclaim:        29336 kB
KernelStack:        3552 kB
PageTables:         5704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     570404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 62024 MiB
End job on node147 at 2019-09-30 03:17:51