Trace number 4408191

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-164.xml
MD5SUMb2fe288f8dde57e646dfc9c4f090c29d
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 benchmark118.733
Satisfiable
(Un)Satisfiability was proved
Number of variables328
Number of constraints172
Number of domains2
Minimum domain size164
Maximum domain size26896
Distribution of domain sizes[{"size":164,"count":164},{"size":26896,"count":164}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":164},{"degree":4,"count":163},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity164
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":164},{"arity":82,"count":6},{"arity":164,"count":1}]
Number of extensional constraints0
Number of intensional constraints165
Distribution of constraint types[{"type":"intension","count":165},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.10	c
0.00/0.10	c This is cosoco 2.00 --  
0.00/0.10	c
0.00/0.10	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408191-1569789999.xml 
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.10/0.14	c root propagations     : 13286       
0.10/0.14	c restarts enabled, print stats at every restarts
0.10/0.14	c
0.10/0.14	c
0.10/0.14	c ========================================[ Problem Statistics ]===========================================
0.10/0.14	c |                                                                                                       
0.10/0.14	c |  Parse time        :         0.07 s 
0.10/0.14	c |
0.10/0.14	c |               Variables: 328
0.10/0.14	c |            Domain Sizes: 164..26896
0.10/0.14	c |
0.10/0.14	c |             Constraints: 332
0.10/0.14	c |                   Arity: 1..164  -- Unary: 1  -- Binary: 326
0.10/0.14	c | 
0.10/0.14	c |                   Types: 
0.10/0.14	c |                          (X - Y < k): 162
0.10/0.14	c |                          All Different: 1
0.10/0.14	c |                          Intension: 164
0.10/0.14	c |                          Sum: 4
0.10/0.14	c |                          Unary: 1
0.10/0.14	c |                          
0.10/0.14	c =========================================================================================================
0.10/0.14	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.00/1.03	c 101            265            28573          20582          164            0              165   165   163
1.69/1.79	c 211            375            28903          29932          165            0              1   1   0      
2.59/2.62	c 332            496            29266          40217          165            0              1   1   0      
3.49/3.54	c 465            629            29665          51522          165            0              1   1   0      
4.49/4.55	c 611            775            30103          63932          165            0              1   1   0      
5.59/5.65	c 771            935            30583          77532          165            0              1   1   0      
6.79/6.85	c 947            1111           31111          92492          165            0              1   1   0      
8.10/8.18	c 1140           1304           31690          108897         165            0              1   1   0      
9.59/9.64	c 1352           1516           32326          126917         165            0              1   1   0      
11.19/11.24	c 1585           1749           33025          146722         165            0              1   1   0      
12.89/13.00	c 1841           2005           33793          168482         165            0              1   1   0      
14.89/14.93	c 2122           2286           34636          192367         165            0              1   1   0      
17.00/17.05	c 2431           2595           35563          218632         165            0              1   1   0      
19.29/19.37	c 2770           2934           36580          247447         165            0              1   1   0      
21.89/21.92	c 3142           3306           37696          279067         165            0              1   1   0      
24.69/24.73	c 3551           3715           38923          313832         165            0              1   1   0      
27.79/27.80	c 4000           4164           40270          351997         165            0              1   1   0      
31.10/31.18	c 4493           4657           41749          393902         165            0              1   1   0      
34.79/34.88	c 5035           5199           43375          439972         165            0              1   1   0      
38.89/38.95	c 5631           5795           45163          490632         165            0              1   1   0      
43.39/43.43	c 6286           6450           47128          546307         165            0              1   1   0      
48.29/48.35	c 7006           7170           49611          617430         165            0              1   1   0      
53.69/53.78	c 7798           7962           53299          724621         165            0              1   1   0      
59.69/59.76	c 8669           8833           57552          848391         165            0              1   1   0      
66.29/66.33	c 9627           9791           62066          979270         165            0              1   1   0      
73.49/73.53	c 10680          10844          66865          1117819        165            0              1   1   0      
81.39/81.44	c 11838          12002          72307          1274428        165            0              1   1   0      
90.10/90.12	c 13111          13275          78094          1439914        165            0              1   1   0      
99.59/99.64	c 14511          14675          84262          1615024        165            0              1   1   0      
109.69/109.73	c 16051          16389          91290          1711207        165            0              1   175   92   
120.49/120.52	c 17745          18259          98423          1747365        166            0              1   177   153  
132.79/132.84	c 19608          20298          106055         1811514        167            0              1   177   122  
146.19/146.23	c 21657          22525          114232         1884283        168            0              1   179   119  
160.89/160.91	c 23910          24956          123023         1966398        169            0              1   179   117  
176.79/176.86	c 26388          27614          132492         2058601        170            0              1   181   115  
194.29/194.32	c 29113          30519          142704         2161634        171            0              1   181   113  
213.29/213.30	c 32110          33698          153727         2276255        172            0              1   183   112  
234.00/234.08	c 35406          37176          165638         2403226        173            0              1   183   111  
256.49/256.59	c 39031          40985          178542         2543325        174            0              1   185   111  
281.19/281.25	c 43018          45156          192527         2697338        175            0              1   185   111  
307.89/307.92	c 47403          49727          207448         2866108        176            0              1   187   112  
340.19/340.23	c 52226          54721          227567         3110176        177            0              1   172   90   
375.10/375.14	c 57531          60198          249989         3179858        178            0              1   173   162  
413.39/413.43	c 63366          66203          273648         3256409        178            0              35   171   167 
455.79/455.88	c 69784          72789          300096         3348006        178            0              20   169   167 
503.00/503.10	c 76843          80014          322999         3389692        178            0              167   167   166
548.10/548.14	c 84607          87964          351318         3439756        178            0              3   187   177  
604.49/604.54	c 93147          96678          385774         3788013        179            0              1   175   113  
665.10/665.16	c 102541         106242         421902         3858877        180            0              1   171   167  
727.90/727.97	c 112874         116763         459983         3923020        180            0              4   189   174  
802.60/802.67	c 124240         128302         504356         4361434        181            0              1   174   119  
885.01/885.04	c 136742         140971         547945         4464177        181            0              18   168   167 
971.50/971.52	c 150494         154895         596652         4556552        181            0              3   173   171  
1062.90/1062.93	c 165621         170210         650542         4676562        181            0              3   189   174  
1170.30/1170.37	c 182260         187025         713589         5238014        182            0              1   177   129  
1291.20/1291.29	c 200562         205496         771048         5324898        182            0              18   170   167 
1415.11/1415.18	c 220694         225802         838622         5477167        182            0              3   175   172  
1541.91/1541.99	c 242839         248137         916586         5705798        182            0              3   191   177  
1695.52/1695.53	c 267198         272677         1001350        6413375        183            0              1   182   140  
1867.32/1867.38	c 293992         299641         1085417        6546163        183            0              18   171   169 
2040.22/2040.28	c 323465         329304         1179011        6727525        183            0              3   191   176  
2239.22/2239.21	c 355885         361909         1285970        7422232        184            0              1   186   147  
2450.13/2450.19	c 391547         397763         1400242        7654304        185            0              1   193   175  
2520.03/2520.01	
2520.03/2520.01	c *** INTERRUPTED ***
2520.03/2520.01	c restarts              : 63          
2520.03/2520.01	c conflicts             : 401959       (160 /sec)
2520.03/2520.01	c decisions             : 408342       (162 /sec)
2520.03/2520.01	c propagations          : 8466959     (3360 /sec)
2520.03/2520.01	c root propagations     : 13286       
2520.03/2520.01	c filter calls          : 1441007        (572 /sec)
2520.03/2520.01	c useless filter calls  : 985570         (68 %)
2520.03/2520.01	c Memory used           : 131.55 MB
2520.03/2520.01	c CPU time              : 2519.98 s
2520.03/2520.01	c real time             : 2520.01 s
2520.03/2520.01	
2520.03/2520.01	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 (15160 MiB free)
  memory of node 1: 16384 MiB (15511 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408191-1569789999/watcher-4408191-1569789999 -o /tmp/evaluation-result-4408191-1569789999/solver-4408191-1569789999 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1569787348-7896 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408191-1569789999.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=8406, runsolver pid=8403

[startup+0.100171 s]*
/proc/loadavg: 2.08 2.02 1.90 3/199 8407
/proc/meminfo: memFree=31309044/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=133904 memory=110252 CPUtime=0.1 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 27769 0 0 0 7 3 0 0 20 0 1 0 554913639 137117696 27563 33554432000 4194304 6211132 140723235940160 140723235936696 5006144 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33476 27563 850 493 0 26781 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 133904 KiB
Current children cumulated memory: 110252 KiB

[startup+0.209844 s]*
/proc/loadavg: 2.08 2.02 1.90 3/199 8407
/proc/meminfo: memFree=31300936/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134168 memory=110780 CPUtime=0.21 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 27886 0 0 0 18 3 0 0 20 0 1 0 554913639 137388032 27695 33554432000 4194304 6211132 140723235940160 140723235936696 5074626 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33542 27695 867 493 0 26847 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 134168 KiB
Current children cumulated memory: 110780 KiB

[startup+0.309678 s]*
/proc/loadavg: 2.08 2.02 1.90 3/199 8407
/proc/meminfo: memFree=31300600/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=110940 CPUtime=0.31 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 27900 0 0 0 28 3 0 0 20 0 1 0 554913639 137531392 27735 33554432000 4194304 6211132 140723235940160 140723235938424 5149718 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27735 896 493 0 26882 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 110940 KiB

[startup+0.700376 s]
/proc/loadavg: 2.08 2.02 1.90 3/199 8407
/proc/meminfo: memFree=31300600/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=110940 CPUtime=0.69 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 27908 0 0 0 66 3 0 0 20 0 1 0 554913639 137531392 27735 33554432000 4194304 6211132 140723235940160 140723235938424 5149732 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27735 896 493 0 26882 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 110940 KiB

[startup+1.50039 s]
/proc/loadavg: 2.08 2.02 1.90 3/199 8407
/proc/meminfo: memFree=31300600/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=110940 CPUtime=1.49 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 27908 0 0 0 146 3 0 0 20 0 1 0 554913639 137531392 27735 33554432000 4194304 6211132 140723235940160 140723235938424 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27735 896 493 0 26882 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 110940 KiB

[startup+3.1095 s]
/proc/loadavg: 2.08 2.02 1.90 3/199 8407
/proc/meminfo: memFree=31300492/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=110984 CPUtime=3.1 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 30192 0 0 0 307 3 0 0 20 0 1 0 554913639 137531392 27746 33554432000 4194304 6211132 140723235940160 140723235938424 5149680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27746 898 493 0 26882 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 110984 KiB

[startup+6.30037 s]
/proc/loadavg: 2.08 2.02 1.90 3/199 8407
/proc/meminfo: memFree=31299976/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=110984 CPUtime=6.29 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 32478 0 0 0 626 3 0 0 20 0 1 0 554913639 137531392 27746 33554432000 4194304 6211132 140723235940160 140723235938120 5149706 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27746 898 493 0 26882 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 110984 KiB

[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 1.90 3/199 8407
/proc/meminfo: memFree=31300224/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=110984 CPUtime=12.69 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 34765 0 0 0 1265 4 0 0 20 0 1 0 554913639 137531392 27746 33554432000 4194304 6211132 140723235940160 140723235938120 5149690 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27746 898 493 0 26882 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 110984 KiB

[startup+25.5004 s]
/proc/loadavg: 2.05 2.01 1.90 3/199 8407
/proc/meminfo: memFree=31299388/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=110988 CPUtime=25.49 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 39339 0 0 0 2545 4 0 0 20 0 1 0 554913639 137531392 27747 33554432000 4194304 6211132 140723235940160 140723235938120 5149706 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27747 898 493 0 26882 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 110988 KiB

[startup+51.1095 s]
/proc/loadavg: 2.04 2.01 1.90 3/199 8409
/proc/meminfo: memFree=31299708/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=110992 CPUtime=51.1 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 42001 0 0 0 5106 4 0 0 20 0 1 0 554913639 137531392 27748 33554432000 4194304 6211132 140723235940160 140723235938120 5149732 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27748 898 493 0 26882 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 110992 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/199 8413
/proc/meminfo: memFree=31298412/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=110992 CPUtime=102.29 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 44694 0 0 0 10225 4 0 0 20 0 1 0 554913639 137531392 27748 33554432000 4194304 6211132 140723235940160 140723235938120 5149714 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27748 898 493 0 26882 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 110992 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/200 8418
/proc/meminfo: memFree=31298388/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=111016 CPUtime=162.29 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 45559 0 0 0 16225 4 0 0 20 0 1 0 554913639 137531392 27754 33554432000 4194304 6211132 140723235940160 140723235938120 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27754 898 493 0 26882 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 111016 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/200 8424
/proc/meminfo: memFree=31298144/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=111048 CPUtime=222.29 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 46129 0 0 0 22225 4 0 0 20 0 1 0 554913639 137531392 27762 33554432000 4194304 6211132 140723235940160 140723235938120 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27762 898 493 0 26882 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 111048 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/200 8496
/proc/meminfo: memFree=31216588/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134308 memory=111052 CPUtime=282.29 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 46704 0 0 0 28225 4 0 0 20 0 1 0 554913639 137531392 27763 33554432000 4194304 6211132 140723235940160 140723235938120 5149706 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33577 27763 898 493 0 26882 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 134308 KiB
Current children cumulated memory: 111052 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/200 8500
/proc/meminfo: memFree=30755580/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134476 memory=111068 CPUtime=342.29 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 47293 0 0 0 34225 4 0 0 20 0 1 0 554913639 137703424 27767 33554432000 4194304 6211132 140723235940160 140723235938120 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33619 27767 898 493 0 26924 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 134476 KiB
Current children cumulated memory: 111068 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/200 8506
/proc/meminfo: memFree=30293356/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134476 memory=111120 CPUtime=402.29 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 47869 0 0 0 40225 4 0 0 20 0 1 0 554913639 137703424 27780 33554432000 4194304 6211132 140723235940160 140723235938120 5149714 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33619 27780 898 493 0 26924 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 134476 KiB
Current children cumulated memory: 111120 KiB

[startup+462.3 s]
/proc/loadavg: 2.11 2.04 1.95 3/199 8510
/proc/meminfo: memFree=29830476/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134476 memory=111128 CPUtime=462.29 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 48446 0 0 0 46225 4 0 0 20 0 1 0 554913639 137703424 27782 33554432000 4194304 6211132 140723235940160 140723235938120 5149721 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33619 27782 898 493 0 26924 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 134476 KiB
Current children cumulated memory: 111128 KiB


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

/proc/8406/statm: 33677 27848 898 493 0 26982 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111392 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8675
/proc/meminfo: memFree=19672988/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111392 CPUtime=1782.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 59188 0 0 0 178226 6 0 0 20 0 1 0 554913639 137940992 27848 33554432000 4194304 6211132 140723235940160 140723235938120 5149680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27848 898 493 0 26982 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111392 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8681
/proc/meminfo: memFree=19210964/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111392 CPUtime=1842.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 59391 0 0 0 184226 6 0 0 20 0 1 0 554913639 137940992 27848 33554432000 4194304 6211132 140723235940160 140723235938120 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27848 898 493 0 26982 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111392 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8685
/proc/meminfo: memFree=18750040/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111412 CPUtime=1902.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 60016 0 0 0 190226 6 0 0 20 0 1 0 554913639 137940992 27853 33554432000 4194304 6211132 140723235940160 140723235938120 5149718 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27853 898 493 0 26982 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111412 KiB

[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/199 8689
/proc/meminfo: memFree=18289100/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111412 CPUtime=1962.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 60183 0 0 0 196226 6 0 0 20 0 1 0 554913639 137940992 27853 33554432000 4194304 6211132 140723235940160 140723235938120 5149690 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27853 898 493 0 26982 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111412 KiB

[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/199 8695
/proc/meminfo: memFree=17826764/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111412 CPUtime=2022.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 60419 0 0 0 202226 6 0 0 20 0 1 0 554913639 137940992 27853 33554432000 4194304 6211132 140723235940160 140723235938120 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27853 898 493 0 26982 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111412 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/200 8707
/proc/meminfo: memFree=17366096/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111432 CPUtime=2082.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 61064 0 0 0 208226 6 0 0 20 0 1 0 554913639 137940992 27858 33554432000 4194304 6211132 140723235940160 140723235938120 5149680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27858 898 493 0 26982 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111432 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 8711
/proc/meminfo: memFree=16905848/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111432 CPUtime=2142.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 61304 0 0 0 214226 6 0 0 20 0 1 0 554913639 137940992 27858 33554432000 4194304 6211132 140723235940160 140723235938120 5149680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27858 898 493 0 26982 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111432 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 8717
/proc/meminfo: memFree=16443384/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111432 CPUtime=2202.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 61522 0 0 0 220226 6 0 0 20 0 1 0 554913639 137940992 27858 33554432000 4194304 6211132 140723235940160 140723235938120 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27858 898 493 0 26982 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111432 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 8721
/proc/meminfo: memFree=15982608/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111456 CPUtime=2262.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 62209 0 0 0 226226 6 0 0 20 0 1 0 554913639 137940992 27864 33554432000 4194304 6211132 140723235940160 140723235938120 5149714 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27864 898 493 0 26982 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111456 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 8725
/proc/meminfo: memFree=15521360/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111456 CPUtime=2322.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 62400 0 0 0 232226 6 0 0 20 0 1 0 554913639 137940992 27864 33554432000 4194304 6211132 140723235940160 140723235938120 5149680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27864 898 493 0 26982 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111456 KiB

[startup+2382.3 s]
/proc/loadavg: 2.11 2.06 2.02 3/199 8796
/proc/meminfo: memFree=30772848/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111456 CPUtime=2382.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 62599 0 0 0 238226 6 0 0 20 0 1 0 554913639 137940992 27864 33554432000 4194304 6211132 140723235940160 140723235938120 5149714 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27864 898 493 0 26982 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111456 KiB

[startup+2442.3 s]
/proc/loadavg: 2.04 2.04 2.02 3/199 8800
/proc/meminfo: memFree=30100276/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111456 CPUtime=2442.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 62846 0 0 0 244226 6 0 0 20 0 1 0 554913639 137940992 27864 33554432000 4194304 6211132 140723235940160 140723235938120 5149690 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27864 898 493 0 26982 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111456 KiB

[startup+2502.3 s]
/proc/loadavg: 2.12 2.07 2.03 3/199 8804
/proc/meminfo: memFree=29429504/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111484 CPUtime=2502.32 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 63827 0 0 0 250226 6 0 0 20 0 1 0 554913639 137940992 27871 33554432000 4194304 6211132 140723235940160 140723235938120 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27871 898 493 0 26982 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111484 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.08 2.06 2.03 3/199 8808
/proc/meminfo: memFree=29227856/32770624 swapFree=66936012/67108860
[pid=8406] ppid=8403 vsize=134708 memory=111484 CPUtime=2520.03 cores=1,3,5,7
/proc/8406/stat : 8406 (cosoco) R 8403 8406 7864 0 -1 4202496 64028 0 0 0 251997 6 0 0 20 0 1 0 554913639 137940992 27871 33554432000 4194304 6211132 140723235940160 140723235938120 5149680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21688320 140723235947531 140723235947633 140723235947633 140723235950542 0
/proc/8406/statm: 33677 27871 898 493 0 26982 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 111484 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.05
CPU user time (s): 2519.98
CPU system time (s): 0.068001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 134708
Max. memory (cumulated for all children) (KiB): 111484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.068001
maximum resident set size= 111548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64078
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= 780


# summary of solver processes directly reported to runsolver:
#   pid: 8406
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.98
#   total CPU system time (s): 0.068001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7255 second user time and 16.8733 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-29 22:45:55
IDJOB=4408191
IDBENCH=122900
IDSOLVER=2874
FILE ID=node147/4408191-1569789999
RUNJOBID= node147-1569787348-7896
PBS_JOBID= 21705818
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-164.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408191-1569789999/watcher-4408191-1569789999 -o /tmp/evaluation-result-4408191-1569789999/solver-4408191-1569789999 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1569787348-7896 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408191-1569789999.xml

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

MD5SUM BENCH= b2fe288f8dde57e646dfc9c4f090c29d
RANDOM SEED=789568141

node147.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.52
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.52
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.52
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.52
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:        31407628 kB
MemAvailable:   31739376 kB
Buffers:          213436 kB
Cached:           448648 kB
SwapCached:        68896 kB
Active:           462044 kB
Inactive:         331560 kB
Active(anon):      77160 kB
Inactive(anon):   136916 kB
Active(file):     384884 kB
Inactive(file):   194644 kB
Unevictable:      107708 kB
Mlocked:          107708 kB
SwapTotal:      67108860 kB
SwapFree:       66936012 kB
Dirty:              2792 kB
Writeback:             0 kB
AnonPages:        174292 kB
Mapped:            28124 kB
Shmem:             73672 kB
Slab:             165040 kB
SReclaimable:     136108 kB
SUnreclaim:        28932 kB
KernelStack:        3664 kB
PageTables:         5512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     627072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 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= 62024 MiB
End job on node147 at 2019-09-29 23:27:55