Trace number 4390148

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

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.04	c root propagations     : 742         
2.99/3.04	c restarts enabled, print stats at every restarts
2.99/3.04	c
2.99/3.04	c
2.99/3.04	c
2.99/3.04	c This is cosoco 2.00 --  
2.99/3.04	c
2.99/3.04	c command line: cosoco -lc -model -restarts -stick HOME/instance-4390148-1568346702.xml 
2.99/3.04	c ========================================[ Problem Statistics ]===========================================
2.99/3.04	c |                                                                                                       
2.99/3.04	c |  Parse time        :         1.89 s 
2.99/3.04	c |
2.99/3.04	c |               Variables: 18088
2.99/3.04	c |            Domain Sizes: 2..2
2.99/3.04	c |
2.99/3.04	c |             Constraints: 18394
2.99/3.04	c |                   Arity: 1..152  -- Unary: 2  -- Binary: 1963  -- Ternary: 8154
2.99/3.04	c | 
2.99/3.04	c |                   Types: 
2.99/3.04	c |                          Sum: 18394
2.99/3.04	c |                          
2.99/3.04	c =========================================================================================================
2.99/3.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
8.49/8.54	c 101            13082          931707         274561         742            0              3191   12644   11758
14.49/14.56	c 211            29430          1880144        589286         742            0              845   14980   1115
19.38/19.42	c 332            45622          2735916        848231         742            0              13429   13917   13471
23.09/23.12	c 465            63530          3306090        1076457        742            0              1818   16200   15478
26.58/26.63	c 611            82042          3772802        1264140        742            0              1643   17161   15174
31.58/31.67	c 771            98300          4536627        1536460        742            0              995   5012   3736
36.48/36.58	c 947            110341         5366061        1915034        742            0              2867   3180   2972
40.68/40.75	c 1140           116424         6132404        2228675        742            0              1714   1864   1750
45.48/45.57	c 1352           128285         6950713        2553564        742            0              1393   2035   1850
51.18/51.26	c 1585           143049         7889708        2911360        742            0              911   2024   1673
58.99/59.06	c 1841           168013         9039255        3353910        742            0              685   2076   1836
64.57/64.64	c 2122           177660         10117434       3924811        742            0              1362   1519   1427
70.68/70.78	c 2431           189128         11264586       4392693        742            0              1120   1593   1528
74.58/74.62	c 2770           196647         12000484       4685947        742            0              1405   1535   1485
79.09/79.17	c 3142           210685         12658928       4959665        742            0              1148   1526   1275
84.88/84.92	c 3551           218578         13894139       5522383        742            0              1172   1636   1347
91.47/91.54	c 4000           230864         15411177       6156392        742            0              865   1918   1829
100.57/100.69	c 4493           246811         17455541       6982956        742            0              1309   1448   1391
107.47/107.50	c 5035           260455         18940868       7668752        742            0              1354   1474   1417
126.46/126.50	c 5631           274408         23878648       9430711        742            0              1077   1315   1206
133.97/134.09	c 6286           288730         25671927       10066868       742            0              1001   1129   1062
155.96/156.03	c 7006           339017         30015571       11753923       742            0              693   1982   1347
170.45/170.55	c 7798           391964         32264136       12761975       742            0              1192   2532   1881
190.85/190.96	c 8669           430921         36902623       14508172       742            0              1100   2552   1971
232.96/233.03	c 9627           499579         46047795       17981669       742            0              1301   1844   1637
272.84/272.91	c 10680          536852         55601985       21289938       742            0              1413   1711   1594
307.24/307.34	c 11838          603542         63171010       24248882       742            0              1021   2045   1889
323.34/323.46	c 13111          645853         66397547       25612114       742            0              1405   1602   1494
357.73/357.80	c 14511          696786         73813550       28661684       742            0              1378   1593   1488
382.13/382.21	c 16051          726429         79302791       30998883       742            0              1346   1576   1526
426.42/426.54	c 17745          781466         89240539       34574701       742            0              1299   1583   1461
476.62/476.72	c 19608          823421         100929363      38947073       742            0              968   1171   1087
503.62/503.71	c 21657          871476         106972260      41400407       742            0              1092   1758   1330
553.41/553.50	c 23910          905553         118828151      45854938       742            0              1088   1283   1168
599.31/599.41	c 26388          959596         130344606      49944120       742            0              565   1198   1135
637.30/637.42	c 29113          1023632        139533964      53517978       742            0              887   1121   1028
754.00/754.17	c 32110          1088967        168539144      63206480       742            0              726   910   850
785.39/785.56	c 35406          1135406        176081521      66390518       742            0              824   912   878
852.08/852.23	c 39031          1198466        191702421      72810079       742            0              836   968   930
892.38/892.55	c 43018          1284320        200281583      76695844       742            0              890   1166   1061
922.47/922.65	c 47403          1355569        206814235      80087204       742            0              1038   1238   1120
987.66/987.82	c 52226          1447865        221086380      86470762       742            0              1027   1183   1108
1051.36/1051.52	c 57531          1578311        234181964      92662433       742            0              1013   1284   1127
1213.95/1214.13	c 63366          1689007        276138845      106866679      742            0              942   1100   1042
1310.64/1310.82	c 69784          1794536        300021439      115082510      742            0              814   929   863
1416.62/1416.86	c 76843          1922234        324881516      124081060      742            0              756   943   863
1506.22/1506.45	c 84607          2148033        343063073      131386043      742            0              463   1818   1479
1571.11/1571.36	c 93147          2264133        358721004      138118283      742            0              1123   1313   1185
1673.31/1673.58	c 102541         2596916        379093384      146975122      742            0              543   2481   1589
1854.48/1854.71	c 112874         2814920        424486450      163775752      742            0              1134   1522   1417
1997.28/1997.56	c 124240         3145552        454368548      179053509      742            0              1238   1911   1493
2356.95/2357.24	c 136742         3428445        546415519      209850874      742            0              1174   1331   1269
2400.05/2400.30	
2400.05/2400.30	c *** INTERRUPTED ***
2400.05/2400.30	c restarts              : 52          
2400.05/2400.30	c conflicts             : 138496       (58 /sec)
2400.05/2400.30	c decisions             : 3574658      (1490 /sec)
2400.05/2400.30	c propagations          : 213199516   (88883 /sec)
2400.05/2400.30	c root propagations     : 742         
2400.05/2400.30	c filter calls          : 553719285      (230846 /sec)
2400.05/2400.30	c useless filter calls  : 493408469      (89 %)
2400.05/2400.30	c Memory used           : 2430.43 MB
2400.05/2400.30	c CPU time              : 2398.65 s
2400.05/2400.30	c real time             : 2400.3 s
2400.05/2400.30	
2400.05/2400.30	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 (12845 MiB free)
  memory of node 1: 16384 MiB (13286 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390148-1568346702/watcher-4390148-1568346702 -o /tmp/evaluation-result-4390148-1568346702/solver-4390148-1568346702 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390148-1568346702.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=26809, runsolver pid=26806

[startup+0.101102 s]*
/proc/loadavg: 2.00 1.99 2.03 3/200 26810
/proc/meminfo: memFree=26745636/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=40504 memory=16688 CPUtime=0.09 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 4356 0 0 0 9 0 0 0 20 0 1 0 410917535 41476096 4172 33554432000 4194304 6210612 140724140976992 140724140974264 5811814 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 10126 4172 807 493 0 3431 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40504 KiB
Current children cumulated memory: 16688 KiB

[startup+0.209857 s]*
/proc/loadavg: 2.00 1.99 2.03 3/200 26810
/proc/meminfo: memFree=26733388/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=55212 memory=31472 CPUtime=0.21 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 8070 0 0 0 20 1 0 0 20 0 1 0 410917535 56537088 7868 33554432000 4194304 6210612 140724140976992 140724140974264 5550622 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 13803 7868 834 493 0 7108 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55212 KiB
Current children cumulated memory: 31472 KiB

[startup+0.30973 s]*
/proc/loadavg: 2.00 1.99 2.03 3/200 26810
/proc/meminfo: memFree=26709952/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=83208 memory=59456 CPUtime=0.3 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 15052 0 0 0 29 1 0 0 20 0 1 0 410917535 85204992 14864 33554432000 4194304 6210612 140724140976992 140724140974264 140080736377829 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 20802 14864 834 493 0 14107 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83208 KiB
Current children cumulated memory: 59456 KiB

[startup+0.700296 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 26810
/proc/meminfo: memFree=26564268/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=273476 memory=249800 CPUtime=0.68 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 62634 0 0 0 63 5 0 0 20 0 1 0 410917535 280039424 62450 33554432000 4194304 6210612 140724140976992 140724140971144 140080736377829 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 68405 62450 834 493 0 61710 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 273476 KiB
Current children cumulated memory: 249800 KiB

[startup+1.50037 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 26810
/proc/meminfo: memFree=26268528/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=839132 memory=815372 CPUtime=1.49 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 204052 0 0 0 125 24 0 0 20 0 1 0 410917535 859271168 203777 33554432000 4194304 6210612 140724140976992 140724140973816 140080736425888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 209783 203843 834 493 0 203088 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 839132 KiB
Current children cumulated memory: 815372 KiB

[startup+3.10961 s]
/proc/loadavg: 1.92 1.97 2.03 3/200 26810
/proc/meminfo: memFree=25432272/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=1351692 memory=1328240 CPUtime=3.09 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 343157 0 0 0 268 41 0 0 20 0 1 0 410917535 1384132608 332060 33554432000 4194304 6210612 140724140976992 140724140975256 5008572 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 337923 332060 869 493 0 331228 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1351692 KiB
Current children cumulated memory: 1328240 KiB

[startup+6.30039 s]
/proc/loadavg: 1.92 1.97 2.03 3/200 26810
/proc/meminfo: memFree=24857876/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2040848 memory=1980624 CPUtime=6.29 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 547747 0 0 0 564 65 0 0 20 0 1 0 410917535 2089828352 495156 33554432000 4194304 6210612 140724140976992 140724140974712 5397208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 510212 495156 869 493 0 503517 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2040848 KiB
Current children cumulated memory: 1980624 KiB

[startup+12.7004 s]
/proc/loadavg: 1.93 1.97 2.03 3/200 26810
/proc/meminfo: memFree=24741876/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2077456 memory=2017324 CPUtime=12.69 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 599920 0 0 0 1201 68 0 0 20 0 1 0 410917535 2127314944 504331 33554432000 4194304 6210612 140724140976992 140724140974952 5185856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 519364 504331 871 493 0 512669 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2077456 KiB
Current children cumulated memory: 2017324 KiB

[startup+25.5004 s]
/proc/loadavg: 1.94 1.97 2.03 3/200 26811
/proc/meminfo: memFree=24438264/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2420636 memory=2320724 CPUtime=25.48 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 867596 0 0 0 2459 89 0 0 20 0 1 0 410917535 2478731264 580181 33554432000 4194304 6210612 140724140976992 140724140974952 5249893 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 605159 580181 871 493 0 598464 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2420636 KiB
Current children cumulated memory: 2320724 KiB

[startup+51.1098 s]
/proc/loadavg: 1.96 1.97 2.03 3/200 26813
/proc/meminfo: memFree=24375104/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2383236 CPUtime=51.09 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 971541 0 0 0 5011 98 0 0 20 0 1 0 410917535 2548486144 595809 33554432000 4194304 6210612 140724140976992 140724140974952 5155888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 595809 871 493 0 615494 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383236 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 2.03 3/200 26817
/proc/meminfo: memFree=24374776/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2383236 CPUtime=102.27 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1045454 0 0 0 10125 102 0 0 20 0 1 0 410917535 2548486144 595809 33554432000 4194304 6210612 140724140976992 140724140974952 5192938 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 595809 871 493 0 615494 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383236 KiB

[startup+162.3 s]
/proc/loadavg: 2.06 2.00 2.03 3/200 26821
/proc/meminfo: memFree=24374720/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2383240 CPUtime=162.25 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1097372 0 0 0 16119 106 0 0 20 0 1 0 410917535 2548486144 595810 33554432000 4194304 6210612 140724140976992 140724140974952 5409284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 595810 871 493 0 615494 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383240 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 2.01 2.04 3/200 26827
/proc/meminfo: memFree=24374612/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2383240 CPUtime=222.25 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1132388 0 0 0 22116 109 0 0 20 0 1 0 410917535 2548486144 595810 33554432000 4194304 6210612 140724140976992 140724140974952 5409301 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 595810 871 493 0 615494 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383240 KiB

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/199 26832
/proc/meminfo: memFree=24374572/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2383240 CPUtime=282.24 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1187965 0 0 0 28111 113 0 0 20 0 1 0 410917535 2548486144 595810 33554432000 4194304 6210612 140724140976992 140724140974952 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 595810 871 493 0 615494 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383240 KiB

[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/199 26836
/proc/meminfo: memFree=24374132/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2383240 CPUtime=342.24 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1225695 0 0 0 34109 115 0 0 20 0 1 0 410917535 2548486144 595810 33554432000 4194304 6210612 140724140976992 140724140974952 5154977 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 595810 871 493 0 615494 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383240 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 26842
/proc/meminfo: memFree=24374288/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2383240 CPUtime=402.23 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1264640 0 0 0 40106 117 0 0 20 0 1 0 410917535 2548486144 595810 33554432000 4194304 6210612 140724140976992 140724140974952 5156512 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 595810 871 493 0 615494 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383240 KiB

[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/199 26847
/proc/meminfo: memFree=24374248/32770624 swapFree=66927176/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2383240 CPUtime=462.21 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1286898 0 0 0 46103 118 0 0 20 0 1 0 410917535 2548486144 595810 33554432000 4194304 6210612 140724140976992 140724140974952 5249899 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 595810 871 493 0 615494 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383240 KiB


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

/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 1662.11 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27106
/proc/meminfo: memFree=24255588/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=1722.1 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1573433 0 0 0 172073 137 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+1782.3 s]
/proc/loadavg: 2.41 2.14 2.09 3/200 27118
/proc/meminfo: memFree=24255136/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=1782.09 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1574620 0 0 0 178072 137 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5249664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+1842.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/200 27124
/proc/meminfo: memFree=24255108/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=1842.09 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1575758 0 0 0 184072 137 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5409284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+1902.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/200 27128
/proc/meminfo: memFree=24255664/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=1902.09 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1579945 0 0 0 190071 138 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/200 27132
/proc/meminfo: memFree=24255704/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=1962.08 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1581236 0 0 0 196070 138 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5249674 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/200 27138
/proc/meminfo: memFree=24255348/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=2022.08 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1585312 0 0 0 202069 139 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5154977 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 27143
/proc/meminfo: memFree=24255368/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=2082.08 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1586512 0 0 0 208069 139 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5154973 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 27147
/proc/meminfo: memFree=24255716/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=2142.07 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1587671 0 0 0 214068 139 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5155439 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/199 27153
/proc/meminfo: memFree=24254996/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=2202.06 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1588768 0 0 0 220067 139 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5155888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 2202.06 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 27158
/proc/meminfo: memFree=24255672/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=2262.06 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1589829 0 0 0 226067 139 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5154973 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 27162
/proc/meminfo: memFree=24255472/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=2322.05 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1590813 0 0 0 232066 139 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5156331 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 2322.05 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 27176
/proc/meminfo: memFree=24255272/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=2382.05 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1595485 0 0 0 238065 140 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5155436 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 2382.05 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 27176
/proc/meminfo: memFree=24255448/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=2400.05 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1595780 0 0 0 239865 140 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5409289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

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

[startup+2400.32 s]
# the end of solver process 26809 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.65 s, system=1.41989 s

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

[startup+2400.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 27176
/proc/meminfo: memFree=24255448/32770624 swapFree=66927180/67108860
[pid=26809] ppid=26806 vsize=2488756 memory=2449944 CPUtime=2400.05 cores=1,3,5,7
/proc/26809/stat : 26809 (cosoco) R 26806 26809 21907 0 -1 4202496 1595780 0 0 0 239865 140 0 0 20 0 1 0 410917535 2548486144 612486 33554432000 4194304 6210612 140724140976992 140724140974952 5409289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32727040 140724140983307 140724140983409 140724140983409 140724140986318 0
/proc/26809/statm: 622189 612486 871 493 0 615494 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2449944 KiB

Child status: 1
Real time (s): 2400.32
CPU time (s): 2400.07
CPU user time (s): 2398.65
CPU system time (s): 1.41989
CPU usage (%): 99.9899
Max. virtual memory (cumulated for all children) (KiB): 2488756
Max. memory (cumulated for all children) (KiB): 2449944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.65
system time used= 1.41989
maximum resident set size= 2450016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1595833
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= 139
involuntary context switches= 634


# summary of solver processes directly reported to runsolver:
#   pid: 26809
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2398.65
#   total CPU system time (s): 1.41989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.79734 second user time and 18.2997 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-13 05:51:00
IDJOB=4390148
IDBENCH=134790
IDSOLVER=2830
FILE ID=node137/4390148-1568346702
RUNJOBID= node137-1568323498-21939
PBS_JOBID= 21701145
Free space on /tmp= 61232 MiB

SOLVER NAME= cosoco 2
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-4390148-1568346702/watcher-4390148-1568346702 -o /tmp/evaluation-result-4390148-1568346702/solver-4390148-1568346702 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390148-1568346702.xml

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

MD5SUM BENCH= 148cc1c525306be86034ad988a5e8607
RANDOM SEED=1268924048

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        26759060 kB
MemAvailable:   31803116 kB
Buffers:          143844 kB
Cached:          5165136 kB
SwapCached:        77540 kB
Active:          1366788 kB
Inactive:        4025320 kB
Active(anon):       6824 kB
Inactive(anon):   117532 kB
Active(file):    1359964 kB
Inactive(file):  3907788 kB
Unevictable:      108716 kB
Mlocked:          108716 kB
SwapTotal:      67108860 kB
SwapFree:       66927176 kB
Dirty:              3920 kB
Writeback:             0 kB
AnonPages:        115556 kB
Mapped:            44756 kB
Shmem:             32708 kB
Slab:             212976 kB
SReclaimable:     184280 kB
SUnreclaim:        28696 kB
KernelStack:        3488 kB
PageTables:         5592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     529640 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61228 MiB
End job on node137 at 2019-09-13 06:31:00