Trace number 4408053

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-128.xml
MD5SUM4d7b3c626605250b6cca5f61c2385b47
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 benchmark25.8592
Satisfiable
(Un)Satisfiability was proved
Number of variables256
Number of constraints136
Number of domains2
Minimum domain size128
Maximum domain size16384
Distribution of domain sizes[{"size":128,"count":128},{"size":16384,"count":128}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":128},{"degree":4,"count":127},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity128
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":128},{"arity":64,"count":6},{"arity":128,"count":1}]
Number of extensional constraints0
Number of intensional constraints129
Distribution of constraint types[{"type":"intension","count":129},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c
0.00/0.07	c This is cosoco 2.00 --  
0.00/0.07	c
0.00/0.07	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408053-1569790044.xml 
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.08	c root propagations     : 8066        
0.00/0.08	c restarts enabled, print stats at every restarts
0.00/0.08	c
0.00/0.08	c
0.00/0.08	c ========================================[ Problem Statistics ]===========================================
0.00/0.08	c |                                                                                                       
0.00/0.08	c |  Parse time        :         0.05 s 
0.00/0.08	c |
0.00/0.08	c |               Variables: 256
0.00/0.08	c |            Domain Sizes: 128..16384
0.00/0.08	c |
0.00/0.08	c |             Constraints: 260
0.00/0.08	c |                   Arity: 1..128  -- Unary: 1  -- Binary: 254
0.00/0.08	c | 
0.00/0.08	c |                   Types: 
0.00/0.08	c |                          (X - Y < k): 126
0.00/0.08	c |                          All Different: 1
0.00/0.08	c |                          Intension: 128
0.00/0.08	c |                          Sum: 4
0.00/0.08	c |                          Unary: 1
0.00/0.08	c |                          
0.00/0.08	c =========================================================================================================
0.00/0.08	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.41/0.50	c 101            229            17763          12698          128            0              129   129   127
0.79/0.86	c 211            339            18093          20068          129            0              1   1   0      
1.19/1.25	c 332            460            18456          28175          129            0              1   1   0      
1.59/1.69	c 465            593            18855          37086          129            0              1   1   0      
2.10/2.16	c 611            739            19293          46868          129            0              1   1   0      
2.59/2.69	c 771            899            19773          57588          129            0              1   1   0      
3.19/3.26	c 947            1075           20301          69380          129            0              1   1   0      
3.79/3.89	c 1140           1268           20880          82311          129            0              1   1   0      
4.49/4.58	c 1352           1480           21516          96515          129            0              1   1   0      
5.29/5.34	c 1585           1713           22215          112126         129            0              1   1   0      
6.10/6.17	c 1841           1969           22983          129278         129            0              1   1   0      
7.00/7.09	c 2122           2250           23826          148105         129            0              1   1   0      
7.99/8.09	c 2431           2559           24753          168808         129            0              1   1   0      
9.10/9.19	c 2770           2898           25770          191521         129            0              1   1   0      
10.39/10.40	c 3142           3270           26886          216445         129            0              1   1   0      
11.69/11.72	c 3551           3679           28113          243848         129            0              1   1   0      
13.10/13.17	c 4000           4128           29460          273931         129            0              1   1   0      
14.69/14.77	c 4493           4621           31446          319026         129            0              1   1   0      
16.49/16.54	c 5035           5163           34096          379522         129            0              1   1   0      
18.39/18.48	c 5631           5759           36908          443586         129            0              1   1   0      
20.59/20.61	c 6286           6414           39897          511371         129            0              1   1   0      
22.89/22.94	c 7006           7134           43337          589183         129            0              1   1   0      
25.48/25.50	c 7798           7926           46737          665553         129            0              1   1   0      
28.28/28.30	c 8669           8797           50630          752524         129            0              1   1   0      
31.29/31.34	c 9627           9890           55625          822155         129            0              1   136   44   
34.39/34.48	c 10680          11082          60377          849365         130            0              1   140   121  
38.10/38.19	c 11838          12375          65421          897481         131            0              1   136   82   
42.00/42.07	c 13111          13787          71085          926987         132            0              1   140   119  
46.39/46.49	c 14511          15328          76866          981711         133            0              1   142   83   
51.29/51.33	c 16051          17009          83069          1043141        134            0              1   142   80   
56.59/56.61	c 17745          18846          89729          1111847        135            0              1   144   77   
62.39/62.40	c 19608          20852          96899          1188399        136            0              1   144   75   
68.69/68.71	c 21657          23046          104625         1273379        137            0              1   146   73   
75.89/75.94	c 23910          25434          112937         1383536        138            0              1   136   60   
83.59/83.62	c 26388          28043          125937         1432081        138            0              35   132   130 
91.19/91.26	c 29113          30913          135435         1458358        138            0              131   146   138
100.79/100.88	c 32110          34043          148099         1619919        139            0              1   134   58   
111.00/111.10	c 35406          37470          163331         1683404        139            0              17   132   130 
122.39/122.40	c 39031          41226          175501         1713267        139            0              131   132   131
134.10/134.15	c 43018          45355          190603         1753981        139            0              3   143   135  
147.69/147.72	c 47403          49873          209954         1813692        139            0              18   134   131 
162.10/162.14	c 52226          54836          228542         1879320        140            0              1   141   130  
178.00/178.06	c 57531          60278          249179         1941569        140            0              11   138   133 
195.79/195.84	c 63366          66248          270577         2004970        140            0              12   136   133 
215.59/215.69	c 69784          72800          294530         2076130        140            0              14   135   132 
237.59/237.65	c 76843          79992          321221         2157627        140            0              14   134   131 
262.00/262.06	c 84607          87888          345854         2213982        140            0              131   133   131
284.69/284.79	c 93147          96575          373575         2286401        141            0              1   148   135  
312.10/312.17	c 102541         106116         406410         2509465        142            0              1   148   107  
343.10/343.16	c 112874         116591         442582         2789149        143            0              1   143   101  
376.79/376.84	c 124240         128094         480356         2865001        143            0              13   138   134 
410.49/410.53	c 136742         140745         521267         2941954        143            0              6   150   140  
451.39/451.49	c 150494         154640         569684         3294227        144            0              1   144   105  
494.89/494.94	c 165621         169910         618834         3395220        145            0              1   144   136  
542.69/542.77	c 182260         186698         672271         3500084        145            0              17   150   136 
595.89/595.99	c 200562         205146         734192         3902161        146            0              1   147   110  
651.80/651.87	c 220694         225429         798745         4023183        146            0              20   152   138 
715.60/715.62	c 242839         247721         871070         4456504        147            0              1   148   113  
779.80/779.89	c 267198         272231         947160         4579435        147            0              20   152   141 
856.11/856.18	c 293992         299174         1033847        5079015        148            0              1   150   115  
934.01/934.10	c 323465         328800         1127074        5218045        149            0              1   154   141  
1024.60/1024.62	c 355885         361372         1234564        5840692        150            0              1   153   117  
1117.30/1117.34	c 391547         397189         1347700        6059698        151            0              1   156   142  
1226.70/1226.78	c 430775         436566         1473190        6740901        152            0              1   150   117  
1335.12/1335.17	c 473925         479873         1605992        6959013        152            0              63   158   143 
1466.21/1466.22	c 521390         527488         1762382        7872047        153            0              1   151   118  
1591.21/1591.25	c 573601         579863         1922477        8155257        153            0              28   165   146 
1746.71/1746.71	c 631033         637472         2098719        8413015        154            0              1   178   154  
1911.72/1911.75	c 694208         700801         2295129        8862644        155            0              1   155   140  
2089.33/2089.37	c 763700         772180         2695282        10606379       155            0              55   178   145 
2286.83/2286.83	c 840141         848774         2933221        11171235       156            0              1   154   140  
2509.04/2509.02	c 924226         933032         3192734        11644106       156            0              4   174   148  
2520.04/2520.00	
2520.04/2520.00	c *** INTERRUPTED ***
2520.04/2520.00	c restarts              : 72          
2520.04/2520.00	c conflicts             : 927865       (368 /sec)
2520.04/2520.00	c decisions             : 936803       (372 /sec)
2520.04/2520.00	c propagations          : 11683690    (4636 /sec)
2520.04/2520.00	c root propagations     : 8066        
2520.04/2520.00	c filter calls          : 3208007        (1273 /sec)
2520.04/2520.00	c useless filter calls  : 2179125        (67 %)
2520.04/2520.00	c Memory used           : 78.24 MB
2520.04/2520.00	c CPU time              : 2520.02 s
2520.04/2520.00	c real time             : 2520 s
2520.04/2520.00	
2520.04/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

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

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

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


[startup+0.100157 s]*
/proc/loadavg: 1.97 2.03 1.95 3/199 1731
/proc/meminfo: memFree=28294528/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55604 CPUtime=0.1 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 14084 0 0 0 9 1 0 0 20 0 1 0 555275604 80932864 13901 33554432000 4194304 6211132 140735559870672 140735559865768 5149721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13901 873 493 0 13064 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55604 KiB

[startup+0.209633 s]*
/proc/loadavg: 1.97 2.03 1.95 3/199 1731
/proc/meminfo: memFree=28294528/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55604 CPUtime=0.21 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 14095 0 0 0 20 1 0 0 20 0 1 0 555275604 80932864 13901 33554432000 4194304 6211132 140735559870672 140735559865768 5149714 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13901 873 493 0 13064 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55604 KiB

[startup+0.309273 s]*
/proc/loadavg: 1.97 2.03 1.95 3/199 1731
/proc/meminfo: memFree=28294528/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55604 CPUtime=0.31 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 14095 0 0 0 30 1 0 0 20 0 1 0 555275604 80932864 13901 33554432000 4194304 6211132 140735559870672 140735559865768 5149714 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13901 873 493 0 13064 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55604 KiB

[startup+0.700285 s]
/proc/loadavg: 1.97 2.03 1.95 3/199 1731
/proc/meminfo: memFree=28294528/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55604 CPUtime=0.69 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 14095 0 0 0 68 1 0 0 20 0 1 0 555275604 80932864 13901 33554432000 4194304 6211132 140735559870672 140735559868632 5149721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13901 873 493 0 13064 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55604 KiB

[startup+1.50028 s]
/proc/loadavg: 1.97 2.03 1.95 3/199 1731
/proc/meminfo: memFree=28294296/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55604 CPUtime=1.49 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 14095 0 0 0 148 1 0 0 20 0 1 0 555275604 80932864 13901 33554432000 4194304 6211132 140735559870672 140735559868632 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13901 873 493 0 13064 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55604 KiB

[startup+3.10911 s]
/proc/loadavg: 1.97 2.03 1.95 3/199 1731
/proc/meminfo: memFree=28294296/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55732 CPUtime=3.1 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 15233 0 0 0 309 1 0 0 20 0 1 0 555275604 80932864 13933 33554432000 4194304 6211132 140735559870672 140735559868632 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13933 896 493 0 13064 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55732 KiB

[startup+6.30027 s]
/proc/loadavg: 1.97 2.03 1.95 3/199 1731
/proc/meminfo: memFree=28294516/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55732 CPUtime=6.29 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 16374 0 0 0 628 1 0 0 20 0 1 0 555275604 80932864 13933 33554432000 4194304 6211132 140735559870672 140735559868632 5149714 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13933 896 493 0 13064 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55732 KiB

[startup+12.7003 s]
/proc/loadavg: 1.98 2.03 1.95 3/199 1731
/proc/meminfo: memFree=28294184/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55732 CPUtime=12.69 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 17516 0 0 0 1268 1 0 0 20 0 1 0 555275604 80932864 13933 33554432000 4194304 6211132 140735559870672 140735559868632 5149718 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13933 896 493 0 13064 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55732 KiB

[startup+25.5003 s]
/proc/loadavg: 1.98 2.03 1.95 3/200 1733
/proc/meminfo: memFree=28293436/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55736 CPUtime=25.48 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 20330 0 0 0 2547 1 0 0 20 0 1 0 555275604 80932864 13934 33554432000 4194304 6211132 140735559870672 140735559868632 5149690 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13934 896 493 0 13064 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55736 KiB

[startup+51.1091 s]
/proc/loadavg: 1.99 2.03 1.95 3/199 1734
/proc/meminfo: memFree=28293876/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55756 CPUtime=51.1 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 24450 0 0 0 5108 2 0 0 20 0 1 0 555275604 80932864 13939 33554432000 4194304 6211132 140735559870672 140735559868632 5149732 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13939 896 493 0 13064 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55756 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.02 1.95 3/199 1737
/proc/meminfo: memFree=28294104/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79036 memory=55780 CPUtime=102.29 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 27258 0 0 0 10227 2 0 0 20 0 1 0 555275604 80932864 13945 33554432000 4194304 6211132 140735559870672 140735559868632 5149680 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19759 13945 896 493 0 13064 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55780 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/201 1744
/proc/meminfo: memFree=28293116/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79192 memory=55824 CPUtime=162.29 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 27816 0 0 0 16227 2 0 0 20 0 1 0 555275604 81092608 13956 33554432000 4194304 6211132 140735559870672 140735559868632 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19798 13956 896 493 0 13103 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55824 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 1756
/proc/meminfo: memFree=28293520/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79192 memory=55840 CPUtime=222.29 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 28364 0 0 0 22227 2 0 0 20 0 1 0 555275604 81092608 13960 33554432000 4194304 6211132 140735559870672 140735559868632 5149680 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19798 13960 896 493 0 13103 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55840 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 1760
/proc/meminfo: memFree=28293776/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79192 memory=55860 CPUtime=282.29 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 28923 0 0 0 28227 2 0 0 20 0 1 0 555275604 81092608 13965 33554432000 4194304 6211132 140735559870672 140735559868632 5149721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19798 13965 896 493 0 13103 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55860 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/202 1766
/proc/meminfo: memFree=28293096/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79192 memory=55872 CPUtime=342.29 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 29490 0 0 0 34227 2 0 0 20 0 1 0 555275604 81092608 13968 33554432000 4194304 6211132 140735559870672 140735559868632 5149706 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19798 13968 896 493 0 13103 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55872 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/202 1771
/proc/meminfo: memFree=28293412/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79192 memory=55888 CPUtime=402.29 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 30054 0 0 0 40227 2 0 0 20 0 1 0 555275604 81092608 13972 33554432000 4194304 6211132 140735559870672 140735559868632 5149714 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19798 13972 896 493 0 13103 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55888 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 1775
/proc/meminfo: memFree=28293388/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79192 memory=55904 CPUtime=462.29 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 30632 0 0 0 46227 2 0 0 20 0 1 0 555275604 81092608 13976 33554432000 4194304 6211132 140735559870672 140735559868632 5149706 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19798 13976 896 493 0 13103 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55904 KiB


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

/proc/1730/statm: 19895 14083 896 493 0 13200 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 79580 KiB
Current children cumulated memory: 56332 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 1922
/proc/meminfo: memFree=28291772/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56372 CPUtime=1782.31 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 41599 0 0 0 178229 2 0 0 20 0 1 0 555275604 81711104 14093 33554432000 4194304 6211132 140735559870672 140735559868632 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14093 896 493 0 13254 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56372 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 1926
/proc/meminfo: memFree=28292184/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56372 CPUtime=1842.32 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 41796 0 0 0 184230 2 0 0 20 0 1 0 555275604 81711104 14093 33554432000 4194304 6211132 140735559870672 140735559868632 5149718 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14093 896 493 0 13254 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56372 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 1930
/proc/meminfo: memFree=28291224/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56372 CPUtime=1902.32 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 42068 0 0 0 190230 2 0 0 20 0 1 0 555275604 81711104 14093 33554432000 4194304 6211132 140735559870672 140735559868632 5149714 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14093 896 493 0 13254 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56372 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 1936
/proc/meminfo: memFree=28291092/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56416 CPUtime=1962.32 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 42650 0 0 0 196230 2 0 0 20 0 1 0 555275604 81711104 14104 33554432000 4194304 6211132 140735559870672 140735559868632 5149680 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14104 896 493 0 13254 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56416 KiB

[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/200 1948
/proc/meminfo: memFree=28290916/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56416 CPUtime=2022.32 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 42898 0 0 0 202230 2 0 0 20 0 1 0 555275604 81711104 14104 33554432000 4194304 6211132 140735559870672 140735559868632 5149718 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14104 896 493 0 13254 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56416 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/200 1952
/proc/meminfo: memFree=28290892/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56416 CPUtime=2082.32 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 43237 0 0 0 208230 2 0 0 20 0 1 0 555275604 81711104 14104 33554432000 4194304 6211132 140735559870672 140735559868632 5149721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14104 896 493 0 13254 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56416 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/201 1958
/proc/meminfo: memFree=28290992/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56456 CPUtime=2142.33 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 43792 0 0 0 214230 3 0 0 20 0 1 0 555275604 81711104 14114 33554432000 4194304 6211132 140735559870672 140735559868632 5149721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14114 896 493 0 13254 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56456 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 1962
/proc/meminfo: memFree=28290780/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56456 CPUtime=2202.33 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 44022 0 0 0 220230 3 0 0 20 0 1 0 555275604 81711104 14114 33554432000 4194304 6211132 140735559870672 140735559868632 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14114 896 493 0 13254 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56456 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 1966
/proc/meminfo: memFree=28290524/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56456 CPUtime=2262.33 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 44302 0 0 0 226230 3 0 0 20 0 1 0 555275604 81711104 14114 33554432000 4194304 6211132 140735559870672 140735559868632 5149721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14114 896 493 0 13254 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56456 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 1973
/proc/meminfo: memFree=28290892/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56520 CPUtime=2322.33 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 45020 0 0 0 232230 3 0 0 20 0 1 0 555275604 81711104 14130 33554432000 4194304 6211132 140735559870672 140735559868632 5149718 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14130 896 493 0 13254 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56520 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 1977
/proc/meminfo: memFree=28290724/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56520 CPUtime=2382.33 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 45240 0 0 0 238230 3 0 0 20 0 1 0 555275604 81711104 14130 33554432000 4194304 6211132 140735559870672 140735559868632 5149690 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14130 896 493 0 13254 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56520 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/206 2064
/proc/meminfo: memFree=28390276/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56520 CPUtime=2442.34 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 45517 0 0 0 244231 3 0 0 20 0 1 0 555275604 81711104 14130 33554432000 4194304 6211132 140735559870672 140735559868632 5149714 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14130 896 493 0 13254 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56520 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 2111
/proc/meminfo: memFree=28389476/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=79796 memory=56544 CPUtime=2502.34 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 45840 0 0 0 250231 3 0 0 20 0 1 0 555275604 81711104 14136 33554432000 4194304 6211132 140735559870672 140735559868632 5149706 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 19949 14136 896 493 0 13254 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56544 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.96 3/199 2113
/proc/meminfo: memFree=28388932/32770624 swapFree=66956692/67108860
[pid=1730] ppid=1727 vsize=80116 memory=56580 CPUtime=2520.04 cores=1,3,5,7
/proc/1730/stat : 1730 (cosoco) R 1727 1730 1161 0 -1 4202496 46348 0 0 0 252001 3 0 0 20 0 1 0 555275604 82038784 14145 33554432000 4194304 6211132 140735559870672 140735559868632 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9773056 140735559873547 140735559873649 140735559873649 140735559876558 0
/proc/1730/statm: 20029 14145 896 493 0 13334 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 80116 KiB
Current children cumulated memory: 56580 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.05
CPU user time (s): 2520.02
CPU system time (s): 0.032
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 80116
Max. memory (cumulated for all children) (KiB): 56580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.032
maximum resident set size= 56644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46398
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= 19
involuntary context switches= 859


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99918 second user time and 16.6888 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-29 22:46:42
IDJOB=4408053
IDBENCH=122902
IDSOLVER=2874
FILE ID=node151/4408053-1569790044
RUNJOBID= node151-1569787351-1203
PBS_JOBID= 21705814
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-128.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408053-1569790044/watcher-4408053-1569790044 -o /tmp/evaluation-result-4408053-1569790044/solver-4408053-1569790044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569787351-1203 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408053-1569790044.xml

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

MD5SUM BENCH= 4d7b3c626605250b6cca5f61c2385b47
RANDOM SEED=1320885402

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28347028 kB
MemAvailable:   31721368 kB
Buffers:          166608 kB
Cached:          3543272 kB
SwapCached:        50572 kB
Active:          1982804 kB
Inactive:        1889616 kB
Active(anon):     130448 kB
Inactive(anon):   111440 kB
Active(file):    1852356 kB
Inactive(file):  1778176 kB
Unevictable:      108504 kB
Mlocked:          108504 kB
SwapTotal:      67108860 kB
SwapFree:       66956692 kB
Dirty:              2804 kB
Writeback:             0 kB
AnonPages:        235040 kB
Mapped:            27984 kB
Shmem:             70732 kB
Slab:             147836 kB
SReclaimable:     119284 kB
SUnreclaim:        28552 kB
KernelStack:        3760 kB
PageTables:         5252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     675824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 62024 MiB
End job on node151 at 2019-09-29 23:28:43