Trace number 4396833

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.07 2520.01

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-60-3-7.xml
MD5SUM24593adebe844e759ba30cbfe45e1115
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark71.7379
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":97}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":3},{"degree":1,"count":4},{"degree":2,"count":14},{"degree":3,"count":20},{"degree":4,"count":25},{"degree":5,"count":13},{"degree":6,"count":10},{"degree":7,"count":8},{"degree":8,"count":1},{"degree":10,"count":1},{"degree":11,"count":1}]
Minimum constraint arity3
Maximum constraint arity10
Distribution of constraint arities[{"arity":3,"count":6},{"arity":4,"count":7},{"arity":5,"count":12},{"arity":6,"count":1},{"arity":7,"count":9},{"arity":8,"count":7},{"arity":9,"count":9},{"arity":10,"count":9}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 351         
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 2.00 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396833-1568585415.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 100
0.00/0.01	c |            Domain Sizes: 28..28
0.00/0.01	c |
0.00/0.01	c |             Constraints: 60
0.00/0.01	c |                   Arity: 3..10  -- Ternary: 6
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Sum: 60
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable x[19]
0.00/0.01	c remove useless variable x[71]
0.00/0.01	c remove useless variable x[98]
0.00/0.02	c 101            141            7713           31475          36             0              8   25   22    
0.00/0.03	c 211            407            27095          65520          36             0              5   19   13    
0.00/0.05	c 332            664            38337          89490          36             0              8   30   20    
0.00/0.05	c 465            881            45728          106637         36             0              8   27   23    
0.00/0.06	c 611            1140           53123          132437         36             0              16   25   20   
0.00/0.07	c 771            1430           67760          165812         36             0              14   28   25   
0.00/0.09	c 947            1737           82605          204476         36             0              23   34   28   
0.10/0.11	c 1140           2016           102891         239626         36             0              23   30   28   
0.10/0.12	c 1352           2364           117245         272848         36             0              12   30   23   
0.10/0.15	c 1585           2747           148693         355467         36             0              13   21   17   
0.10/0.18	c 1841           3350           173222         406841         36             0              10   27   18   
0.10/0.20	c 2122           3754           202241         468618         36             0              8   30   26    
0.21/0.23	c 2431           4168           230381         561205         36             0              9   26   21    
0.21/0.26	c 2770           4742           261253         617655         36             0              10   35   29   
0.21/0.28	c 3142           5284           283684         667980         36             0              11   25   20   
0.21/0.31	c 3551           6035           312176         747612         36             0              12   26   20   
0.31/0.34	c 4000           6612           344367         820987         36             0              20   27   22   
0.31/0.39	c 4493           7391           397054         939289         36             0              17   27   21   
0.41/0.42	c 5035           8358           426836         1001333        36             0              11   27   20   
0.41/0.45	c 5631           9303           455556         1063938        36             0              13   24   19   
0.41/0.47	c 6286           10171          475928         1119250        36             0              14   27   21   
0.41/0.51	c 7006           11511          514705         1212933        36             0              8   28   19    
0.51/0.57	c 7798           12799          573893         1375861        36             0              14   28   22   
0.60/0.61	c 8669           14107          616822         1492316        36             0              16   27   21   
0.60/0.69	c 9627           15376          685810         1688744        36             0              19   26   24   
0.69/0.76	c 10680          17267          760313         1877529        36             0              20   31   24   
0.79/0.84	c 11838          19336          847905         2080471        36             0              20   31   25   
0.89/0.95	c 13111          21673          957294         2360717        36             0              20   31   24   
1.00/1.03	c 14511          24111          1045053        2520963        36             0              13   26   19   
1.10/1.12	c 16051          26625          1131764        2713330        36             0              13   28   19   
1.19/1.26	c 17745          29114          1278569        3065117        36             0              13   25   19   
1.39/1.40	c 19608          31710          1413751        3440802        36             0              14   22   18   
1.49/1.57	c 21657          34813          1580225        3913188        36             0              9   27   21    
1.69/1.71	c 23910          38317          1717905        4319146        36             0              14   28   21   
1.79/1.84	c 26388          41964          1843207        4613596        36             0              13   24   17   
1.89/1.99	c 29113          46961          2000706        4940818        36             0              11   27   20   
2.19/2.20	c 32110          51818          2216993        5401740        36             0              11   25   18   
2.29/2.37	c 35406          56322          2380527        5881166        36             0              14   29   21   
2.49/2.59	c 39031          62571          2601211        6490207        36             0              15   27   19   
2.79/2.85	c 43018          68435          2855858        7125064        36             0              11   30   19   
3.00/3.06	c 47403          75352          3067927        7585815        36             0              13   27   19   
3.29/3.31	c 52226          82682          3315437        8297433        36             0              17   31   22   
3.59/3.64	c 57531          91451          3636577        9220025        36             0              18   27   22   
4.00/4.09	c 63366          100791         4090197        10307534       36             0              14   25   19   
4.59/4.67	c 69784          111308         4681886        11777211       36             0              14   29   21   
5.10/5.11	c 76843          123505         5113186        12991156       36             0              18   32   23   
5.49/5.56	c 84607          136100         5568909        14051090       36             0              12   33   18   
5.89/5.97	c 93147          150828         6004005        14887563       36             0              11   31   20   
6.69/6.75	c 102541         164953         6824204        16626343       36             0              13   31   23   
7.19/7.27	c 112874         181301         7353935        17775259       36             0              12   28   18   
7.69/7.79	c 124240         197849         7878450        19101455       36             0              12   25   20   
8.49/8.55	c 136742         215848         8656456        21149009       36             0              11   31   23   
9.19/9.21	c 150494         236316         9346896        22586493       36             0              10   29   19   
9.79/9.85	c 165621         256170         9942638        24447439       36             0              9   29   19    
10.69/10.77	c 182260         279925         10855201       26764214       36             0              12   24   18   
11.69/11.73	c 200562         307063         11796814       29330821       36             0              7   29   20    
12.59/12.69	c 220694         335668         12729056       31889446       36             0              7   28   19    
14.00/14.09	c 242839         369127         14143646       35643114       36             0              6   29   20    
15.69/15.74	c 267198         407345         15779013       40025766       36             0              8   30   20    
17.69/17.78	c 293992         446719         17809354       44358586       36             0              8   26   15    
19.89/19.91	c 323465         488502         19961320       49899683       36             0              11   33   21   
21.89/21.93	c 355885         536071         21993677       55074042       36             0              13   31   20   
24.39/24.43	c 391547         594475         24467669       61632420       36             0              13   32   20   
27.10/27.13	c 430775         647836         27216235       68421904       36             0              13   31   21   
30.00/30.03	c 473925         708910         30199610       75787878       36             0              11   35   22   
33.00/33.08	c 521390         788066         33148780       84332144       36             0              16   35   22   
36.69/36.78	c 573601         866837         36828320       94791602       36             0              16   31   21   
40.19/40.25	c 631033         959708         40280846       104161364      36             0              16   36   22   
44.00/44.05	c 694208         1051536        43949208       114483884      36             0              16   35   21   
48.79/48.88	c 763700         1162549        48791121       127190155      36             0              16   30   22   
52.49/52.56	c 840141         1285120        52511712       135287445      36             0              9   31   19    
56.59/56.63	c 924226         1406396        56751232       143487936      36             0              12   29   20   
62.49/62.56	c 1016719        1551388        62598689       158422301      36             0              12   35   21   
67.59/67.68	c 1118461        1723705        67868243       170315939      36             0              11   28   20   
73.69/73.77	c 1230377        1889890        74237767       182072175      36             0              13   30   20   
78.59/78.67	c 1353484        2080812        79181596       193517414      36             0              11   27   18   
84.89/84.95	c 1488901        2324554        85465541       208415746      36             0              10   29   19   
92.69/92.73	c 1637859        2540180        93773342       222046959      36             0              13   29   20   
100.79/100.89	c 1801712        2783915        101889797      242312618      36             0              9   30   22    
110.49/110.50	c 1981950        3050170        111515296      265234481      36             0              9   29   18    
121.19/121.23	c 2180211        3342688        122236108      292911670      36             0              9   35   21    
131.29/131.32	c 2398298        3693382        132337406      316578315      36             0              9   35   19    
145.00/145.04	c 2638193        4011512        145820728      355083109      36             0              11   31   21   
161.50/161.50	c 2902077        4417940        162062119      399670394      36             0              8   35   21    
177.30/177.39	c 3192349        4822920        178216869      431868281      36             0              10   29   16   
197.30/197.37	c 3511648        5313427        198393139      483661716      36             0              10   30   20   
215.10/215.12	c 3862876        5862089        216439494      527179449      36             0              9   30   20    
236.90/236.90	c 4249226        6509992        238441384      577666696      36             0              10   30   17   
256.60/256.69	c 4674211        7105868        258731341      623400056      36             0              15   31   22   
286.11/286.14	c 5141694        7833497        288410169      702094218      36             0              16   35   21   
309.60/309.65	c 5655925        8589250        311906711      757809208      36             0              9   30   19    
339.11/339.14	c 6221579        9435774        341125598      831794239      36             0              9   35   20    
369.60/369.64	c 6843798        10436027       372166652      894092846      36             0              8   29   17    
407.40/407.47	c 7528238        11447850       409356306      981310723      36             0              9   29   17    
443.11/443.12	c 8281122        12582443       445494137      1059577233     36             0              12   29   19   
484.40/484.41	c 9109294        14035935       487008732      1153854168     36             0              10   29   18   
528.50/528.54	c 10020283       15398682       530802051      1266638151     36             0              13   33   22   
576.20/576.28	c 11022370       17058511       579628798      1373476267     36             0              9   29   18    
628.81/628.82	c 12124665       18665502       631619611      1506728326     36             0              13   33   21   
680.12/680.17	c 13337189       20474974       683179827      1624635286     36             0              10   32   18   
747.71/747.76	c 14670965       22379661       749299181      1807026728     36             0              13   33   22   
819.51/819.51	c 16138118       24524813       821070141      1966377985     36             0              9   34   17    
912.91/912.99	c 17751986       26879360       916798793      2194854518     36             0              8   32   20    
1035.52/1035.55	c 19527240       29201941       1035638407     2512406429     36             0              13   36   21   
1153.03/1153.01	c 21480019       32017599       1154283298     2799548158     36             0              13   35   22   
1279.92/1280.00	c 23628075       35389801       1287545767     3039903686     36             0              8   35   18    
1395.62/1395.66	c 25990936       38829175       1406553594     3279940163     36             0              9   35   17    
1544.33/1544.30	c 28590083       42469513       1559714027     3573627572     36             0              7   35   18    
1744.23/1744.24	c 31449144       46570000       1761502015     4071383136     36             0              6   33   21    
1924.64/1924.64	c 34594111       51048251       1938246301     4495525352     36             0              9   30   16    
2075.15/2075.11	c 38053574       55780008       2086994557     4855564977     36             0              9   31   17    
2282.54/2282.54	c 41858983       61307688       2291760532     5395148193     36             0              11   35   21   
2471.85/2471.81	c 46044932       67832142       2481453215     5828641803     36             0              9   34   18    
2520.06/2520.00	
2520.06/2520.00	c *** INTERRUPTED ***
2520.06/2520.00	c restarts              : 113         
2520.06/2520.00	c conflicts             : 46830483     (18583 /sec)
2520.06/2520.00	c decisions             : 68909986     (27345 /sec)
2520.06/2520.00	c propagations          : 5945967061  (2359452 /sec)
2520.06/2520.00	c root propagations     : 351         
2520.06/2520.00	c filter calls          : 2529992266     (1003940 /sec)
2520.06/2520.00	c useless filter calls  : 1626044232     (64 %)
2520.06/2520.00	c Memory used           : 26.72 MB
2520.06/2520.00	c CPU time              : 2520.06 s
2520.06/2520.00	c real time             : 2520.01 s
2520.06/2520.00	
2520.06/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 (13690 MiB free)
  memory of node 1: 16384 MiB (13677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396833-1568585415/watcher-4396833-1568585415 -o /tmp/evaluation-result-4396833-1568585415/solver-4396833-1568585415 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396833-1568585415.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=13234, runsolver pid=13231
Current StackSize limit: 8192 KiB


[startup+0.100149 s]*
/proc/loadavg: 2.00 2.04 2.10 3/199 13235
/proc/meminfo: memFree=28024024/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=3984 CPUtime=0.1 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1173 0 0 0 10 0 0 0 20 0 1 0 434456409 28012544 996 33554432000 4194304 6211092 140725293455008 140725293452280 5149648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 996 866 493 0 144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+0.209417 s]*
/proc/loadavg: 2.00 2.04 2.10 3/199 13235
/proc/meminfo: memFree=28024024/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=3984 CPUtime=0.21 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1173 0 0 0 21 0 0 0 20 0 1 0 434456409 28012544 996 33554432000 4194304 6211092 140725293455008 140725293452280 5149208 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 996 866 493 0 144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+0.308902 s]*
/proc/loadavg: 2.00 2.04 2.10 3/199 13235
/proc/meminfo: memFree=28024024/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=3984 CPUtime=0.31 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1173 0 0 0 31 0 0 0 20 0 1 0 434456409 28012544 996 33554432000 4194304 6211092 140725293455008 140725293452280 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 996 866 493 0 144 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+0.700273 s]
/proc/loadavg: 2.00 2.04 2.10 3/199 13235
/proc/meminfo: memFree=28024024/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=3984 CPUtime=0.69 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1173 0 0 0 69 0 0 0 20 0 1 0 434456409 28012544 996 33554432000 4194304 6211092 140725293455008 140725293452280 5390135 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 996 866 493 0 144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.04 2.10 3/199 13235
/proc/meminfo: memFree=28023852/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=3984 CPUtime=1.49 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1173 0 0 0 149 0 0 0 20 0 1 0 434456409 28012544 996 33554432000 4194304 6211092 140725293455008 140725293452968 5193708 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 996 866 493 0 144 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+3.10902 s]
/proc/loadavg: 2.00 2.04 2.10 3/199 13235
/proc/meminfo: memFree=28023852/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=3.1 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1239 0 0 0 310 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5151092 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.04 2.09 3/199 13235
/proc/meminfo: memFree=28023852/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=6.29 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1305 0 0 0 629 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5148651 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.09 3/199 13235
/proc/meminfo: memFree=28023852/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=12.69 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1371 0 0 0 1269 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+25.5003 s]
/proc/loadavg: 2.08 2.05 2.10 3/199 13237
/proc/meminfo: memFree=28023348/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=25.49 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1503 0 0 0 2549 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149686 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+51.1091 s]
/proc/loadavg: 2.05 2.05 2.10 3/200 13247
/proc/meminfo: memFree=28023656/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=51.1 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1572 0 0 0 5110 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+102.3 s]
/proc/loadavg: 2.06 2.05 2.10 3/200 13250
/proc/meminfo: memFree=28023656/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=102.29 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1639 0 0 0 10229 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.09 3/200 13256
/proc/meminfo: memFree=28022864/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=162.3 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1706 0 0 0 16230 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5148713 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.08 3/200 13324
/proc/meminfo: memFree=28025340/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=222.3 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1773 0 0 0 22230 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5389851 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/200 13328
/proc/meminfo: memFree=28025144/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=282.3 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1840 0 0 0 28230 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/200 13335
/proc/meminfo: memFree=28025016/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=342.3 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1907 0 0 0 34230 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149023 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/200 13339
/proc/meminfo: memFree=28024276/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=402.3 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 1974 0 0 0 40230 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149682 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/200 13343
/proc/meminfo: memFree=28024964/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=462.3 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 2041 0 0 0 46230 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5409461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB


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

