Trace number 4389448

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) 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-4389448-1568324129.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.05	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.58	c 35406          248161         799772         780615         0              0              88   148   141 
0.60/0.64	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.76	c 47403          328344         1058665        1034826        0              0              60   145   119 
0.79/0.84	c 52226          362481         1167793        1142053        0              0              5   148   115  
0.89/0.92	c 57531          398909         1284390        1256974        0              0              93   148   130 
1.00/1.01	c 63366          437830         1411098        1381201        0              0              31   148   132 
1.10/1.12	c 69784          484669         1561174        1528679        0              0              74   148   139 
1.19/1.22	c 76843          530972         1710861        1675826        0              0              95   148   130 
1.29/1.35	c 84607          589437         1898458        1860246        0              0              96   148   141 
1.39/1.49	c 93147          650133         2094100        2052525        0              0              16   148   133 
1.59/1.63	c 102541         714055         2299772        2254613        0              0              70   148   134 
1.79/1.80	c 112874         789666         2541451        2491996        0              0              36   148   135 
1.89/1.98	c 124240         868161         2795508        2742136        0              0              69   148   133 
2.10/2.17	c 136742         953386         3070116        3011766        0              0              25   148   127 
2.29/2.38	c 150494         1044374        3366352        3303073        0              0              70   148   131 
2.59/2.63	c 165621         1149124        3703004        3633722        0              0              27   148   109 
2.79/2.89	c 182260         1262711        4069566        3993078        0              0              90   148   132 
3.10/3.17	c 200562         1386650        4469914        4387686        0              0              98   148   136 
3.39/3.48	c 220694         1524257        4913591        4823919        0              0              66   148   133 
3.79/3.84	c 242839         1676851        5406966        5308567        0              0              25   145   117 
4.19/4.22	c 267198         1840240        5934581        5828528        0              0              25   148   114 
4.59/4.63	c 293992         2020867        6512561        6400525        0              0              95   148   132 
5.00/5.05	c 323465         2208574        7120456        7001109        0              0              91   148   131 
5.49/5.54	c 355885         2422431        7809621        7679930        0              0              46   148   127 
6.00/6.09	c 391547         2661675        8575738        8435660        0              0              74   148   126 
6.69/6.74	c 430775         2940954        9471356        9316606        0              0              34   148   121 
7.39/7.42	c 473925         3234397        10418158       10248818       0              0              68   148   122 
8.10/8.19	c 521390         3557500        11464199       11277116       0              0              20   145   111 
9.00/9.02	c 573601         3921094        12628500       12424783       0              0              79   148   128 
9.79/9.89	c 631033         4301655        13861260       13639916       0              0              43   148   127 
10.79/10.89	c 694208         4738936        15264918       15022806       0              0              79   148   128 
11.89/11.92	c 763700         5191357        16724270       16462670       0              0              82   148   128 
13.10/13.12	c 840141         5716801        18410439       18122781       0              0              21   148   128 
14.39/14.42	c 924226         6283440        20232228       19926487       0              0              10   148   126 
15.79/15.86	c 1016719        6911813        22248400       21913917       0              0              31   148   128 
17.39/17.43	c 1118461        7600739        24473679       24107643       0              0              82   148   127 
19.10/19.16	c 1230377        8359826        26908832       26510229       0              0              18   148   127 
21.00/21.02	c 1353484        9172280        29535677       29100633       0              0              15   148   128 
23.10/23.16	c 1488901        10114830       32563274       32080550       0              0              15   148   129 
25.39/25.45	c 1637859        11118536       35802850       35279599       0              0              15   148   129 
28.00/28.06	c 1801712        12264740       39480794       38901501       0              0              59   148   129 
30.89/30.91	c 1981950        13526676       43540547       42908677       0              0              83   148   131 
34.10/34.12	c 2180211        14939743       48070954       47368939       0              0              70   148   130 
37.69/37.72	c 2398298        16530837       53197147       52424245       0              0              20   148   132 
41.39/41.48	c 2638193        18178583       58477953       57632156       0              0              14   148   128 
45.49/45.57	c 2902077        19980918       64282240       63379934       0              0              14   148   131 
50.10/50.18	c 3192349        22003549       70772461       69766657       0              0              80   148   128 
55.29/55.34	c 3511648        24274245       78107672       77001422       0              0              16   148   131 
60.89/60.99	c 3862876        26730245       85970986       84760788       0              0              14   148   124 
67.39/67.42	c 4249226        29584801       95124484       93803899       0              0              53   148   134 
74.19/74.24	c 4674211        32559701       104657171      103205697      0              0              73   148   125 
81.00/81.09	c 5141694        35544186       114317765      112759616      0              0              11   148   127 
89.10/89.13	c 5655925        39069516       125610739      123921131      0              0              10   148   128 
97.79/97.81	c 6221579        42872913       137865495      136012249      0              0              24   148   128 
107.49/107.57	c 6843798        47123301       151503348      149466839      0              0              12   148   124 
118.19/118.25	c 7528238        51843276       166697714      164467086      0              0              13   148   132 
130.10/130.13	c 8281122        57041576       183366381      180915239      0              0              76   148   127 
142.40/142.45	c 9109294        62465276       200850310      198200224      0              0              14   148   130 
156.70/156.76	c 10020283       68728490       220897490      217990192      0              0              74   148   127 
171.80/171.88	c 11022370       75383246       242120291      238993212      0              0              17   148   128 
189.40/189.43	c 12124665       83089779       266725963      263300706      0              0              12   148   129 
208.30/208.38	c 13337189       91390367       293332193      289624577      0              0              77   148   127 
229.60/229.62	c 14670965       100762994      323252229      319162383      0              0              78   148   130 
253.11/253.18	c 16138118       111170700      356800928      352285850      0              0              84   148   132 
278.80/278.89	c 17751986       122387302      392742896      387697535      0              0              46   148   126 
306.40/306.44	c 19527240       134527053      431832883      426362718      0              0              13   148   130 
337.30/337.33	c 21480019       148123883      475406792      469323519      0              0              76   148   130 
371.90/371.91	c 23628075       163305852      524307008      517660448      0              0              19   148   129 
409.70/409.72	c 25990936       179858076      577234016      569857382      0              0              13   148   128 
447.40/447.47	c 28590083       196467402      631079435      623219513      0              0              25   148   131 
493.01/493.06	c 31449144       216566138      695342020      686648588      0              0              76   148   130 
541.60/541.66	c 34594111       237864965      763873991      754402832      0              0              58   148   129 
597.60/597.66	c 38053574       262269401      841915193      831394287      0              0              13   148   126 
655.60/655.67	c 41858983       287788522      924303487      912782771      0              0              73   148   130 
722.30/722.31	c 46044932       317079968      1017704879     1005226567     0              0              14   148   129 
794.70/794.75	c 50649475       348797677      1119919355     1106142266     0              0              63   148   128 
876.41/876.43	c 55714472       384818138      1235227368     1220229811     0              0              70   148   131 
962.21/962.21	c 61285968       422600828      1355985981     1339888074     0              0              67   148   130 
1061.12/1061.15	c 67414613       465146587      1492005180     1474400851     0              0              26   148   121 
1167.12/1167.12	c 74156122       511920528      1640948484     1621695112     0              0              16   148   130 
1285.21/1285.24	c 81571781       563736198      1805995226     1785131765     0              0              14   148   128 
1419.02/1419.01	c 89729005       622497653      1993678774     1970786686     0              0              60   148   129 
1565.32/1565.34	c 98701951       686380290      2197683106     2172603881     0              0              55   148   127 
1721.62/1721.64	c 108572191      754996489      2416263191     2389081152     0              0              49   148   128 
1899.52/1899.53	c 119429455      833313689      2665674773     2635938979     0              0              13   148   130 
2086.52/2086.57	c 131372445      915768004      2929287173     2897126344     0              0              14   148   130 
2299.53/2299.55	c 144509734      1009321019     3227999943     3192412501     0              0              12   148   130 
2520.04/2520.00	
2520.04/2520.00	c *** INTERRUPTED ***
2520.04/2520.00	c restarts              : 125         
2520.04/2520.00	c conflicts             : 158632264    (62948 /sec)
2520.04/2520.00	c decisions             : 1106846173   (439217 /sec)
2520.04/2520.00	c propagations          : 3499946081  (1388842 /sec)
2520.04/2520.00	c root propagations     : 0           
2520.04/2520.00	c filter calls          : 3538220276     (1404030 /sec)
2520.04/2520.00	c useless filter calls  : 2144279429     (60 %)
2520.04/2520.00	c Memory used           : 26.98 MB
2520.04/2520.00	c CPU time              : 2520.05 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 (12579 MiB free)
  memory of node 1: 16384 MiB (15825 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389448-1568324129/watcher-4389448-1568324129 -o /tmp/evaluation-result-4389448-1568324129/solver-4389448-1568324129 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568311188-14001 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389448-1568324129.xml 

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

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

solver pid=16384, runsolver pid=16381

[startup+0.10015 s]*
/proc/loadavg: 2.16 2.10 2.07 3/200 16385
/proc/meminfo: memFree=29085600/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=3956 CPUtime=0.1 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 1210 0 0 0 10 0 0 0 20 0 1 0 408677767 28286976 989 33554432000 4194304 6210612 140729467329984 140729467327944 5038670 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 989 833 493 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3956 KiB

[startup+0.209475 s]*
/proc/loadavg: 2.16 2.10 2.07 3/200 16385
/proc/meminfo: memFree=29085600/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=3956 CPUtime=0.21 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 1212 0 0 0 21 0 0 0 20 0 1 0 408677767 28286976 989 33554432000 4194304 6210612 140729467329984 140729467327944 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 989 833 493 0 211 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3956 KiB

[startup+0.308866 s]*
/proc/loadavg: 2.16 2.10 2.07 3/200 16385
/proc/meminfo: memFree=29085600/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=3956 CPUtime=0.31 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 1212 0 0 0 31 0 0 0 20 0 1 0 408677767 28286976 989 33554432000 4194304 6210612 140729467329984 140729467327944 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 989 833 493 0 211 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3956 KiB

[startup+0.700285 s]
/proc/loadavg: 2.16 2.10 2.07 3/200 16385
/proc/meminfo: memFree=29085600/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=3956 CPUtime=0.69 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 1212 0 0 0 69 0 0 0 20 0 1 0 408677767 28286976 989 33554432000 4194304 6210612 140729467329984 140729467327944 5397227 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 989 833 493 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3956 KiB

[startup+1.50027 s]
/proc/loadavg: 2.16 2.10 2.07 3/200 16385
/proc/meminfo: memFree=29085600/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=3956 CPUtime=1.49 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 1212 0 0 0 149 0 0 0 20 0 1 0 408677767 28286976 989 33554432000 4194304 6210612 140729467329984 140729467327944 5396599 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 989 833 493 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3956 KiB

[startup+3.10904 s]
/proc/loadavg: 2.16 2.10 2.07 3/200 16385
/proc/meminfo: memFree=29085600/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=3.1 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 1354 0 0 0 310 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5034864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+6.30026 s]
/proc/loadavg: 2.23 2.11 2.08 3/200 16385
/proc/meminfo: memFree=29085792/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=6.29 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 1496 0 0 0 629 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5008850 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+12.7003 s]
/proc/loadavg: 2.29 2.13 2.08 3/200 16387
/proc/meminfo: memFree=29084676/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=12.69 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 1638 0 0 0 1269 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5038624 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+25.5003 s]
/proc/loadavg: 2.45 2.17 2.09 3/199 16387
/proc/meminfo: memFree=29084924/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=25.49 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 1922 0 0 0 2549 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5391918 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+51.109 s]
/proc/loadavg: 2.42 2.19 2.10 3/199 16388
/proc/meminfo: memFree=29085336/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=51.1 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 2064 0 0 0 5110 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+102.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/199 16394
/proc/meminfo: memFree=29085212/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=102.29 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 2206 0 0 0 10229 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+162.3 s]
/proc/loadavg: 2.07 2.13 2.09 3/199 16398
/proc/meminfo: memFree=29085148/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=162.3 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 2348 0 0 0 16230 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5008456 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.10 2.09 3/199 16401
/proc/meminfo: memFree=29085276/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=222.3 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 2490 0 0 0 22230 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5391904 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/199 16407
/proc/meminfo: memFree=29085724/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=282.3 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 2632 0 0 0 28230 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5396599 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/200 16419
/proc/meminfo: memFree=29085096/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=342.3 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 2774 0 0 0 34230 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5038842 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 16423
/proc/meminfo: memFree=29084748/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=402.3 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 2916 0 0 0 40230 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5034848 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 16429
/proc/meminfo: memFree=29084556/32770624 swapFree=66999904/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=462.3 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 3058 0 0 0 46230 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB


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

