Trace number 4396839

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) 2520.06 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-4396839-1568588246.xml 
0.00/0.07	c ========================================[ Problem Statistics ]===========================================
0.00/0.07	c |                                                                                                       
0.00/0.07	c |  Parse time        :         0.07 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.16	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.40	c 611            11210          494409         123825         0              0              155   306   287
0.51/0.51	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.72	c 1352           21955          957627         245143         0              0              277   303   296
0.69/0.79	c 1585           24321          1076930        277481         0              0              280   303   296
0.79/0.90	c 1841           27763          1229807        316933         0              0              249   306   297
0.89/0.98	c 2122           30961          1362415        352228         0              0              255   304   295
1.10/1.10	c 2431           34574          1544866        401314         0              0              209   306   296
1.19/1.22	c 2770           38333          1722480        449269         0              0              247   303   293
1.29/1.34	c 3142           42039          1923200        504950         0              0              265   300   291
1.39/1.49	c 3551           46667          2145315        564279         0              0              244   302   293
1.59/1.62	c 4000           51368          2353732        621291         0              0              270   306   296
1.69/1.76	c 4493           56027          2578922        679642         0              0              197   306   297
1.89/1.92	c 5035           61043          2825669        744836         0              0              265   307   298
2.10/2.13	c 5631           68518          3146727        828741         0              0              233   305   296
2.29/2.35	c 6286           75558          3494092        922421         0              0              231   307   297
2.59/2.60	c 7006           83662          3892046        1026403        0              0              250   306   296
2.79/2.83	c 7798           90749          4264055        1124841        0              0              269   306   298
3.10/3.19	c 8669           103035         4813314        1267459        0              0              202   306   296
3.59/3.60	c 9627           117031         5420328        1424535        0              0              159   306   293
4.00/4.07	c 10680          132684         6112842        1601897        0              0              170   307   296
4.29/4.34	c 11838          141013         6560199        1720923        0              0              283   310   302
4.59/4.69	c 13111          152171         7119622        1873521        0              0              248   306   298
5.10/5.12	c 14511          166131         7830725        2059412        0              0              259   306   298
5.59/5.62	c 16051          181587         8639207        2272533        0              0              235   308   298
6.10/6.14	c 17745          198427         9488015        2493217        0              0              228   307   298
6.79/6.80	c 19608          220444         10493395       2772749        0              0              210   307   297
7.39/7.40	c 21657          239320         11455484       3035457        0              0              253   305   297
8.10/8.12	c 23910          262453         12618902       3344040        0              0              234   307   297
8.79/8.84	c 26388          284596         13775690       3659379        0              0              266   306   297
9.59/9.66	c 29113          310480         15091496       4009908        0              0              256   307   297
10.49/10.56	c 32110          338534         16534398       4403100        0              0              235   305   296
11.59/11.64	c 35406          374486         18227790       4844107        0              0              218   304   296
12.69/12.79	c 39031          411227         20066339       5337400        0              0              225   305   295
14.00/14.03	c 43018          450286         22066224       5864406        0              0              241   306   296
15.29/15.39	c 47403          492798         24310231       6468179        0              0              233   304   296
16.89/16.98	c 52226          541949         26866688       7142255        0              0              221   306   296
20.19/20.28	c 57531          649175         31669348       8350805        0              0              163   311   296
22.19/22.29	c 63366          716021         34764343       9164939        0              0              210   308   298
24.69/24.71	c 69784          795749         38487486       10129951       0              0              174   309   298
27.10/27.19	c 76843          876259         42403265       11142919       0              0              217   310   298
29.69/29.78	c 84607          961438         46434075       12191876       0              0              213   310   299
32.00/32.01	c 93147          1030094        50118233       13169640       0              0              266   310   301
35.49/35.54	c 102541         1143432        55682297       14641657       0              0              212   304   293
38.39/38.41	c 112874         1230424        60509915       15919417       0              0              244   308   298
41.49/41.50	c 124240         1327238        65656805       17276053       0              0              253   307   298
45.29/45.34	c 136742         1449314        71863962       18907601       0              0              223   307   297
48.89/48.98	c 150494         1561413        77808120       20529376       0              0              264   306   297
52.89/52.98	c 165621         1685575        84364046       22313359       0              0              261   309   298
57.79/57.88	c 182260         1832182        92538045       24473430       0              0              242   305   297
62.89/62.91	c 200562         1982441        100779380      26758634       0              0              258   309   299
71.59/71.64	c 220694         2264436        114240788      30252294       0              0              176   308   294
79.49/79.51	c 242839         2511694        126815028      33596499       0              0              202   308   297
87.59/87.62	c 267198         2766829        139846267      37129075       0              0              223   310   297
95.29/95.30	c 293992         3005205        152867553      40679692       0              0              249   308   297
103.39/103.48	c 323465         3260604        166872162      44388335       0              0              234   307   297
112.19/112.26	c 355885         3532570        181700860      48389551       0              0              256   310   299
123.19/123.28	c 391547         3867269        200577937      53409926       0              0              197   309   298
134.59/134.68	c 430775         4224878        219740288      58621726       0              0              227   307   297
146.69/146.78	c 473925         4581342        240565014      64386390       0              0              235   307   297
160.00/160.08	c 521390         4980071        263497615      70626989       0              0              247   306   297
175.49/175.58	c 573601         5457747        289884159      77630403       0              0              249   307   297
192.29/192.35	c 631033         5972195        318502107      85334421       0              0              246   307   297
209.89/209.98	c 694208         6524930        348318891      93300226       0              0              245   308   297
229.79/229.84	c 763700         7142225        382160934      102278627      0              0              236   308   297
254.10/254.16	c 840141         7898524        422852101      113159379      0              0              224   305   295
277.69/277.79	c 924226         8619728        463137196      124101599      0              0              239   307   297
309.89/309.92	c 1016719        9647115        516097374      138042241      0              0              186   308   296
341.59/341.65	c 1118461        10641714       569673729      152335711      0              0              207   309   296
379.90/379.99	c 1230377        11872802       632566099      169132471      0              0              166   307   295
410.90/410.97	c 1353484        12780113       687570752      183786870      0              0              240   312   300
448.40/448.46	c 1488901        13935656       751898974      200875625      0              0              234   310   299
494.11/494.14	c 1637859        15414272       827326012      221076670      0              0              227   309   297
545.20/545.23	c 1801712        17075447       911558825      243224850      0              0              209   310   298
602.11/602.15	c 1981950        18907190       1005838519     268152244      0              0              192   309   297
662.90/662.91	c 2180211        20890980       1106927058     294450032      0              0              186   309   298
741.60/741.66	c 2398298        23473271       1233633708     327511891      0              0              162   308   295
818.31/818.37	c 2638193        25922755       1360918899     360946174      0              0              200   310   297
901.72/901.73	c 2902077        28596989       1498247726     397419021      0              0              202   309   297
996.62/996.64	c 3192349        31598534       1655024551     439036766      0              0              184   308   296
1083.92/1084.00	c 3511648        34197951       1805893312     480141490      0              0              238   308   298
1196.72/1196.76	c 3862876        37824325       1992430937     529043635      0              0              211   306   295
1306.72/1306.75	c 4249226        41210922       2180030543     579432247      0              0              227   308   296
1438.73/1438.71	c 4674211        45372938       2400281390     637702448      0              0              189   308   296
1570.43/1570.41	c 5141694        49414553       2624527659     698816356      0              0              222   308   296
1723.73/1723.75	c 5655925        54277682       2879008977     767781089      0              0              187   308   296
1903.15/1903.19	c 6221579        59890940       3176259696     847558965      0              0              189   308   295
2124.05/2124.09	c 6843798        66961064       3536868435     944022787      0              0              195   308   295
2344.44/2344.40	c 7528238        73849291       3904344950     1042410122     0              0              166   312   298
2520.06/2520.00	
2520.06/2520.00	c *** INTERRUPTED ***
2520.06/2520.00	c restarts              : 94          
2520.06/2520.00	c conflicts             : 8077403      (3205 /sec)
2520.06/2520.00	c decisions             : 79462243     (31532 /sec)
2520.06/2520.00	c propagations          : 1120098764  (444474 /sec)
2520.06/2520.00	c root propagations     : 0           
2520.06/2520.00	c filter calls          : 4195466422     (1664833 /sec)
2520.06/2520.00	c useless filter calls  : 3616697242     (86 %)
2520.06/2520.00	c Memory used           : 29.59 MB
2520.06/2520.00	c CPU time              : 2520.05 s
2520.06/2520.00	c real time             : 2520 s
2520.06/2520.00	
2520.06/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396839-1568588246/watcher-4396839-1568588246 -o /tmp/evaluation-result-4396839-1568588246/solver-4396839-1568588246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568572744-4122 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396839-1568588246.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=6753, runsolver pid=6750

