Trace number 4407988

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2520.05 2520.01

General information on the benchmark

NameSat/Sat-m1-various/
pret-150-40.xml
MD5SUM798862a2384da12f90df47f1a27f971a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010862
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":150}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4407988-1569792553.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 150
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 100
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 100
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 100  (nb tuples: 4..4) -- (shared: 98)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c 101            709            2535           2265           0              0              68   148   120 
0.00/0.01	c 211            1584           5445           4984           0              0              51   148   132 
0.00/0.01	c 332            2337           7944           7326           0              0              86   139   104 
0.00/0.01	c 465            3345           11168          10398          0              0              94   107   102 
0.00/0.01	c 611            4278           14305          13310          0              0              43   148   115 
0.00/0.02	c 771            5349           17801          16613          0              0              88   124   108 
0.00/0.02	c 947            6708           22200          20782          0              0              36   148   121 
0.00/0.02	c 1140           8061           26552          24967          0              0              72   126   96  
0.00/0.03	c 1352           9626           31625          29776          0              0              92   148   131 
0.00/0.03	c 1585           11575          37746          35696          0              0              98   138   119 
0.00/0.04	c 1841           13540          43994          41664          0              0              124   145   139
0.00/0.04	c 2122           15321          49853          47264          0              0              46   148   117 
0.00/0.04	c 2431           17622          57257          54390          0              0              119   148   132
0.00/0.05	c 2770           19932          64940          61713          0              0              68   136   97  
0.00/0.06	c 3142           22628          73679          70088          0              0              105   148   129
0.00/0.06	c 3551           25524          82942          79137          0              0              102   148   129
0.00/0.07	c 4000           28599          92800          88748          0              0              59   142   111 
0.00/0.08	c 4493           32026          103858         99489          0              0              113   145   137
0.00/0.09	c 5035           36025          116506         111828         0              0              107   148   134
0.00/0.10	c 5631           40339          130521         125361         0              0              74   148   129 
0.10/0.11	c 6286           45739          147745         142169         0              0              100   148   130
0.10/0.12	c 7006           50783          164160         158155         0              0              104   148   131
0.10/0.13	c 7798           56165          181665         175203         0              0              39   148   122 
0.10/0.15	c 8669           62645          202551         195463         0              0              104   148   132
0.10/0.17	c 9627           69591          224958         217313         0              0              52   114   75  
0.10/0.18	c 10680          77241          249743         241365         0              0              18   148   128 
0.10/0.20	c 11838          85109          274936         266148         0              0              81   148   130 
0.21/0.22	c 13111          94564          305185         295621         0              0              54   148   124 
0.21/0.25	c 14511          104407         336949         326765         0              0              74   148   111 
0.21/0.27	c 16051          114880         370539         359773         0              0              108   142   131
0.21/0.30	c 17745          126689         408640         396947         0              0              55   148   127 
0.31/0.33	c 19608          139650         449731         437411         0              0              95   148   131 
0.31/0.36	c 21657          153354         493883         480688         0              0              5   148   123  
0.31/0.39	c 23910          168118         541133         527187         0              0              92   148   122 
0.41/0.43	c 26388          185080         595976         580863         0              0              96   148   136 
0.41/0.47	c 29113          203442         654890         639004         0              0              12   148   130 
0.51/0.52	c 32110          223340         719024         701743         0              0              83   120   108 
0.51/0.57	c 35406          248161         799772         780615         0              0              88   148   141 
0.60/0.63	c 39031          273806         882509         861807         0              0              69   148   130 
0.60/0.69	c 43018          299573         965445         943597         0              0              53   148   137 
0.69/0.75	c 47403          328344         1058665        1034826        0              0              60   145   119 
0.79/0.83	c 52226          362481         1167793        1142053        0              0              5   148   115  
0.89/0.91	c 57531          398909         1284390        1256974        0              0              93   148   130 
0.89/1.00	c 63366          437830         1411098        1381201        0              0              31   148   132 
1.00/1.10	c 69784          484669         1561174        1528679        0              0              74   148   139 
1.19/1.21	c 76843          530972         1710861        1675826        0              0              95   148   130 
1.29/1.34	c 84607          589437         1898458        1860246        0              0              96   148   141 
1.39/1.47	c 93147          650133         2094100        2052525        0              0              16   148   133 
1.59/1.61	c 102541         714055         2299772        2254613        0              0              70   148   134 
1.69/1.78	c 112874         789666         2541451        2491996        0              0              36   148   135 
1.89/1.96	c 124240         868161         2795508        2742136        0              0              69   148   133 
2.10/2.15	c 136742         953386         3070116        3011766        0              0              25   148   127 
2.29/2.35	c 150494         1044374        3366352        3303073        0              0              70   148   131 
2.59/2.60	c 165621         1149124        3703004        3633722        0              0              27   148   109 
2.79/2.86	c 182260         1262711        4069566        3993078        0              0              90   148   132 
3.10/3.13	c 200562         1386650        4469914        4387686        0              0              98   148   136 
3.39/3.44	c 220694         1524257        4913591        4823919        0              0              66   148   133 
3.69/3.79	c 242839         1676851        5406966        5308567        0              0              25   145   117 
4.10/4.17	c 267198         1840240        5934581        5828528        0              0              25   148   114 
4.49/4.58	c 293992         2020867        6512561        6400525        0              0              95   148   132 
4.89/5.00	c 323465         2208574        7120456        7001109        0              0              91   148   131 
5.39/5.48	c 355885         2422431        7809621        7679930        0              0              46   148   127 
6.00/6.02	c 391547         2661675        8575738        8435660        0              0              74   148   126 
6.59/6.67	c 430775         2940954        9471356        9316606        0              0              34   148   121 
7.29/7.34	c 473925         3234397        10418158       10248818       0              0              68   148   122 
8.00/8.10	c 521390         3557500        11464199       11277116       0              0              20   145   111 
8.89/8.92	c 573601         3921094        12628500       12424783       0              0              79   148   128 
9.69/9.79	c 631033         4301655        13861260       13639916       0              0              43   148   127 
10.69/10.77	c 694208         4738936        15264918       15022806       0              0              79   148   128 
11.79/11.80	c 763700         5191357        16724270       16462670       0              0              82   148   128 
12.89/12.98	c 840141         5716801        18410439       18122781       0              0              21   148   128 
14.19/14.27	c 924226         6283440        20232228       19926487       0              0              10   148   126 
15.59/15.68	c 1016719        6911813        22248400       21913917       0              0              31   148   128 
17.19/17.25	c 1118461        7600739        24473679       24107643       0              0              82   148   127 
18.89/18.95	c 1230377        8359826        26908832       26510229       0              0              18   148   127 
20.79/20.80	c 1353484        9172280        29535677       29100633       0              0              15   148   128 
22.89/22.91	c 1488901        10114830       32563274       32080550       0              0              15   148   129 
25.10/25.18	c 1637859        11118536       35802850       35279599       0              0              15   148   129 
27.69/27.75	c 1801712        12264740       39480794       38901501       0              0              59   148   129 
30.49/30.58	c 1981950        13526676       43540547       42908677       0              0              83   148   131 
33.69/33.74	c 2180211        14939743       48070954       47368939       0              0              70   148   130 
37.29/37.32	c 2398298        16530837       53197147       52424245       0              0              20   148   132 
41.00/41.02	c 2638193        18178583       58477953       57632156       0              0              14   148   128 
45.00/45.08	c 2902077        19980918       64282240       63379934       0              0              14   148   131 
49.59/49.61	c 3192349        22003549       70772461       69766657       0              0              80   148   128 
54.69/54.72	c 3511648        24274245       78107672       77001422       0              0              16   148   131 
60.19/60.29	c 3862876        26730245       85970986       84760788       0              0              14   148   124 
66.59/66.65	c 4249226        29584801       95124484       93803899       0              0              53   148   134 
73.29/73.38	c 4674211        32559701       104657171      103205697      0              0              73   148   125 
80.09/80.18	c 5141694        35544186       114317765      112759616      0              0              11   148   127 
87.99/88.10	c 5655925        39069516       125610739      123921131      0              0              10   148   128 
96.68/96.71	c 6221579        42872913       137865495      136012249      0              0              24   148   128 
106.28/106.34	c 6843798        47123301       151503348      149466839      0              0              12   148   124 
116.88/116.94	c 7528238        51843276       166697714      164467086      0              0              13   148   132 
128.58/128.65	c 8281122        57041576       183366381      180915239      0              0              76   148   127 
140.78/140.88	c 9109294        62465276       200850310      198200224      0              0              14   148   130 
154.88/154.98	c 10020283       68728490       220897490      217990192      0              0              74   148   127 
169.88/170.00	c 11022370       75383246       242120291      238993212      0              0              17   148   128 
187.18/187.28	c 12124665       83089779       266725963      263300706      0              0              12   148   129 
205.98/206.09	c 13337189       91390367       293332193      289624577      0              0              77   148   127 
226.98/227.01	c 14670965       100762994      323252229      319162383      0              0              78   148   130 
250.37/250.41	c 16138118       111170700      356800928      352285850      0              0              84   148   132 
275.67/275.74	c 17751986       122387302      392742896      387697535      0              0              46   148   126 
302.98/303.08	c 19527240       134527053      431832883      426362718      0              0              13   148   130 
333.47/333.50	c 21480019       148123883      475406792      469323519      0              0              76   148   130 
367.76/367.84	c 23628075       163305852      524307008      517660448      0              0              19   148   129 
404.97/405.07	c 25990936       179858076      577234016      569857382      0              0              13   148   128 
442.47/442.56	c 28590083       196467402      631079435      623219513      0              0              25   148   131 
487.37/487.46	c 31449144       216566138      695342020      686648588      0              0              76   148   130 
535.67/535.71	c 34594111       237864965      763873991      754402832      0              0              58   148   129 
590.77/590.86	c 38053574       262269401      841915193      831394287      0              0              13   148   126 
648.47/648.57	c 41858983       287788522      924303487      912782771      0              0              73   148   130 
714.17/714.21	c 46044932       317079968      1017704879     1005226567     0              0              14   148   129 
786.08/786.18	c 50649475       348797677      1119919355     1106142266     0              0              63   148   128 
866.58/866.64	c 55714472       384818138      1235227368     1220229811     0              0              70   148   131 
951.78/951.80	c 61285968       422600828      1355985981     1339888074     0              0              67   148   130 
1049.18/1049.29	c 67414613       465146587      1492005180     1474400851     0              0              26   148   121 
1154.48/1154.58	c 74156122       511920528      1640948484     1621695112     0              0              16   148   130 
1270.88/1270.93	c 81571781       563736198      1805995226     1785131765     0              0              14   148   128 
1403.69/1403.74	c 89729005       622497653      1993678774     1970786686     0              0              60   148   129 
1547.80/1547.89	c 98701951       686380290      2197683106     2172603881     0              0              55   148   127 
1703.21/1703.25	c 108572191      754996489      2416263191     2389081152     0              0              49   148   128 
1878.51/1878.51	c 119429455      833313689      2665674773     2635938979     0              0              13   148   130 
2064.32/2064.30	c 131372445      915768004      2929287173     2897126344     0              0              14   148   130 
2274.03/2274.08	c 144509734      1009321019     3227999943     3192412501     0              0              12   148   130 
2499.23/2499.23	c 158960751      1109703995     3546960301     3508629602     0              0              63   148   131 
2520.04/2520.00	
2520.04/2520.00	c *** INTERRUPTED ***
2520.04/2520.00	c restarts              : 126         
2520.04/2520.00	c conflicts             : 160356533    (63633 /sec)
2520.04/2520.00	c decisions             : 1118882715   (443995 /sec)
2520.04/2520.00	c propagations          : 3537620618  (1403800 /sec)
2520.04/2520.00	c root propagations     : 0           
2520.04/2520.00	c filter calls          : 3576522530     (1419237 /sec)
2520.04/2520.00	c useless filter calls  : 2167559352     (60 %)
2520.04/2520.00	c Memory used           : 26.98 MB
2520.04/2520.00	c CPU time              : 2520.03 s
2520.04/2520.00	c real time             : 2520 s
2520.04/2520.00	
2520.04/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407988-1569792553/watcher-4407988-1569792553 -o /tmp/evaluation-result-4407988-1569792553/solver-4407988-1569792553 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2497 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407988-1569792553.xml 

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

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