/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 13525
/proc/meminfo: memFree=28016664/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=1782.33 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3412 0 0 0 178233 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5193733 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+1842.3 s]
/proc/loadavg: 2.32 2.13 2.08 3/200 13537
/proc/meminfo: memFree=28015392/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=1842.33 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3467 0 0 0 184233 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5148687 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+1902.3 s]
/proc/loadavg: 2.12 2.10 2.08 3/200 13541
/proc/meminfo: memFree=28015944/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=1902.34 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3522 0 0 0 190234 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5151066 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+1962.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/200 13547
/proc/meminfo: memFree=28016024/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=1962.34 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3589 0 0 0 196234 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149793 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/200 13551
/proc/meminfo: memFree=28016968/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=2022.34 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3644 0 0 0 202234 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2082.3 s]
/proc/loadavg: 2.05 2.07 2.06 3/200 13555
/proc/meminfo: memFree=28016932/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=2082.34 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3711 0 0 0 208234 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149221 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2142.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/199 13561
/proc/meminfo: memFree=28016696/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=2142.34 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3766 0 0 0 214234 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/199 13565
/proc/meminfo: memFree=28016232/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=2202.34 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3821 0 0 0 220234 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 13569
/proc/meminfo: memFree=28015548/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=2262.34 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3876 0 0 0 226234 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5148640 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 13575
/proc/meminfo: memFree=28016300/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=2322.35 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3943 0 0 0 232235 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 13579
/proc/meminfo: memFree=28015792/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=2382.35 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 3998 0 0 0 238235 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 13591
/proc/meminfo: memFree=28016428/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=2442.35 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 4053 0 0 0 244235 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 13597
/proc/meminfo: memFree=28016192/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=2502.35 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 4120 0 0 0 250235 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5149674 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 13599
/proc/meminfo: memFree=28016216/32770624 swapFree=66939884/67108860
[pid=13234] ppid=13231 vsize=27356 memory=4044 CPUtime=2520.06 cores=1,3,5,7
/proc/13234/stat : 13234 (cosoco) R 13231 13234 9363 0 -1 4202496 4175 0 0 0 252006 0 0 0 20 0 1 0 434456409 28012544 1011 33554432000 4194304 6211092 140725293455008 140725293452968 5193696 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36577280 140725293462539 140725293462641 140725293462641 140725293465550 0
/proc/13234/statm: 6839 1011 880 493 0 144 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.06
system time used= 0.006
maximum resident set size= 4108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4224
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= 6
involuntary context switches= 643


