Trace number 4396793

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.03 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.06	c
0.00/0.06	c This is cosoco 2.00 --  
0.00/0.06	c
0.00/0.06	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396793-1568575343.xml 
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	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.40/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.26	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.17	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.27	c 947            1075           20301          69380          129            0              1   1   0      
3.89/3.90	c 1140           1268           20880          82311          129            0              1   1   0      
4.49/4.59	c 1352           1480           21516          96515          129            0              1   1   0      
5.29/5.35	c 1585           1713           22215          112126         129            0              1   1   0      
6.10/6.19	c 1841           1969           22983          129278         129            0              1   1   0      
7.10/7.10	c 2122           2250           23826          148105         129            0              1   1   0      
8.10/8.11	c 2431           2559           24753          168808         129            0              1   1   0      
9.19/9.22	c 2770           2898           25770          191521         129            0              1   1   0      
10.39/10.42	c 3142           3270           26886          216445         129            0              1   1   0      
11.69/11.75	c 3551           3679           28113          243848         129            0              1   1   0      
13.19/13.21	c 4000           4128           29460          273931         129            0              1   1   0      
14.79/14.82	c 4493           4621           31446          319026         129            0              1   1   0      
16.49/16.59	c 5035           5163           34096          379522         129            0              1   1   0      
18.49/18.53	c 5631           5759           36908          443586         129            0              1   1   0      
20.59/20.66	c 6286           6414           39897          511371         129            0              1   1   0      
22.89/23.00	c 7006           7134           43337          589183         129            0              1   1   0      
25.49/25.57	c 7798           7926           46737          665553         129            0              1   1   0      
28.29/28.38	c 8669           8797           50630          752524         129            0              1   1   0      
31.39/31.42	c 9627           9890           55625          822155         129            0              1   136   44   
34.49/34.57	c 10680          11082          60377          849365         130            0              1   140   121  
38.19/38.29	c 11838          12375          65421          897481         131            0              1   136   82   
42.09/42.19	c 13111          13787          71085          926987         132            0              1   140   119  
46.59/46.63	c 14511          15328          76866          981711         133            0              1   142   83   
51.39/51.48	c 16051          17009          83069          1043141        134            0              1   142   80   
56.69/56.78	c 17745          18846          89729          1111847        135            0              1   144   77   
62.59/62.60	c 19608          20852          96899          1188399        136            0              1   144   75   
68.90/68.93	c 21657          23046          104625         1273379        137            0              1   146   73   
76.10/76.17	c 23910          25434          112937         1383536        138            0              1   136   60   
83.79/83.88	c 26388          28043          125937         1432081        138            0              35   132   130 
91.49/91.56	c 29113          30913          135435         1458358        138            0              131   146   138
101.19/101.20	c 32110          34043          148099         1619919        139            0              1   134   58   
111.39/111.42	c 35406          37470          163331         1683404        139            0              17   132   130 
122.69/122.74	c 39031          41226          175501         1713267        139            0              131   132   131
134.39/134.49	c 43018          45355          190603         1753981        139            0              3   143   135  
148.00/148.08	c 47403          49873          209954         1813692        139            0              18   134   131 
162.49/162.54	c 52226          54836          228542         1879320        140            0              1   141   130  
178.39/178.49	c 57531          60278          249179         1941569        140            0              11   138   133 
196.29/196.31	c 63366          66248          270577         2004970        140            0              12   136   133 
216.10/216.18	c 69784          72800          294530         2076130        140            0              14   135   132 
238.10/238.18	c 76843          79992          321221         2157627        140            0              14   134   131 
262.59/262.60	c 84607          87888          345854         2213982        140            0              131   133   131
285.29/285.39	c 93147          96575          373575         2286401        141            0              1   148   135  
312.79/312.82	c 102541         106116         406410         2509465        142            0              1   148   107  
343.79/343.86	c 112874         116591         442582         2789149        143            0              1   143   101  
377.59/377.60	c 124240         128094         480356         2865001        143            0              13   138   134 
411.29/411.37	c 136742         140745         521267         2941954        143            0              6   150   140  
452.29/452.37	c 150494         154640         569684         3294227        144            0              1   144   105  
495.79/495.90	c 165621         169910         618834         3395220        145            0              1   144   136  
543.69/543.79	c 182260         186698         672271         3500084        145            0              17   150   136 
597.00/597.09	c 200562         205146         734192         3902161        146            0              1   147   110  
653.00/653.08	c 220694         225429         798745         4023183        146            0              20   152   138 
716.89/716.94	c 242839         247721         871070         4456504        147            0              1   148   113  
781.29/781.38	c 267198         272231         947160         4579435        147            0              20   152   141 
857.69/857.79	c 293992         299174         1033847        5079015        148            0              1   150   115  
935.90/935.96	c 323465         328800         1127074        5218045        149            0              1   154   141  
1026.59/1026.60	c 355885         361372         1234564        5840692        150            0              1   153   117  
1119.39/1119.48	c 391547         397189         1347700        6059698        151            0              1   156   142  
1229.01/1229.07	c 430775         436566         1473190        6740901        152            0              1   150   117  
1337.60/1337.68	c 473925         479873         1605992        6959013        152            0              63   158   143 
1468.80/1468.89	c 521390         527488         1762382        7872047        153            0              1   151   118  
1594.21/1594.25	c 573601         579863         1922477        8155257        153            0              28   165   146 
1750.01/1750.10	c 631033         637472         2098719        8413015        154            0              1   178   154  
1915.41/1915.47	c 694208         700801         2295129        8862644        155            0              1   155   140  
2093.41/2093.45	c 763700         772180         2695282        10606379       155            0              55   178   145 
2291.31/2291.30	c 840141         848774         2933221        11171235       156            0              1   154   140  
2513.81/2513.81	c 924226         933032         3192734        11644106       156            0              4   174   148  
2520.02/2520.00	
2520.02/2520.00	c *** INTERRUPTED ***
2520.02/2520.00	c restarts              : 72          
2520.02/2520.00	c conflicts             : 926267       (368 /sec)
2520.02/2520.00	c decisions             : 935204       (371 /sec)
2520.02/2520.00	c propagations          : 11677297    (4634 /sec)
2520.02/2520.00	c root propagations     : 8066        
2520.02/2520.00	c filter calls          : 3203211        (1271 /sec)
2520.02/2520.00	c useless filter calls  : 2175927        (67 %)
2520.02/2520.00	c Memory used           : 78.24 MB
2520.02/2520.00	c CPU time              : 2520 s
2520.02/2520.00	c real time             : 2520.01 s
2520.02/2520.00	
2520.02/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 (11340 MiB free)
  memory of node 1: 16384 MiB (13339 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396793-1568575343/watcher-4396793-1568575343 -o /tmp/evaluation-result-4396793-1568575343/solver-4396793-1568575343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568572744-8045 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396793-1568575343.xml 

running on 4 cores: 0,2,4,6

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=8902, runsolver pid=8899
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 2.00 1.99 1.88 3/200 8903
/proc/meminfo: memFree=25220292/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55608 CPUtime=0.1 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 14085 0 0 0 9 1 0 0 20 0 1 0 433803159 80932864 13902 33554432000 4194304 6211092 140725557887488 140725557885752 5082499 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13902 874 493 0 13064 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55608 KiB

[startup+0.21014 s]*
/proc/loadavg: 2.00 1.99 1.88 3/200 8903
/proc/meminfo: memFree=25220396/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55608 CPUtime=0.21 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 14095 0 0 0 20 1 0 0 20 0 1 0 433803159 80932864 13902 33554432000 4194304 6211092 140725557887488 140725557885752 5149700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13902 874 493 0 13064 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55608 KiB

[startup+0.309384 s]*
/proc/loadavg: 2.00 1.99 1.88 3/200 8903
/proc/meminfo: memFree=25220396/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55608 CPUtime=0.3 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 14095 0 0 0 29 1 0 0 20 0 1 0 433803159 80932864 13902 33554432000 4194304 6211092 140725557887488 140725557885752 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13902 874 493 0 13064 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55608 KiB

[startup+0.700352 s]
/proc/loadavg: 2.00 1.99 1.88 3/200 8903
/proc/meminfo: memFree=25220396/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55608 CPUtime=0.69 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 14095 0 0 0 68 1 0 0 20 0 1 0 433803159 80932864 13902 33554432000 4194304 6211092 140725557887488 140725557885448 5149700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13902 874 493 0 13064 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55608 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 1.99 1.88 3/200 8903
/proc/meminfo: memFree=25220136/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55608 CPUtime=1.49 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 14095 0 0 0 148 1 0 0 20 0 1 0 433803159 80932864 13902 33554432000 4194304 6211092 140725557887488 140725557885448 5149682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13902 874 493 0 13064 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55608 KiB

[startup+3.10931 s]
/proc/loadavg: 2.00 1.99 1.88 3/200 8903
/proc/meminfo: memFree=25220136/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55736 CPUtime=3.1 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 15232 0 0 0 309 1 0 0 20 0 1 0 433803159 80932864 13934 33554432000 4194304 6211092 140725557887488 140725557885448 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13934 896 493 0 13064 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55736 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 1.99 1.88 3/200 8903
/proc/meminfo: memFree=25220356/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55736 CPUtime=6.29 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 16372 0 0 0 628 1 0 0 20 0 1 0 433803159 80932864 13934 33554432000 4194304 6211092 140725557887488 140725557885448 5149674 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13934 896 493 0 13064 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55736 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.88 3/200 8905
/proc/meminfo: memFree=25219188/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55736 CPUtime=12.69 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 17513 0 0 0 1268 1 0 0 20 0 1 0 433803159 80932864 13934 33554432000 4194304 6211092 140725557887488 140725557885448 5149686 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13934 896 493 0 13064 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55736 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.88 3/200 8906
/proc/meminfo: memFree=25219840/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55740 CPUtime=25.49 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 20326 0 0 0 2548 1 0 0 20 0 1 0 433803159 80932864 13935 33554432000 4194304 6211092 140725557887488 140725557885448 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13935 896 493 0 13064 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55740 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 1.99 1.88 3/200 8906
/proc/meminfo: memFree=25219580/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55760 CPUtime=51.1 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 24445 0 0 0 5109 1 0 0 20 0 1 0 433803159 80932864 13940 33554432000 4194304 6211092 140725557887488 140725557885448 5408077 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13940 896 493 0 13064 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55760 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/200 8912
/proc/meminfo: memFree=25219236/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79036 memory=55784 CPUtime=102.29 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 27249 0 0 0 10227 2 0 0 20 0 1 0 433803159 80932864 13946 33554432000 4194304 6211092 140725557887488 140725557885448 5149689 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19759 13946 896 493 0 13064 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55784 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/200 8916
/proc/meminfo: memFree=25217844/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79192 memory=55828 CPUtime=162.29 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 30009 0 0 0 16227 2 0 0 20 0 1 0 433803159 81092608 13957 33554432000 4194304 6211092 140725557887488 140725557885448 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19798 13957 896 493 0 13103 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55828 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/199 8921
/proc/meminfo: memFree=25217804/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79192 memory=55844 CPUtime=222.29 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 30500 0 0 0 22227 2 0 0 20 0 1 0 433803159 81092608 13961 33554432000 4194304 6211092 140725557887488 140725557885448 5149700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19798 13961 896 493 0 13103 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55844 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 8927
/proc/meminfo: memFree=25217996/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79192 memory=55856 CPUtime=282.29 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 31003 0 0 0 28227 2 0 0 20 0 1 0 433803159 81092608 13964 33554432000 4194304 6211092 140725557887488 140725557885448 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19798 13964 896 493 0 13103 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55856 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 8931
/proc/meminfo: memFree=25217708/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79192 memory=55876 CPUtime=342.29 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 31514 0 0 0 34227 2 0 0 20 0 1 0 433803159 81092608 13969 33554432000 4194304 6211092 140725557887488 140725557885448 5149648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19798 13969 896 493 0 13103 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55876 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/199 8936
/proc/meminfo: memFree=25217828/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79192 memory=55892 CPUtime=402.29 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 32021 0 0 0 40227 2 0 0 20 0 1 0 433803159 81092608 13973 33554432000 4194304 6211092 140725557887488 140725557885448 5149700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19798 13973 896 493 0 13103 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55892 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/199 8942
/proc/meminfo: memFree=25217188/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79192 memory=55900 CPUtime=462.29 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 32541 0 0 0 46227 2 0 0 20 0 1 0 433803159 81092608 13975 33554432000 4194304 6211092 140725557887488 140725557885448 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19798 13975 896 493 0 13103 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55900 KiB


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

/proc/8902/statm: 19895 14084 896 493 0 13200 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 79580 KiB
Current children cumulated memory: 56336 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/199 9068
/proc/meminfo: memFree=25215512/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56376 CPUtime=1782.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 43009 0 0 0 178228 3 0 0 20 0 1 0 433803159 81711104 14094 33554432000 4194304 6211092 140725557887488 140725557885448 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14094 896 493 0 13254 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56376 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/199 9072
/proc/meminfo: memFree=25215600/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56376 CPUtime=1842.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 43245 0 0 0 184228 3 0 0 20 0 1 0 433803159 81711104 14094 33554432000 4194304 6211092 140725557887488 140725557885448 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14094 896 493 0 13254 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56376 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/199 9078
/proc/meminfo: memFree=25215772/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56376 CPUtime=1902.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 43552 0 0 0 190228 3 0 0 20 0 1 0 433803159 81711104 14094 33554432000 4194304 6211092 140725557887488 140725557885448 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14094 896 493 0 13254 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56376 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 9082
/proc/meminfo: memFree=25215068/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56420 CPUtime=1962.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 44376 0 0 0 196228 3 0 0 20 0 1 0 433803159 81711104 14105 33554432000 4194304 6211092 140725557887488 140725557885448 5149677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14105 896 493 0 13254 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56420 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 9087
/proc/meminfo: memFree=25215448/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56420 CPUtime=2022.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 44634 0 0 0 202228 3 0 0 20 0 1 0 433803159 81711104 14105 33554432000 4194304 6211092 140725557887488 140725557885448 5149682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14105 896 493 0 13254 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56420 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 9093
/proc/meminfo: memFree=25214596/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56420 CPUtime=2082.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 44996 0 0 0 208228 3 0 0 20 0 1 0 433803159 81711104 14105 33554432000 4194304 6211092 140725557887488 140725557885448 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14105 896 493 0 13254 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56420 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/199 9097
/proc/meminfo: memFree=25215268/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56460 CPUtime=2142.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 45797 0 0 0 214228 3 0 0 20 0 1 0 433803159 81711104 14115 33554432000 4194304 6211092 140725557887488 140725557885448 5149700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14115 896 493 0 13254 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56460 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 9102
/proc/meminfo: memFree=25215164/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56460 CPUtime=2202.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 46047 0 0 0 220228 3 0 0 20 0 1 0 433803159 81711104 14115 33554432000 4194304 6211092 140725557887488 140725557885448 5149700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14115 896 493 0 13254 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56460 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 9108
/proc/meminfo: memFree=25215368/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56460 CPUtime=2262.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 46358 0 0 0 226228 3 0 0 20 0 1 0 433803159 81711104 14115 33554432000 4194304 6211092 140725557887488 140725557885448 5149682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14115 896 493 0 13254 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56460 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 9119
/proc/meminfo: memFree=25214884/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56524 CPUtime=2322.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 47020 0 0 0 232228 3 0 0 20 0 1 0 433803159 81711104 14131 33554432000 4194304 6211092 140725557887488 140725557885448 5149658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14131 896 493 0 13254 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56524 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 9146
/proc/meminfo: memFree=25214804/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56524 CPUtime=2382.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 47257 0 0 0 238228 3 0 0 20 0 1 0 433803159 81711104 14131 33554432000 4194304 6211092 140725557887488 140725557885448 5149658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14131 896 493 0 13254 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56524 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 9152
/proc/meminfo: memFree=25214464/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56524 CPUtime=2442.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 47560 0 0 0 244228 3 0 0 20 0 1 0 433803159 81711104 14131 33554432000 4194304 6211092 140725557887488 140725557885448 5149689 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14131 896 493 0 13254 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56524 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 9156
/proc/meminfo: memFree=25215136/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=79796 memory=56548 CPUtime=2502.31 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 47839 0 0 0 250228 3 0 0 20 0 1 0 433803159 81711104 14137 33554432000 4194304 6211092 140725557887488 140725557885448 5149700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 19949 14137 896 493 0 13254 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56548 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.86 1.98 2.03 3/200 9217
/proc/meminfo: memFree=24395592/32770624 swapFree=66998528/67108860
[pid=8902] ppid=8899 vsize=80116 memory=56584 CPUtime=2520.02 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8899 8902 8014 0 -1 4202496 48399 0 0 0 251999 3 0 0 20 0 1 0 433803159 82038784 14146 33554432000 4194304 6211092 140725557887488 140725557885448 5149700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21803008 140725557896203 140725557896305 140725557896305 140725557899214 0
/proc/8902/statm: 20029 14146 896 493 0 13334 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 80116 KiB
Current children cumulated memory: 56584 KiB

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

[startup+2520.01 s]
# the end of solver process 8902 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520 s, system=0.039 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.03
CPU user time (s): 2520
CPU system time (s): 0.039
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 80116
Max. memory (cumulated for all children) (KiB): 56584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.039
maximum resident set size= 56648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48450
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= 18
involuntary context switches= 737


# summary of solver processes directly reported to runsolver:
#   pid: 8902
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2520
#   total CPU system time (s): 0.039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.21513 second user time and 17.2424 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-15 21:21:43
IDJOB=4396793
IDBENCH=122902
IDSOLVER=2848
FILE ID=node127/4396793-1568575343
RUNJOBID= node127-1568572744-8045
PBS_JOBID= 21703323
Free space on /tmp= 61308 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-4396793-1568575343/watcher-4396793-1568575343 -o /tmp/evaluation-result-4396793-1568575343/solver-4396793-1568575343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568572744-8045 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396793-1568575343.xml

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

MD5SUM BENCH= 4d7b3c626605250b6cca5f61c2385b47
RANDOM SEED=823908379

node127.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.55
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.55
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.55
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.55
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:        25272364 kB
MemAvailable:   31792824 kB
Buffers:          203540 kB
Cached:          6590420 kB
SwapCached:         6772 kB
Active:          2860344 kB
Inactive:        4016740 kB
Active(anon):      77824 kB
Inactive(anon):    55240 kB
Active(file):    2782520 kB
Inactive(file):  3961500 kB
Unevictable:      110552 kB
Mlocked:          110552 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:              3016 kB
Writeback:             0 kB
AnonPages:        192516 kB
Mapped:            48840 kB
Shmem:             40892 kB
Slab:             214684 kB
SReclaimable:     184548 kB
SUnreclaim:        30136 kB
KernelStack:        3680 kB
PageTables:         6408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     609672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61292 MiB
End job on node127 at 2019-09-15 22:03:43