Trace number 4397419

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) 2400.01 2400.11

General information on the benchmark

NameMagicSquare/MagicSquare-sum-s1/
MagicSquare-27-sum.xml
MD5SUMd104f54931e81c640cdf77e394aea107
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 variables729
Number of constraints57
Number of domains1
Minimum domain size729
Maximum domain size729
Distribution of domain sizes[{"size":729,"count":729}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":676},{"degree":4,"count":52},{"degree":5,"count":1}]
Minimum constraint arity27
Maximum constraint arity729
Distribution of constraint arities[{"arity":27,"count":56},{"arity":729,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":56}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c root propagations     : 0           
0.00/0.02	c restarts enabled, print stats at every restarts
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c This is cosoco 2.00 --  
0.00/0.02	c
0.00/0.02	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397419-1568580078.xml 
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.01 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 729
0.00/0.02	c |            Domain Sizes: 729..729
0.00/0.02	c |
0.00/0.02	c |             Constraints: 57
0.00/0.02	c |                   Arity: 27..729
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          All Different: 1
0.00/0.02	c |                          Sum: 56
0.00/0.02	c |                          
0.00/0.02	c =========================================================================================================
0.00/0.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.21/0.23	c 101            123            1890           155088         0              0              15   17   16   
0.41/0.45	c 211            255            3750           307922         0              0              14   16   15   
0.60/0.68	c 332            399            5746           470794         0              0              14   17   15   
0.89/0.93	c 465            556            7843           635674         0              0              14   17   15   
1.10/1.19	c 611            727            10090          810710         0              0              14   17   15   
1.39/1.47	c 771            913            12460          995225         0              0              14   17   15   
1.69/1.77	c 947            1117           15021          1190554        0              0              14   17   15   
2.00/2.09	c 1140           1340           17782          1397200        0              0              14   17   15   
2.39/2.42	c 1352           1583           20691          1605655        0              0              14   17   15   
2.69/2.78	c 1585           1849           23828          1828257        0              0              14   17   15   
3.10/3.17	c 1841           2140           27168          2063267        0              0              14   17   15   
3.49/3.58	c 2122           2458           30762          2309818        0              0              14   17   15   
4.00/4.03	c 2431           2807           34727          2578059        0              0              14   17   15   
4.49/4.52	c 2770           3189           39166          2860568        0              0              14   17   15   
5.00/5.05	c 3142           3607           43974          3158502        0              0              14   17   16   
5.59/5.62	c 3551           4065           48900          3471505        0              0              14   17   16   
6.19/6.25	c 4000           4567           54759          3807501        0              0              14   17   16   
6.89/6.91	c 4493           5117           60769          4159100        0              0              14   17   16   
7.59/7.64	c 5035           5720           67545          4536616        0              0              14   18   16   
8.39/8.44	c 5631           6383           74799          4950495        0              0              14   18   16   
9.29/9.30	c 6286           7110           82593          5391040        0              0              14   18   16   
10.19/10.23	c 7006           7908           91058          5876516        0              0              14   18   16   
11.19/11.25	c 7798           8785           100391         6399049        0              0              14   18   16   
12.29/12.37	c 8669           9749           110499         6958571        0              0              14   18   16   
13.49/13.58	c 9627           10808          121573         7558029        0              0              14   18   16   
14.89/14.90	c 10680          11971          133617         8207108        0              0              14   18   16   
16.29/16.32	c 11838          13249          146254         8919287        0              0              14   18   16   
17.88/17.90	c 13111          14653          160716         9685222        0              0              14   18   16   
19.58/19.64	c 14511          16196          176531         10514204       0              0              14   18   16   
21.48/21.52	c 16051          17892          193597         11400751       0              0              14   18   16   
23.48/23.59	c 17745          19757          212433         12372758       0              0              14   18   16   
25.78/25.82	c 19608          21808          232265         13433890       0              0              14   18   16   
28.28/28.38	c 21657          24063          256083         14583924       0              0              14   18   16   
30.99/31.04	c 23910          26541          279789         15827584       0              0              14   18   16   
33.99/34.02	c 26388          29265          307005         17172847       0              0              14   18   16   
37.18/37.29	c 29113          32260          336579         18654185       0              0              14   18   16   
40.78/40.80	c 32110          35554          367812         20266106       0              0              14   19   17   
44.58/44.68	c 35406          39178          402294         22054263       0              0              14   19   17   
48.88/48.98	c 39031          43164          440230         24028066       0              0              14   19   17   
53.68/53.71	c 43018          47548          481969         26217192       0              0              14   19   17   
58.78/58.80	c 47403          52369          527853         28608242       0              0              14   19   17   
64.09/64.18	c 52226          57672          578132         31212084       0              0              14   19   17   
70.09/70.11	c 57531          63506          633335         34062811       0              0              14   19   17   
76.58/76.61	c 63366          69923          693788         37177302       0              0              14   19   17   
83.68/83.77	c 69784          76982          760318         40619280       0              0              14   19   17   
91.58/91.68	c 76843          84748          833555         44406764       0              0              14   19   17   
100.57/100.60	c 84607          93294          917465         48548871       0              0              14   19   17   
110.37/110.44	c 93147          102698         1010031        53070320       0              0              14   19   17   
121.08/121.12	c 102541         113052         1107954        58071805       0              0              14   20   17   
133.17/133.20	c 112874         124452         1220408        63600728       0              0              14   20   17   
145.87/145.90	c 124240         136989         1334860        69764185       0              0              14   20   18   
160.27/160.37	c 136742         150799         1467210        76436560       0              0              14   21   18   
175.67/175.80	c 150494         165973         1606295        83936316       0              0              14   20   18   
193.27/193.37	c 165621         182754         1760642        92851850       0              0              16   21   19   
214.47/214.55	c 182260         201424         1940459        103089602      0              0              15   22   20   
236.07/236.19	c 200562         221739         2132045        113966669      0              0              15   21   19   
261.16/261.24	c 220694         244308         2340889        126260176      0              0              15   22   20   
286.76/286.86	c 242839         268886         2562798        139393440      0              0              15   21   19   
315.97/316.03	c 267198         296092         2806846        155301454      0              0              17   22   20   
350.46/350.58	c 293992         326296         3088432        172335295      0              0              3   22   20    
386.56/386.69	c 323465         359311         3387484        192125466      0              0              4   22   20    
428.76/428.86	c 355885         395900         3729661        212999130      0              0              5   22   20    
472.76/472.89	c 391547         435887         4092862        237122451      0              0              6   22   20    
525.07/525.17	c 430775         480189         4525361        262428255      0              0              7   22   20    
579.86/579.94	c 473925         528622         4984887        292018631      0              0              8   22   20    
643.35/643.48	c 521390         582284         5506405        322770117      0              0              9   22   20    
708.65/708.70	c 573601         640927         6040063        358698699      0              0              10   22   20   
782.96/783.05	c 631033         705725         6644602        395047633      0              0              11   46   21   
846.44/846.52	c 694208         775537         7295598        426656469      0              0              12   101   81  
916.24/916.39	c 763700         852521         8021863        461020439      0              0              13   128   93  
992.05/992.17	c 840141         936560         8782275        500673756      0              0              14   74   72   
1075.05/1075.14	c 924226         1029563        9651446        541794245      0              0              15   127   98  
1190.23/1190.38	c 1016719        1136004        10671080       619543610      0              0              16   104   91  
1278.13/1278.28	c 1118461        1248317        11693061       669616335      0              0              17   156   144 
1372.33/1372.49	c 1230377        1372047        12838629       720673188      0              0              18   183   163 
1483.12/1483.22	c 1353484        1508026        14091173       779971225      0              0              19   182   132 
1591.12/1591.28	c 1488901        1659266        15505065       840587452      0              0              20   290   219 
1697.71/1697.80	c 1637859        1824026        16983678       908218937      0              0              21   290   238 
1799.31/1799.47	c 1801712        2004422        18633802       977719142      0              0              22   290   280 
1981.31/1981.45	c 1981950        2207746        20349848       1234295022     0              0              23   159   157 
2120.30/2120.47	c 2180211        2424031        22195122       1337661823     0              0              24   209   206 
2296.10/2296.21	c 2398298        2663223        24131940       1648414336     0              0              25   160   158 
2400.00/2400.11	
2400.00/2400.11	c *** INTERRUPTED ***
2400.00/2400.11	c restarts              : 82          
2400.00/2400.11	c conflicts             : 2549151      (1062 /sec)
2400.00/2400.11	c decisions             : 2824734      (1177 /sec)
2400.00/2400.11	c propagations          : 1883518739  (784811 /sec)
2400.00/2400.11	c root propagations     : 0           
2400.00/2400.11	c filter calls          : 25430300       (10596 /sec)
2400.00/2400.11	c useless filter calls  : 18763394       (73 %)
2400.00/2400.11	c Memory used           : 33.36 MB
2400.00/2400.11	c CPU time              : 2399.97 s
2400.00/2400.11	c real time             : 2400.1 s
2400.00/2400.11	
2400.00/2400.11	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 (15080 MiB free)
  memory of node 1: 16384 MiB (14863 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397419-1568580078/watcher-4397419-1568580078 -o /tmp/evaluation-result-4397419-1568580078/solver-4397419-1568580078 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5581 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397419-1568580078.xml 

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

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


[startup+0.100155 s]*
/proc/loadavg: 2.24 2.05 2.05 3/205 7613
/proc/meminfo: memFree=30658116/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32252 memory=8844 CPUtime=0.1 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 2375 0 0 0 10 0 0 0 20 0 1 0 434257355 33026048 2211 33554432000 4194304 6211092 140734410752256 140734410748792 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8063 2211 887 493 0 1368 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32252 KiB
Current children cumulated memory: 8844 KiB

[startup+0.210398 s]*
/proc/loadavg: 2.24 2.05 2.05 3/205 7613
/proc/meminfo: memFree=30657580/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8844 CPUtime=0.21 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 2406 0 0 0 21 0 0 0 20 0 1 0 434257355 33177600 2211 33554432000 4194304 6211092 140734410752256 140734410749624 5081398 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2211 887 493 0 1405 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8844 KiB

[startup+0.310027 s]*
/proc/loadavg: 2.24 2.05 2.05 3/205 7613
/proc/meminfo: memFree=30657580/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8844 CPUtime=0.31 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 2407 0 0 0 31 0 0 0 20 0 1 0 434257355 33177600 2211 33554432000 4194304 6211092 140734410752256 140734410749624 5397226 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2211 887 493 0 1405 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8844 KiB

[startup+0.700289 s]
/proc/loadavg: 2.24 2.05 2.05 3/205 7613
/proc/meminfo: memFree=30657580/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8844 CPUtime=0.69 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 2407 0 0 0 69 0 0 0 20 0 1 0 434257355 33177600 2211 33554432000 4194304 6211092 140734410752256 140734410749624 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2211 887 493 0 1405 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8844 KiB

[startup+1.50029 s]
/proc/loadavg: 2.24 2.05 2.05 3/205 7613
/proc/meminfo: memFree=30657580/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8844 CPUtime=1.49 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 2407 0 0 0 149 0 0 0 20 0 1 0 434257355 33177600 2211 33554432000 4194304 6211092 140734410752256 140734410749624 5397226 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2211 887 493 0 1405 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8844 KiB

[startup+3.10998 s]
/proc/loadavg: 2.24 2.05 2.05 3/205 7613
/proc/meminfo: memFree=30657508/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8980 CPUtime=3.1 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 3654 0 0 0 310 0 0 0 20 0 1 0 434257355 33177600 2245 33554432000 4194304 6211092 140734410752256 140734410750216 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2245 888 493 0 1405 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8980 KiB

[startup+6.30028 s]
/proc/loadavg: 2.22 2.05 2.05 3/205 7613
/proc/meminfo: memFree=30657008/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8980 CPUtime=6.29 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 4900 0 0 0 629 0 0 0 20 0 1 0 434257355 33177600 2245 33554432000 4194304 6211092 140734410752256 140734410750216 5397226 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2245 888 493 0 1405 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8980 KiB

[startup+12.7003 s]
/proc/loadavg: 2.12 2.03 2.04 3/205 7613
/proc/meminfo: memFree=30656700/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8980 CPUtime=12.69 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 6147 0 0 0 1269 0 0 0 20 0 1 0 434257355 33177600 2245 33554432000 4194304 6211092 140734410752256 140734410750216 5079027 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2245 888 493 0 1405 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8980 KiB

[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 2.04 3/206 7615
/proc/meminfo: memFree=30656340/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8980 CPUtime=25.48 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 8639 0 0 0 2548 0 0 0 20 0 1 0 434257355 33177600 2245 33554432000 4194304 6211092 140734410752256 140734410750216 5079036 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2245 888 493 0 1405 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8980 KiB

[startup+51.1099 s]
/proc/loadavg: 2.06 2.03 2.04 3/204 7616
/proc/meminfo: memFree=30656008/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8980 CPUtime=51.09 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 9885 0 0 0 5109 0 0 0 20 0 1 0 434257355 33177600 2245 33554432000 4194304 6211092 140734410752256 140734410750216 5078848 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2245 888 493 0 1405 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8980 KiB

[startup+102.3 s]
/proc/loadavg: 1.92 1.99 2.03 3/204 7619
/proc/meminfo: memFree=30656172/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8980 CPUtime=102.27 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 10623 0 0 0 10227 0 0 0 20 0 1 0 434257355 33177600 2245 33554432000 4194304 6211092 140734410752256 140734410750216 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2245 888 493 0 1405 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8980 KiB

[startup+162.3 s]
/proc/loadavg: 1.84 1.96 2.02 3/203 7625
/proc/meminfo: memFree=30656268/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8980 CPUtime=162.27 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 11364 0 0 0 16227 0 0 0 20 0 1 0 434257355 33177600 2245 33554432000 4194304 6211092 140734410752256 140734410750216 5081406 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2245 888 493 0 1405 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8980 KiB

[startup+222.3 s]
/proc/loadavg: 1.94 1.97 2.02 3/203 7629
/proc/meminfo: memFree=30656636/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8984 CPUtime=222.27 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 12101 0 0 0 22227 0 0 0 20 0 1 0 434257355 33177600 2246 33554432000 4194304 6211092 140734410752256 140734410750216 5079432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2246 888 493 0 1405 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8984 KiB

[startup+282.3 s]
/proc/loadavg: 1.98 1.97 2.02 3/202 7633
/proc/meminfo: memFree=30656732/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8984 CPUtime=282.26 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 12838 0 0 0 28226 0 0 0 20 0 1 0 434257355 33177600 2246 33554432000 4194304 6211092 140734410752256 140734410750216 5076360 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2246 888 493 0 1405 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8984 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 2.02 3/202 7639
/proc/meminfo: memFree=30657088/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8984 CPUtime=342.26 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 13575 0 0 0 34226 0 0 0 20 0 1 0 434257355 33177600 2246 33554432000 4194304 6211092 140734410752256 140734410750216 5078852 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2246 888 493 0 1405 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8984 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.98 2.02 3/203 7644
/proc/meminfo: memFree=30656236/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8984 CPUtime=402.27 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 14312 0 0 0 40226 1 0 0 20 0 1 0 434257355 33177600 2246 33554432000 4194304 6211092 140734410752256 140734410750216 5078861 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2246 888 493 0 1405 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8984 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/203 7648
/proc/meminfo: memFree=30655876/32770624 swapFree=66970092/67108860
[pid=7612] ppid=7609 vsize=32400 memory=8984 CPUtime=462.26 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 15049 0 0 0 46225 1 0 0 20 0 1 0 434257355 33177600 2246 33554432000 4194304 6211092 140734410752256 140734410750216 5078848 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8100 2246 888 493 0 1405 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8984 KiB


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

/proc/7612/statm: 8539 2702 888 493 0 1844 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10808 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 7787
/proc/meminfo: memFree=30654072/32770624 swapFree=66970116/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10812 CPUtime=1722.21 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 34019 0 0 0 172219 2 0 0 20 0 1 0 434257355 34975744 2703 33554432000 4194304 6211092 140734410752256 140734410750216 5193696 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2703 888 493 0 1844 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10812 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 7800
/proc/meminfo: memFree=30653208/32770624 swapFree=66970120/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=1782.21 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 34480 0 0 0 178219 2 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 2.05 4/203 7929
/proc/meminfo: memFree=29935312/32770624 swapFree=66970120/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=1842.21 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 35161 0 0 0 184218 3 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.05 4/204 7934
/proc/meminfo: memFree=29523224/32770624 swapFree=66970120/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=1902.21 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 35629 0 0 0 190218 3 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5079076 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

[startup+1962.3 s]
/proc/loadavg: 1.95 2.00 2.04 4/204 7940
/proc/meminfo: memFree=29085684/32770624 swapFree=66970120/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=1962.21 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 36097 0 0 0 196218 3 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5083004 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

[startup+2022.3 s]
/proc/loadavg: 2.18 2.05 2.05 6/217 7973
/proc/meminfo: memFree=24614172/32770624 swapFree=66970120/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=2022.2 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 36718 0 0 0 202217 3 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 8012
/proc/meminfo: memFree=29842524/32770624 swapFree=66970120/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=2082.2 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 37182 0 0 0 208216 4 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5082393 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/203 8018
/proc/meminfo: memFree=29842196/32770624 swapFree=66970120/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=2142.2 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 37803 0 0 0 214216 4 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5392343 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

[startup+2202.3 s]
/proc/loadavg: 1.96 1.99 2.04 3/202 8022
/proc/meminfo: memFree=29842368/32770624 swapFree=66970120/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=2202.2 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 38272 0 0 0 220216 4 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5079063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

[startup+2262.3 s]
/proc/loadavg: 1.99 1.99 2.04 3/202 8026
/proc/meminfo: memFree=29841520/32770624 swapFree=66970120/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=2262.2 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 38741 0 0 0 226216 4 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

[startup+2322.3 s]
/proc/loadavg: 1.95 1.98 2.03 3/202 8032
/proc/meminfo: memFree=29839876/32770624 swapFree=66970120/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=2322.2 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 39330 0 0 0 232216 4 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5149682 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

[startup+2382.3 s]
/proc/loadavg: 1.92 1.97 2.03 3/203 8044
/proc/meminfo: memFree=29841568/32770624 swapFree=66970132/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=2382.19 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 39797 0 0 0 238215 4 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 1.93 1.97 2.03 3/203 8046
/proc/meminfo: memFree=29841640/32770624 swapFree=66970132/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=2400 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 40264 0 0 0 239996 4 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5079063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

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

[startup+2400.11 s]
# the end of solver process 7612 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.97 s, system=0.045998 s

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

[startup+2400.11 s]
/proc/loadavg: 1.93 1.97 2.03 3/203 8046
/proc/meminfo: memFree=29841640/32770624 swapFree=66970132/67108860
[pid=7612] ppid=7609 vsize=34156 memory=10820 CPUtime=2400 cores=1,3,5,7
/proc/7612/stat : 7612 (cosoco) R 7609 7612 5549 0 -1 4202496 40264 0 0 0 239996 4 0 0 20 0 1 0 434257355 34975744 2705 33554432000 4194304 6211092 140734410752256 140734410750216 5079063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21082112 140734410757131 140734410757233 140734410757233 140734410760142 0
/proc/7612/statm: 8539 2705 888 493 0 1844 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 10820 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.01
CPU user time (s): 2399.97
CPU system time (s): 0.045998
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 34156
Max. memory (cumulated for all children) (KiB): 10820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.045998
maximum resident set size= 10884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40315
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= 17
involuntary context switches= 1706


# summary of solver processes directly reported to runsolver:
#   pid: 7612
#   total CPU time (s): 2400.01
#   total CPU user time (s): 2399.97
#   total CPU system time (s): 0.045998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.39778 second user time and 16.2047 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-15 22:40:38
IDJOB=4397419
IDBENCH=133249
IDSOLVER=2849
FILE ID=node135/4397419-1568580078
RUNJOBID= node135-1568572744-5581
PBS_JOBID= 21703319
Free space on /tmp= 61368 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-27-sum.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397419-1568580078/watcher-4397419-1568580078 -o /tmp/evaluation-result-4397419-1568580078/solver-4397419-1568580078 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5581 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397419-1568580078.xml

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

MD5SUM BENCH= d104f54931e81c640cdf77e394aea107
RANDOM SEED=2120923994

node135.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.76
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.76
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.76
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.76
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:        30662936 kB
MemAvailable:   31844076 kB
Buffers:          186284 kB
Cached:          1273028 kB
SwapCached:        33256 kB
Active:           595540 kB
Inactive:         913932 kB
Active(anon):      23540 kB
Inactive(anon):    69428 kB
Active(file):     572000 kB
Inactive(file):   844504 kB
Unevictable:      109480 kB
Mlocked:          109480 kB
SwapTotal:      67108860 kB
SwapFree:       66970092 kB
Dirty:              2824 kB
Writeback:             0 kB
AnonPages:        126844 kB
Mapped:            42668 kB
Shmem:             34192 kB
Slab:             191916 kB
SReclaimable:     160944 kB
SUnreclaim:        30972 kB
KernelStack:        3584 kB
PageTables:         5664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     547192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61296 MiB
End job on node135 at 2019-09-15 23:20:38