[startup+0.100156 s]*
/proc/loadavg: 1.91 1.97 2.01 3/199 3604
/proc/meminfo: memFree=30416292/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=3952 CPUtime=0.1 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 1214 0 0 0 10 0 0 0 20 0 1 0 555193606 28286976 988 33554432000 4194304 6211132 140722567296160 140722567294120 5380299 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 988 832 493 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+0.209387 s]*
/proc/loadavg: 1.91 1.97 2.01 3/199 3604
/proc/meminfo: memFree=30416292/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4216 CPUtime=0.21 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 1216 0 0 0 21 0 0 0 20 0 1 0 555193606 28286976 1054 33554432000 4194304 6211132 140722567296160 140722567294120 5392096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1054 851 493 0 211 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4216 KiB

[startup+0.309029 s]*
/proc/loadavg: 1.91 1.97 2.01 3/199 3604
/proc/meminfo: memFree=30416292/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4216 CPUtime=0.31 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 1216 0 0 0 31 0 0 0 20 0 1 0 555193606 28286976 1054 33554432000 4194304 6211132 140722567296160 140722567294120 5038788 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1054 851 493 0 211 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4216 KiB

[startup+0.700271 s]
/proc/loadavg: 1.91 1.97 2.01 3/199 3604
/proc/meminfo: memFree=30416292/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4216 CPUtime=0.69 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 1216 0 0 0 69 0 0 0 20 0 1 0 555193606 28286976 1054 33554432000 4194304 6211132 140722567296160 140722567294120 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1054 851 493 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4216 KiB

