Trace number 4408688

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) 2400.07 2400.07

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spng/
Pb-NG-K152.xml
MD5SUM148cc1c525306be86034ad988a5e8607
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables18088
Number of constraints18394
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":18088}]
Minimum variable degree3
Maximum variable degree12
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":280},{"degree":5,"count":1855},{"degree":6,"count":8133},{"degree":7,"count":4963},{"degree":8,"count":1953},{"degree":9,"count":602},{"degree":10,"count":150},{"degree":11,"count":1},{"degree":12,"count":150}]
Minimum constraint arity1
Maximum constraint arity152
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1963},{"arity":3,"count":8154},{"arity":4,"count":4983},{"arity":5,"count":2114},{"arity":6,"count":453},{"arity":7,"count":151},{"arity":9,"count":151},{"arity":119,"count":304},{"arity":152,"count":119}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":18394}]
Optimization problemNO
Type of objective

Solver Data 

2.99/3.09	c root propagations     : 742         
2.99/3.09	c restarts enabled, print stats at every restarts
2.99/3.09	c
2.99/3.09	c
2.99/3.09	c
2.99/3.09	c This is cosoco 2.00 --  
2.99/3.09	c
2.99/3.09	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408688-1569801272.xml 
2.99/3.09	c ========================================[ Problem Statistics ]===========================================
2.99/3.09	c |                                                                                                       
2.99/3.09	c |  Parse time        :         1.89 s 
2.99/3.09	c |
2.99/3.09	c |               Variables: 18088
2.99/3.09	c |            Domain Sizes: 2..2
2.99/3.09	c |
2.99/3.09	c |             Constraints: 18394
2.99/3.09	c |                   Arity: 1..152  -- Unary: 2  -- Binary: 1963  -- Ternary: 8154
2.99/3.09	c | 
2.99/3.09	c |                   Types: 
2.99/3.09	c |                          Sum: 18394
2.99/3.09	c |                          
2.99/3.09	c =========================================================================================================
2.99/3.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
8.69/8.78	c 101            13082          931707         274561         742            0              3191   12644   11758
14.89/14.95	c 211            29430          1880144        589286         742            0              845   14980   1115
19.79/19.89	c 332            45622          2735916        848231         742            0              13429   13917   13471
23.58/23.64	c 465            63530          3306090        1076457        742            0              1818   16200   15478
27.19/27.21	c 611            82042          3772802        1264140        742            0              1643   17161   15174
32.28/32.31	c 771            98300          4536627        1536460        742            0              995   5012   3736
37.18/37.29	c 947            110341         5366061        1915034        742            0              2867   3180   2972
41.48/41.52	c 1140           116424         6132404        2228675        742            0              1714   1864   1750
46.38/46.42	c 1352           128285         6950713        2553564        742            0              1393   2035   1850
52.09/52.19	c 1585           143049         7889708        2911360        742            0              911   2024   1673
60.09/60.11	c 1841           168013         9039255        3353910        742            0              685   2076   1836
65.68/65.75	c 2122           177660         10117434       3924811        742            0              1362   1519   1427
71.89/71.99	c 2431           189128         11264586       4392693        742            0              1120   1593   1528
75.88/75.90	c 2770           196647         12000484       4685947        742            0              1405   1535   1485
80.48/80.58	c 3142           210685         12658928       4959665        742            0              1148   1526   1275
86.48/86.55	c 3551           218578         13894139       5522383        742            0              1172   1636   1347
93.79/93.80	c 4000           230864         15411177       6156392        742            0              865   1918   1829
103.88/103.98	c 4493           246811         17455541       6982956        742            0              1309   1448   1391
111.59/111.65	c 5035           260455         18940868       7668752        742            0              1354   1474   1417
132.49/132.52	c 5631           274408         23878648       9430711        742            0              1077   1315   1206
141.09/141.20	c 6286           288730         25671927       10066868       742            0              1001   1129   1062
165.89/165.90	c 7006           339017         30015571       11753923       742            0              693   1982   1347
182.68/182.79	c 7798           391964         32264136       12761975       742            0              1192   2532   1881
205.68/205.72	c 8669           430921         36902623       14508172       742            0              1100   2552   1971
252.39/252.47	c 9627           499579         46047795       17981669       742            0              1301   1844   1637
295.78/295.83	c 10680          536852         55601985       21289938       742            0              1413   1711   1594
334.38/334.46	c 11838          603542         63171010       24248882       742            0              1021   2045   1889
352.88/352.94	c 13111          645853         66397547       25612114       742            0              1405   1602   1494
390.69/390.76	c 14511          696786         73813550       28661684       742            0              1378   1593   1488
417.49/417.55	c 16051          726429         79302791       30998883       742            0              1346   1576   1526
466.09/466.19	c 17745          781466         89240539       34574701       742            0              1299   1583   1461
520.89/520.90	c 19608          823421         100929363      38947073       742            0              968   1171   1087
551.39/551.46	c 21657          871476         106972260      41400407       742            0              1092   1758   1330
605.29/605.37	c 23910          905553         118828151      45854938       742            0              1088   1283   1168
656.79/656.87	c 26388          959596         130344606      49944120       742            0              565   1198   1135
700.39/700.42	c 29113          1023632        139533964      53517978       742            0              887   1121   1028
826.40/826.45	c 32110          1088967        168539144      63206480       742            0              726   910   850
861.80/861.85	c 35406          1135406        176081521      66390518       742            0              824   912   878
935.39/935.40	c 39031          1198466        191702421      72810079       742            0              836   968   930
981.79/981.83	c 43018          1284320        200281583      76695844       742            0              890   1166   1061
1016.89/1017.01	c 47403          1355569        206814235      80087204       742            0              1038   1238   1120
1089.70/1089.73	c 52226          1447865        221086380      86470762       742            0              1027   1183   1108
1162.80/1162.82	c 57531          1578311        234181964      92662433       742            0              1013   1284   1127
1342.41/1342.43	c 63366          1689007        276138845      106866679      742            0              942   1100   1042
1451.01/1451.04	c 69784          1794536        300021439      115082510      742            0              814   929   863
1559.60/1559.61	c 76843          1922234        324881516      124081060      742            0              756   943   863
1650.70/1650.80	c 84607          2148033        343063073      131386043      742            0              463   1818   1479
1716.80/1716.82	c 93147          2264133        358721004      138118283      742            0              1123   1313   1185
1820.39/1820.42	c 102541         2596916        379093384      146975122      742            0              543   2481   1589
2003.49/2003.51	c 112874         2814920        424486450      163775752      742            0              1134   1522   1417
2147.69/2147.72	c 124240         3145552        454368548      179053509      742            0              1238   1911   1493
2400.00/2400.01	
2400.00/2400.01	c *** INTERRUPTED ***
2400.00/2400.01	c restarts              : 51          
2400.00/2400.01	c conflicts             : 132694       (55 /sec)
2400.00/2400.01	c decisions             : 3343109      (1394 /sec)
2400.00/2400.01	c propagations          : 200503318   (83608 /sec)
2400.00/2400.01	c root propagations     : 742         
2400.00/2400.01	c filter calls          : 519012941      (216423 /sec)
2400.00/2400.01	c useless filter calls  : 463533714      (89 %)
2400.00/2400.01	c Memory used           : 2430.43 MB
2400.00/2400.01	c CPU time              : 2398.14 s
2400.00/2400.01	c real time             : 2400 s
2400.00/2400.01	
2400.00/2400.01	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 (15125 MiB free)
  memory of node 1: 16384 MiB (13392 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408688-1569801272/watcher-4408688-1569801272 -o /tmp/evaluation-result-4408688-1569801272/solver-4408688-1569801272 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1569787354-25325 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408688-1569801272.xml 

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

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


[startup+0.100203 s]*
/proc/loadavg: 2.10 2.11 2.08 3/201 28198
/proc/meminfo: memFree=29190468/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=40504 memory=16692 CPUtime=0.1 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 4361 0 0 0 10 0 0 0 20 0 1 0 556394911 41476096 4173 33554432000 4194304 6211132 140724165915344 140724165911880 139699891801996 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 10126 4173 809 493 0 3431 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40504 KiB
Current children cumulated memory: 16692 KiB

[startup+0.209954 s]*
/proc/loadavg: 2.10 2.11 2.08 3/201 28198
/proc/meminfo: memFree=29177076/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=56248 memory=32532 CPUtime=0.2 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 8332 0 0 0 20 0 0 0 20 0 1 0 556394911 57597952 8133 33554432000 4194304 6211132 140724165915344 140724165911880 139699891792869 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 14062 8133 837 493 0 7367 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56248 KiB
Current children cumulated memory: 32532 KiB

[startup+0.309917 s]*
/proc/loadavg: 2.10 2.11 2.08 3/201 28198
/proc/meminfo: memFree=29152772/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=85060 memory=61308 CPUtime=0.3 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 15504 0 0 0 29 1 0 0 20 0 1 0 556394911 87101440 15327 33554432000 4194304 6211132 140724165915344 140724165911880 139699891840928 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 21265 15327 837 493 0 14570 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85060 KiB
Current children cumulated memory: 61308 KiB

[startup+0.700349 s]
/proc/loadavg: 2.10 2.11 2.08 3/201 28198
/proc/meminfo: memFree=29008808/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=270224 memory=246636 CPUtime=0.69 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 61822 0 0 0 61 8 0 0 20 0 1 0 556394911 276709376 61659 33554432000 4194304 6211132 140724165915344 140724165912616 139699891840928 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 67556 61659 837 493 0 60861 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 270224 KiB
Current children cumulated memory: 246636 KiB

[startup+1.50042 s]
/proc/loadavg: 2.10 2.11 2.08 3/201 28198
/proc/meminfo: memFree=28720556/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=824904 memory=801132 CPUtime=1.49 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 200501 0 0 0 122 27 0 0 20 0 1 0 556394911 844701696 200283 33554432000 4194304 6211132 140724165915344 140724165912616 139699891792869 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 206226 200283 837 493 0 199531 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 824904 KiB
Current children cumulated memory: 801132 KiB

[startup+3.10993 s]
/proc/loadavg: 2.10 2.11 2.08 3/201 28198
/proc/meminfo: memFree=27876184/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=1351692 memory=1328260 CPUtime=3.09 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 342990 0 0 0 265 44 0 0 20 0 1 0 556394911 1384132608 332065 33554432000 4194304 6211132 140724165915344 140724165913608 5008940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 337923 332065 873 493 0 331228 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1351692 KiB
Current children cumulated memory: 1328260 KiB

[startup+6.30044 s]
/proc/loadavg: 2.09 2.11 2.08 3/201 28198
/proc/meminfo: memFree=27301752/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=1964784 memory=1904460 CPUtime=6.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 519327 0 0 0 564 65 0 0 20 0 1 0 556394911 2011938816 476115 33554432000 4194304 6211132 140724165915344 140724165912776 5250316 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 491196 476115 873 493 0 484501 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1964784 KiB
Current children cumulated memory: 1904460 KiB

[startup+12.7004 s]
/proc/loadavg: 2.08 2.10 2.08 3/201 28198
/proc/meminfo: memFree=27184856/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2077456 memory=2017340 CPUtime=12.69 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 588603 0 0 0 1199 70 0 0 20 0 1 0 556394911 2127314944 504335 33554432000 4194304 6211132 140724165915344 140724165913304 5409476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 519364 504335 874 493 0 512669 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2077456 KiB
Current children cumulated memory: 2017340 KiB

[startup+25.5005 s]
/proc/loadavg: 2.06 2.10 2.08 3/201 28198
/proc/meminfo: memFree=26881040/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2420636 memory=2320564 CPUtime=25.49 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 853747 0 0 0 2455 94 0 0 20 0 1 0 556394911 2478731264 580141 33554432000 4194304 6211132 140724165915344 140724165913304 5409476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 605159 580141 874 493 0 598464 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2420636 KiB
Current children cumulated memory: 2320564 KiB

[startup+51.1099 s]
/proc/loadavg: 2.04 2.09 2.08 3/201 28201
/proc/meminfo: memFree=26817812/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383252 CPUtime=51.09 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 961877 0 0 0 5007 102 0 0 20 0 1 0 556394911 2548486144 595813 33554432000 4194304 6211132 140724165915344 140724165913304 5409476 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595813 874 493 0 615494 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383252 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/201 28206
/proc/meminfo: memFree=26816968/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383252 CPUtime=102.28 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 1033580 0 0 0 10121 107 0 0 20 0 1 0 556394911 2548486144 595813 33554432000 4194304 6211132 140724165915344 140724165913304 5250266 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595813 874 493 0 615494 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383252 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 28212
/proc/meminfo: memFree=26817188/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383252 CPUtime=162.28 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 1081777 0 0 0 16118 110 0 0 20 0 1 0 556394911 2548486144 595813 33554432000 4194304 6211132 140724165915344 140724165913304 5157804 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595813 874 493 0 615494 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383252 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 28216
/proc/meminfo: memFree=26817100/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=222.28 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 1142959 0 0 0 22114 114 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5250485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 28221
/proc/meminfo: memFree=26817040/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=282.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 1185530 0 0 0 28112 117 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 28227
/proc/meminfo: memFree=26817340/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=342.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 1249106 0 0 0 34108 121 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5409493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 28239
/proc/meminfo: memFree=26816888/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=402.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 1299791 0 0 0 40104 125 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5155377 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 28268
/proc/meminfo: memFree=26816372/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=462.28 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 1325940 0 0 0 46101 127 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5155839 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB


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

/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 1602.3 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28377
/proc/meminfo: memFree=26748012/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=1662.3 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2007086 0 0 0 166056 174 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5409476 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 1662.3 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28381
/proc/meminfo: memFree=26746600/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=1722.3 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2046624 0 0 0 172053 177 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28387
/proc/meminfo: memFree=26746676/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=1782.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2056074 0 0 0 178052 177 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5155571 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28391
/proc/meminfo: memFree=26747156/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=1842.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2089355 0 0 0 184050 179 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5156508 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28396
/proc/meminfo: memFree=26747496/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=1902.3 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2094376 0 0 0 190050 180 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28402
/proc/meminfo: memFree=26746764/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=1962.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2099765 0 0 0 196049 180 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28406
/proc/meminfo: memFree=26746728/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=2022.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2125813 0 0 0 202047 182 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5396441 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28411
/proc/meminfo: memFree=26746032/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=2082.3 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2134587 0 0 0 208047 183 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5155752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+2142.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/199 28417
/proc/meminfo: memFree=26746492/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383256 CPUtime=2142.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2139869 0 0 0 214046 183 0 0 20 0 1 0 556394911 2548486144 595814 33554432000 4194304 6211132 140724165915344 140724165913304 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595814 874 493 0 615494 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383256 KiB

[startup+2202.3 s]
/proc/loadavg: 2.25 2.13 2.09 3/200 28490
/proc/meminfo: memFree=28744076/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383296 CPUtime=2202.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2164605 0 0 0 220044 185 0 0 20 0 1 0 556394911 2548486144 595824 33554432000 4194304 6211132 140724165915344 140724165913304 5155557 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595824 874 493 0 615494 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383296 KiB

[startup+2262.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/201 28495
/proc/meminfo: memFree=28743552/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383296 CPUtime=2262.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2169440 0 0 0 226043 186 0 0 20 0 1 0 556394911 2548486144 595824 33554432000 4194304 6211132 140724165915344 140724165913304 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595824 874 493 0 615494 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383296 KiB

[startup+2322.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/201 28501
/proc/meminfo: memFree=28742896/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383392 CPUtime=2322.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2173045 0 0 0 232043 186 0 0 20 0 1 0 556394911 2548486144 595848 33554432000 4194304 6211132 140724165915344 140724165913304 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595848 874 493 0 615494 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383392 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/201 28505
/proc/meminfo: memFree=28743164/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383400 CPUtime=2382.29 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2176209 0 0 0 238043 186 0 0 20 0 1 0 556394911 2548486144 595850 33554432000 4194304 6211132 140724165915344 140724165913304 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595850 874 493 0 615494 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]*
/proc/loadavg: 2.01 2.07 2.07 3/201 28506
/proc/meminfo: memFree=28743240/32770624 swapFree=66997716/67108860
[pid=28197] ppid=28194 vsize=2488756 memory=2383416 CPUtime=2400 cores=0,2,4,6
/proc/28197/stat : 28197 (cosoco) R 28194 28197 25294 0 -1 4202496 2176529 0 0 0 239814 186 0 0 20 0 1 0 556394911 2548486144 595854 33554432000 4194304 6211132 140724165915344 140724165913304 5157576 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26923008 140724165923851 140724165923953 140724165923953 140724165926862 0
/proc/28197/statm: 622189 595854 874 493 0 615494 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383416 KiB

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

[startup+2400.07 s]
# the end of solver process 28197 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.14 s, system=1.92503 s

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

Child status: 1
Real time (s): 2400.07
CPU time (s): 2400.07
CPU user time (s): 2398.14
CPU system time (s): 1.92503
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2488756
Max. memory (cumulated for all children) (KiB): 2383416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.14
system time used= 1.92503
maximum resident set size= 2383484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2176583
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= 91
involuntary context switches= 649


# summary of solver processes directly reported to runsolver:
#   pid: 28197
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2398.14
#   total CPU system time (s): 1.92503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.42804 second user time and 18.6135 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-30 01:53:53
IDJOB=4408688
IDBENCH=134790
IDSOLVER=2875
FILE ID=node126/4408688-1569801272
RUNJOBID= node126-1569787354-25325
PBS_JOBID= 21705827
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spng/Pb-NG-K152.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408688-1569801272/watcher-4408688-1569801272 -o /tmp/evaluation-result-4408688-1569801272/solver-4408688-1569801272 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1569787354-25325 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408688-1569801272.xml

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

MD5SUM BENCH= 148cc1c525306be86034ad988a5e8607
RANDOM SEED=846186266

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29203568 kB
MemAvailable:   29556884 kB
Buffers:          204708 kB
Cached:           466740 kB
SwapCached:         7392 kB
Active:          2642516 kB
Inactive:         336632 kB
Active(anon):    2312904 kB
Inactive(anon):    70400 kB
Active(file):     329612 kB
Inactive(file):   266232 kB
Unevictable:      109388 kB
Mlocked:          109388 kB
SwapTotal:      67108860 kB
SwapFree:       66997716 kB
Dirty:              3740 kB
Writeback:             0 kB
AnonPages:       2411440 kB
Mapped:            28472 kB
Shmem:             66840 kB
Slab:             177008 kB
SReclaimable:     146616 kB
SUnreclaim:        30392 kB
KernelStack:        3552 kB
PageTables:        10288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2949788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 62024 MiB
End job on node126 at 2019-09-30 02:33:54