Trace number 4389559

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? (TO) 2519.96 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-4389559-1568350951.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.09/0.11	c 101            1366           60417          16376          0              0              319   350   334
0.09/0.17	c 211            3292           144808         38059          0              0              206   299   284
0.20/0.25	c 332            5513           254083         64609          0              0              159   305   288
0.30/0.32	c 465            7917           357301         89563          0              0              157   307   290
0.40/0.42	c 611            11210          494409         123825         0              0              155   306   287
0.50/0.53	c 771            14814          650840         163615         0              0              162   306   289
0.59/0.63	c 947            18087          783580         197979         0              0              216   307   293
0.59/0.68	c 1140           19854          863439         219169         0              0              286   305   297
0.68/0.74	c 1352           21955          957627         245143         0              0              277   303   296
0.78/0.82	c 1585           24321          1076930        277481         0              0              280   303   296
0.88/0.92	c 1841           27763          1229807        316933         0              0              249   306   297
0.99/1.02	c 2122           30961          1362415        352228         0              0              255   304   295
1.09/1.14	c 2431           34574          1544866        401314         0              0              209   306   296
1.18/1.25	c 2770           38333          1722480        449269         0              0              247   303   293
1.28/1.38	c 3142           42039          1923200        504950         0              0              265   300   291
1.48/1.52	c 3551           46667          2145315        564279         0              0              244   302   293
1.58/1.66	c 4000           51368          2353732        621291         0              0              270   306   296
1.78/1.80	c 4493           56027          2578922        679642         0              0              197   306   297
1.88/1.96	c 5035           61043          2825669        744836         0              0              265   307   298
2.09/2.17	c 5631           68518          3146727        828741         0              0              233   305   296
2.28/2.39	c 6286           75558          3494092        922421         0              0              231   307   297
2.58/2.64	c 7006           83662          3892046        1026403        0              0              250   306   296
2.78/2.87	c 7798           90749          4264055        1124841        0              0              269   306   298
3.19/3.25	c 8669           103035         4813314        1267459        0              0              202   306   296
3.58/3.66	c 9627           117031         5420328        1424535        0              0              159   306   293
4.09/4.13	c 10680          132684         6112842        1601897        0              0              170   307   296
4.38/4.40	c 11838          141013         6560199        1720923        0              0              283   310   302
4.68/4.75	c 13111          152171         7119622        1873521        0              0              248   306   298
5.09/5.19	c 14511          166131         7830725        2059412        0              0              259   306   298
5.58/5.69	c 16051          181587         8639207        2272533        0              0              235   308   298
6.18/6.21	c 17745          198427         9488015        2493217        0              0              228   307   298
6.78/6.88	c 19608          220444         10493395       2772749        0              0              210   307   297
7.38/7.47	c 21657          239320         11455484       3035457        0              0              253   305   297
8.18/8.20	c 23910          262453         12618902       3344040        0              0              234   307   297
8.88/8.91	c 26388          284596         13775690       3659379        0              0              266   306   297
9.68/9.74	c 29113          310480         15091496       4009908        0              0              256   307   297
10.58/10.64	c 32110          338534         16534398       4403100        0              0              235   305   296
11.68/11.72	c 35406          374486         18227790       4844107        0              0              218   304   296
12.78/12.88	c 39031          411227         20066339       5337400        0              0              225   305   295
14.09/14.12	c 43018          450286         22066224       5864406        0              0              241   306   296
15.38/15.49	c 47403          492798         24310231       6468179        0              0              233   304   296
16.99/17.08	c 52226          541949         26866688       7142255        0              0              221   306   296
20.28/20.38	c 57531          649175         31669348       8350805        0              0              163   311   296
22.28/22.39	c 63366          716021         34764343       9164939        0              0              210   308   298
24.78/24.81	c 69784          795749         38487486       10129951       0              0              174   309   298
27.28/27.30	c 76843          876259         42403265       11142919       0              0              217   310   298
29.78/29.88	c 84607          961438         46434075       12191876       0              0              213   310   299
32.09/32.12	c 93147          1030094        50118233       13169640       0              0              266   310   301
35.58/35.66	c 102541         1143432        55682297       14641657       0              0              212   304   293
38.48/38.53	c 112874         1230424        60509915       15919417       0              0              244   308   298
41.58/41.63	c 124240         1327238        65656805       17276053       0              0              253   307   298
45.38/45.48	c 136742         1449314        71863962       18907601       0              0              223   307   297
49.09/49.14	c 150494         1561413        77808120       20529376       0              0              264   306   297
53.09/53.15	c 165621         1685575        84364046       22313359       0              0              261   309   298
57.99/58.07	c 182260         1832182        92538045       24473430       0              0              242   305   297
63.09/63.11	c 200562         1982441        100779380      26758634       0              0              258   309   299
71.78/71.84	c 220694         2264436        114240788      30252294       0              0              176   308   294
79.68/79.72	c 242839         2511694        126815028      33596499       0              0              202   308   297
87.78/87.85	c 267198         2766829        139846267      37129075       0              0              223   310   297
95.68/95.76	c 293992         3005205        152867553      40679692       0              0              249   308   297
104.09/104.18	c 323465         3260604        166872162      44388335       0              0              234   307   297
113.18/113.23	c 355885         3532570        181700860      48389551       0              0              256   310   299
124.48/124.58	c 391547         3867269        200577937      53409926       0              0              197   309   298
136.28/136.31	c 430775         4224878        219740288      58621726       0              0              227   307   297
148.68/148.77	c 473925         4581342        240565014      64386390       0              0              235   307   297
162.38/162.45	c 521390         4980071        263497615      70626989       0              0              247   306   297
178.38/178.40	c 573601         5457747        289884159      77630403       0              0              249   307   297
195.58/195.65	c 631033         5972195        318502107      85334421       0              0              246   307   297
213.68/213.76	c 694208         6524930        348318891      93300226       0              0              245   308   297
234.18/234.21	c 763700         7142225        382160934      102278627      0              0              236   308   297
259.18/259.21	c 840141         7898524        422852101      113159379      0              0              224   305   295
283.48/283.55	c 924226         8619728        463137196      124101599      0              0              239   307   297
316.58/316.63	c 1016719        9647115        516097374      138042241      0              0              186   308   296
349.28/349.33	c 1118461        10641714       569673729      152335711      0              0              207   309   296
388.68/388.78	c 1230377        11872802       632566099      169132471      0              0              166   307   295
420.68/420.73	c 1353484        12780113       687570752      183786870      0              0              240   312   300
459.28/459.37	c 1488901        13935656       751898974      200875625      0              0              234   310   299
506.38/506.46	c 1637859        15414272       827326012      221076670      0              0              227   309   297
559.08/559.12	c 1801712        17075447       911558825      243224850      0              0              209   310   298
617.67/617.76	c 1981950        18907190       1005838519     268152244      0              0              192   309   297
680.27/680.34	c 2180211        20890980       1106927058     294450032      0              0              186   309   298
761.08/761.20	c 2398298        23473271       1233633708     327511891      0              0              162   308   295
839.87/839.96	c 2638193        25922755       1360918899     360946174      0              0              200   310   297
925.47/925.56	c 2902077        28596989       1498247726     397419021      0              0              202   309   297
1022.97/1023.01	c 3192349        31598534       1655024551     439036766      0              0              184   308   296
1112.77/1112.85	c 3511648        34197951       1805893312     480141490      0              0              238   308   298
1228.76/1228.89	c 3862876        37824325       1992430937     529043635      0              0              211   306   295
1342.07/1342.13	c 4249226        41210922       2180030543     579432247      0              0              227   308   296
1477.76/1477.88	c 4674211        45372938       2400281390     637702448      0              0              189   308   296
1613.26/1613.39	c 5141694        49414553       2624527659     698816356      0              0              222   308   296
1771.07/1771.12	c 5655925        54277682       2879008977     767781089      0              0              187   308   296
1955.55/1955.62	c 6221579        59890940       3176259696     847558965      0              0              189   308   295
2182.35/2182.45	c 6843798        66961064       3536868435     944022787      0              0              195   308   295
2408.74/2408.83	c 7528238        73849291       3904344950     1042410122     0              0              166   312   298
2519.95/2520.00	
2519.95/2520.00	c *** INTERRUPTED ***
2519.95/2520.00	c restarts              : 94          
2519.95/2520.00	c conflicts             : 7883443      (3128 /sec)
2519.95/2520.00	c decisions             : 77261218     (30660 /sec)
2519.95/2520.00	c propagations          : 1091068765  (432973 /sec)
2519.95/2520.00	c root propagations     : 0           
2519.95/2520.00	c filter calls          : 4085592913     (1621302 /sec)
2519.95/2520.00	c useless filter calls  : 3521866339     (86 %)
2519.95/2520.00	c Memory used           : 29.59 MB
2519.95/2520.00	c CPU time              : 2519.95 s
2519.95/2520.00	c real time             : 2520 s
2519.95/2520.00	
2519.95/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 (14794 MiB free)
  memory of node 1: 16384 MiB (15290 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389559-1568350951/watcher-4389559-1568350951 -o /tmp/evaluation-result-4389559-1568350951/solver-4389559-1568350951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568347274-994 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389559-1568350951.xml 

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

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

solver pid=1018, runsolver pid=1015

[startup+0.100109 s]*
/proc/loadavg: 1.00 1.04 1.35 3/200 1025
/proc/meminfo: memFree=30801424/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30036 memory=6568 CPUtime=0.09 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 1827 0 0 0 9 0 0 0 20 0 1 0 411349772 30756864 1642 33554432000 4194304 6210612 140722543181968 140722543178456 5249712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7509 1642 870 493 0 814 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30036 KiB
Current children cumulated memory: 6568 KiB

[startup+0.209497 s]*
/proc/loadavg: 1.00 1.04 1.35 3/200 1025
/proc/meminfo: memFree=30801052/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30168 memory=6568 CPUtime=0.2 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 1869 0 0 0 20 0 0 0 20 0 1 0 411349772 30892032 1642 33554432000 4194304 6210612 140722543181968 140722543179928 5155888 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7542 1642 870 493 0 847 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30168 KiB
Current children cumulated memory: 6568 KiB

[startup+0.309056 s]*
/proc/loadavg: 1.00 1.04 1.35 3/200 1025
/proc/meminfo: memFree=30800772/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6832 CPUtime=0.3 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 1875 0 0 0 30 0 0 0 20 0 1 0 411349772 31027200 1708 33554432000 4194304 6210612 140722543181968 140722543179928 5155820 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1708 872 493 0 880 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6832 KiB

[startup+0.700228 s]
/proc/loadavg: 1.00 1.04 1.35 3/200 1025
/proc/meminfo: memFree=30800400/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6832 CPUtime=0.68 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 1886 0 0 0 68 0 0 0 20 0 1 0 411349772 31027200 1708 33554432000 4194304 6210612 140722543181968 140722543179928 5249719 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1708 872 493 0 880 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6832 KiB

[startup+1.50025 s]
/proc/loadavg: 1.00 1.04 1.35 3/200 1025
/proc/meminfo: memFree=30800680/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6832 CPUtime=1.48 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 1888 0 0 0 148 0 0 0 20 0 1 0 411349772 31027200 1708 33554432000 4194304 6210612 140722543181968 140722543179928 5154980 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1708 872 493 0 880 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6832 KiB

[startup+3.10896 s]
/proc/loadavg: 1.00 1.04 1.35 3/200 1025
/proc/meminfo: memFree=30799604/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6904 CPUtime=3.09 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 2160 0 0 0 309 0 0 0 20 0 1 0 411349772 31027200 1726 33554432000 4194304 6210612 140722543181968 140722543179928 5155888 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1726 872 493 0 880 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6904 KiB

[startup+6.30027 s]
/proc/loadavg: 1.08 1.06 1.36 3/200 1025
/proc/meminfo: memFree=30799744/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6908 CPUtime=6.28 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 2431 0 0 0 627 1 0 0 20 0 1 0 411349772 31027200 1727 33554432000 4194304 6210612 140722543181968 140722543179928 5409301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1727 872 493 0 880 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6908 KiB

[startup+12.7003 s]
/proc/loadavg: 1.16 1.07 1.36 3/200 1025
/proc/meminfo: memFree=30800200/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6908 CPUtime=12.68 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 2702 0 0 0 1267 1 0 0 20 0 1 0 411349772 31027200 1727 33554432000 4194304 6210612 140722543181968 140722543179928 5192938 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1727 872 493 0 880 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6908 KiB

[startup+25.5003 s]
/proc/loadavg: 1.34 1.12 1.37 3/200 1027
/proc/meminfo: memFree=30799976/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=25.48 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 3245 0 0 0 2547 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5157760 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+51.109 s]
/proc/loadavg: 1.57 1.19 1.39 3/200 1028
/proc/meminfo: memFree=30800188/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=51.09 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 3516 0 0 0 5108 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+102.3 s]
/proc/loadavg: 1.81 1.31 1.42 3/200 1032
/proc/meminfo: memFree=30799692/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=102.28 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 3787 0 0 0 10227 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+162.3 s]
/proc/loadavg: 1.93 1.44 1.45 3/200 1038
/proc/meminfo: memFree=30800092/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=162.28 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 4059 0 0 0 16227 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5156581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+222.3 s]
/proc/loadavg: 1.97 1.54 1.49 3/200 1042
/proc/meminfo: memFree=30798996/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=222.28 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 4330 0 0 0 22227 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5008648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.52 3/199 1046
/proc/meminfo: memFree=30799516/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=282.28 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 4601 0 0 0 28227 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5155888 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.55 3/198 1052
/proc/meminfo: memFree=30799020/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=342.28 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 4872 0 0 0 34227 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5157673 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.58 3/198 1056
/proc/meminfo: memFree=30798592/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=402.28 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 5143 0 0 0 40227 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 1.81 1.61 3/198 1060
/proc/meminfo: memFree=30798904/32770624 swapFree=66996784/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=462.28 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 5414 0 0 0 46227 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5155127 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB


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

