Trace number 4268140

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 1.12SAT 559.50897 559.55103

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.03/0.15	c root propagations     : 9599        
0.03/0.15	c restarts enabled, print stats at every restarts
0.03/0.15	c
0.03/0.15	c
0.03/0.15	c
0.03/0.15	c This is cosoco 1.12 --  
0.03/0.15	c
0.03/0.15	c command line: cosoco -lc -model -restarts HOME/instance-4268140-1502512215.xml 
0.03/0.15	c ========================================[ Problem Statistics ]===========================================
0.03/0.15	c |                                                                                                       
0.03/0.15	c |  Parse time        :         0.09 s 
0.03/0.15	c |
0.03/0.15	c |               Variables: 160
0.03/0.15	c |            Domain Sizes: 80..6400
0.03/0.15	c |
0.03/0.15	c |             Constraints: 164
0.03/0.15	c |                   Arity: 1..80  -- Unary: 1  -- Binary: 158
0.03/0.15	c | 
0.03/0.15	c |                   Types: 
0.03/0.15	c |                          (X - Y < k): 78
0.03/0.15	c |                          All Different: 1
0.03/0.15	c |                          Intension: 81
0.03/0.15	c |                          Sum: 4
0.03/0.15	c |                          
0.03/0.15	c =========================================================================================================
0.03/0.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.33/0.41	c 101            284            9061           2103554        81             0              83   133   106 
0.43/0.50	c 211            394            9391           2103884        82             0              1   1   0      
0.53/0.60	c 332            515            9754           2104247        82             0              1   1   0      
0.63/0.70	c 465            648            10153          2104646        82             0              1   1   0      
0.73/0.82	c 611            794            10591          2105084        82             0              1   1   0      
0.83/0.94	c 771            954            11071          2105564        82             0              1   1   0      
0.93/1.08	c 947            1130           11599          2106092        82             0              1   1   0      
1.14/1.25	c 1140           1323           12272          2223604        82             0              1   1   0      
1.33/1.42	c 1352           1535           13148          2234816        82             0              1   1   0      
1.53/1.61	c 1585           1768           14106          2239210        82             0              1   1   0      
1.73/1.81	c 1841           2024           15158          2243895        82             0              1   1   0      
1.93/2.03	c 2122           2305           16319          2249300        82             0              1   1   0      
2.24/2.35	c 2431           2661           20162          2880938        82             0              1   48   2     
2.44/2.52	c 2770           3113           22806          3450349        82             0              105   114   104
2.74/2.82	c 3142           3485           23922          3451465        83             0              1   1   0      
3.04/3.15	c 3551           3894           25149          3452692        83             0              1   1   0      
3.44/3.54	c 4000           4343           26765          3579625        83             0              1   1   0      
3.84/3.94	c 4493           4836           28815          3595183        83             0              1   1   0      
4.34/4.41	c 5035           5378           31269          3943974        83             0              1   1   0      
5.64/5.78	c 5631           6755           68603          15466720       83             0              1   77   56    
6.14/6.26	c 6286           7496           74780          16743363       84             0              1   73   33    
6.74/6.84	c 7006           8326           81725          18223905       85             0              1   99   25    
7.34/7.47	c 7798           9118           84101          18226281       86             0              1   1   0      
8.04/8.16	c 8669           9989           86714          18228894       86             0              1   1   0      
9.04/9.12	c 9627           10947          91045          20090392       86             0              1   1   0      
10.04/10.13	c 10680          12000          95545          21838795       86             0              1   1   0      
10.74/10.89	c 11838          13246          103180         23626764       86             0              1   88   51    
11.74/11.89	c 13111          14519          106999         23630583       87             0              1   1   0      
12.84/12.99	c 14511          15919          112467         23682361       87             0              1   1   0      
13.94/14.01	c 16051          17600          122929         25621900       87             0              1   49   17    
14.94/15.00	c 17745          19376          132723         27104957       88             0              1   72   31    
16.34/16.45	c 19608          21239          138896         27138732       89             0              1   1   0      
17.94/18.01	c 21657          23562          153010         29365193       89             0              1   81   8     
19.74/19.80	c 23910          26131          176795         34589931       90             0              1   70   29    
21.64/21.70	c 26388          28609          185340         34616989       91             0              1   1   0      
23.44/23.52	c 29113          32023          212123         42614423       92             0              1   106   45   
24.83/24.97	c 32110          35168          228127         45890205       92             0              38   108   62  
28.03/28.14	c 35406          38853          252676         53336946       93             0              1   112   13   
30.43/30.54	c 39031          42759          277363         58291019       94             0              1   110   41   
33.04/33.15	c 43018          47021          304165         66602081       94             0              4   75   46    
35.73/35.81	c 47403          51756          338650         75682091       94             0              1   81   32    
39.64/39.72	c 52226          57050          364746         80739781       94             0              21   90   25   
41.93/42.08	c 57531          63027          404609         92691479       94             0              4   111   74   
45.93/46.04	c 63366          69407          444888         100863107      96             0              1   102   26   
49.63/49.76	c 69784          76011          476863         105622711      97             0              1   61   21    
55.43/55.53	c 76843          84162          544810         125851083      97             0              4   77   28    
62.53/62.62	c 84607          92128          599764         146761400      98             0              1   67   18    
67.04/67.14	c 93147          102059         679156         164289730      99             0              1   110   64   
71.83/71.90	c 102541         111900         721461         173122303      99             0              5   99   43    
80.83/80.92	c 112874         122810         808038         211304145      100            0              1   74   31    
89.53/89.66	c 124240         138071         962807         258945100      101            0              1   112   59   
94.93/95.08	c 136742         151192         1027188        270411862      102            0              1   99   64    
101.24/101.34	c 150494         165621         1109074        285774486      102            0              4   83   47    
107.03/107.19	c 165621         180879         1165360        289461237      103            0              1   62   42    
118.74/118.84	c 182260         198411         1245009        304330999      104            0              1   89   39    
129.04/129.16	c 200562         217466         1342449        326037955      105            0              1   102   40   
133.64/133.73	c 220694         238508         1437655        339475288      105            0              35   109   84  
148.24/148.31	c 242839         261831         1582018        380447926      106            0              1   105   35   
162.24/162.35	c 267198         287013         1732881        424246131      106            0              4   78   44    
173.94/174.07	c 293992         315375         1869996        447018452      108            0              1   114   61   
188.34/188.47	c 323465         345865         2054324        496141200      108            0              3   83   51    
204.24/204.30	c 355885         379110         2233239        547481053      108            0              3   79   57    
212.04/212.17	c 391547         419607         2412079        583101411      109            0              1   114   78   
240.14/240.26	c 430775         463460         2679076        654933541      109            0              5   105   26   
273.84/273.94	c 473925         507609         2940217        743568913      109            0              4   56   29    
300.54/300.64	c 521390         558629         3245965        868402070      109            0              4   111   69   
320.15/320.21	c 573601         612336         3504693        932575939      109            0              4   108   75   
352.74/352.86	c 631033         672642         3847152        1039425921     110            0              1   117   70   
375.84/375.96	c 694208         738926         4155864        1114187446     111            0              1   128   88   
421.64/421.72	c 763700         814246         4531172        1196904178     112            0              1   119   37   
446.84/446.93	c 840141         897145         4993857        1284947747     112            0              29   125   95  
482.44/482.59	c 924226         984935         5464344        1429063564     113            0              1   114   73   
514.75/514.88	c 1016719        1085490        5933563        1521091652     113            0              4   125   91   
543.75/543.88	c 1118461        1191920        6336661        1569118466     113            0              35   138   101 
559.45/559.54	c solution 1
559.45/559.54	
559.45/559.54	v <instantiation type='solution'>
559.45/559.54	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>
559.45/559.54	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>
559.45/559.54	v </instantiation>
559.45/559.54	
559.45/559.55	c restarts              : 74          
559.45/559.55	c conflicts             : 1170798      (2093 /sec)
559.45/559.55	c decisions             : 1247319      (2229 /sec)
559.45/559.55	c propagations          : 1596689194  (2853825 /sec)
559.45/559.55	c root propagations     : 9599        
559.45/559.55	c filter calls          : 6584534        (11769 /sec)
559.45/559.55	c useless filter calls  : 4498452        (68 %)
559.45/559.55	c Memory used           : 39.04 MB
559.45/559.55	c CPU time              : 559.491 s
559.45/559.55	
559.45/559.55	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-4268140-1502512215/watcher-4268140-1502512215 -o /tmp/evaluation-result-4268140-1502512215/solver-4268140-1502512215 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268140-1502512215.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 5660
/proc/meminfo: memFree=31152388/32770624 swapFree=0/478160
[pid=5660] ppid=5657 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5660/stat : 5660 (runsolver) D 5657 5660 1478 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 93132750 24240128 107 18446744073709551615 4194304 4338465 140733650182752 140733650180392 140672742163159 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 16412672 140733650186434 140733650186825 140733650186825 140733650190282 0
/proc/5660/statm: 5918 107 54 36 0 2156 0

