Trace number 4240427

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
R1: cosoco 1.1SAT 558.248 558.349

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-080.xml
MD5SUM8abaeb34d7c0899fee3fdb2f002199b6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.153616
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of constraints88
Number of domains2
Minimum domain size80
Maximum domain size6400
Distribution of domain sizes[{"size":80,"count":80},{"size":6400,"count":80}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":80},{"degree":4,"count":79},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity80
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":80},{"arity":40,"count":6},{"arity":80,"count":1}]
Number of extensional constraints0
Number of intensional constraints81
Distribution of constraint types[{"type":"intension","count":81},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.08/0.17	c root propagations     : 9599        
0.08/0.17	c restarts enabled, print stats at every restarts
0.08/0.17	c
0.08/0.17	c
0.08/0.17	c
0.08/0.17	c This is cosoco 1.0 --  
0.08/0.17	c
0.08/0.17	c ========================================[ Problem Statistics ]===========================================
0.08/0.17	c |                                                                                                       
0.08/0.17	c |  Parse time        :         0.15 s 
0.08/0.17	c |
0.08/0.17	c |               Variables: 160
0.08/0.17	c |            Domain Sizes: 80..6400
0.08/0.17	c |
0.08/0.17	c |             Constraints: 164
0.08/0.17	c |                   Arity: 1..80  -- Unary: 1  -- Binary: 158
0.08/0.17	c | 
0.08/0.17	c |                   Types: 
0.08/0.17	c |                          (X - Y < k): 78
0.08/0.17	c |                          All Different: 1
0.08/0.17	c |                          Intension: 81
0.08/0.17	c |                          Sum: 4
0.08/0.17	c |                          
0.08/0.17	c =========================================================================================================
0.08/0.17	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.38/0.43	c 101            284            9061           2103554        81             0              83   133   106 
0.48/0.52	c 211            394            9391           2103884        82             0              1   1   0      
0.58/0.61	c 332            515            9754           2104247        82             0              1   1   0      
0.68/0.72	c 465            648            10153          2104646        82             0              1   1   0      
0.78/0.83	c 611            794            10591          2105084        82             0              1   1   0      
0.88/0.96	c 771            954            11071          2105564        82             0              1   1   0      
0.98/1.09	c 947            1130           11599          2106092        82             0              1   1   0      
1.19/1.26	c 1140           1323           12272          2223604        82             0              1   1   0      
1.38/1.43	c 1352           1535           13148          2234816        82             0              1   1   0      
1.58/1.62	c 1585           1768           14106          2239210        82             0              1   1   0      
1.78/1.82	c 1841           2024           15158          2243895        82             0              1   1   0      
1.98/2.04	c 2122           2305           16319          2249300        82             0              1   1   0      
2.30/2.36	c 2431           2661           20162          2880938        82             0              1   48   2     
2.49/2.53	c 2770           3113           22806          3450349        82             0              105   114   104
2.79/2.84	c 3142           3485           23922          3451465        83             0              1   1   0      
3.09/3.17	c 3551           3894           25149          3452692        83             0              1   1   0      
3.49/3.55	c 4000           4343           26765          3579625        83             0              1   1   0      
3.89/3.95	c 4493           4836           28815          3595183        83             0              1   1   0      
4.39/4.42	c 5035           5378           31269          3943974        83             0              1   1   0      
5.69/5.79	c 5631           6755           68603          15466720       83             0              1   77   56    
6.19/6.27	c 6286           7496           74780          16743363       84             0              1   73   33    
6.79/6.85	c 7006           8326           81725          18223905       85             0              1   99   25    
7.39/7.48	c 7798           9118           84101          18226281       86             0              1   1   0      
8.09/8.17	c 8669           9989           86714          18228894       86             0              1   1   0      
9.09/9.13	c 9627           10947          91045          20090392       86             0              1   1   0      
10.09/10.14	c 10680          12000          95545          21838795       86             0              1   1   0      
10.79/10.89	c 11838          13246          103180         23626764       86             0              1   88   51    
11.78/11.89	c 13111          14519          106999         23630583       87             0              1   1   0      
12.88/12.98	c 14511          15919          112467         23682361       87             0              1   1   0      
13.98/14.00	c 16051          17600          122929         25621900       87             0              1   49   17    
14.88/15.00	c 17745          19376          132723         27104957       88             0              1   72   31    
16.38/16.44	c 19608          21239          138896         27138732       89             0              1   1   0      
17.98/18.01	c 21657          23562          153010         29365193       89             0              1   81   8     
19.68/19.79	c 23910          26131          176795         34589931       90             0              1   70   29    
21.58/21.69	c 26388          28609          185340         34616989       91             0              1   1   0      
23.48/23.51	c 29113          32023          212123         42614423       92             0              1   106   45   
24.88/24.95	c 32110          35168          228127         45890205       92             0              38   108   62  
28.08/28.13	c 35406          38853          252676         53336946       93             0              1   112   13   
30.48/30.53	c 39031          42759          277363         58291019       94             0              1   110   41   
33.08/33.15	c 43018          47021          304165         66602081       94             0              4   75   46    
35.78/35.81	c 47403          51756          338650         75682091       94             0              1   81   32    
39.68/39.72	c 52226          57050          364746         80739781       94             0              21   90   25   
41.98/42.08	c 57531          63027          404609         92691479       94             0              4   111   74   
45.98/46.05	c 63366          69407          444888         100863107      96             0              1   102   26   
49.68/49.77	c 69784          76011          476863         105622711      97             0              1   61   21    
55.48/55.56	c 76843          84162          544810         125851083      97             0              4   77   28    
62.57/62.66	c 84607          92128          599764         146761400      98             0              1   67   18    
67.08/67.13	c 93147          102059         679156         164289730      99             0              1   110   64   
71.77/71.89	c 102541         111900         721461         173122303      99             0              5   99   43    
80.87/80.94	c 112874         122810         808038         211304145      100            0              1   74   31    
89.67/89.70	c 124240         138071         962807         258945100      101            0              1   112   59   
95.06/95.12	c 136742         151192         1027188        270411862      102            0              1   99   64    
101.27/101.37	c 150494         165621         1109074        285774486      102            0              4   83   47    
107.16/107.21	c 165621         180879         1165360        289461237      103            0              1   62   42    
118.77/118.85	c 182260         198411         1245009        304330999      104            0              1   89   39    
129.06/129.15	c 200562         217466         1342449        326037955      105            0              1   102   40   
133.66/133.71	c 220694         238508         1437655        339475288      105            0              35   109   84  
148.16/148.27	c 242839         261831         1582018        380447926      106            0              1   105   35   
162.25/162.30	c 267198         287013         1732881        424246131      106            0              4   78   44    
173.86/173.97	c 293992         315375         1869996        447018452      108            0              1   114   61   
188.25/188.35	c 323465         345865         2054324        496141200      108            0              3   83   51    
204.05/204.15	c 355885         379110         2233239        547481053      108            0              3   79   57    
211.84/212.00	c 391547         419607         2412079        583101411      109            0              1   114   78   
239.94/240.05	c 430775         463460         2679076        654933541      109            0              5   105   26   
273.53/273.66	c 473925         507609         2940217        743568913      109            0              4   56   29    
300.13/300.28	c 521390         558629         3245965        868402070      109            0              4   111   69   
319.73/319.81	c 573601         612336         3504693        932575939      109            0              4   108   75   
352.32/352.40	c 631033         672642         3847152        1039425921     110            0              1   117   70   
375.32/375.46	c 694208         738926         4155864        1114187446     111            0              1   128   88   
421.01/421.13	c 763700         814246         4531172        1196904178     112            0              1   119   37   
446.01/446.13	c 840141         897145         4993857        1284947747     112            0              29   125   95  
481.60/481.71	c 924226         984935         5464344        1429063564     113            0              1   114   73   
513.70/513.85	c 1016719        1085490        5933563        1521091652     113            0              4   125   91   
542.59/542.78	c 1118461        1191920        6336661        1569118466     113            0              35   138   101 
558.19/558.34	c solution 1
558.19/558.34	
558.19/558.34	v <instantiation type='solution'>
558.19/558.34	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cx[32] cx[33] cx[34] cx[35] cx[36] cx[37] cx[38] cx[39] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] cy[32] cy[33] cy[34] cy[35] cy[36] cy[37] cy[38] cy[39] </list>
558.19/558.34	v <values>1 2 3 4 6 7 8 9 10 11 12 13 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 76 5 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 68 69 70 71 72 73 74 75 77 78 79 80 1 4 9 16 36 49 64 81 100 121 144 169 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 3364 3481 3600 3721 3844 3969 4096 4225 4356 4489 5776 25 196 225 256 289 324 361 400 441 484 529 576 625 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 4624 4761 4900 5041 5184 5329 5476 5625 5929 6084 6241 6400 </values>
558.19/558.34	v </instantiation>
558.19/558.34	
558.19/558.34	c restarts              : 74          
558.19/558.34	c conflicts             : 1170798      (2097 /sec)
558.19/558.34	c decisions             : 1247319      (2234 /sec)
558.19/558.34	c propagations          : 1596689194  (2860270 /sec)
558.19/558.34	c root propagations     : 9599        
558.19/558.34	c filter calls          : 6584534        (11795 /sec)
558.19/558.34	c useless filter calls  : 4498452        (68 %)
558.19/558.34	c Memory used           : 39.03 MB
558.19/558.34	c CPU time              : 558.23 s
558.19/558.34	
558.19/558.34	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240427-1500626434/watcher-4240427-1500626434 -o /tmp/evaluation-result-4240427-1500626434/solver-4240427-1500626434 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500626434-5655 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240427-1500626434.xml 

pid=5682
running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.05 3/187 5686
/proc/meminfo: memFree=31509944/32770624 swapFree=6912/378704
[pid=5686] ppid=5682 vsize=27124 CPUtime=0 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 16066376 27774976 766 33554432000 4194304 5970956 140736591880224 140736591876872 139769478892517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 6781 766 683 434 0 145 0

[startup+0.100151 s]
/proc/loadavg: 1.00 1.01 1.05 3/187 5686
/proc/meminfo: memFree=31509944/32770624 swapFree=6912/378704
[pid=5686] ppid=5682 vsize=35256 CPUtime=0.08 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 3118 0 0 0 8 0 0 0 20 0 1 0 16066376 36102144 2944 33554432000 4194304 5970956 140736591880224 140736591873816 139769478892517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 8814 2944 792 434 0 2178 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 35256

[startup+0.200333 s]
/proc/loadavg: 1.00 1.01 1.05 3/187 5686
/proc/meminfo: memFree=31509944/32770624 swapFree=6912/378704
[pid=5686] ppid=5682 vsize=39552 CPUtime=0.18 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 4224 0 0 0 18 0 0 0 20 0 1 0 16066376 40501248 4000 33554432000 4194304 5970956 140736591880224 140736591877832 5038696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9888 4000 795 434 0 3252 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 39552

[startup+0.300278 s]
/proc/loadavg: 1.00 1.01 1.05 3/187 5686
/proc/meminfo: memFree=31509944/32770624 swapFree=6912/378704
[pid=5686] ppid=5682 vsize=39552 CPUtime=0.28 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 4230 0 0 0 28 0 0 0 20 0 1 0 16066376 40501248 4066 33554432000 4194304 5970956 140736591880224 140736591877832 4967793 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9888 4066 837 434 0 3252 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 39552

[startup+0.700215 s]
/proc/loadavg: 1.00 1.01 1.05 3/187 5686
/proc/meminfo: memFree=31509944/32770624 swapFree=6912/378704
[pid=5686] ppid=5682 vsize=39552 CPUtime=0.68 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 4237 0 0 0 68 0 0 0 20 0 1 0 16066376 40501248 4066 33554432000 4194304 5970956 140736591880224 140736591877560 5039178 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9888 4066 837 434 0 3252 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 39552

[startup+1.50021 s]
/proc/loadavg: 1.00 1.01 1.05 3/188 5687
/proc/meminfo: memFree=31435984/32770624 swapFree=6912/378992
[pid=5686] ppid=5682 vsize=39552 CPUtime=1.48 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 4237 0 0 0 148 0 0 0 20 0 1 0 16066376 40501248 4066 33554432000 4194304 5970956 140736591880224 140736591877560 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9888 4066 837 434 0 3252 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39552

[startup+3.10022 s]
/proc/loadavg: 1.00 1.01 1.05 3/188 5687
/proc/meminfo: memFree=31435868/32770624 swapFree=6912/378992
[pid=5686] ppid=5682 vsize=39552 CPUtime=3.09 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 7242 0 0 0 308 1 0 0 20 0 1 0 16066376 40501248 4081 33554432000 4194304 5970956 140736591880224 140736591877560 5039152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9888 4081 838 434 0 3252 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39552

[startup+6.30022 s]
/proc/loadavg: 1.00 1.01 1.05 3/188 5687
/proc/meminfo: memFree=31436016/32770624 swapFree=6912/378996
[pid=5686] ppid=5682 vsize=39684 CPUtime=6.29 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 10380 0 0 0 628 1 0 0 20 0 1 0 16066376 40636416 4085 33554432000 4194304 5970956 140736591880224 140736591877560 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9921 4085 838 434 0 3285 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39684

[startup+12.7002 s]
/proc/loadavg: 1.08 1.03 1.05 3/188 5687
/proc/meminfo: memFree=31435904/32770624 swapFree=6912/378996
[pid=5686] ppid=5682 vsize=39684 CPUtime=12.68 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 13093 0 0 0 1267 1 0 0 20 0 1 0 16066376 40636416 4090 33554432000 4194304 5970956 140736591880224 140736591877560 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9921 4090 838 434 0 3285 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39684

[startup+25.5003 s]
/proc/loadavg: 1.29 1.08 1.07 3/188 5687
/proc/meminfo: memFree=31436424/32770624 swapFree=6912/379020
[pid=5686] ppid=5682 vsize=39684 CPUtime=25.48 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 19291 0 0 0 2547 1 0 0 20 0 1 0 16066376 40636416 4101 33554432000 4194304 5970956 140736591880224 140736591877560 5039193 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9921 4101 838 434 0 3285 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39684

[startup+51.1003 s]
/proc/loadavg: 1.53 1.15 1.09 3/188 5687
/proc/meminfo: memFree=31436644/32770624 swapFree=6912/379044
[pid=5686] ppid=5682 vsize=39820 CPUtime=51.08 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 22395 0 0 0 5107 1 0 0 20 0 1 0 16066376 40775680 4115 33554432000 4194304 5970956 140736591880224 140736591877560 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9955 4115 838 434 0 3319 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39820

[startup+102.3 s]
/proc/loadavg: 1.80 1.28 1.14 3/188 5688
/proc/meminfo: memFree=31435348/32770624 swapFree=6912/379116
[pid=5686] ppid=5682 vsize=39820 CPUtime=102.27 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 25478 0 0 0 10226 1 0 0 20 0 1 0 16066376 40775680 4120 33554432000 4194304 5970956 140736591880224 140736591877560 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9955 4120 838 434 0 3319 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39820

[startup+162.3 s]
/proc/loadavg: 1.99 1.43 1.20 3/188 5689
/proc/meminfo: memFree=31436132/32770624 swapFree=6912/379176
[pid=5686] ppid=5682 vsize=39820 CPUtime=162.25 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 26066 0 0 0 16224 1 0 0 20 0 1 0 16066376 40775680 4138 33554432000 4194304 5970956 140736591880224 140736591877560 5098931 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9955 4138 838 434 0 3319 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 39820

[startup+222.306 s]
/proc/loadavg: 2.07 1.55 1.25 3/188 5690
/proc/meminfo: memFree=31436380/32770624 swapFree=6912/379220
[pid=5686] ppid=5682 vsize=39820 CPUtime=222.25 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 26659 0 0 0 22224 1 0 0 20 0 1 0 16066376 40775680 4144 33554432000 4194304 5970956 140736591880224 140736591877560 5039183 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9955 4144 838 434 0 3319 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 39820

[startup+282.3 s]
/proc/loadavg: 2.03 1.63 1.30 4/188 5691
/proc/meminfo: memFree=31436256/32770624 swapFree=6912/379272
[pid=5686] ppid=5682 vsize=39820 CPUtime=282.23 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 27248 0 0 0 28222 1 0 0 20 0 1 0 16066376 40775680 4144 33554432000 4194304 5970956 140736591880224 140736591877560 5319896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9955 4144 838 434 0 3319 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 39820

[startup+342.3 s]
/proc/loadavg: 2.01 1.70 1.34 3/187 5692
/proc/meminfo: memFree=31436436/32770624 swapFree=6912/379320
[pid=5686] ppid=5682 vsize=39820 CPUtime=342.22 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 27846 0 0 0 34221 1 0 0 20 0 1 0 16066376 40775680 4144 33554432000 4194304 5970956 140736591880224 140736591877560 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9955 4144 838 434 0 3319 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 39820

[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.38 3/187 5693
/proc/meminfo: memFree=31436504/32770624 swapFree=6912/379356
[pid=5686] ppid=5682 vsize=39964 CPUtime=402.21 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 28449 0 0 0 40220 1 0 0 20 0 1 0 16066376 40923136 4146 33554432000 4194304 5970956 140736591880224 140736591877592 5038294 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4146 838 434 0 3355 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 39964

[startup+462.3 s]
/proc/loadavg: 2.00 1.80 1.42 3/187 5694
/proc/meminfo: memFree=31436716/32770624 swapFree=6912/379408
[pid=5686] ppid=5682 vsize=39964 CPUtime=462.2 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 29048 0 0 0 46219 1 0 0 20 0 1 0 16066376 40923136 4148 33554432000 4194304 5970956 140736591880224 140736591877560 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4148 838 434 0 3355 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 39964

[startup+522.3 s]
/proc/loadavg: 2.00 1.84 1.46 3/187 5695
/proc/meminfo: memFree=31436616/32770624 swapFree=6912/379444
[pid=5686] ppid=5682 vsize=39964 CPUtime=522.19 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 29654 0 0 0 52218 1 0 0 20 0 1 0 16066376 40923136 4152 33554432000 4194304 5970956 140736591880224 140736591877560 5039178 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4152 838 434 0 3355 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 39964

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5686 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+537.6 s]
/proc/loadavg: 2.00 1.84 1.47 3/187 5695
/proc/meminfo: memFree=31436740/32770624 swapFree=6912/379456
[pid=5686] ppid=5682 vsize=39964 CPUtime=537.49 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 29871 0 0 0 53748 1 0 0 20 0 1 0 16066376 40923136 4153 33554432000 4194304 5970956 140736591880224 140736591877560 5336058 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4153 838 434 0 3355 0
Current children cumulated CPU time (s) 537.49
Current children cumulated vsize (KiB) 39964

[startup+550.4 s]
/proc/loadavg: 2.00 1.85 1.48 3/187 5696
/proc/meminfo: memFree=31436120/32770624 swapFree=6912/379472
[pid=5686] ppid=5682 vsize=39964 CPUtime=550.29 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 30259 0 0 0 55028 1 0 0 20 0 1 0 16066376 40923136 4153 33554432000 4194304 5970956 140736591880224 140736591877560 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4153 838 434 0 3355 0
Current children cumulated CPU time (s) 550.29
Current children cumulated vsize (KiB) 39964

[startup+553.6 s]
/proc/loadavg: 2.00 1.85 1.48 3/187 5696
/proc/meminfo: memFree=31436120/32770624 swapFree=6912/379472
[pid=5686] ppid=5682 vsize=39964 CPUtime=553.49 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 30259 0 0 0 55348 1 0 0 20 0 1 0 16066376 40923136 4153 33554432000 4194304 5970956 140736591880224 140736591877560 5039162 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4153 838 434 0 3355 0
Current children cumulated CPU time (s) 553.49
Current children cumulated vsize (KiB) 39964

[startup+556.8 s]
/proc/loadavg: 2.00 1.85 1.48 3/187 5696
/proc/meminfo: memFree=31436120/32770624 swapFree=6912/379476
[pid=5686] ppid=5682 vsize=39964 CPUtime=556.69 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 30259 0 0 0 55668 1 0 0 20 0 1 0 16066376 40923136 4153 33554432000 4194304 5970956 140736591880224 140736591877560 5039162 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4153 838 434 0 3355 0
Current children cumulated CPU time (s) 556.69
Current children cumulated vsize (KiB) 39964

[startup+557.6 s]
/proc/loadavg: 2.00 1.85 1.48 3/187 5696
/proc/meminfo: memFree=31436120/32770624 swapFree=6912/379476
[pid=5686] ppid=5682 vsize=39964 CPUtime=557.49 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 30259 0 0 0 55748 1 0 0 20 0 1 0 16066376 40923136 4153 33554432000 4194304 5970956 140736591880224 140736591877560 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4153 838 434 0 3355 0
Current children cumulated CPU time (s) 557.49
Current children cumulated vsize (KiB) 39964

[startup+558 s]
/proc/loadavg: 2.00 1.85 1.48 3/187 5696
/proc/meminfo: memFree=31436120/32770624 swapFree=6912/379476
[pid=5686] ppid=5682 vsize=39964 CPUtime=557.89 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 30259 0 0 0 55788 1 0 0 20 0 1 0 16066376 40923136 4153 33554432000 4194304 5970956 140736591880224 140736591877560 5039186 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4153 838 434 0 3355 0
Current children cumulated CPU time (s) 557.89
Current children cumulated vsize (KiB) 39964

[startup+558.2 s]
/proc/loadavg: 2.00 1.85 1.48 3/187 5696
/proc/meminfo: memFree=31436120/32770624 swapFree=6912/379476
[pid=5686] ppid=5682 vsize=39964 CPUtime=558.09 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 30259 0 0 0 55808 1 0 0 20 0 1 0 16066376 40923136 4153 33554432000 4194304 5970956 140736591880224 140736591877560 5070793 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4153 838 434 0 3355 0
Current children cumulated CPU time (s) 558.09
Current children cumulated vsize (KiB) 39964

[startup+558.3 s]
/proc/loadavg: 2.00 1.85 1.48 3/187 5696
/proc/meminfo: memFree=31436120/32770624 swapFree=6912/379476
[pid=5686] ppid=5682 vsize=39964 CPUtime=558.19 cores=0,2,4,6
/proc/5686/stat : 5686 (cosoco) R 5682 5686 5624 0 -1 4202496 30259 0 0 0 55818 1 0 0 20 0 1 0 16066376 40923136 4153 33554432000 4194304 5970956 140736591880224 140736591877560 5070776 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31887360 140736591885505 140736591885635 140736591885635 140736591888334 0
/proc/5686/statm: 9991 4153 838 434 0 3355 0
Current children cumulated CPU time (s) 558.19
Current children cumulated vsize (KiB) 39964

Child status: 0
Real time (s): 558.349
CPU time (s): 558.248
CPU user time (s): 558.231
CPU system time (s): 0.016997
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 39964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 558.231
system time used= 0.016997
maximum resident set size= 16692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30299
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= 10
involuntary context switches= 28621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36817 second user time and 1.95885 second system time

The end

Launcher Data 

Begin job on node151 at 2017-07-21 10:40:34
IDJOB=4240427
IDBENCH=122908
IDSOLVER=2620
FILE ID=node151/4240427-1500626434
RUNJOBID= node151-1500626434-5655
PBS_JOBID= 20623026
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-080.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240427-1500626434/watcher-4240427-1500626434 -o /tmp/evaluation-result-4240427-1500626434/solver-4240427-1500626434 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500626434-5655 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4240427-1500626434.xml

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

MD5SUM BENCH= 8abaeb34d7c0899fee3fdb2f002199b6
RANDOM SEED=125765885

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.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.83
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		: 1600.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		: 1600.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.83
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		: 1600.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		: 1600.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.83
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		: 1600.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		: 1600.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.83
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		: 1600.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:        31513484 kB
MemAvailable:   32009776 kB
Buffers:          235548 kB
Cached:           540424 kB
SwapCached:            0 kB
Active:           446592 kB
Inactive:         386040 kB
Active(anon):      59588 kB
Inactive(anon):     8636 kB
Active(file):     387004 kB
Inactive(file):   377404 kB
Unevictable:        6912 kB
Mlocked:            6920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4776 kB
Writeback:             0 kB
AnonPages:         63696 kB
Mapped:            32024 kB
Shmem:              8848 kB
Slab:             120992 kB
SReclaimable:      95436 kB
SUnreclaim:        25556 kB
KernelStack:        3232 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     311260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62028 MiB
End job on node151 at 2017-07-21 10:49:53