/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/200 1193
/proc/meminfo: memFree=30797204/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=1782.26 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 10975 0 0 0 178225 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 1197
/proc/meminfo: memFree=30798132/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=1842.26 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 11198 0 0 0 184225 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5156512 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 1201
/proc/meminfo: memFree=30798296/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=1902.25 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 11420 0 0 0 190224 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5249719 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+1962.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/200 1207
/proc/meminfo: memFree=30797636/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=1962.25 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 11693 0 0 0 196224 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5154977 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/200 1211
/proc/meminfo: memFree=30798080/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=2022.25 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 11913 0 0 0 202224 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5249664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/198 1215
/proc/meminfo: memFree=30798216/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=2082.25 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 12134 0 0 0 208224 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5249890 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/198 1221
/proc/meminfo: memFree=30797404/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=2142.25 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 12358 0 0 0 214224 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5154969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/198 1225
/proc/meminfo: memFree=30797672/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=2202.25 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 12630 0 0 0 220224 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5156108 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/198 1229
/proc/meminfo: memFree=30797524/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=2262.25 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 12859 0 0 0 226224 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+2322.3 s]
/proc/loadavg: 2.16 2.05 1.97 3/198 1298
/proc/meminfo: memFree=30799124/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=2322.25 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 13084 0 0 0 232224 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5154977 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 1.97 3/199 1310
/proc/meminfo: memFree=30798840/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=2382.25 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 13306 0 0 0 238224 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5249898 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+2442.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/200 1315
/proc/meminfo: memFree=30799740/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=2442.24 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 13581 0 0 0 244223 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5156540 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/200 1321
/proc/meminfo: memFree=30800372/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=2502.24 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 13805 0 0 0 250223 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5156281 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.01 2.03 1.97 3/200 1322
/proc/meminfo: memFree=30800108/32770624 swapFree=66996800/67108860
[pid=1018] ppid=1015 vsize=30300 memory=6912 CPUtime=2519.95 cores=0,2,4,6
/proc/1018/stat : 1018 (cosoco) R 1015 1018 963 0 -1 4202496 14020 0 0 0 251994 1 0 0 20 0 1 0 411349772 31027200 1728 33554432000 4194304 6210612 140722543181968 140722543179928 5155888 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33067008 140722543186955 140722543187057 140722543187057 140722543189966 0
/proc/1018/statm: 7575 1728 872 493 0 880 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 30300 KiB
Current children cumulated memory: 6912 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.015999
maximum resident set size= 6980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14072
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= 35
involuntary context switches= 661


