Trace number 4408194

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2519.75 2520.02

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js20/
SuperTaillard-js-20-10.xml
MD5SUM2e1a96a215dbee196ad45178247d22f3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Number of domains96
Minimum domain size1518
Maximum domain size1616
Distribution of domain sizes[{"size":1518,"count":10},{"size":1519,"count":4},{"size":1520,"count":16},{"size":1521,"count":2},{"size":1522,"count":6},{"size":1523,"count":8},{"size":1524,"count":6},{"size":1525,"count":6},{"size":1526,"count":6},{"size":1527,"count":16},{"size":1528,"count":6},{"size":1529,"count":6},{"size":1530,"count":8},{"size":1531,"count":24},{"size":1532,"count":6},{"size":1533,"count":8},{"size":1535,"count":8},{"size":1536,"count":14},{"size":1537,"count":6},{"size":1538,"count":8},{"size":1539,"count":6},{"size":1540,"count":8},{"size":1541,"count":10},{"size":1542,"count":8},{"size":1543,"count":10},"...",{"size":1591,"count":14}, {"size":1592,"count":4}, {"size":1593,"count":8}, {"size":1594,"count":4}, {"size":1595,"count":6}, {"size":1596,"count":8}, {"size":1597,"count":10}, {"size":1598,"count":8}, {"size":1599,"count":10}, {"size":1600,"count":14}, {"size":1601,"count":10}, {"size":1602,"count":14}, {"size":1603,"count":2}, {"size":1604,"count":10}, {"size":1605,"count":10}, {"size":1606,"count":10}, {"size":1607,"count":2}, {"size":1608,"count":16}, {"size":1609,"count":8}, {"size":1610,"count":8}, {"size":1612,"count":8}, {"size":1613,"count":8}, {"size":1614,"count":14}, {"size":1615,"count":10}, {"size":1616,"count":8}]
Minimum variable degree21
Maximum variable degree43
Distribution of variable degrees[{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":12940}]
Number of extensional constraints0
Number of intensional constraints12940
Distribution of constraint types[{"type":"intension","count":12940}]
Optimization problemNO
Type of objective

Solver Data 

8.69/8.72	c root propagations     : 761976      
8.69/8.72	c restarts enabled, print stats at every restarts
8.69/8.72	c
8.69/8.72	c
8.69/8.72	c
8.69/8.72	c This is cosoco 2.00 --  
8.69/8.72	c
8.69/8.72	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408194-1569809504.xml 
8.69/8.72	c ========================================[ Problem Statistics ]===========================================
8.69/8.72	c |                                                                                                       
8.69/8.72	c |  Parse time        :         8.30 s 
8.69/8.72	c |
8.69/8.72	c |               Variables: 800
8.69/8.72	c |            Domain Sizes: 1518..1616
8.69/8.72	c |
8.69/8.72	c |             Constraints: 12940
8.69/8.72	c |                   Arity: 2..2  -- Binary: 12940
8.69/8.72	c | 
8.69/8.72	c |                   Types: 
8.69/8.72	c |                          (X != Y): 400
8.69/8.72	c |                          (X -Y <= k): 1140
8.69/8.72	c |                          Intension: 11400
8.69/8.72	c |                          
8.69/8.72	c =========================================================================================================
8.69/8.72	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
46.38/46.46	c 101            354            1155606        2689812        800            0              21   67   54   
100.58/100.60	c 211            617            2128830        5796214        800            0              21   110   79  
121.28/121.35	c 332            899            2611705        6944553        800            0              1   141   107  
147.17/147.20	c 465            1274           3391743        8382352        800            0              1   110   53   
179.58/179.69	c 611            1691           4312639        9978997        800            0              1   85   44    
214.47/214.52	c 771            2081           5413618        11988907       800            0              1   74   16    
254.08/254.15	c 947            2519           6406744        13585978       800            0              1   72   34    
297.86/297.91	c 1140           3064           7230937        14486727       800            0              1   40   18    
346.86/346.93	c 1352           3554           8272483        16574725       800            0              1   92   52    
375.96/376.09	c 1585           3871           8828155        19411566       800            0              23   74   72   
454.75/454.80	c 1841           4239           9912725        25285139       800            0              1   90   83    
567.95/568.02	c 2122           4640           10958289       33490116       800            0              1   72   67    
628.63/628.79	c 2431           5008           11630980       38241497       800            0              2   38   34    
767.03/767.14	c 2770           5680           13442113       45784969       800            0              2   111   86   
821.62/821.74	c 3142           6551           14958541       47509255       800            0              1   105   61   
956.49/956.63	c 3551           7101           16544787       54899209       800            0              1   69   63    
1011.89/1012.07	c 4000           7677           17566922       57699080       800            0              16   91   87   
1060.99/1061.15	c 4493           8315           18250429       60982209       800            0              4   110   102  
1211.26/1211.47	c 5035           9145           19741294       73461511       800            0              16   65   61   
1346.33/1346.53	c 5631           9936           21347364       81966198       800            0              3   56   51    
1517.70/1517.96	c 6286           10742          23933094       98781003       800            0              2   83   77    
1567.01/1567.24	c 7006           11573          24767259       104021586      800            0              2   44   42    
1769.69/1769.92	c 7798           12612          27141256       114120118      800            0              5   84   76    
1827.29/1827.56	c 8669           13715          28502360       118944200      800            0              8   86   81    
1905.38/1905.64	c 9627           14793          29446164       124212893      800            0              2   77   75    
2227.05/2227.39	c 10680          16010          34517466       150928768      800            0              2   66   61    
2447.84/2448.17	c 11838          18004          37435729       167949847      800            0              3   70   68    
2519.73/2520.01	
2519.73/2520.01	c *** INTERRUPTED ***
2519.73/2520.01	c restarts              : 27          
2519.73/2520.01	c conflicts             : 12716        (5 /sec)
2519.73/2520.01	c decisions             : 19027        (8 /sec)
2519.73/2520.01	c propagations          : 172601510   (68540 /sec)
2519.73/2520.01	c root propagations     : 761976      
2519.73/2520.01	c filter calls          : 38831938       (15420 /sec)
2519.73/2520.01	c useless filter calls  : 35984476       (92 %)
2519.73/2520.01	c Memory used           : 1218.12 MB
2519.73/2520.01	c CPU time              : 2518.25 s
2519.73/2520.01	c real time             : 2520 s
2519.73/2520.01	
2519.73/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 (15226 MiB free)
  memory of node 1: 16384 MiB (14087 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408194-1569809504/watcher-4408194-1569809504 -o /tmp/evaluation-result-4408194-1569809504/solver-4408194-1569809504 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1569787350-1892 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408194-1569809504.xml 

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

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

solver pid=6677, runsolver pid=6674

[startup+0.100202 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 6678
/proc/meminfo: memFree=30006688/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=38240 memory=14336 CPUtime=0.1 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 3790 0 0 0 10 0 0 0 20 0 1 0 557212874 39157760 3584 33554432000 4194304 6211132 140729648325904 140729648322440 5810242 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 9560 3584 798 493 0 2865 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38240 KiB
Current children cumulated memory: 14336 KiB

[startup+0.20968 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 6678
/proc/meminfo: memFree=30005944/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=39080 memory=15004 CPUtime=0.21 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 3961 0 0 0 21 0 0 0 20 0 1 0 557212874 40017920 3751 33554432000 4194304 6211132 140729648325904 140729648322440 139868325641878 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 9770 3751 798 493 0 3075 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 15004 KiB

[startup+0.309049 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 6678
/proc/meminfo: memFree=30005200/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=39592 memory=15784 CPUtime=0.31 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 4118 0 0 0 31 0 0 0 20 0 1 0 557212874 40542208 3946 33554432000 4194304 6211132 140729648325904 140729648322440 139868322147301 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 9898 3946 798 493 0 3203 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39592 KiB
Current children cumulated memory: 15784 KiB

[startup+0.700413 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6678
/proc/meminfo: memFree=30004084/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=61636 memory=37588 CPUtime=0.69 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 9706 0 0 0 68 1 0 0 20 0 1 0 557212874 63115264 9397 33554432000 4194304 6211132 140729648325904 140729648322440 139868322147301 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 15409 9397 816 493 0 8714 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61636 KiB
Current children cumulated memory: 37588 KiB

[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6678
/proc/meminfo: memFree=29948800/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=148888 memory=124972 CPUtime=1.49 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 31501 0 0 0 144 5 0 0 20 0 1 0 557212874 152461312 31243 33554432000 4194304 6211132 140729648325904 140729648321000 139868322147301 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 37222 31243 816 493 0 30527 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 148888 KiB
Current children cumulated memory: 124972 KiB

[startup+3.10968 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6678
/proc/meminfo: memFree=29728080/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=324488 memory=300584 CPUtime=3.1 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 75913 0 0 0 297 13 0 0 20 0 1 0 557212874 332275712 75146 33554432000 4194304 6211132 140729648325904 140729648321000 139868322147301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 81122 75146 816 493 0 74427 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 324488 KiB
Current children cumulated memory: 300584 KiB

[startup+6.30039 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6678
/proc/meminfo: memFree=29398560/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=672972 memory=648960 CPUtime=6.29 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 164048 0 0 0 603 26 0 0 20 0 1 0 557212874 689123328 162240 33554432000 4194304 6211132 140729648325904 140729648321000 139868322147301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 168243 162240 816 493 0 161548 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 672972 KiB
Current children cumulated memory: 648960 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6678
/proc/meminfo: memFree=29095384/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=942916 memory=919364 CPUtime=12.69 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 294982 0 0 0 1229 40 0 0 20 0 1 0 557212874 965545984 229841 33554432000 4194304 6211132 140729648325904 140729648323560 5443135 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 235729 229841 862 493 0 229034 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 942916 KiB
Current children cumulated memory: 919364 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6678
/proc/meminfo: memFree=29087712/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=943708 memory=920256 CPUtime=25.48 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 355606 0 0 0 2505 43 0 0 20 0 1 0 557212874 966356992 230064 33554432000 4194304 6211132 140729648325904 140729648323560 5446143 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 235927 230064 862 493 0 229232 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 943708 KiB
Current children cumulated memory: 920256 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6681
/proc/meminfo: memFree=29052108/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=959588 memory=936028 CPUtime=51.09 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 426637 0 0 0 5062 47 0 0 20 0 1 0 557212874 982618112 234007 33554432000 4194304 6211132 140729648325904 140729648323560 139868322147301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 239897 234007 864 493 0 233202 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 959588 KiB
Current children cumulated memory: 936028 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6686
/proc/meminfo: memFree=28922896/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1031000 memory=1007592 CPUtime=102.28 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 580881 0 0 0 10173 55 0 0 20 0 1 0 557212874 1055744000 251898 33554432000 4194304 6211132 140729648325904 140729648323560 5164832 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 257750 251898 864 493 0 251055 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1031000 KiB
Current children cumulated memory: 1007592 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6689
/proc/meminfo: memFree=28850760/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1074560 memory=1051132 CPUtime=162.28 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 693800 0 0 0 16167 61 0 0 20 0 1 0 557212874 1100349440 262783 33554432000 4194304 6211132 140729648325904 140729648323560 139868323067828 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 268640 262783 864 493 0 261945 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1074560 KiB
Current children cumulated memory: 1051132 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6693
/proc/meminfo: memFree=28782684/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1109144 memory=1085672 CPUtime=222.27 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 789759 0 0 0 22160 67 0 0 20 0 1 0 557212874 1135763456 271418 33554432000 4194304 6211132 140729648325904 140729648323560 5068978 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 277286 271418 864 493 0 270591 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1109144 KiB
Current children cumulated memory: 1085672 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6699
/proc/meminfo: memFree=28740988/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1126964 memory=1103544 CPUtime=282.26 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 854117 0 0 0 28155 71 0 0 20 0 1 0 557212874 1154011136 275886 33554432000 4194304 6211132 140729648325904 140729648323560 5068978 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 281741 275886 864 493 0 275046 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 1126964 KiB
Current children cumulated memory: 1103544 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6703
/proc/meminfo: memFree=28723036/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1134356 memory=1110928 CPUtime=342.26 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 935095 0 0 0 34151 75 0 0 20 0 1 0 557212874 1161580544 277732 33554432000 4194304 6211132 140729648325904 140729648323560 5068978 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 283589 277732 864 493 0 276894 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 1134356 KiB
Current children cumulated memory: 1110928 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 6707
/proc/meminfo: memFree=28696372/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1150988 memory=1127548 CPUtime=402.25 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 1054943 0 0 0 40143 82 0 0 20 0 1 0 557212874 1178611712 281887 33554432000 4194304 6211132 140729648325904 140729648323560 5446307 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 287747 281887 864 493 0 281052 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 1150988 KiB
Current children cumulated memory: 1127548 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/198 6713
/proc/meminfo: memFree=28681056/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1157324 memory=1133792 CPUtime=462.25 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 1157286 0 0 0 46137 88 0 0 20 0 1 0 557212874 1185099776 283448 33554432000 4194304 6211132 140729648325904 140729648323560 5446206 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 289331 283448 864 493 0 282636 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 1157324 KiB
Current children cumulated memory: 1133792 KiB


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

/proc/6677/statm: 310022 304152 864 493 0 303327 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 1240088 KiB
Current children cumulated memory: 1216608 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6842
/proc/meminfo: memFree=28501472/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1240748 memory=1217328 CPUtime=1782.09 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2200166 0 0 0 178061 148 0 0 20 0 1 0 557212874 1270525952 304332 33554432000 4194304 6211132 140729648325904 140729648323864 139868332092224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 310187 304332 864 493 0 303492 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 1240748 KiB
Current children cumulated memory: 1217328 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6846
/proc/meminfo: memFree=28497100/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1243124 memory=1219596 CPUtime=1842.08 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2202511 0 0 0 184060 148 0 0 20 0 1 0 557212874 1272958976 304899 33554432000 4194304 6211132 140729648325904 140729648323560 5441163 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 310781 304899 864 493 0 304086 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 1243124 KiB
Current children cumulated memory: 1219596 KiB

[startup+1902.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/200 6852
/proc/meminfo: memFree=28491520/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1243520 memory=1220124 CPUtime=1902.08 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2203869 0 0 0 190060 148 0 0 20 0 1 0 557212874 1273364480 305031 33554432000 4194304 6211132 140729648325904 140729648323560 5164809 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 310880 305031 864 493 0 304185 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 1243520 KiB
Current children cumulated memory: 1220124 KiB

[startup+1962.3 s]
/proc/loadavg: 2.25 2.14 2.09 3/200 6856
/proc/meminfo: memFree=28486044/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1245764 memory=1222264 CPUtime=1962.07 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2205974 0 0 0 196059 148 0 0 20 0 1 0 557212874 1275662336 305566 33554432000 4194304 6211132 140729648325904 140729648323560 5443128 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311441 305566 864 493 0 304746 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 1245764 KiB
Current children cumulated memory: 1222264 KiB

[startup+2022.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/200 6860
/proc/meminfo: memFree=28485508/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1246028 memory=1222560 CPUtime=2022.06 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2207415 0 0 0 202058 148 0 0 20 0 1 0 557212874 1275932672 305640 33554432000 4194304 6211132 140729648325904 140729648323560 5443038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311507 305640 864 493 0 304812 0
Current children cumulated CPU time: 2022.06 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222560 KiB

[startup+2082.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/199 6866
/proc/meminfo: memFree=28485456/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1246028 memory=1222572 CPUtime=2082.06 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2208693 0 0 0 208058 148 0 0 20 0 1 0 557212874 1275932672 305643 33554432000 4194304 6211132 140729648325904 140729648323560 5446944 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311507 305643 864 493 0 304812 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222572 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/199 6870
/proc/meminfo: memFree=28484716/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1246028 memory=1222576 CPUtime=2142.06 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2209971 0 0 0 214057 149 0 0 20 0 1 0 557212874 1275932672 305644 33554432000 4194304 6211132 140729648325904 140729648323560 5446280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311507 305644 864 493 0 304812 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222576 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/199 6874
/proc/meminfo: memFree=28484776/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1246028 memory=1222584 CPUtime=2202.05 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2211256 0 0 0 220056 149 0 0 20 0 1 0 557212874 1275932672 305646 33554432000 4194304 6211132 140729648325904 140729648323560 5446936 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311507 305646 864 493 0 304812 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222584 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 6880
/proc/meminfo: memFree=28483232/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1246556 memory=1223092 CPUtime=2262.05 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2212985 0 0 0 226056 149 0 0 20 0 1 0 557212874 1276473344 305773 33554432000 4194304 6211132 140729648325904 140729648323560 5441125 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311639 305773 864 493 0 304944 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 1246556 KiB
Current children cumulated memory: 1223092 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 6884
/proc/meminfo: memFree=28482800/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1246556 memory=1223096 CPUtime=2322.04 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2214130 0 0 0 232055 149 0 0 20 0 1 0 557212874 1276473344 305774 33554432000 4194304 6211132 140729648325904 140729648323560 5452255 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311639 305774 864 493 0 304944 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 1246556 KiB
Current children cumulated memory: 1223096 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 6896
/proc/meminfo: memFree=28482872/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1246556 memory=1223096 CPUtime=2382.03 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2215391 0 0 0 238054 149 0 0 20 0 1 0 557212874 1276473344 305774 33554432000 4194304 6211132 140729648325904 140729648323560 5446936 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311639 305774 864 493 0 304944 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 1246556 KiB
Current children cumulated memory: 1223096 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 6902
/proc/meminfo: memFree=28483188/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1246556 memory=1223096 CPUtime=2442.03 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2216513 0 0 0 244054 149 0 0 20 0 1 0 557212874 1276473344 305774 33554432000 4194304 6211132 140729648325904 140729648323560 5443104 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311639 305774 864 493 0 304944 0
Current children cumulated CPU time: 2442.03 s
Current children cumulated vsize: 1246556 KiB
Current children cumulated memory: 1223096 KiB

[startup+2502.3 s]
/proc/loadavg: 2.18 2.07 2.06 3/200 6966
/proc/meminfo: memFree=29285260/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1247348 memory=1223856 CPUtime=2502.02 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2218098 0 0 0 250053 149 0 0 20 0 1 0 557212874 1277284352 305964 33554432000 4194304 6211132 140729648325904 140729648323560 5441152 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311837 305964 864 493 0 305142 0
Current children cumulated CPU time: 2502.02 s
Current children cumulated vsize: 1247348 KiB
Current children cumulated memory: 1223856 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.21 2.08 2.06 3/200 6970
/proc/meminfo: memFree=29102988/32770624 swapFree=66993544/67108860
[pid=6677] ppid=6674 vsize=1247348 memory=1223936 CPUtime=2519.73 cores=0,2,4,6
/proc/6677/stat : 6677 (cosoco) R 6674 6677 1861 0 -1 4202496 2218869 0 0 0 251824 149 0 0 20 0 1 0 557212874 1277284352 305984 33554432000 4194304 6211132 140729648325904 140729648323560 5441160 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17821696 140729648333835 140729648333937 140729648333937 140729648336846 0
/proc/6677/statm: 311837 305984 864 493 0 305142 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 1247348 KiB
Current children cumulated memory: 1223936 KiB

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

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

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.75
CPU user time (s): 2518.25
CPU system time (s): 1.50388
CPU usage (%): 99.9895
Max. virtual memory (cumulated for all children) (KiB): 1247348
Max. memory (cumulated for all children) (KiB): 1223936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.25
system time used= 1.50387
maximum resident set size= 1223996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2218912
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= 117
involuntary context switches= 3159


# summary of solver processes directly reported to runsolver:
#   pid: 6677
#   total CPU time (s): 2519.75
#   total CPU user time (s): 2518.25
#   total CPU system time (s): 1.50388

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.45322 second user time and 18.524 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-30 04:11:00
IDJOB=4408194
IDBENCH=138655
IDSOLVER=2874
FILE ID=node121/4408194-1569809504
RUNJOBID= node121-1569787350-1892
PBS_JOBID= 21705831
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-10.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408194-1569809504/watcher-4408194-1569809504 -o /tmp/evaluation-result-4408194-1569809504/solver-4408194-1569809504 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1569787350-1892 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408194-1569809504.xml

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

MD5SUM BENCH= 2e1a96a215dbee196ad45178247d22f3
RANDOM SEED=1186475149

node121.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.75
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.75
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.75
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.75
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:        30017336 kB
MemAvailable:   30885240 kB
Buffers:          211144 kB
Cached:           980512 kB
SwapCached:         4540 kB
Active:          1664608 kB
Inactive:         519500 kB
Active(anon):     986464 kB
Inactive(anon):    80912 kB
Active(file):     678144 kB
Inactive(file):   438588 kB
Unevictable:      109048 kB
Mlocked:          109048 kB
SwapTotal:      67108860 kB
SwapFree:       66993544 kB
Dirty:              3336 kB
Writeback:             0 kB
AnonPages:       1097860 kB
Mapped:            28668 kB
Shmem:             66188 kB
Slab:             163488 kB
SReclaimable:     134012 kB
SUnreclaim:        29476 kB
KernelStack:        3504 kB
PageTables:         7516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1553120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62024 MiB
End job on node121 at 2019-09-30 04:53:00