Trace number 4408093

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) 2519.89 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-4408093-1569800896.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.04	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.68	c 9627           15376          685810         1688744        36             0              19   26   24   
0.69/0.75	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.11	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.83	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.36	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.84	c 43018          68435          2855858        7125064        36             0              11   30   19   
3.00/3.05	c 47403          75352          3067927        7585815        36             0              13   27   19   
3.29/3.30	c 52226          82682          3315437        8297433        36             0              17   31   22   
3.59/3.63	c 57531          91451          3636577        9220025        36             0              18   27   22   
4.00/4.08	c 63366          100791         4090197        10307534       36             0              14   25   19   
4.59/4.66	c 69784          111308         4681886        11777211       36             0              14   29   21   
5.00/5.10	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.96	c 93147          150828         6004005        14887563       36             0              11   31   20   
6.69/6.74	c 102541         164953         6824204        16626343       36             0              13   31   23   
7.19/7.26	c 112874         181301         7353935        17775259       36             0              12   28   18   
7.69/7.78	c 124240         197849         7878450        19101455       36             0              12   25   20   
8.49/8.54	c 136742         215848         8656456        21149009       36             0              11   31   23   
9.19/9.20	c 150494         236316         9346896        22586493       36             0              10   29   19   
9.79/9.83	c 165621         256170         9942638        24447439       36             0              9   29   19    
10.69/10.76	c 182260         279925         10855201       26764214       36             0              12   24   18   
11.69/11.72	c 200562         307063         11796814       29330821       36             0              7   29   20    
12.59/12.67	c 220694         335668         12729056       31889446       36             0              7   28   19    
14.00/14.07	c 242839         369127         14143646       35643114       36             0              6   29   20    
15.69/15.72	c 267198         407345         15779013       40025766       36             0              8   30   20    
17.69/17.75	c 293992         446719         17809354       44358586       36             0              8   26   15    
19.79/19.88	c 323465         488502         19961320       49899683       36             0              11   33   21   
21.89/21.90	c 355885         536071         21993677       55074042       36             0              13   31   20   
24.29/24.39	c 391547         594475         24467669       61632420       36             0              13   32   20   
27.00/27.09	c 430775         647836         27216235       68421904       36             0              13   31   21   
29.89/29.99	c 473925         708910         30199610       75787878       36             0              11   35   22   
33.00/33.03	c 521390         788066         33148780       84332144       36             0              16   35   22   
36.69/36.73	c 573601         866837         36828320       94791602       36             0              16   31   21   
40.10/40.19	c 631033         959708         40280846       104161364      36             0              16   36   22   
43.89/43.99	c 694208         1051536        43949208       114483884      36             0              16   35   21   
48.79/48.82	c 763700         1162549        48791121       127190155      36             0              16   30   22   
52.39/52.49	c 840141         1285120        52511712       135287445      36             0              9   31   19    
56.49/56.57	c 924226         1406396        56751232       143487936      36             0              12   29   20   
62.39/62.49	c 1016719        1551388        62598689       158422301      36             0              12   35   21   
67.59/67.61	c 1118461        1723705        67868243       170315939      36             0              11   28   20   
73.59/73.69	c 1230377        1889890        74237767       182072175      36             0              13   30   20   
78.59/78.60	c 1353484        2080812        79181596       193517414      36             0              11   27   18   
84.79/84.87	c 1488901        2324554        85465541       208415746      36             0              10   29   19   
92.58/92.66	c 1637859        2540180        93773342       222046959      36             0              13   29   20   
100.78/100.80	c 1801712        2783915        101889797      242312618      36             0              9   30   22    
110.38/110.40	c 1981950        3050170        111515296      265234481      36             0              9   29   18    
121.09/121.12	c 2180211        3342688        122236108      292911670      36             0              9   35   21    
131.18/131.20	c 2398298        3693382        132337406      316578315      36             0              9   35   19    
144.88/144.91	c 2638193        4011512        145820728      355083109      36             0              11   31   21   
161.28/161.36	c 2902077        4417940        162062119      399670394      36             0              8   35   21    
177.18/177.23	c 3192349        4822920        178216869      431868281      36             0              10   29   16   
197.18/197.20	c 3511648        5313427        198393139      483661716      36             0              10   30   20   
214.88/214.93	c 3862876        5862089        216439494      527179449      36             0              9   30   20    
236.57/236.69	c 4249226        6509992        238441384      577666696      36             0              10   30   17   
256.37/256.43	c 4674211        7105868        258731341      623400056      36             0              15   31   22   
285.77/285.85	c 5141694        7833497        288410169      702094218      36             0              16   35   21   
309.27/309.31	c 5655925        8589250        311906711      757809208      36             0              9   30   19    
338.67/338.74	c 6221579        9435774        341125598      831794239      36             0              9   35   20    
369.07/369.19	c 6843798        10436027       372166652      894092846      36             0              8   29   17    
406.86/406.98	c 7528238        11447850       409356306      981310723      36             0              9   29   17    
442.46/442.57	c 8281122        12582443       445494137      1059577233     36             0              12   29   19   
483.76/483.80	c 9109294        14035935       487008732      1153854168     36             0              10   29   18   
527.76/527.85	c 10020283       15398682       530802051      1266638151     36             0              13   33   22   
575.46/575.53	c 11022370       17058511       579628798      1373476267     36             0              9   29   18    
627.85/627.97	c 12124665       18665502       631619611      1506728326     36             0              13   33   21   
679.15/679.26	c 13337189       20474974       683179827      1624635286     36             0              10   32   18   
746.65/746.71	c 14670965       22379661       749299181      1807026728     36             0              13   33   22   
818.25/818.34	c 16138118       24524813       821070141      1966377985     36             0              9   34   17    
911.64/911.71	c 17751986       26879360       916798793      2194854518     36             0              8   32   20    
1033.94/1034.03	c 19527240       29201941       1035638407     2512406429     36             0              13   36   21   
1151.13/1151.28	c 21480019       32017599       1154283298     2799548158     36             0              13   35   22   
1278.03/1278.11	c 23628075       35389801       1287545767     3039903686     36             0              8   35   18    
1393.53/1393.67	c 25990936       38829175       1406553594     3279940163     36             0              9   35   17    
1542.03/1542.13	c 28590083       42469513       1559714027     3573627572     36             0              7   35   18    
1741.71/1741.88	c 31449144       46570000       1761502015     4071383136     36             0              6   33   21    
1921.80/1921.98	c 34594111       51048251       1938246301     4495525352     36             0              9   30   16    
2072.09/2072.21	c 38053574       55780008       2086994557     4855564977     36             0              9   31   17    
2279.08/2279.24	c 41858983       61307688       2291760532     5395148193     36             0              11   35   21   
2468.17/2468.31	c 46044932       67832142       2481453215     5828641803     36             0              9   34   18    
2519.88/2520.00	
2519.88/2520.00	c *** INTERRUPTED ***
2519.88/2520.00	c restarts              : 113         
2519.88/2520.00	c conflicts             : 46898323     (18611 /sec)
2519.88/2520.00	c decisions             : 68994674     (27380 /sec)
2519.88/2520.00	c propagations          : 5954400890  (2362976 /sec)
2519.88/2520.00	c root propagations     : 351         
2519.88/2520.00	c filter calls          : 2533540885     (1005424 /sec)
2519.88/2520.00	c useless filter calls  : 1628238804     (64 %)
2519.88/2520.00	c Memory used           : 26.72 MB
2519.88/2520.00	c CPU time              : 2519.87 s
2519.88/2520.00	c real time             : 2520.01 s
2519.88/2520.00	
2519.88/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 (15396 MiB free)
  memory of node 1: 16384 MiB (15716 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408093-1569800896/watcher-4408093-1569800896 -o /tmp/evaluation-result-4408093-1569800896/solver-4408093-1569800896 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1569787354-10134 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408093-1569800896.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=14007, runsolver pid=14004
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 14008
/proc/meminfo: memFree=31858952/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=3988 CPUtime=0.1 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1172 0 0 0 10 0 0 0 20 0 1 0 556362055 28012544 997 33554432000 4194304 6211132 140731412857200 140731412853736 5149732 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 997 866 493 0 144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3988 KiB

[startup+0.209268 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 14008
/proc/meminfo: memFree=31858952/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=3988 CPUtime=0.21 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1172 0 0 0 21 0 0 0 20 0 1 0 556362055 28012544 997 33554432000 4194304 6211132 140731412857200 140731412853736 5149680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 997 866 493 0 144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3988 KiB

[startup+0.308806 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 14008
/proc/meminfo: memFree=31858952/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=3988 CPUtime=0.31 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1172 0 0 0 31 0 0 0 20 0 1 0 556362055 28012544 997 33554432000 4194304 6211132 140731412857200 140731412853736 5149224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 997 866 493 0 144 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3988 KiB

[startup+0.700272 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 14008
/proc/meminfo: memFree=31858580/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=3988 CPUtime=0.69 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1172 0 0 0 69 0 0 0 20 0 1 0 556362055 28012544 997 33554432000 4194304 6211132 140731412857200 140731412853736 5390068 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 997 866 493 0 144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3988 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 14008
/proc/meminfo: memFree=31858580/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=3988 CPUtime=1.49 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1172 0 0 0 149 0 0 0 20 0 1 0 556362055 28012544 997 33554432000 4194304 6211132 140731412857200 140731412853736 5148631 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 997 866 493 0 144 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3988 KiB

[startup+3.10887 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 14008
/proc/meminfo: memFree=31858292/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=3.1 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1237 0 0 0 310 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412853736 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 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.03 2.05 3/199 14008
/proc/meminfo: memFree=31858256/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=6.29 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1302 0 0 0 629 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5148716 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 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.03 2.05 3/199 14008
/proc/meminfo: memFree=31858132/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=12.69 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1367 0 0 0 1269 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5008844 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 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.00 2.03 2.05 3/199 14009
/proc/meminfo: memFree=31858576/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=25.49 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1497 0 0 0 2549 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5150080 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 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.109 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 14075
/proc/meminfo: memFree=31860784/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=51.1 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1565 0 0 0 5110 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5151115 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 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.00 2.02 2.05 3/199 14139
/proc/meminfo: memFree=31860988/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=102.28 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1631 0 0 0 10228 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5150571 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14151
/proc/meminfo: memFree=31859540/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=162.28 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1697 0 0 0 16228 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5151107 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14279
/proc/meminfo: memFree=31860880/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=222.27 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1763 0 0 0 22227 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5149055 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14283
/proc/meminfo: memFree=31860440/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=282.27 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1829 0 0 0 28227 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5390181 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+342.3 s]
/proc/loadavg: 2.45 2.15 2.09 3/200 14287
/proc/meminfo: memFree=31860860/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=342.27 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1895 0 0 0 34227 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+402.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/200 14293
/proc/meminfo: memFree=31860372/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=402.26 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 1961 0 0 0 40226 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/199 14298
/proc/meminfo: memFree=31861168/32770624 swapFree=66947612/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=462.26 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 2027 0 0 0 46226 0 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5149732 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB


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

/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 14441
/proc/meminfo: memFree=31859332/32770624 swapFree=66947620/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=1782.2 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3376 0 0 0 178219 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5151098 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14447
/proc/meminfo: memFree=31859024/32770624 swapFree=66947620/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=1842.2 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3430 0 0 0 184219 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5389840 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14451
/proc/meminfo: memFree=31859200/32770624 swapFree=66947620/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=1902.2 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3484 0 0 0 190219 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5149706 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 14464
/proc/meminfo: memFree=31859108/32770624 swapFree=66947620/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=1962.2 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3550 0 0 0 196219 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5150190 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 14470
/proc/meminfo: memFree=31858184/32770624 swapFree=66947620/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=2022.19 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3604 0 0 0 202218 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5148716 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 14474
/proc/meminfo: memFree=31858584/32770624 swapFree=66947620/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=2082.19 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3670 0 0 0 208218 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5149240 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 14478
/proc/meminfo: memFree=31858728/32770624 swapFree=66947620/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=2142.19 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3724 0 0 0 214218 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5149690 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 14484
/proc/meminfo: memFree=31858888/32770624 swapFree=66947620/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=2202.18 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3778 0 0 0 220217 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14489
/proc/meminfo: memFree=31859104/32770624 swapFree=66947624/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=2262.18 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3832 0 0 0 226217 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5149067 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14493
/proc/meminfo: memFree=31859212/32770624 swapFree=66947624/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=2322.18 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3898 0 0 0 232217 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5148711 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14499
/proc/meminfo: memFree=31857960/32770624 swapFree=66947624/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=2382.18 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 3952 0 0 0 238217 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14504
/proc/meminfo: memFree=31857944/32770624 swapFree=66947624/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=2442.17 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 4006 0 0 0 244216 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5150211 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 4044 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14508
/proc/meminfo: memFree=31857976/32770624 swapFree=66947624/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=2502.17 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 4072 0 0 0 250216 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 2502.17 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.01 2.05 3/199 14511
/proc/meminfo: memFree=31858028/32770624 swapFree=66947624/67108860
[pid=14007] ppid=14004 vsize=27356 memory=4044 CPUtime=2519.88 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 10102 0 -1 4202496 4126 0 0 0 251987 1 0 0 20 0 1 0 556362055 28012544 1011 33554432000 4194304 6211132 140731412857200 140731412855160 5149699 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17711104 140731412861963 140731412862065 140731412862065 140731412864974 0
/proc/14007/statm: 6839 1011 879 493 0 144 0
Current children cumulated CPU time: 2519.88 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 14007 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.87 s, system=0.018999 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): 2519.89
CPU user time (s): 2519.87
CPU system time (s): 0.018999
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 27356
Max. memory (cumulated for all children) (KiB): 4044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.87
system time used= 0.018999
maximum resident set size= 4108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4175
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= 2243


# summary of solver processes directly reported to runsolver:
#   pid: 14007
#   total CPU time (s): 2519.89
#   total CPU user time (s): 2519.87
#   total CPU system time (s): 0.018999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.27682 second user time and 16.3041 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-30 01:47:35
IDJOB=4408093
IDBENCH=133411
IDSOLVER=2874
FILE ID=node150/4408093-1569800896
RUNJOBID= node150-1569787354-10134
PBS_JOBID= 21705815
Free space on /tmp= 62028 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-4408093-1569800896/watcher-4408093-1569800896 -o /tmp/evaluation-result-4408093-1569800896/solver-4408093-1569800896 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1569787354-10134 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408093-1569800896.xml

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

MD5SUM BENCH= 24593adebe844e759ba30cbfe45e1115
RANDOM SEED=1201066961

node150.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.79
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.79
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.79
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.79
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:        31859580 kB
MemAvailable:   31932912 kB
Buffers:          138712 kB
Cached:           221512 kB
SwapCached:         5520 kB
Active:           157260 kB
Inactive:         211824 kB
Active(anon):      11344 kB
Inactive(anon):    21776 kB
Active(file):     145916 kB
Inactive(file):   190048 kB
Unevictable:      110020 kB
Mlocked:          110020 kB
SwapTotal:      67108860 kB
SwapFree:       66947612 kB
Dirty:              2712 kB
Writeback:             0 kB
AnonPages:         51468 kB
Mapped:            27908 kB
Shmem:             15640 kB
Slab:             135548 kB
SReclaimable:     106408 kB
SUnreclaim:        29140 kB
KernelStack:        3664 kB
PageTables:         5212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     570072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 62024 MiB
End job on node150 at 2019-09-30 02:29:35