/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 16586
/proc/meminfo: memFree=29081716/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=1782.32 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 6055 0 0 0 178232 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5391668 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 16590
/proc/meminfo: memFree=29081816/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=1842.32 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 6183 0 0 0 184232 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5192938 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 16596
/proc/meminfo: memFree=29081840/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=1902.32 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 6325 0 0 0 190232 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5391918 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 16600
/proc/meminfo: memFree=29082072/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=1962.32 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 6452 0 0 0 196232 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5396596 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+2022.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/199 16605
/proc/meminfo: memFree=29081872/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=2022.32 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 6580 0 0 0 202232 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 16611
/proc/meminfo: memFree=29081184/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=2082.32 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 6708 0 0 0 208232 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5038249 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 16624
/proc/meminfo: memFree=29081968/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=2142.33 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 6848 0 0 0 214233 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5380016 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16628
/proc/meminfo: memFree=29081760/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=2202.33 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 6976 0 0 0 220233 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5403856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16698
/proc/meminfo: memFree=29086340/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=2262.33 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 7104 0 0 0 226233 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5391923 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16702
/proc/meminfo: memFree=29086860/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=2322.33 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 7246 0 0 0 232233 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5034864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16706
/proc/meminfo: memFree=29086960/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=2382.33 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 7374 0 0 0 238233 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5034848 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+2442.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/199 16712
/proc/meminfo: memFree=29086692/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=2442.33 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 7502 0 0 0 244233 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5037376 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