[startup+1.50027 s]
/proc/loadavg: 1.91 1.97 2.01 3/199 3604
/proc/meminfo: memFree=30416292/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4216 CPUtime=1.49 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 1216 0 0 0 149 0 0 0 20 0 1 0 555193606 28286976 1054 33554432000 4194304 6211132 140722567296160 140722567294120 5039365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1054 851 493 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4216 KiB

[startup+3.10893 s]
/proc/loadavg: 1.91 1.97 2.01 3/199 3604
/proc/meminfo: memFree=30416292/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=3.1 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 1357 0 0 0 310 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5039132 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+6.30026 s]
/proc/loadavg: 1.92 1.97 2.01 3/199 3604
/proc/meminfo: memFree=30416292/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=6.29 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 1498 0 0 0 629 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035326 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+12.7003 s]
/proc/loadavg: 1.92 1.97 2.01 3/199 3604
/proc/meminfo: memFree=30415608/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=12.69 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 1639 0 0 0 1269 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5038916 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+25.5003 s]
/proc/loadavg: 1.94 1.97 2.01 3/200 3607
/proc/meminfo: memFree=30414120/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=25.49 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 1921 0 0 0 2549 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5039609 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+51.109 s]
/proc/loadavg: 2.04 1.99 2.01 3/199 3607
/proc/meminfo: memFree=30414492/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=51.1 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 2062 0 0 0 5110 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5009393 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 1.99 2.01 3/200 3619
/proc/meminfo: memFree=30414980/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=102.28 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 2203 0 0 0 10228 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035344 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 1.99 2.01 3/201 3625
/proc/meminfo: memFree=30415388/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=162.28 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 2344 0 0 0 16228 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5039414 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/200 3629
/proc/meminfo: memFree=30414516/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=222.27 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 2485 0 0 0 22227 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/200 3633
/proc/meminfo: memFree=30415020/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=282.27 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 2626 0 0 0 28227 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/201 3639
/proc/meminfo: memFree=30414892/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=342.26 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 2767 0 0 0 34226 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+402.3 s]
/proc/loadavg: 1.96 1.98 2.01 3/199 3643
/proc/meminfo: memFree=30414892/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=402.26 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 2908 0 0 0 40226 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+462.3 s]
/proc/loadavg: 2.43 2.09 2.05 3/199 3647
/proc/meminfo: memFree=30414476/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=462.27 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 3049 0 0 0 46227 0 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035216 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB


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