# summary of solver processes directly reported to runsolver:
#   pid: 13234
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.06
#   total CPU system time (s): 0.006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.57341 second user time and 15.4556 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-16 00:09:35
IDJOB=4396833
IDBENCH=133411
IDSOLVER=2848
FILE ID=node119/4396833-1568585415
RUNJOBID= node119-1568572745-9395
PBS_JOBID= 21703330
Free space on /tmp= 61368 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-60-3-7.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396833-1568585415/watcher-4396833-1568585415 -o /tmp/evaluation-result-4396833-1568585415/solver-4396833-1568585415 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396833-1568585415.xml

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

MD5SUM BENCH= 24593adebe844e759ba30cbfe45e1115
RANDOM SEED=734035387

node119.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.47
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.47
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.47
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.47
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:        28024156 kB
MemAvailable:   31818580 kB
Buffers:          139320 kB
Cached:          3936648 kB
SwapCached:        61096 kB
Active:          2488844 kB
Inactive:        1654804 kB
Active(anon):       4368 kB
Inactive(anon):   113196 kB
Active(file):    2484476 kB
Inactive(file):  1541608 kB
Unevictable:      106936 kB
Mlocked:          106936 kB
SwapTotal:      67108860 kB
SwapFree:       66939884 kB
Dirty:              2716 kB
Writeback:            28 kB
AnonPages:        115388 kB
Mapped:            49484 kB
Shmem:             41008 kB
Slab:             197976 kB
SReclaimable:     168348 kB
SUnreclaim:        29628 kB
KernelStack:        3584 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     537416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61364 MiB
End job on node119 at 2019-09-16 00:51:36