[startup+0.100108 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6754
/proc/meminfo: memFree=28636236/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30036 memory=6452 CPUtime=0.1 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 1829 0 0 0 10 0 0 0 20 0 1 0 434764763 30756864 1613 33554432000 4194304 6211092 140729555678576 140729555675112 5207504 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7509 1613 874 493 0 814 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30036 KiB
Current children cumulated memory: 6452 KiB

[startup+0.209737 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6754
/proc/meminfo: memFree=28635704/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30168 memory=6716 CPUtime=0.21 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 1871 0 0 0 21 0 0 0 20 0 1 0 434764763 30892032 1679 33554432000 4194304 6211092 140729555678576 140729555676536 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7542 1679 875 493 0 847 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30168 KiB
Current children cumulated memory: 6716 KiB

[startup+0.30901 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6754
/proc/meminfo: memFree=28635704/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6716 CPUtime=0.31 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 1876 0 0 0 31 0 0 0 20 0 1 0 434764763 31027200 1679 33554432000 4194304 6211092 140729555678576 140729555676536 5250459 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1679 875 493 0 880 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6716 KiB

[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6754
/proc/meminfo: memFree=28635704/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6716 CPUtime=0.69 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 1887 0 0 0 69 0 0 0 20 0 1 0 434764763 31027200 1679 33554432000 4194304 6211092 140729555678576 140729555676536 5250284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1679 875 493 0 880 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6716 KiB

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6754
/proc/meminfo: memFree=28635704/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6716 CPUtime=1.49 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 1888 0 0 0 149 0 0 0 20 0 1 0 434764763 31027200 1679 33554432000 4194304 6211092 140729555678576 140729555676536 5250293 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1679 875 493 0 880 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6716 KiB

[startup+3.10917 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6754
/proc/meminfo: memFree=28635460/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6912 CPUtime=3.1 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 2670 0 0 0 310 0 0 0 20 0 1 0 434764763 31027200 1728 33554432000 4194304 6211092 140729555678576 140729555676536 5250234 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/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.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6756
/proc/meminfo: memFree=28634736/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6916 CPUtime=6.29 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 3451 0 0 0 629 0 0 0 20 0 1 0 434764763 31027200 1729 33554432000 4194304 6211092 140729555678576 140729555676536 5155503 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/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.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6756
/proc/meminfo: memFree=28635200/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6916 CPUtime=12.69 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 4232 0 0 0 1269 0 0 0 20 0 1 0 434764763 31027200 1729 33554432000 4194304 6211092 140729555678576 140729555676536 5155345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/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.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6757
/proc/meminfo: memFree=28634844/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=25.49 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 5795 0 0 0 2549 0 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5250241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/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.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6759
/proc/meminfo: memFree=28634488/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=51.1 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 6576 0 0 0 5110 0 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5155539 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 51.1 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 6764
/proc/meminfo: memFree=28634356/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=102.29 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 7358 0 0 0 10229 0 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5155341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+162.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/199 6768
/proc/meminfo: memFree=28634272/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=162.29 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 7632 0 0 0 16229 0 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5155679 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 6779
/proc/meminfo: memFree=28634492/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=222.29 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 7905 0 0 0 22229 0 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5250450 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 6811
/proc/meminfo: memFree=28634028/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=282.29 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 8178 0 0 0 28229 0 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5250298 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 6815
/proc/meminfo: memFree=28634384/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=342.29 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 8451 0 0 0 34229 0 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5157447 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 6819
/proc/meminfo: memFree=28634596/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=402.3 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 8724 0 0 0 40230 0 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5250224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 6825
/proc/meminfo: memFree=28634432/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=462.3 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 8997 0 0 0 46230 0 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5155345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB


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

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

[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 7064
/proc/meminfo: memFree=28634284/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=1782.34 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 14518 0 0 0 178233 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5250241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 7068
/proc/meminfo: memFree=28634452/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=1842.34 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 14724 0 0 0 184233 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 7075
/proc/meminfo: memFree=28634016/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=1902.34 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 14936 0 0 0 190233 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5155487 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 1902.34 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/199 7079
/proc/meminfo: memFree=28634008/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=1962.34 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 15210 0 0 0 196233 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 1962.34 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 7091
/proc/meminfo: memFree=28633800/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=2022.34 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 15422 0 0 0 202233 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5380256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2022.34 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 7158
/proc/meminfo: memFree=28635140/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=2082.34 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 15637 0 0 0 208233 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5155539 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2082.34 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/201 7163
/proc/meminfo: memFree=28634884/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=2142.34 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 15911 0 0 0 214233 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5155539 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2142.34 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/201 7167
/proc/meminfo: memFree=28634168/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=2202.34 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 16136 0 0 0 220233 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5155341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2202.34 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/201 7173
/proc/meminfo: memFree=28634428/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=2262.34 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 16356 0 0 0 226233 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5156456 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2262.34 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 7177
/proc/meminfo: memFree=28634640/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=2322.34 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 16574 0 0 0 232233 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5155712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 7181
/proc/meminfo: memFree=28634800/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=2382.35 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 16851 0 0 0 238234 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5396409 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2442.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/199 7187
/proc/meminfo: memFree=28633972/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=2442.35 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 17068 0 0 0 244234 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5155345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6920 KiB

[startup+2502.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/199 7191
/proc/meminfo: memFree=28634496/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=2502.35 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 17292 0 0 0 250234 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5250284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2502.35 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.02 2.03 2.05 3/199 7191
/proc/meminfo: memFree=28634520/32770624 swapFree=66959728/67108860
[pid=6753] ppid=6750 vsize=30300 memory=6920 CPUtime=2520.06 cores=1,3,5,7
/proc/6753/stat : 6753 (cosoco) R 6750 6753 4090 0 -1 4202496 17503 0 0 0 252005 1 0 0 20 0 1 0 434764763 31027200 1730 33554432000 4194304 6211092 140729555678576 140729555676536 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35422208 140729555686411 140729555686513 140729555686513 140729555689422 0
/proc/6753/statm: 7575 1730 875 493 0 880 0
Current children cumulated CPU time: 2520.06 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 6753 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.05 s, system=0.012 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.06
CPU user time (s): 2520.05
CPU system time (s): 0.012
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 30300
Max. memory (cumulated for all children) (KiB): 6920

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


# summary of solver processes directly reported to runsolver:
#   pid: 6753
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2520.05
#   total CPU system time (s): 0.012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.00074 second user time and 16.178 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-16 00:56:46
IDJOB=4396839
IDBENCH=134835
IDSOLVER=2848
FILE ID=node124/4396839-1568588246
RUNJOBID= node124-1568572744-4122
PBS_JOBID= 21703326
Free space on /tmp= 61808 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-4396839-1568588246/watcher-4396839-1568588246 -o /tmp/evaluation-result-4396839-1568588246/solver-4396839-1568588246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568572744-4122 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396839-1568588246.xml

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

MD5SUM BENCH= 0f005dd489acd3d024429b7d4f1ec9d6
RANDOM SEED=2113842222

node124.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.47
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.47
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.47
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.47
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:        28638732 kB
MemAvailable:   31839356 kB
Buffers:          211596 kB
Cached:          3277300 kB
SwapCached:        46376 kB
Active:          1003716 kB
Inactive:        2541036 kB
Active(anon):       6072 kB
Inactive(anon):    99216 kB
Active(file):     997644 kB
Inactive(file):  2441820 kB
Unevictable:      106528 kB
Mlocked:          106528 kB
SwapTotal:      67108860 kB
SwapFree:       66959728 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:        146164 kB
Mapped:            48692 kB
Shmem:             40944 kB
Slab:             183608 kB
SReclaimable:     153992 kB
SUnreclaim:        29616 kB
KernelStack:        3536 kB
PageTables:         6084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     537964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61808 MiB
End job on node124 at 2019-09-16 01:38:46