[startup+2502.3 s]
/proc/loadavg: 2.45 2.17 2.10 3/199 16716
/proc/meminfo: memFree=29087296/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=2502.33 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 7630 0 0 0 250233 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5034944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.35 2.16 2.10 3/198 16717
/proc/meminfo: memFree=29088376/32770624 swapFree=66999908/67108860
[pid=16384] ppid=16381 vsize=27624 memory=4204 CPUtime=2520.04 cores=1,3,5,7
/proc/16384/stat : 16384 (cosoco) R 16381 16384 13969 0 -1 4202496 7757 0 0 0 252004 0 0 0 20 0 1 0 408677767 28286976 1051 33554432000 4194304 6210612 140729467329984 140729467327944 5389248 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32763904 140729467335691 140729467335793 140729467335793 140729467338702 0
/proc/16384/statm: 6906 1051 847 493 0 211 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4204 KiB

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

[startup+2520.01 s]
# the end of solver process 16384 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.05 s, system=0.001093 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.05
CPU system time (s): 0.001093
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27624
Max. memory (cumulated for all children) (KiB): 4204

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


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.80967 second user time and 15.9899 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-12 23:34:50
IDJOB=4389448
IDBENCH=123586
IDSOLVER=2829
FILE ID=node123/4389448-1568324129
RUNJOBID= node123-1568311188-14001
PBS_JOBID= 21701126
Free space on /tmp= 56796 MiB

