Trace number 4389513

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2? (TO) 2520.03 2519.7

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-4389513-1568319739.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.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.09/2.17	c 611            739            19293          46868          129            0              1   1   0      
2.69/2.70	c 771            899            19773          57588          129            0              1   1   0      
3.19/3.28	c 947            1075           20301          69380          129            0              1   1   0      
3.89/3.91	c 1140           1268           20880          82311          129            0              1   1   0      
4.59/4.60	c 1352           1480           21516          96515          129            0              1   1   0      
5.29/5.37	c 1585           1713           22215          112126         129            0              1   1   0      
6.19/6.20	c 1841           1969           22983          129278         129            0              1   1   0      
7.09/7.12	c 2122           2250           23826          148105         129            0              1   1   0      
8.09/8.13	c 2431           2559           24753          168808         129            0              1   1   0      
9.19/9.24	c 2770           2898           25770          191521         129            0              1   1   0      
10.39/10.45	c 3142           3270           26886          216445         129            0              1   1   0      
11.69/11.78	c 3551           3679           28113          243848         129            0              1   1   0      
13.19/13.24	c 4000           4128           29460          273931         129            0              1   1   0      
14.79/14.85	c 4493           4621           31446          319026         129            0              1   1   0      
16.59/16.63	c 5035           5163           34096          379522         129            0              1   1   0      
18.49/18.58	c 5631           5759           36908          443586         129            0              1   1   0      
20.69/20.72	c 6286           6414           39897          511371         129            0              1   1   0      
23.00/23.07	c 7006           7134           43337          589183         129            0              1   1   0      
25.59/25.64	c 7798           7926           46737          665553         129            0              1   1   0      
28.39/28.46	c 8669           8797           50630          752524         129            0              1   1   0      
31.49/31.51	c 9627           9890           55625          822155         129            0              1   136   44   
34.59/34.66	c 10680          11082          60377          849365         130            0              1   140   121  
38.29/38.38	c 11838          12375          65421          897481         131            0              1   136   82   
42.19/42.28	c 13111          13787          71085          926987         132            0              1   140   119  
46.69/46.72	c 14511          15328          76866          981711         133            0              1   142   83   
51.49/51.57	c 16051          17009          83069          1043141        134            0              1   142   80   
56.79/56.89	c 17745          18846          89729          1111847        135            0              1   144   77   
62.69/62.71	c 19608          20852          96899          1188399        136            0              1   144   75   
69.00/69.06	c 21657          23046          104625         1273379        137            0              1   146   73   
76.29/76.33	c 23910          25434          112937         1383536        138            0              1   136   60   
84.00/84.05	c 26388          28043          125937         1432081        138            0              35   132   130 
91.69/91.72	c 29113          30913          135435         1458358        138            0              131   146   138
101.29/101.38	c 32110          34043          148099         1619919        139            0              1   134   58   
111.60/111.61	c 35406          37470          163331         1683404        139            0              17   132   130 
122.90/122.93	c 39031          41226          175501         1713267        139            0              131   132   131
134.60/134.68	c 43018          45355          190603         1753981        139            0              3   143   135  
148.20/148.27	c 47403          49873          209954         1813692        139            0              18   134   131 
162.70/162.70	c 52226          54836          228542         1879320        140            0              1   141   130  
178.60/178.63	c 57531          60278          249179         1941569        140            0              11   138   133 
196.41/196.43	c 63366          66248          270577         2004970        140            0              12   136   133 
216.31/216.30	c 69784          72800          294530         2076130        140            0              14   135   132 
238.31/238.30	c 76843          79992          321221         2157627        140            0              14   134   131 
262.72/262.73	c 84607          87888          345854         2213982        140            0              131   133   131
285.42/285.48	c 93147          96575          373575         2286401        141            0              1   148   135  
312.82/312.88	c 102541         106116         406410         2509465        142            0              1   148   107  
343.93/343.91	c 112874         116591         442582         2789149        143            0              1   143   101  
377.63/377.63	c 124240         128094         480356         2865001        143            0              13   138   134 
411.34/411.36	c 136742         140745         521267         2941954        143            0              6   150   140  
452.44/452.40	c 150494         154640         569684         3294227        144            0              1   144   105  
495.95/495.93	c 165621         169910         618834         3395220        145            0              1   144   136  
543.85/543.83	c 182260         186698         672271         3500084        145            0              17   150   136 
597.17/597.14	c 200562         205146         734192         3902161        146            0              1   147   110  
653.08/653.09	c 220694         225429         798745         4023183        146            0              20   152   138 
716.98/716.94	c 242839         247721         871070         4456504        147            0              1   148   113  
781.29/781.27	c 267198         272231         947160         4579435        147            0              20   152   141 
857.70/857.66	c 293992         299174         1033847        5079015        148            0              1   150   115  
935.71/935.65	c 323465         328800         1127074        5218045        149            0              1   154   141  
1026.33/1026.28	c 355885         361372         1234564        5840692        150            0              1   153   117  
1119.04/1118.99	c 391547         397189         1347700        6059698        151            0              1   156   142  
1228.65/1228.58	c 430775         436566         1473190        6740901        152            0              1   150   117  
1337.18/1337.05	c 473925         479873         1605992        6959013        152            0              63   158   143 
1468.38/1468.26	c 521390         527488         1762382        7872047        153            0              1   151   118  
1593.50/1593.37	c 573601         579863         1922477        8155257        153            0              28   165   146 
1749.23/1749.07	c 631033         637472         2098719        8413015        154            0              1   178   154  
1914.44/1914.26	c 694208         700801         2295129        8862644        155            0              1   155   140  
2092.16/2092.00	c 763700         772180         2695282        10606379       155            0              55   178   145 
2289.90/2289.62	c 840141         848774         2933221        11171235       156            0              1   154   140  
2512.13/2511.87	c 924226         933032         3192734        11644106       156            0              4   174   148  
2520.03/2519.70	
2520.03/2519.70	c *** INTERRUPTED ***
2520.03/2519.70	c restarts              : 72          
2520.03/2519.70	c conflicts             : 926810       (368 /sec)
2520.03/2519.70	c decisions             : 935747       (371 /sec)
2520.03/2519.70	c propagations          : 11679469    (4635 /sec)
2520.03/2519.70	c root propagations     : 8066        
2520.03/2519.70	c filter calls          : 3204840        (1272 /sec)
2520.03/2519.70	c useless filter calls  : 2177013        (67 %)
2520.03/2519.70	c Memory used           : 78.24 MB
2520.03/2519.70	c CPU time              : 2520 s
2520.03/2519.70	c real time             : 2519.7 s
2520.03/2519.70	
2520.03/2519.70	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 (15336 MiB free)
  memory of node 1: 16384 MiB (15622 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389513-1568319739/watcher-4389513-1568319739 -o /tmp/evaluation-result-4389513-1568319739/solver-4389513-1568319739 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568308483-14144 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389513-1568319739.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=15542, runsolver pid=15539


[startup+0.100155 s]*
/proc/loadavg: 2.01 2.06 2.06 3/199 15543
/proc/meminfo: memFree=31650540/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55596 CPUtime=0.09 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 14081 0 0 0 8 1 0 0 20 0 1 0 408232351 80932864 13899 33554432000 4194304 6210612 140734831290256 140734831286792 5080837 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13899 871 493 0 13064 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55596 KiB

[startup+0.209718 s]*
/proc/loadavg: 2.01 2.06 2.06 3/199 15543
/proc/meminfo: memFree=31649936/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55596 CPUtime=0.2 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 14091 0 0 0 19 1 0 0 20 0 1 0 408232351 80932864 13899 33554432000 4194304 6210612 140734831290256 140734831288520 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13899 871 493 0 13064 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55596 KiB

[startup+0.309167 s]*
/proc/loadavg: 2.01 2.06 2.06 3/199 15543
/proc/meminfo: memFree=31649936/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55596 CPUtime=0.3 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 14091 0 0 0 29 1 0 0 20 0 1 0 408232351 80932864 13899 33554432000 4194304 6210612 140734831290256 140734831288520 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13899 871 493 0 13064 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55596 KiB

[startup+0.700286 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 15543
/proc/meminfo: memFree=31649740/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55596 CPUtime=0.69 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 14092 0 0 0 68 1 0 0 20 0 1 0 408232351 80932864 13899 33554432000 4194304 6210612 140734831290256 140734831288216 5149332 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13899 871 493 0 13064 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55596 KiB

[startup+1.50029 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 15543
/proc/meminfo: memFree=31649740/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55596 CPUtime=1.49 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 14092 0 0 0 148 1 0 0 20 0 1 0 408232351 80932864 13899 33554432000 4194304 6210612 140734831290256 140734831288216 5149321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13899 871 493 0 13064 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55596 KiB

[startup+3.10916 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 15543
/proc/meminfo: memFree=31649640/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55720 CPUtime=3.09 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 15230 0 0 0 308 1 0 0 20 0 1 0 408232351 80932864 13930 33554432000 4194304 6210612 140734831290256 140734831288216 5149314 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13930 893 493 0 13064 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55720 KiB

[startup+6.30028 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 15543
/proc/meminfo: memFree=31649728/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55720 CPUtime=6.29 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 16371 0 0 0 628 1 0 0 20 0 1 0 408232351 80932864 13930 33554432000 4194304 6210612 140734831290256 140734831288216 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13930 893 493 0 13064 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55720 KiB

[startup+12.7003 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 15543
/proc/meminfo: memFree=31649728/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55720 CPUtime=12.69 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 17513 0 0 0 1268 1 0 0 20 0 1 0 408232351 80932864 13930 33554432000 4194304 6210612 140734831290256 140734831288216 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13930 893 493 0 13064 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55720 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 15543
/proc/meminfo: memFree=31649840/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55724 CPUtime=25.49 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 20334 0 0 0 2548 1 0 0 20 0 1 0 408232351 80932864 13931 33554432000 4194304 6210612 140734831290256 140734831288216 5149299 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13931 893 493 0 13064 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55724 KiB

[startup+51.1092 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 15546
/proc/meminfo: memFree=31649836/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55744 CPUtime=51.1 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 24448 0 0 0 5109 1 0 0 20 0 1 0 408232351 80932864 13936 33554432000 4194304 6210612 140734831290256 140734831288216 5149314 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13936 893 493 0 13064 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55744 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.06 2.06 3/199 15549
/proc/meminfo: memFree=31649000/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79036 memory=55768 CPUtime=102.29 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 24559 0 0 0 10228 1 0 0 20 0 1 0 408232351 80932864 13942 33554432000 4194304 6210612 140734831290256 140734831288216 5149306 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19759 13942 893 493 0 13064 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 79036 KiB
Current children cumulated memory: 55768 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/199 15553
/proc/meminfo: memFree=31649124/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79192 memory=55812 CPUtime=162.3 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 24676 0 0 0 16229 1 0 0 20 0 1 0 408232351 81092608 13953 33554432000 4194304 6210612 140734831290256 140734831288216 5149299 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19798 13953 893 493 0 13103 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55812 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/200 15559
/proc/meminfo: memFree=31648948/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79192 memory=55828 CPUtime=222.31 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 24785 0 0 0 22230 1 0 0 20 0 1 0 408232351 81092608 13957 33554432000 4194304 6210612 140734831290256 140734831288216 5149321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19798 13957 893 493 0 13103 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55828 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/198 15564
/proc/meminfo: memFree=31649352/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79192 memory=55828 CPUtime=282.32 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 24794 0 0 0 28231 1 0 0 20 0 1 0 408232351 81092608 13957 33554432000 4194304 6210612 140734831290256 140734831288216 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19798 13957 893 493 0 13103 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55828 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/198 15568
/proc/meminfo: memFree=31649952/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79192 memory=55860 CPUtime=342.33 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 24919 0 0 0 34232 1 0 0 20 0 1 0 408232351 81092608 13965 33554432000 4194304 6210612 140734831290256 140734831288216 5149280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19798 13965 893 493 0 13103 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55860 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/199 15634
/proc/meminfo: memFree=31578800/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79192 memory=55860 CPUtime=402.33 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 24923 0 0 0 40232 1 0 0 20 0 1 0 408232351 81092608 13965 33554432000 4194304 6210612 140734831290256 140734831288216 5149332 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19798 13965 893 493 0 13103 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55860 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/198 15639
/proc/meminfo: memFree=31577444/32770624 swapFree=66934684/67108860
[pid=15542] ppid=15539 vsize=79192 memory=55884 CPUtime=462.34 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 25055 0 0 0 46233 1 0 0 20 0 1 0 408232351 81092608 13971 33554432000 4194304 6210612 140734831290256 140734831288216 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19798 13971 893 493 0 13103 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 55884 KiB


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

/proc/15542/statm: 19949 14090 893 493 0 13254 0
Current children cumulated CPU time: 1782.52 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56360 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 15772
/proc/meminfo: memFree=31576256/32770624 swapFree=66934704/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56360 CPUtime=1842.53 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 27094 0 0 0 184251 2 0 0 20 0 1 0 408232351 81711104 14090 33554432000 4194304 6210612 140734831290256 140734831288216 5149280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14090 893 493 0 13254 0
Current children cumulated CPU time: 1842.53 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56360 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15776
/proc/meminfo: memFree=31576528/32770624 swapFree=66934704/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56360 CPUtime=1902.54 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 27253 0 0 0 190252 2 0 0 20 0 1 0 408232351 81711104 14090 33554432000 4194304 6210612 140734831290256 140734831288216 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14090 893 493 0 13254 0
Current children cumulated CPU time: 1902.54 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56360 KiB

[startup+1962.3 s]
/proc/loadavg: 2.48 2.13 2.08 3/199 15780
/proc/meminfo: memFree=31576428/32770624 swapFree=66934704/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56404 CPUtime=1962.55 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 27334 0 0 0 196253 2 0 0 20 0 1 0 408232351 81711104 14101 33554432000 4194304 6210612 140734831290256 140734831288216 5149306 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14101 893 493 0 13254 0
Current children cumulated CPU time: 1962.55 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56404 KiB

[startup+2022.3 s]
/proc/loadavg: 2.51 2.22 2.12 3/200 15786
/proc/meminfo: memFree=31575864/32770624 swapFree=66934704/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56404 CPUtime=2022.55 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 27450 0 0 0 202253 2 0 0 20 0 1 0 408232351 81711104 14101 33554432000 4194304 6210612 140734831290256 140734831288216 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14101 893 493 0 13254 0
Current children cumulated CPU time: 2022.55 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56404 KiB

[startup+2082.3 s]
/proc/loadavg: 2.22 2.19 2.12 3/198 15791
/proc/meminfo: memFree=31575464/32770624 swapFree=66934708/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56404 CPUtime=2082.56 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 27520 0 0 0 208254 2 0 0 20 0 1 0 408232351 81711104 14101 33554432000 4194304 6210612 140734831290256 140734831288216 5149306 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14101 893 493 0 13254 0
Current children cumulated CPU time: 2082.56 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56404 KiB

[startup+2142.3 s]
/proc/loadavg: 2.08 2.16 2.11 3/198 15795
/proc/meminfo: memFree=31576716/32770624 swapFree=66934708/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56444 CPUtime=2142.57 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 27702 0 0 0 214255 2 0 0 20 0 1 0 408232351 81711104 14111 33554432000 4194304 6210612 140734831290256 140734831288216 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14111 893 493 0 13254 0
Current children cumulated CPU time: 2142.57 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56444 KiB

[startup+2202.3 s]
/proc/loadavg: 2.03 2.13 2.11 3/199 15801
/proc/meminfo: memFree=31576180/32770624 swapFree=66934708/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56444 CPUtime=2202.58 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 27748 0 0 0 220256 2 0 0 20 0 1 0 408232351 81711104 14111 33554432000 4194304 6210612 140734831290256 140734831288216 5149280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14111 893 493 0 13254 0
Current children cumulated CPU time: 2202.58 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56444 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.11 2.10 3/198 15806
/proc/meminfo: memFree=31576056/32770624 swapFree=66934708/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56444 CPUtime=2262.59 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 27924 0 0 0 226256 3 0 0 20 0 1 0 408232351 81711104 14111 33554432000 4194304 6210612 140734831290256 140734831288216 5149332 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14111 893 493 0 13254 0
Current children cumulated CPU time: 2262.59 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56444 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.09 2.09 3/198 15810
/proc/meminfo: memFree=31576012/32770624 swapFree=66934708/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56508 CPUtime=2322.6 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 28025 0 0 0 232257 3 0 0 20 0 1 0 408232351 81711104 14127 33554432000 4194304 6210612 140734831290256 140734831288216 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14127 893 493 0 13254 0
Current children cumulated CPU time: 2322.6 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56508 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/200 15824
/proc/meminfo: memFree=31575172/32770624 swapFree=66934716/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56508 CPUtime=2382.61 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 28135 0 0 0 238258 3 0 0 20 0 1 0 408232351 81711104 14127 33554432000 4194304 6210612 140734831290256 140734831288216 5149280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14127 893 493 0 13254 0
Current children cumulated CPU time: 2382.61 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56508 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/201 15852
/proc/meminfo: memFree=31574616/32770624 swapFree=66934728/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56508 CPUtime=2442.62 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 28199 0 0 0 244259 3 0 0 20 0 1 0 408232351 81711104 14127 33554432000 4194304 6210612 140734831290256 140734831288216 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14127 893 493 0 13254 0
Current children cumulated CPU time: 2442.62 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56508 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.08 3/201 15856
/proc/meminfo: memFree=31575300/32770624 swapFree=66934728/67108860
[pid=15542] ppid=15539 vsize=79796 memory=56508 CPUtime=2502.63 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 28402 0 0 0 250260 3 0 0 20 0 1 0 408232351 81711104 14127 33554432000 4194304 6210612 140734831290256 140734831288216 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 19949 14127 893 493 0 13254 0
Current children cumulated CPU time: 2502.63 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 56508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.7 s]
/proc/loadavg: 2.00 2.04 2.07 3/201 15859
/proc/meminfo: memFree=31575024/32770624 swapFree=66934728/67108860
[pid=15542] ppid=15539 vsize=80116 memory=56568 CPUtime=2520.03 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 28494 0 0 0 252000 3 0 0 20 0 1 0 408232351 82038784 14142 33554432000 4194304 6210612 140734831290256 140734831288216 5149321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 20029 14142 893 493 0 13334 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 80116 KiB
Current children cumulated memory: 56568 KiB

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

[startup+2519.7 s]
# the end of solver process 15542 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520 s, system=0.030004 s

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

[startup+2519.7 s]
/proc/loadavg: 2.00 2.04 2.07 3/201 15859
/proc/meminfo: memFree=31575024/32770624 swapFree=66934728/67108860
[pid=15542] ppid=15539 vsize=80116 memory=56568 CPUtime=2520.03 cores=1,3,5,7
/proc/15542/stat : 15542 (cosoco) R 15539 15542 14112 0 -1 4202496 28494 0 0 0 252000 3 0 0 20 0 1 0 408232351 82038784 14142 33554432000 4194304 6210612 140734831290256 140734831288216 5149321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10358784 140734831293451 140734831293553 140734831293553 140734831296462 0
/proc/15542/statm: 20029 14142 893 493 0 13334 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 80116 KiB
Current children cumulated memory: 56568 KiB

Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.03
CPU user time (s): 2520
CPU system time (s): 0.030004
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 80116
Max. memory (cumulated for all children) (KiB): 56568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.030004
maximum resident set size= 56636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28532
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= 20
involuntary context switches= 884


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7361 second user time and 15.505 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-12 21:20:45
IDJOB=4389513
IDBENCH=122902
IDSOLVER=2829
FILE ID=node105/4389513-1568319739
RUNJOBID= node105-1568308483-14144
PBS_JOBID= 21701128
Free space on /tmp= 54368 MiB

SOLVER NAME= cosoco 2
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-4389513-1568319739/watcher-4389513-1568319739 -o /tmp/evaluation-result-4389513-1568319739/solver-4389513-1568319739 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568308483-14144 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389513-1568319739.xml

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

MD5SUM BENCH= 4d7b3c626605250b6cca5f61c2385b47
RANDOM SEED=2073621429

node105.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.00
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.00
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.00
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.00
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:        31701952 kB
MemAvailable:   31846656 kB
Buffers:          114596 kB
Cached:           319840 kB
SwapCached:        68952 kB
Active:           230412 kB
Inactive:         288436 kB
Active(anon):      27048 kB
Inactive(anon):    88820 kB
Active(file):     203364 kB
Inactive(file):   199616 kB
Unevictable:      111256 kB
Mlocked:          111256 kB
SwapTotal:      67108860 kB
SwapFree:       66934684 kB
Dirty:              2748 kB
Writeback:             0 kB
AnonPages:        128412 kB
Mapped:            35772 kB
Shmem:             22840 kB
Slab:             143360 kB
SReclaimable:     115116 kB
SUnreclaim:        28244 kB
KernelStack:        3520 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     534696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54364 MiB
End job on node105 at 2019-09-12 22:02:45