/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3785
/proc/meminfo: memFree=30413844/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=1782.31 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 5898 0 0 0 178230 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5392096 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3789
/proc/meminfo: memFree=30414048/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=1842.31 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 6026 0 0 0 184230 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 3801
/proc/meminfo: memFree=30413076/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=1902.31 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 6167 0 0 0 190230 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5038833 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 3834
/proc/meminfo: memFree=30412688/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=1962.31 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 6294 0 0 0 196230 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5397136 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 3838
/proc/meminfo: memFree=30413876/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=2022.32 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 6423 0 0 0 202231 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035232 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 3842
/proc/meminfo: memFree=30413748/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=2082.32 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 6564 0 0 0 208231 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035312 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 3848
/proc/meminfo: memFree=30413260/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=2142.32 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 6690 0 0 0 214231 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5409485 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 3852
/proc/meminfo: memFree=30413092/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=2202.32 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 6820 0 0 0 220231 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5193776 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3856
/proc/meminfo: memFree=30413088/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=2262.32 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 6948 0 0 0 226231 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5409489 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3862
/proc/meminfo: memFree=30412844/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=2322.32 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 7087 0 0 0 232231 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035216 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3867
/proc/meminfo: memFree=30412720/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=2382.33 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 7215 0 0 0 238232 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035312 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+2442.3 s]
/proc/loadavg: 1.86 1.98 2.03 3/199 3996
/proc/meminfo: memFree=30318492/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=2442.33 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 7343 0 0 0 244232 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5035216 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+2502.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/200 4011
/proc/meminfo: memFree=30317704/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=2502.33 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 7484 0 0 0 250232 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5394183 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.96 1.99 2.03 3/199 4011
/proc/meminfo: memFree=30319316/32770624 swapFree=66997324/67108860
[pid=3603] ppid=3600 vsize=27624 memory=4220 CPUtime=2520.04 cores=1,3,5,7
/proc/3603/stat : 3603 (cosoco) R 3600 3603 2465 0 -1 4202496 7611 0 0 0 252003 1 0 0 20 0 1 0 555193606 28286976 1055 33554432000 4194304 6211132 140722567296160 140722567294120 5039038 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15302656 140722567300107 140722567300209 140722567300209 140722567303118 0
/proc/3603/statm: 6906 1055 851 493 0 211 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

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