SOLVER NAME= cosoco 2
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-4389448-1568324129/watcher-4389448-1568324129 -o /tmp/evaluation-result-4389448-1568324129/solver-4389448-1568324129 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568311188-14001 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389448-1568324129.xml

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

MD5SUM BENCH= 798862a2384da12f90df47f1a27f971a
RANDOM SEED=656047125

node123.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.49
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.49
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.49
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.49
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:        29086368 kB
MemAvailable:   31861808 kB
Buffers:           76036 kB
Cached:          2960844 kB
SwapCached:         7400 kB
Active:          1059984 kB
Inactive:        1997676 kB
Active(anon):       9988 kB
Inactive(anon):    52340 kB
Active(file):    1049996 kB
Inactive(file):  1945336 kB
Unevictable:      107520 kB
Mlocked:          107520 kB
SwapTotal:      67108860 kB
SwapFree:       66999904 kB
Dirty:              2764 kB
Writeback:             0 kB
AnonPages:        122308 kB
Mapped:            44972 kB
Shmem:             32668 kB
Slab:             221500 kB
SReclaimable:     191888 kB
SUnreclaim:        29612 kB
KernelStack:        3488 kB
PageTables:         5536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     536080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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= 56792 MiB
End job on node123 at 2019-09-13 00:16:50