[startup+0.100207 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 5660
/proc/meminfo: memFree=31152388/32770624 swapFree=0/478160
[pid=5660] ppid=5657 vsize=34640 CPUtime=0.03 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 2964 0 0 0 3 0 0 0 20 0 1 0 93132750 35471360 2741 18446744073709551615 4194304 5972588 140731437853136 140731437849784 139646843452389 0 0 1 0 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 8660 2741 798 435 0 2023 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34640

[startup+0.200378 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 5660
/proc/meminfo: memFree=31152388/32770624 swapFree=0/478160
[pid=5660] ppid=5657 vsize=39556 CPUtime=0.13 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 4226 0 0 0 13 0 0 0 20 0 1 0 93132750 40505344 4061 18446744073709551615 4194304 5972588 140731437853136 140731437850712 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9889 4061 835 435 0 3252 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 39556

[startup+0.300354 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 5660
/proc/meminfo: memFree=31152388/32770624 swapFree=0/478160
[pid=5660] ppid=5657 vsize=39556 CPUtime=0.23 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 4232 0 0 0 23 0 0 0 20 0 1 0 93132750 40505344 4061 18446744073709551615 4194304 5972588 140731437853136 140731437850712 4969215 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9889 4061 835 435 0 3252 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 39556

[startup+0.700276 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 5660
/proc/meminfo: memFree=31152388/32770624 swapFree=0/478160
[pid=5660] ppid=5657 vsize=39556 CPUtime=0.63 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 4239 0 0 0 63 0 0 0 20 0 1 0 93132750 40505344 4061 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040180 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9889 4061 835 435 0 3252 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 39556

[startup+1.50028 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 5661
/proc/meminfo: memFree=31139888/32770624 swapFree=0/478396
[pid=5660] ppid=5657 vsize=39556 CPUtime=1.43 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 4239 0 0 0 143 0 0 0 20 0 1 0 93132750 40505344 4061 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9889 4061 835 435 0 3252 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 39556

[startup+3.10028 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 5661
/proc/meminfo: memFree=31139392/32770624 swapFree=0/478396
[pid=5660] ppid=5657 vsize=39556 CPUtime=3.04 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 7241 0 0 0 303 1 0 0 20 0 1 0 93132750 40505344 4083 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040169 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9889 4083 841 435 0 3252 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 39556

[startup+6.30028 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 5661
/proc/meminfo: memFree=31139300/32770624 swapFree=0/478392
[pid=5660] ppid=5657 vsize=39688 CPUtime=6.24 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 10379 0 0 0 623 1 0 0 20 0 1 0 93132750 40640512 4086 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040169 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9922 4086 841 435 0 3285 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 39688

[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 5661
/proc/meminfo: memFree=31139336/32770624 swapFree=0/478388
[pid=5660] ppid=5657 vsize=39688 CPUtime=12.64 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 13095 0 0 0 1263 1 0 0 20 0 1 0 93132750 40640512 4092 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9922 4092 841 435 0 3285 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 39688

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 5661
/proc/meminfo: memFree=31138748/32770624 swapFree=0/478388
[pid=5660] ppid=5657 vsize=39688 CPUtime=25.43 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 19191 0 0 0 2542 1 0 0 20 0 1 0 93132750 40640512 4103 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9922 4103 841 435 0 3285 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 39688

[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 5662
/proc/meminfo: memFree=31138652/32770624 swapFree=0/478384
[pid=5660] ppid=5657 vsize=39824 CPUtime=51.03 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 19796 0 0 0 5102 1 0 0 20 0 1 0 93132750 40779776 4117 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5094219 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9956 4117 841 435 0 3319 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 39824

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5665
/proc/meminfo: memFree=31138556/32770624 swapFree=0/478396
[pid=5660] ppid=5657 vsize=39824 CPUtime=102.24 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 20393 0 0 0 10223 1 0 0 20 0 1 0 93132750 40779776 4134 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040169 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9956 4134 841 435 0 3319 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 39824

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5728
/proc/meminfo: memFree=31066096/32770624 swapFree=0/478436
[pid=5660] ppid=5657 vsize=39824 CPUtime=162.24 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 20958 0 0 0 16223 1 0 0 20 0 1 0 93132750 40779776 4141 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9956 4141 841 435 0 3319 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 39824

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5744
/proc/meminfo: memFree=30498032/32770624 swapFree=0/478432
[pid=5660] ppid=5657 vsize=39824 CPUtime=222.24 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 21520 0 0 0 22223 1 0 0 20 0 1 0 93132750 40779776 4146 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040128 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9956 4146 841 435 0 3319 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 39824

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 5747
/proc/meminfo: memFree=30179508/32770624 swapFree=0/478424
[pid=5660] ppid=5657 vsize=39824 CPUtime=282.24 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 22079 0 0 0 28223 1 0 0 20 0 1 0 93132750 40779776 4146 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040128 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9956 4146 841 435 0 3319 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 39824

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5749
/proc/meminfo: memFree=29856664/32770624 swapFree=0/478440
[pid=5660] ppid=5657 vsize=39824 CPUtime=342.24 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 22644 0 0 0 34223 1 0 0 20 0 1 0 93132750 40779776 4146 18446744073709551615 4194304 5972588 140731437853136 140731437850440 4969209 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9956 4146 841 435 0 3319 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 39824

[startup+402.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/186 5751
/proc/meminfo: memFree=29537896/32770624 swapFree=0/478444
[pid=5660] ppid=5657 vsize=39968 CPUtime=402.24 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 23216 0 0 0 40223 1 0 0 20 0 1 0 93132750 40927232 4148 18446744073709551615 4194304 5972588 140731437853136 140731437850472 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4148 841 435 0 3355 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 39968

[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 5753
/proc/meminfo: memFree=29212516/32770624 swapFree=0/478452
[pid=5660] ppid=5657 vsize=39968 CPUtime=462.24 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 23786 0 0 0 46223 1 0 0 20 0 1 0 93132750 40927232 4150 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5320400 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4150 841 435 0 3355 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 39968

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5756
/proc/meminfo: memFree=28893024/32770624 swapFree=0/478460
[pid=5660] ppid=5657 vsize=39968 CPUtime=522.25 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 24362 0 0 0 52224 1 0 0 20 0 1 0 93132750 40927232 4154 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040162 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4154 841 435 0 3355 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 39968

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

[startup+537.6 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5756
/proc/meminfo: memFree=28811468/32770624 swapFree=0/478460
[pid=5660] ppid=5657 vsize=39968 CPUtime=537.55 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 24542 0 0 0 53754 1 0 0 20 0 1 0 93132750 40927232 4155 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4155 841 435 0 3355 0
Current children cumulated CPU time (s) 537.55
Current children cumulated vsize (KiB) 39968

[startup+550.4 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5756
/proc/meminfo: memFree=28740152/32770624 swapFree=0/478464
[pid=5660] ppid=5657 vsize=39968 CPUtime=550.35 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 24935 0 0 0 55034 1 0 0 20 0 1 0 93132750 40927232 4155 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040180 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4155 841 435 0 3355 0
Current children cumulated CPU time (s) 550.35
Current children cumulated vsize (KiB) 39968

[startup+553.6 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5756
/proc/meminfo: memFree=28721924/32770624 swapFree=0/478460
[pid=5660] ppid=5657 vsize=39968 CPUtime=553.55 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 24935 0 0 0 55354 1 0 0 20 0 1 0 93132750 40927232 4155 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040545 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4155 841 435 0 3355 0
Current children cumulated CPU time (s) 553.55
Current children cumulated vsize (KiB) 39968

[startup+556.8 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5756
/proc/meminfo: memFree=28703804/32770624 swapFree=0/478460
[pid=5660] ppid=5657 vsize=39968 CPUtime=556.75 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 24935 0 0 0 55674 1 0 0 20 0 1 0 93132750 40927232 4155 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4155 841 435 0 3355 0
Current children cumulated CPU time (s) 556.75
Current children cumulated vsize (KiB) 39968

[startup+558.4 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5756
/proc/meminfo: memFree=28698596/32770624 swapFree=0/478460
[pid=5660] ppid=5657 vsize=39968 CPUtime=558.35 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 24936 0 0 0 55834 1 0 0 20 0 1 0 93132750 40927232 4155 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040128 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4155 841 435 0 3355 0
Current children cumulated CPU time (s) 558.35
Current children cumulated vsize (KiB) 39968

[startup+559.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5756
/proc/meminfo: memFree=28693016/32770624 swapFree=0/478460
[pid=5660] ppid=5657 vsize=39968 CPUtime=559.15 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 24936 0 0 0 55914 1 0 0 20 0 1 0 93132750 40927232 4155 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040162 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4155 841 435 0 3355 0
Current children cumulated CPU time (s) 559.15
Current children cumulated vsize (KiB) 39968

[startup+559.4 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5756
/proc/meminfo: memFree=28693016/32770624 swapFree=0/478460
[pid=5660] ppid=5657 vsize=39968 CPUtime=559.35 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 24936 0 0 0 55934 1 0 0 20 0 1 0 93132750 40927232 4155 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5040154 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4155 841 435 0 3355 0
Current children cumulated CPU time (s) 559.35
Current children cumulated vsize (KiB) 39968

[startup+559.5 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5756
/proc/meminfo: memFree=28693016/32770624 swapFree=0/478460
[pid=5660] ppid=5657 vsize=39968 CPUtime=559.45 cores=0,2,4,6
/proc/5660/stat : 5660 (cosoco) R 5657 5660 1478 0 -1 4202496 24936 0 0 0 55944 1 0 0 20 0 1 0 93132750 40927232 4155 18446744073709551615 4194304 5972588 140731437853136 140731437850440 5071456 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 13479936 140731437859310 140731437859405 140731437859405 140731437862862 0
/proc/5660/statm: 9992 4155 841 435 0 3355 0
Current children cumulated CPU time (s) 559.45
Current children cumulated vsize (KiB) 39968

Child status: 0
Real time (s): 559.551
CPU time (s): 559.509
CPU user time (s): 559.491
CPU system time (s): 0.017
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 39968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 559.492
system time used= 0.017
maximum resident set size= 16696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24974
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= 14
involuntary context switches= 702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33801 second user time and 2.13157 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-12 06:16:21
IDJOB=4268140
IDBENCH=122908
IDSOLVER=2658
FILE ID=node135/4268140-1502512215
RUNJOBID= node135-1502500348-1543
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-080.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268140-1502512215/watcher-4268140-1502512215 -o /tmp/evaluation-result-4268140-1502512215/solver-4268140-1502512215 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268140-1502512215.xml

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

MD5SUM BENCH= 8abaeb34d7c0899fee3fdb2f002199b6
RANDOM SEED=1216109226

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.21
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.21
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.21
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.21
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:        31152520 kB
MemAvailable:   31973324 kB
Buffers:          301684 kB
Cached:           810156 kB
SwapCached:            0 kB
Active:           666264 kB
Inactive:         511560 kB
Active(anon):      66332 kB
Inactive(anon):    33140 kB
Active(file):     599932 kB
Inactive(file):   478420 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2316 kB
Writeback:             0 kB
AnonPages:         75792 kB
Mapped:            53396 kB
Shmem:             33464 kB
Slab:             143908 kB
SReclaimable:     116576 kB
SUnreclaim:        27332 kB
KernelStack:        3552 kB
PageTables:         4988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62028 MiB
End job on node135 at 2017-08-12 06:25:40