[startup+2520.01 s]
# the end of solver process 3603 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.03 s, system=0.013 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.05
CPU user time (s): 2520.03
CPU system time (s): 0.013
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 27624
Max. memory (cumulated for all children) (KiB): 4220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.013
maximum resident set size= 4284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7660
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= 14
involuntary context switches= 813


# summary of solver processes directly reported to runsolver:
#   pid: 3603
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2520.03
#   total CPU system time (s): 0.013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.24858 second user time and 16.6011 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-29 23:28:31
IDJOB=4407988
IDBENCH=123586
IDSOLVER=2874
FILE ID=node140/4407988-1569792553
RUNJOBID= node140-1569787351-2497
PBS_JOBID= 21705822
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Sat/Sat-m1-various/pret-150-40.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407988-1569792553/watcher-4407988-1569792553 -o /tmp/evaluation-result-4407988-1569792553/solver-4407988-1569792553 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2497 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4407988-1569792553.xml

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

MD5SUM BENCH= 798862a2384da12f90df47f1a27f971a
RANDOM SEED=843305118

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
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:        30416776 kB
MemAvailable:   31812408 kB
Buffers:          208772 kB
Cached:          1524308 kB
SwapCached:         3056 kB
Active:          1448228 kB
Inactive:         356148 kB
Active(anon):      78684 kB
Inactive(anon):    72436 kB
Active(file):    1369544 kB
Inactive(file):   283712 kB
Unevictable:      107036 kB
Mlocked:          107036 kB
SwapTotal:      67108860 kB
SwapFree:       66997324 kB
Dirty:              2724 kB
Writeback:             4 kB
AnonPages:        180056 kB
Mapped:            27876 kB
Shmem:             71208 kB
Slab:             145400 kB
SReclaimable:     116420 kB
SUnreclaim:        28980 kB
KernelStack:        3616 kB
PageTables:         5516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     631324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 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= 62024 MiB
End job on node140 at 2019-09-30 00:10:32