# summary of solver processes directly reported to runsolver:
#   pid: 1018
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2519.95
#   total CPU system time (s): 0.015999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.13582 second user time and 17.0207 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-13 06:01:14
IDJOB=4389559
IDBENCH=134835
IDSOLVER=2829
FILE ID=node106/4389559-1568350951
RUNJOBID= node106-1568347274-994
PBS_JOBID= 21701175
Free space on /tmp= 56736 MiB

SOLVER NAME= cosoco 2
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-4389559-1568350951/watcher-4389559-1568350951 -o /tmp/evaluation-result-4389559-1568350951/solver-4389559-1568350951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568347274-994 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389559-1568350951.xml

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

MD5SUM BENCH= 0f005dd489acd3d024429b7d4f1ec9d6
RANDOM SEED=1993843708

node106.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.79
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.79
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.79
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.79
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:        30808260 kB
MemAvailable:   31901708 kB
Buffers:          144016 kB
Cached:          1228056 kB
SwapCached:         9900 kB
Active:           352592 kB
Inactive:        1035072 kB
Active(anon):      14440 kB
Inactive(anon):    33952 kB
Active(file):     338152 kB
Inactive(file):  1001120 kB
Unevictable:      107648 kB
Mlocked:          107648 kB
SwapTotal:      67108860 kB
SwapFree:       66996784 kB
Dirty:              3252 kB
Writeback:             0 kB
AnonPages:        113656 kB
Mapped:            36284 kB
Shmem:             24408 kB
Slab:             169524 kB
SReclaimable:     140024 kB
SUnreclaim:        29500 kB
KernelStack:        3376 kB
PageTables:         5124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     494708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 56728 MiB
End job on node106 at 2019-09-13 06:43:14